SearcharxivSearch

arXiv subjects

Joshua S. Friedman

Publications and source records attributed to Joshua S. Friedman.

16 recordsLinked to original sources

Deep Learning Chromatic and Clique Numbers of Graphs

Deep neural networks have been applied to a wide range of problems across different application domains with great success. Recently, research into combinatorial optimization problems in particular has generated much interest in the machine learning community. In this work, we develop deep learning models to predict the chromatic number and maximum clique size of graphs, both of which represent classical NP-complete combinatorial optimization problems encountered in graph theory. The neural networks are trained using the most basic representation of the graph, the adjacency matrix, as opposed to undergoing complex domain-specific feature engineering. The experimental results show that deep neural networks, and in particular convolutional neural networks, obtain strong performance on this problem.

cs.LG

Edge Minimizing the Student Conflict Graph

In many schools, courses are given in sections. Prior to timetabling students need to be assigned to individual sections. We give a hybrid approximation sectioning algorithm that minimizes the number of edges (potential conflicts) in the student conflict graph (SCG). We start with a greedy algorithm to obtain a starting solution and then continue with a constraint programming based algorithm (CP-SAT) that reduces the number of edges. We apply the sectioning algorithm to a highly constrained timetabling model which we specify.

cs.AI

Super-zeta functions and regularized determinants associated to cofinite Fuchsian groups with finite-dimensional unitary representations

Let $M$ be a finite volume, non-compact hyperbolic Riemann surface, possibly with elliptic fixed points, and let $χ$ denote a finite dimensional unitary representation of the fundamental group of $M$. Let $Δ$ denote the hyperbolic Laplacian which acts on smooth sections of the flat bundle over $M$ associated to $χ$. From the spectral theory of $Δ$, there are three distinct sequences of numbers: The first coming from the eigenvalues of $L^{2}$ eigenfunctions, the second coming from resonances associated to the continuous spectrum, and the third being the set of negative integers. Using these sequences of spectral data, we employ the super-zeta approach to regularization and introduce two super-zeta functions, $\Z_-(s,z)$ and $\Z_+(s,z)$ that encode the spectrum of $Δ$ in such a way that they can be used to define the regularized determinant of $Δ-z(1-z)I$. The resulting formula for the regularized determinant of $Δ-z(1-z)I$ in terms of the Selberg zeta function, see Theorem 5.3, encodes the symmetry $z\leftrightarrow 1-z$, which could not be seen in previous works, due to a different definition of the regularized determinant.

math.NT

Superzeta functions, regularized products, and the Selberg zeta function on hyperbolic manifolds with cusps

Let $Λ= \{λ_{k}\}$ denote a sequence of complex numbers and assume that that the counting function $#\{λ_{k} \in Λ: | λ_{k}| < T\} =O(T^{n})$ for some integer $n$. From Hadamard's theorem, we can construct an entire function $f$ of order at most $n$ such that $Λ$ is the divisor $f$. In this article we prove, under reasonably general conditions, that the superzeta function $\Z_{f}(s,z)$ associated to $Λ$ admits a meromorphic continuation. Furthermore, we describe the relation between the regularized product of the sequence $z-Λ$ and the function $f$ as constructed as a Weierstrass product. In the case $f$ admits a Dirichlet series expansion in some right half-plane, we derive the meromorphic continuation in $s$ of $\Z_{f}(s,z)$ as an integral transform of $f'/f$. We apply these results to obtain superzeta product evaluations of Selberg zeta function associated to finite volume hyperbolic manifolds with cusps.

math.NT

Effective sup-norm bounds on average for cusp forms of even weight

Let $Γ\subset\mathrm{PSL}_{2}(\mathbb{R})$ be a Fuchsian subgroup of the first kind acting on the upper half-plane $\mathbb{H}$. Consider the $d_{2k}$-dimensional space of cusp forms $\mathcal{S}_{2k}^Γ$ of weight $2k$ for $Γ$, and let $\{f_{1},\ldots,f_{d_{2k}}\}$ be an orthonormal basis of $\mathcal{S}_{2k}^Γ$ with respect to the Petersson inner product. In this paper we will give effective upper and lower bounds for the supremum of the quantity $S_{2k}^Γ(z):=\sum_{j=1}^{d_{2k}}\vert f_{j}(z)\vert^{2}\,\mathrm{Im}(z)^{2k}$ as $z$ ranges through $\mathbb{H}$.

math.NT

Automated timetabling for small colleges and high schools using huge integer programs

We formulate an integer program to solve a highly constrained academic timetabling problem at the United States Merchant Marine Academy. The IP instance that results from our real case study has approximately both 170,000 rows and columns and solves to optimality in 4--24 hours using a commercial solver on a portable computer (near optimal feasible solutions were often found in 4--12 hours). Our model is applicable to both high schools and small colleges who wish to deviate from group scheduling. We also solve a necessary preprocessing student subgrouping problem, which breaks up big groups of students into small groups so they can optimally fit into small capacity classes.

cs.AI

An evaluation of the central value of the automorphic scattering determinant

Let $M$ be a finite volume, non-compact hyperbolic Riemann surface, possibly with elliptic fixed points, and let $ϕ(s)$ denote the automorphic scattering determinant. From the known functional equation $ϕ(s)ϕ(1-s)=1$ one concludes that $ϕ(1/2)^{2} = 1$. However, except for the relatively few instances when $ϕ(s)$ is explicitly computable, one does not know $ϕ(1/2)$. In this article we address this problem and prove the following result. Let $N$ and $P$ denote the number of zeros and poles, respectively, of $ϕ(s)$ in $(1/2,\infty)$, counted with multiplicities. Let $d(1)$ be the coefficient of the leading term from the Dirichlet series component of $ϕ(s)$. Then $ϕ(1/2)=(-1)^{N+P} \cdot \mathrm{sgn}(d(1))$.

math.NT

The determinant of the Lax-Phillips scattering operator

Let $M$ denote a finite volume, non-compact Riemann surface without elliptic points, and let $B$ denote the Lax-Phillips scattering operator. Using the superzeta function approach due to Voros, we define a Hurwitz-type zeta function $ζ^{\pm}_{B}(s,z)$ constructed from the resonances associated to $zI -[ (1/2)I \pm B]$. We prove the meromorphic continuation in $s$ of $ζ^{\pm}_{B}(s,z)$ and, using the special value at $s=0$, define a determinant of the operators $zI -[ (1/2)I \pm B]$. We obtain expressions for Selberg's zeta function and the determinant of the scattering matrix in terms of the operator determinants.

math.NT

Uniform sup-norm bounds on average for cusp forms of higher weights

Let $Γ\subseteq\mathrm{PSL}_{2}(\mathbb{R})$ be a Fuchsian subgroup of the first kind acting on the upper half-plane $\mathbb{H}$. Consider the $d$-dimensional space of cusp forms $\mathcal{S}_{k}^Γ$ of weight $2k$ for $Γ$, and let $\{f_{1},\ldots,f_{d}\}$ be an orthonormal basis of $\mathcal{S}_{k}^Γ$ with respect to the Petersson inner product. In this paper we show that the sup-norm of the quantity $S_{k}^Γ(z):=\sum_{j=1}^{d}| f_{j}(z)|^{2}\,\mathrm{Im}(z)^{2k}$ is bounded as $O_Γ(k)$ in the cocompact setting, and as $O_Γ(k^{3/2})$ in the cofinite case, where the implied constants depend solely on $Γ$. We also show that the implied constants are uniform if $Γ$ is replaced by a subgroup of finite index.

math.NT

An effective bound for the Huber constant for cofinite Fuchsian groups

Let $Γ$ be a cofinite Fuchsian group acting on hyperbolic two-space $\HH.$ Let $M=Γ\setminus \HH $ be the corresponding quotient space. For $γ,$ a closed geodesic of $M$, let $l(γ)$ denote its length. The prime geodesic counting function $π_{M}(u)$ is defined as the number of $Γ$-inconjugate, primitive, closed geodesics $γ$ such that $e^{l(γ)} \leq u.$ The \emph{prime geodesic theorem} implies: $$π_{M}(u)=\sum_{0 \leq λ_{M,j} \leq 1/4} \text{li}(u^{s_{M,j}}) + O_{M}(\frac{u^{3/4}}{\log{u}}), $$ where $0=λ_{M,0} < λ_{M,1} <...$ are the eigenvalues of the hyperbolic Laplacian acting on the space of smooth functions on $M$ and $s_{M,j} = \frac{1}{2}+\sqrt{\frac{1}{4} - λ_{M,j}}. $ Let $C_{M}$ be smallest implied constant so that $$|π_{M}(u)-\sum_{0 \leq λ_{M,j} \leq 1/4} \text{li}(u^{s_{M,j}})|\leq C_{M}\frac{u^{3/4}}{\log{u}} \quad \text{\text{for all} $u > 1.$}$$ We call the (absolute) constant $C_{M}$ the Huber constant. The objective of this paper is to give an effectively computable upper bound of $C_{M}$ for an arbitrary cofinite Fuchsian group. As a corollary we estimate the Huber constant for $\PSL(2,\ZZ),$ we obtain $C_{M} \leq 16,607,349,020,658 \approx \exp(30.44086643)$.

math.NT

The Selberg Trace Formula for Hecke operators on cocompact Kleinian groups

We compute the Selberg trace formula for Hecke operators (also called the trace formula for modular correspondences) in the context of cocompact Kleinian groups with finite-dimentional unitary representations. We give some applications to the distribution of Hecke eigenvalues, and give an analogue of Huber's theorem.

math.NT

The Selberg Trace Formula and Selberg Zeta-Function for Cofinite Kleinian Groups with Finite Dimensional Unitary Representations: Stony Brook University PhD Thesis

For cofinite Kleinian groups, with finite-dimensional unitary representations, we derive the Selberg trace formula. As an application we define the corresponding Selberg zeta-function and compute its divisor, thus generalizing results of Elstrodt, Grunewald and Mennicke to non-trivial unitary representations. We show that the presence of cuspidal elliptic elements sometimes adds ramification point to the zeta function. In fact, if D is the ring of Eisenstein integers, then the Selberg zeta-function of PSL(2,D) contains ramification points.

math.NT

The Selberg trace formula and Selberg zeta-function for cofinite Kleinian groups with finite-dimensional unitary representations

For cofinite Kleinian groups, with finite-dimensional unitary representations, we derive the Selberg trace formula. As an application we define the corresponding Selberg zeta-function and compute its divisor, thus generalizing results of Elstrodt, Grunewald and Mennicke to non-trivial unitary representations. We show that the presence of cuspidal elliptic elements sometimes adds ramification point to the zeta function. In fact, if D is the ring of Eisenstein integers, then the Selberg zeta-function of PSL(2,D) contains ramification points and is the sixth-root of a meromorphic function.

math.NT