Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Advances in the Shannon Capacity of Graphs
We derive exact values and new bounds for the Shannon capacity of two families of graphs: the $q$-Kneser graphs and the tadpole graphs. We also construct a countably infinite family of connected graphs whose Shannon capacity is not attained by the independence number of any finite strong power. Building on recent work of Schrijver, we establish sufficient conditions under which the Shannon capacity of a polynomial in graphs, formed via disjoint unions and strong products, equals the corresponding polynomial of the individual capacities, thereby reducing the evaluation of such capacities to that of their components. Finally, we prove an inequality relating the Shannon capacities of the strong product of graphs and their disjoint union, which yields alternative proofs of several known bounds as well as new tightness conditions. In addition to contributing to the computation of the Shannon capacity of graphs, this paper is intended to serve as an accessible entry point to those wishing to work in this area.
Cofinal families of finite VC-dimension
Given infinite cardinals $θ\leq κ$, we ask for the minimal VC-dimension of a cofinal family $\mathcal{F}\subseteq[κ]^{<θ}$. We show that for $θ=ω$ and $κ=\aleph_n$ it is consistent with ZFC that there exists such a family of VC-dimension $n+1$, which is known to be the lower bound. For $θ>ω$ we answer this question completely, demonstrating a strong dichotomy between the case of singular and regular $θ$. We furthermore answer some relative and generalized versions of the above question for singular $θ$, and answer a related question which appears in \cite{BBNKS}.
Discrete flat disks: rigid quadrangulations
Inspired by a question of Ferrari in the physics context of JT gravity, we introduce and enumerate a combinatorial family of quadrangulations of the disk, called rigid quadrangulations. These form a subclass of the flat quadrangulations in the sense that every inner vertex has degree 4, and therefore it can be viewed as a discrete model of flat metrics on the disk. Our main result is a bijection between rigid quadrangulations and certain colorful integer-labeled quadrangulations of the sphere, together with a dictionary relating a variety of natural statistics on both sides. Adaptions of the bijection to various boundary conditions allow us to import recent enumerative results for colorful quadrangulation obtained by Bousquet-Mélou and Elvey Price. We discuss some consequences of the enumeration of rigid quadrangulations for a flat version of JT gravity at finite cutoff, and comment on potential scaling limits.
A tree bijection for rigid quadrangulations
We study the counting problem of rigid quadrangulations, recently introduced by Budd and proven to be in bijection with colorful quadrangulations. The generating function for the latter has been derived in an algebraic manner by Bousquet-Mélou and Elvey Price, which therefore also counts rigid quadrangulations. In this paper we will provide a direct, bijective proof, for this generating function. We will relate the rigid quadrangulations to some naturally appearing trees, decorated with certain natural data. By some slight bijective manipulation of the data, we get a decorated tree, for which the generating function can be found. This result opens the door to better understand the geometry of random rigid quadrangulations (and maybe even of random colorful quadrangulations), by studying the corresponding decorated trees. These properties are relevant the formulation of UV complete JT-gravity, following the work of Ferrari.
There are siblings of $χ$ which are permutations for $n$ even
Let $1$ be the all-one vector and $\odot$ denote the component-wise multiplication of two vectors in $\mathbb F_2^n$. We study the vector space $Γ_n$ over $\mathbb F_2$ generated by the functions $γ_{2k}:\mathbb F_2^n \to \mathbb F_2^n, k\geq 0$, where $$ γ_{2k} = S^{2k}\odot(1+S^{2k-1})\odot(1+S^{2k-3})\odot\ldots\odot(1+S) $$ and $S:\mathbb F_2^n\to\mathbb F_2^n$ is the cyclic left shift function. The functions in $Γ_n$ are shift-invariant and the well known $χ$ function used in several cryptographic primitives is contained in $Γ_n$. For even $n$, we show that the permutations from $Γ_n$ with respect to composition form an Abelian group, which is isomorphic to the unit group of the residue ring $\mathbb F_2[X]/(X^n +X^{n/2})$. This isomorphism yields an efficient theoretic and algorithmic method for constructing and studying a rich family of shift-invariant permutations on $\mathbb F_2^n$ which are natural generalizations of $χ$. To demonstrate it, we apply the obtained results to investigate the function $γ_0 +γ_2+γ_4$ on $\mathbb F_2^n$.
Sequences of odd length in strict partitions IV: the combinatorics of parameterized Rogers-Ramanujan type identities
In the first three papers, we conducted a series of discussions on the statistics of strict partitions and Rogers-Ramanujan partitions, specifically the sequences of odd length (denoted as $\mathrm{sol}$) and its extensions. We established bijections for some Rogers-Ramanujan type identities. This paper will continue that series of work, and first we will use the bijective method to re-establish several parameterized Rogers-Ramanujan type identities, which appeared in the recent work of Hao-Kuai-Xia and Li-Wang. Moreover, we focus on the work of Chen-Yin and parameterize their main results, where the $\mathrm{sol}$ has evolved.
Lacunary sequences whose reciprocal sums represent all rational numbers in an interval
Disproving a conjecture of Bleicher and Erdős, we show that there exists a lacunary sequence of positive integers such that finite sums of reciprocals of its terms attain all rational numbers from a non-empty open interval. We also study several stronger variants of their original problem: determining the value of the optimal lacunarity parameter, representing rational numbers infinitely many times, finding such lacunary sequences with arbitrarily large jumps, and relating the maximal length of a filled interval to a prescribed lacunarity parameter.
Exact structures and maximal canonically Jordan recoverable subcategories for modules over type $A$ algebras
On one hand, exact structures were introduced by D. Quillen in the '70s. They can be defined as collections of short exact sequences in a fixed abelian category satisfying additional properties.
On the other hand, in a recent work, A. Garver, R. Patrias, and H. Thomas introduced Jordan recoverability. Given a bounded quiver $(Q,R)$, a full additive subcategory of $\operatorname{rep}(Q,R)$ is said to be Jordan recoverable if any $X \in \mathscr{C}$ can be recovered, up to isomorphism, from the Jordan form of its generic nilpotent endomorphisms. Such a subcategory $\mathscr{C}$ is said to be canonically Jordan recoverable if, moreover, there exists a precise algebraic procedure that allows one to get back $X \in \mathscr{C}$ from that same Jordan form data.
We introduce a new family of operators, called Gen-Sub operators $\operatorname{GS}_\mathcal{E}$, parametrized by the exact structures $\mathcal{E}$ of abelian categories. After showing some properties of those operators in hereditary abelian categories, by focusing on the setting of modules over type $A$ quivers endowed with the diamond exact structure $\mathcal{E}_\diamond$, we establish that the maximal canonically Jordan recoverable subcategories are precisely of the form $\operatorname{GS}_{\mathcal{E}_\diamond}(T)$ for some tilting object $T$.
Dold-Gauss Congruences, Norm Descent, and Rational Rigidity
We develop a Witt--Hadamard calculus for Euler products that unifies the classical Gauss congruences with their modern refinement, the Dold congruences. Within this framework we prove \emph{norm descent}: Dold congruences are functorial under finite extensions and preserved by prime--ideal norms $N_{K/\mathbb{Q}}$, yielding integer ghosts from algebraic ones. We extend the theory from $\mathbb{Z}$ to Dedekind domains, and show that integrality is stable under both Hadamard and Witt products. Two rigidity theorems lie at the core: a \emph{cyclotomic residues theorem}, asserting that if the logarithmic derivative has only cyclotomic poles then integrality forces rationality; and a stronger \emph{Dold$^{+}$ rigidity theorem}, showing that any algebraic series satisfying refined Dold congruences is necessarily rational. These results sharpen the Gauss--Dold picture: ordinary congruences enforce integrality, while the strengthened form collapses algebraic cases to rational ones. Applications include prime--ideal ladders in number fields and exact product laws for dynamical zeta functions, illustrated for subshifts of finite type and circle doubling.
The Popular Dimension of Matchings
We study popular matchings in three classical settings: the house allocation problem, the marriage problem, and the roommates problem. In the popular matching problem, (a subset of) the vertices in a graph have preference orderings over their potential matches. A matching is popular if it gets a plurality of votes in a pairwise election against any other matching. Unfortunately, popular matchings typically do not exist. So we study a natural relaxation, namely popular winning sets which are a set of matchings that collectively get a plurality of votes in a pairwise election against any other matching. The $\textit{popular dimension}$ is the minimum cardinality of a popular winning set, in the worst case over the problem class.
We prove that the popular dimension is exactly $2$ in the house allocation problem, even if the voters are weighted and ties are allowed in their preference lists. For the marriage problem and the roommates problem, we prove that the popular dimension is between $2$ and $3$, when the agents are weighted and/or their preferences orderings allow ties. In the special case where the agents are unweighted and have strict preference orderings, the popular dimension of the marriage problem is known to be exactly $1$ and we prove the popular dimension of the roommates problem is exactly $2$.
Totally positive Toeplitz matrices: classical and modern
By a theorem of Edrei, an infinite, normalised totally nonnegative upper-triangular Toeplitz matrix is determined by a pair of nonnegative parameter sequences, the `Schoenberg parameters', where nonzero parameters correspond to the roots and poles of a naturally associated generating function. These totally nonnegative Toeplitz matrices and their parameters also arise in the classification of characters of the infinite symmetric group by later work of Thoma. Moreover the Schoenberg parameters have an asymptotic interpretation in terms of irreducible representations of S_n and their Young diagrams by Vershik-Kerov. In this article we consider infinite totally positive Toeplitz matrices as limits of finite ones, and we obtain two further asymptotic descriptions of the Schoenberg parameters that are now related to quantum cohomology of the flag variety as n goes to infinity. One is related to asymptotics of normalised quantum parameters, and the other to asymptotics of the Chern classes of the tautological line bundles. We also describe the asymptotics of (quantum) Schubert classes in terms of the Schoenberg parameters. Our limit formulas relate to and were motivated by a tropical analogue of this theory that we survey. In the tropical setting one finds an asymptotic relationship between the `tropical Schoenberg parameters' and the weight map from Lusztig's parametrisation of the canonical basis.
The combinatorial geometry of particle physics
Recent breakthroughs in the study of scattering amplitudes have uncovered profound and unexpected connections with combinatorial geometry. These connections range from classical structures -- such as polytopes, matroids, and Grassmannians -- to more modern developments including positroid varieties and the amplituhedron. Together they point toward the unifying framework of positive geometry, in which geometric domains canonically determine analytic functions governing scattering processes. This survey traces the emergence of positive geometry from the physics of amplitudes, building towards recent progress on amplitudes for matroids.
On minimal product-one sequences of maximal length over the non-abelian group of order $pq$
Let $G$ be a finite group. A sequence over $G$ is a finite multiset of elements of $G$, and it is called product-one if its terms can be ordered so that their product is the identity of $G$. The large Davenport constant $\D(G)$ is the maximal length of a minimal product-one sequence, that is, a product-one sequence that cannot be partitioned into two nontrivial product-one subsequences. Let $p,q$ be odd prime numbers with $p \mid q-1$ and let $C_q \rtimes C_p$ denote the non-abelian group of order $pq$. It is known that $\D(C_q \rtimes C_p) = 2q$. In this paper, we describe all minimal product-one sequences of length $2q$ over $C_q \rtimes C_p$. As an application, we further investigate the $k$-th elasticity (and, consequently, the union of sets containing $k$) of the monoid of product-one sequences over these groups.
Explicit construction of infinite families of strongly regular digraphs with parameters $((v+(2^{n+1}-4)t)2^{n-1}, k+(2^n-2)t, t, λ, t)$
Published in Prikladnaya Diskretnaya Matematika, 2025, no. 69, 111-120
• View Publication
• BIB
An explicit construction of infinite sequences of strongly regular digraphs with parameter sets $((v+(2^{n+1}-4)t)2^{n-1}, k+(2^n-2)t, t, λ, t)$ is described. A computer program was used to find the initial digraphs. The remaining terms of the sequence are obtained by the constructed recurrence. Using the described approach, 11 families of strongly regular digraphs were found. In particular, these families contain digraphs $\text{dsrg}(72, 18, 5, 3, 5)$, $\text{dsrg}(76, 19, 5, 4, 5)$, $\text{dsrg}(92, 23, 6, 5, 6)$ and $\text{dsrg}(104, 26, 7, 5, 7)$, the question of the existence of which was previously open.
Limit shapes for Domain-Wall (colored) vertex models
We study partition functions with domain-wall like boundary conditions for path models issued from colored vertex models. These models display an arctic phenomenon, as attested by numerical simulations. We show that the colored vertex model is equivalent to a certain single-color ``colorblind" vertex model. In a special case of the weights for the colorblind touching paths, we derive the arctic curve using a bijective sliding map to non-intersecting paths, for which arctic curves were previously derived using the tangent method. The resulting arctic curves are only piecewise analytic, as in the known non-free fermion cases of Six vertex model with domain-wall boundaries and its relatives. We also prove a shear phenomenon, that some portions of the arctic curve are sheared versions of the analytic continuation of other portions, as already observed in the uniformly weighted Six and Twenty vertex models.
On the combinatorics of tableaux -- A notebook of open problems
Inspired by the the Kourovka Notebook of unsolved problems in group theory [KhukhMaz2024], this is a notebook of unsolved problems in the combinatorics of tableaux. Contributions to the notebook are invited.
Classification and Ideal Lattices of Leavitt Path Algebras
Leavitt path algebras are free algebras subject to relations induced by directed graphs. This paper investigates the ideals of Leavitt path algebras, with an emphasis on the relationship between graph-theoretic properties of a directed graph and the ideals of the associated Leavitt path algebra. We begin by presenting a new proof of a fundamental result characterizing graded and non-graded ideals of a Leavitt path algebra using a condition on the number of closed paths at each vertex in its directed graph. Appealing to this result, we then classify the Leavitt path algebras of directed graphs with two vertices up to isomorphism and determine all possible lattice structures of a class of well-behaved ideals possessed by such algebras.
Eigenvalue Bounds for Random Matrices via Zerofreeness
We introduce a new technique to prove bounds for the spectral radius of a random matrix, based on using Jensen's formula to establish the zerofreeness of the associated characteristic polynomial in a region of the complex plane. Our techniques are entirely non-asymptotic, and we instantiate it in three settings:
(i) The spectral radius of non-asymptotic Girko matrices -- these are asymmetric matrices $\mathbf{M} \in \mathbb{C}^{n \times n}$ whose entries are independent and satisfy $\mathbb{E} \mathbf{M}_{ij} = 0$ and $\mathbb{E} |\mathbf{M}_{ij}^2| \le \frac{1}{n}$.
(ii) The spectral radius of non-asymptotic Wigner matrices -- these are symmetric matrices $\mathbf{M} \in \mathbb{C}^{n \times n}$ whose entries above the diagonal are independent and satisfy $\mathbb{E} \mathbf{M}_{ij} = 0$, $\mathbb{E} |\mathbf{M}_{ij}^2| \le \frac{1}{n}$, and $\mathbb{E} |\mathbf{M}_{ij}^4| \le \frac{1}{n}$.
(iii) The second eigenvalue of the adjacency matrix of a random $d$-regular graph on $n$ vertices, as drawn from the configuration model.
In all three settings, we obtain constant-probability eigenvalue bounds that are tight up to a constant. Applied to specific random matrix ensembles, we recover classic bounds for Wigner matrices, as well as results of Bordenave--Chafaï--García-Zelada, Bordenave--Lelarge--Massoulié, and Friedman, up to constants.
Metric Poincaré inequalities for graphs
This article obtains purely metric counterparts of cornerstone results in the theory of embedding graphs into normed spaces. Our first main result is a metric analogue of Matoušek's extrapolation relating the Poincaré constants $γ(G,\varrho^p)$ and $γ(G,\varrho^q)$ for any exponents $0 < p,q < \infty$, any bounded-degree expander graph $G$, and any target metric space $\mathcal{M}=(M,\varrho)$. Our second main result provides a sharp estimate of the Poincaré constant $γ(G,\varrho)$ in terms of the cardinalities of the vertex set of $G$ and the metric space $\mathcal{M}=(M,\varrho)$, in the setting of \textit{random} graphs. This yields optimal estimates on the minimum cardinality of (bi-Lipschitz) universal metric spaces for graphs, finally establishing a nonlinear analogue of Matoušek's celebrated "incompressibility" theorem (1996). Further, we obtain estimates on the nonlinear spectral gap of metric snowflakes and sharp lower bounds on the distortion of random regular graphs into arbitrary metric spaces. Our proofs develop new nonlinear techniques, including random compression methods and a novel structural dichotomy for metric embeddings.
Translational tilings: structured or wild?
The study of the structure of translational tilings has captivated mathematicians, scientists, and the general public for centuries and continues to thrive at the crossroads of analysis, combinatorics, dynamics, logic, number theory, and geometry. This vibrant field seeks to uncover the delicate divide between rigid structures and unpredictable, ``wild'' behaviors that arise when sets fill space by translations without gaps or overlaps. We provide an overview of this study and recent developments, highlighting its multidisciplinary nature and offering a glimpse into the process behind the results.