Showing 20 papers (Total: 81378 papers, 47165 authors in database)
A Spectral Lower Bound on Chromatic Numbers using $p$-Energy
Let $A_G $ be the adjacency matrix of a simple graph $ G $, and let $ χ(G) $, $ χ_f(G) $, $ χ_q(G) $, $ ξ(G) $ and $ ξ_f(G) $ denote its chromatic number, fractional chromatic number, quantum chromatic number, orthogonal rank and projective rank, respectively. For $ p \geq 0 $, we define the positive and negative $ p $-energies of $ G $ by $$ \mathcal{E}_p^+(G) = \sum_{λ_i > 0} λ_i^p, \quad \mathcal{E}_p^-(G) = \sum_{λ_i < 0} |λ_i|^p, $$ where $ λ_1 \geq \cdots \geq λ_n $ are the eigenvalues of $A_G $. We prove that for all $ p \geq 0 $, $$ χ(G) \geq \left\{χ_f(G), χ_q(G), ξ(G) \right\} \geq ξ_f(G) \geq 1 + \max\left\{ \frac{\mathcal{E}_p^+(G)}{\mathcal{E}_p^-(G)}, \frac{\mathcal{E}_p^-(G)}{\mathcal{E}_p^+(G)} \right\}^{\frac{1}{|p - 1|}}. $$ This result unifies and strengthens a series of existing bounds corresponding to the cases $ p \in \{0, 2, \infty\} $. In particular, the case $ p = 0 $ yields the inertia bound $$ χ_f(G) \geq ξ_f(G) \geq1 + \max\left\{\frac{n^+}{n^-}, \frac{n^-}{n^+}\right\}, $$ where $ n^+ $ and $ n^- $ denote the number of positive and negative eigenvalues of $ A_G $, respectively. This resolves two conjectures of Elphick and Wocjan.
We also demonstrate that for certain graphs, non-integer values of $ p $ provide sharper lower bounds than existing spectral bounds. As an example, we determine $ χ_q $ for the Tilley graph, which cannot be achieved using existing (unweighted) $p$-energy bounds. Our proof employs a novel synthesis of linear algebra and measure-theoretic tools, which allows us to surpass existing spectral bounds.
Maximizing the number of stars in graphs with forbidden properties
Erdős proved an upper bound on the number of edges in an $n$-vertex non-Hamiltonian graph with given minimum degree and showed sharpness via two members of a particular graph family. Füredi, Kostochka and Luo showed that these two graphs play the same role when ``number of edges'' is replaced by ``number of t-stars,'' and that two members of a more general graph family maximize the number of edges among non-$k$-edge-Hamiltonian graphs. In this paper we generalize their former result from Hamiltonicity to related properties (traceability, Hamiltonian-connectedness, $k$-edge Hamiltonicity, $k$-Hamiltonicity) and their latter result from edges to $t$-stars. We identify a family of extremal graphs for each property that is forbidden. This problem without the minimum degree condition was also open; here we conjecture a complete description of the extremal family for each property, and prove the characterization in some cases. Finally, using a different family of extremal graphs, we find the maximum number of $t$-stars in non-$k$-connected graphs.
Characteristic polynomial of generalized Ewens random permutations
We show the convergence of the characteristic polynomial for random permutation matrices sampled from the generalized Ewens distribution. Under this distribution, the measure of a given permutation depends only on its cycle structure, according to certain weights assigned to each cycle length. The proof is based on uniform control of the characteristic polynomial using results from the singularity analysis of generating functions, together with the convergence of traces to explicit random variables expressed via a Poisson family. The limit function is the exponential of a Poisson series which has already appeared in the case of uniform permutation matrices. It is the Poisson analog of the Gaussian Holomorphic Chaos, related to the limit of characteristic polynomials for other matrix models such as Circular Ensembles, i.i.d. matrices, and Gaussian elliptic matrices.
Vertex-Based Localization of Erdős-Gallai Theorems for Paths and Cycles
For a simple graph $G$, let $n$ and $m$ denote the number of vertices and edges in $G$, respectively. The Erdős-Gallai theorem for paths states that in a simple $P_k$-free graph, $m \leq \frac{n(k-1)}{2}$, where $P_k$ denotes a path with length $k$ (that is, with $k$ edges). In this paper, we generalize this result as follows: For each $v \in V(G)$, let $p(v)$ be the length of the longest path that contains $v$. We show that \[m \leq \sum_{v \in V(G)} \frac{p(v)}{2}\] The Erdős-Gallai theorem for cycles states that in a simple graph $G$ with circumference (that is, the length of the longest cycle) at most $k$, we have $m \leq \frac{k(n-1)}{2}$. We strengthen this result as follows: For each $v \in V(G)$, let $c(v)$ be the length of the longest cycle that contains $v$, or $2$ if $v$ is not part of any cycle. We prove that \[m \leq \left( \sum_{v \in V(G)} \frac{c(v)}{2} \right) - \frac{c(u)}{2}\] where $c(u)$ denotes the circumference of $G$. \newline Furthermore, we characterize the class of extremal graphs that attain equality in these bounds.
Defective coloring of blowups
Given a graph $G$ and an integer $d\ge 0$, its $d$-defective chromatic number $χ^d(G)$ is the smallest size of a partition of the vertices into parts inducing subgraphs with maximum degree at most $d$. Guo, Kang and Zwaneveld recently studied the relationship between the $d$-defective chromatic number of the $(d+1)$-fold (clique) blowup $G\boxtimes K_{d+1}$ of a graph $G$ and its ordinary chromatic number, and conjectured that $χ(G)=χ^d(G\boxtimes K_{d+1})$ for every graph $G$ and $d\ge 0$. In this note we disprove this conjecture by constructing graphs $G$ of arbitrarily large chromatic number such that $χ(G)\ge \frac{30}{29}χ^d(G\boxtimes K_{d+1})$ for infinitely many $d$. On the positive side, we show that the conjecture holds with a constant factor correction, namely $χ^d(G\boxtimes K_{d+1})\le χ(G)\le 2χ^d(G\boxtimes K_{d+1})$ for every graph $G$ and $d\ge 0$.
Log-concavity of characters of parabolic Verma modules, and of restricted Kostant partition functions
In 2022, Huh-Matherne-Mészáros-St. Dizier showed that normalized Schur polynomials are Lorentzian, thereby yielding their continuous (resp. discrete) log-concavity on the positive orthant (resp. on their support, in type $A$ root directions). A reinterpretation of this result is that the characters of finite-dimensional simple representations of $\mathfrak{sl}_{n+1}(\mathbb{C})$ are denormalized Lorentzian (DL). In the same paper, these authors also showed that shifted characters of Verma modules over $\mathfrak{sl}_{n+1}(\mathbb{C})$ are DL.
In this work we extend these results to a larger family of modules that subsumes both of the above: we show that shifted characters of all parabolic Verma modules over $\mathfrak{sl}_{n+1}(\mathbb{C})$ are denormalized Lorentzian. The proof involves certain graphs on $[n+1]$; more strongly, we explain why the character (i.e., generating function) of the Kostant partition function of any loopless multigraph on $[n+1]$ is Lorentzian after shifting and normalizing.
We then show that parabolic Vermas form a "maximal" class with log-concave (hence DL) characters. Namely, log-concavity fails in greater generality along three natural directions: (1) it does not hold for every simple Lie type, (2) nor for a larger universal family of highest weight modules, the higher order Verma modules, even in type $A$, and (3) it does not always hold for important generalizations of Schur polynomials: the Jack and Macdonald polynomials.
Finally, we extend these results to parabolic (i.e. "first order") and higher order Verma modules over the semisimple Lie algebras $\oplus_{t=1}^T \mathfrak{sl}_{n_t+1}(\mathbb{C})$. We also partially resolve a conjecture of Huh et al on the DL property for integral highest weight simple modules.
Copositive geometry of Feynman integrals
Copositive matrices and copositive polynomials are objects from optimization. We connect these to the geometry of Feynman integrals in physics. The integral is guaranteed to converge if its kinematic parameters lie in the copositive cone. Pólya's method makes this manifest. We study the copositive cone for the second Symanzik polynomial of any Feynman graph. Its algebraic boundary is described by Landau discriminants.
Spanning clique subdivisions in pseudorandom graphs
In this paper, we study the appearance of a spanning subdivision of a clique in graphs satisfying certain pseudorandom conditions. Specifically, we show the following three results. Firstly, that there are constants $C>0$ and $c\in (0,1]$ such that, whenever $d/λ\ge C$, every $(n,d,λ)$-graph contains a spanning subdivision of $K_t$ for all $2\le t \le \min\{cd,c\sqrt{\frac{n}{\log n}}\}$. Secondly, that there are constants $C>0$ and $c\in (0,1]$ such that, whenever $d/λ\ge C\log^3n$, every $(n,d,λ)$-graph contains a spanning nearly-balanced subdivision of $K_t$ for all $2\le t \le \min\{cd,c\sqrt{\frac{n}{\log^3n}}\}$. Finally, we show that for every $μ>0$, there are constants $c,\varepsilon\in (0,1]$ and $n_0\in \mathbb N$ such that, whenever $n\ge n_0$, every $n$-vertex graph with minimum degree at least $μn$ and no bipartite holes of size $\varepsilon n$ contains a spanning nearly-balanced subdivision of $K_t$ for all $2\le t \le c\sqrt{n}$.
$SL_k$-Tilings and Paths in $\mathbb{Z}^k$
An $SL_k$-tiling is a bi-infinite array of integers having all adjacent $k\times k$ minors equal to one and all adjacent $(k+1)\times (k+1)$ minors equal to zero. Introduced and studied by Bergeron and Reutenauer, $SL_k$-tilings generalize the notion of Conway-Coxeter frieze patterns in the case $k=2$. In a recent paper, Short showed a bijection between bi-infinite paths of reduced rationals in the Farey graph and $SL_2$-tilings. We extend this result to higher $k$ by constructing a bijection between $SL_k$-tilings and certain pairs of bi-infinite strips of vectors in $\mathbb{Z}^k$ called paths. The key ingredient in the proof is the connection to Plücker friezes and Grassmannian cluster algebras. As an application, we obtain results about periodicity, duality, and positivity for tilings.
A two-player voting game in Euclidean space
Given a finite set $S$ of points in $\mathbb{R}^d$, which we regard as the locations of voters on a $d$-dimensional political `spectrum', two candidates (Alice and Bob) select one point in $\mathbb{R}^d$ each, in an attempt to get as many votes as possible. Alice goes first and Bob goes second, and then each voter simply votes for the candidate closer to them in terms of Euclidean distance. If a voter's distance from the two candidates is the same, they vote for nobody. We give a geometric characterization of the sets $S$ for which each candidate wins, assuming that Alice wins if they get an equal number of votes. We also show that, if not all the voters lie on a single line, then, whenever Alice has a winning strategy, there is a unique winning point for her. We also provide an algorithm which decides whether Alice has a winning point, and determines the location of that point, both in finite (in fact polynomial) time.
Coloring of graphs without long odd holes
A {\em hole} is an induced cycle of length at least 4, a $k$-hole is a hole of length $k$, and an {\em odd hole} is a hole of odd length. Let $\ell\ge 2$ be an integer. Let ${\cal A}_{\ell}$ be the family of graphs of girth at least $2\ell$ and having no odd holes of length at least $2\ell+3$, let ${\cal B}_{\ell}$ be the triangle-free graphs which have no 5-holes and no odd holes of length at least $2\ell+3$, and let ${\cal G}_{\ell}$ be the family of graphs of girth $2\ell+1$ and have no odd hole of length at least $2\ell+5$. Chudnovsky {\em et al.} \cite{CSS2016} proved that every graph in ${\cal A}_{2}$ is 58000-colorable, and every graph in ${\cal B}_{\ell}$ is $(\ell+1)4^{\ell-1}$-colorable. Lan and liu \cite{LL2023} showed that for $\ell\geq3$, every graph in ${\cal G}_{\ell}$ is 4-colorable. It is not known whether there exists a small constant $c$ such that graphs of ${\cal G}_2$ are $c$-colorable. In this paper, we show that every graph in ${\cal G}_2$ is 1456-colorable, and every graph in ${\cal A}_{3}$ is 4-colorable. We also show that every 7-hole free graph in ${\cal B}_{\ell}$ is $(12\ell+8)$-colorable.
Long-eared digraphs
Let $H$ be a subdigraph of a digraph $D$. An ear of $H$ in $D$ is a path or a cycle in $D$ whose ends lie in $H$ but whose internal vertices do not. An \emph{ear decomposition} of a strong digraph $D$ is a nested sequence $(D_0,D_1,\ldots , D_k)$ of strong subdigraphs of $D$ such that: 1) $D_0$ is a cycle, 2) $D_{i+1} = D_i\cup P_i$, where $P_i$ is an ear of $D_i$ in $D$, for every $i\in \{0,1,\ldots,k-1\}$, and 3) $D_k=D$.
In this work, the $\mathcal{LE}_i$ is defined as the family of strong digraphs, with an ear decomposition such that every ear has a length of at least $i\geq 1$. It is proved that Seymour's second Neighborhood Conjecture and the Laborde, Payan, and Soung conjecture, are true in the family $\mathcal{LE}_2$, and the Small quasi-kernel conjecture is true for digraphs in $\mathcal{LE}_3$. Also, some sufficient conditions for a strong nonseparable digraph in $\mathcal{LE}_2$ with a kernel to imply that the previous (following) subdigraph in the ear decomposition has a kernel too, are presented. It is proved that digraphs in $\mathcal{LE}_2$ have a chromatic number at most 3, and a dichromatic number 2 or 3. Finally, the oriented chromatic number of asymmetrical digraphs in $\mathcal{LE}_3$ is bounded by 6, and it is shown that the oriented chromatic number of asymmetrical digraphs in $\mathcal{LE}_2$ is not bounded.
Semidefinite lower bounds for covering codes
Let $K_q(n,r)$ denote the minimum size of a $q$-ary covering code of word length $n$ and covering radius $r$. In other words, $K_q(n,r)$ is the minimum size of a set of $q$-ary codewords of length $n$ such that the Hamming balls of radius $r$ around the codewords cover the Hamming space $\{0,\ldots,q-1\}^n$. The special case $K_3(n,1)$ is often referred to as the football pool problem, as it is equivalent to finding a set of forecasts on $n$ football matches that is guaranteed to contain a forecast with at most one wrong outcome.
In this paper, we build and expand upon the work of Gijswijt (2005), who introduced a semidefinite programming lower bound on $K_q(n,r)$ via matrix cuts. We develop techniques that strengthen this bound, by introducing new semidefinite constraints inspired by Lasserre's hierarchy for 0-1 programs and symmetry reduction methods, and a more powerful objective function. The techniques lead to sharper lower bounds, setting new records across a broad range of values of $q$, $n$, and $r$.
Lefschetz properties of local face modules
Local face modules are modules over face rings whose Hilbert function is the local $h$-vector of a triangulation of a simplex. We study when Lefschetz properties hold for local face modules. We prove new inequalities for local $h$-vectors of vertex-induced triangulations by proving Lefschetz properties for local face modules of these triangulations. We show that, even for regular triangulations, Lefschetz properties can fail for local face modules in positive characteristic.
Levelable graphs
We study a family of positive weighted well-covered graphs, which we call levelable graphs, that are related to a construction of level artinian rings in commutative algebra. A graph $G$ is levelable if there exists a weight function with positive integer values on the vertices of $G$ such that $G$ is well-covered with respect to this weight function. That is, the sum of the weights in any maximal independent set of vertices of $G$ is the same. We describe some of the basic properties of levelable graphs and classify the levelable graphs for some families of graphs, e.g., trees, cubic circulants, Cameron--Walker graphs. We also explain the connection between levelable graphs and a class of level artinian rings. Applying a result of Brown and Nowakowski about weighted well-covered graphs, we show that for most graphs, their edge ideals are not Cohen--Macaulay.
A symmetric multivariate Elekes-Rónyai theorem
We consider a polynomial $P\in \mathbb{R}[x_{1},\cdots, x_{d}]$ of degree $ δ$ that depends non-trivially on each of $x_1,...,x_d$ with $d\geq 2$. For any integer $t$ with $2\leq t\leq d$, any natural number $n \in \mathbb{N}$, and any finite set $A \subset \mathbb{R}$ of size $n$, our first result shows that \[ |P(A, A, \dots, A)| \gg_δ n^{\frac{3}{2} - \frac{1}{2^{d-t+2}}}, \] unless \begin{align*}
&P(x_1, x_2, \dots, x_d) = f\big( u_1(x_1) + u_2(x_2) + \cdots + u_d(x_d) \big) \quad \text{or }
&P(x_1, x_2, \dots, x_d) = f\big( v_1(x_1) v_2(x_2) \cdots v_d(x_d) \big), \end{align*} where $f$, $u_i$, and $v_i$ are nonconstant univariate polynomials over $\mathbb{R}$, and there exists an index subset $I \subseteq [d]$ with $|I| = t$ such that for any $i, j \in I$, we have $u_i = λ_{ij} u_j$ (in the additive case) or $|v_i|= |v_j|^{κ_{ij}}$ (in the multiplicative case) for some constants $λ_{ij}\in \mathbb{R}^{\neq 0},κ_{ij}\in\mathbb{Q}^{+}$. This result generalizes the symmetric Elekes-Rónyai theorem proved by Jing, Roy, and Tran. Our second result is a generalized Erdős-Szemerédi theorem for two polynomials in higher dimensions, generalizing another theorem by Jing, Roy, and Tran. A key ingredient in our proofs is a variation of a theorem by Elekes, Nathanson, and Ruzsa.
Towards Enabling Learning for Time-Varying finite horizon Sequential Decision-Making Problems*
Parameterized Sequential Decision Making (Para-SDM) framework models a wide array of network design applications spanning supply-chain, transportation, and sensor networks. These problems entail sequential multi-stage optimization characterized by states, control actions, and cost functions dependent on designable parameters. The challenge is to determine both the sequential decision policy and parameters simultaneously to minimize cumulative stagewise costs. Many Para-SDM problems are NP-hard and often necessitate time-varying policies. Existing algorithms tackling finite-horizon time-varying Para-SDM problems struggle with scalability when faced with a large number of states. Conversely, the sole algorithm addressing infinite-horizon Para-SDM assumes time (stage)-invariance, yielding stationary policies. However, this approach proves scalable for time-invariant problems by leveraging deep neural networks to learn optimal stage-invariant state-action value functions, enabling handling of large-scale scenarios. This article proposes a novel approach that reinterprets finite-horizon, time-varying Para-SDM problems as equivalent time-invariant problems through topography lifting. Our method achieves nearly identical results to the time-varying solution while exhibiting improved performance times in various simulations, notably in the small cell network problem. This fresh perspective on Para-SDM problems expands the scope of addressable issues and holds promise for future scalability through the integration of learning methods.
Uniquely realisable graphs in polyhedral normed spaces
A framework (a straight-line embedding of a graph into a normed space allowing edges to cross) is globally rigid if any other framework with the same edge lengths with respect to the chosen norm is an isometric copy. We investigate global rigidity in polyhedral normed spaces: normed spaces where the unit ball is a polytope. We first provide a deterministic algorithm for checking whether or not a framework in a polyhedral normed space is globally rigid. After showing that determining if a framework is globally rigid is NP-Hard, we then provide necessary conditions for global rigidity for generic frameworks. We obtain stronger results for generic frameworks in $\ell_\infty^d$ (the vector space $\mathbb{R}^d$ equipped with the $\ell_\infty$ metric) including an exact characterisation of global rigidity when $d=2$, and an easily-computable sufficient condition for global rigidity using edge colourings. Our 2-dimensional characterisation also has a surprising consequence: Hendrickson's global rigidity condition fails for generic frameworks in $\ell_\infty^2$.
Wall-crossing phenomenon for the liquid bin model
We introduce the liquid bin model as a continuous-time deterministic dynamics, arising as the hydrodynamic limit of a discrete-time stochastic interacting particle system called the infinite bin model. For the liquid bin model, we prove the existence and uniqueness of a stationary evolution, to which the dynamics converges exponentially fast. The speed of the front of the system is explicitly computed as a continuous piecewise rational function of the parameters of the model, revealing an underlying wall-crossing phenomenon. We show that the regions on which the speed is rational are of non-empty interior and are naturally indexed by Dyck paths. We provide a complete description of the adjacency structure of these regions, which generalizes the Stanley lattice for Dyck paths. Finally we point out an intriguing connection to the topic of extensions of partial cyclic orders to total cyclic orders.
Square-Root Cancellation, Averages over Hyperplanes, and the Structure of Finite Rings
We formulate a form of square-root cancellation for the operator which sums a mean-zero function over a hyperplane in $R^d$ for $R$ a possibly noncommutative finite ring. Using an argument of Hart, Iosevich, Koh, and Rudnev, we show that this square-root cancellation occurs when $R$ is a finite field. We then show that this square-root cancellation does not occur over finite rings which are not finite fields. This extends an earlier result of the author to an operator which is not translation-invariant.