Showing 20 papers (Total: 84460 papers, 48641 authors in database)
The p-Airy distribution
In this manuscript we consider the set of Dyck paths equipped with the uniform measure, and we study the statistical properties of a deformation of the observable "area below the Dyck path" as the size $N$ of the path goes to infinity. The deformation under analysis is apparently new: while usually the area is constructed as the sum of the heights of the steps of the Dyck path, here we regard it as the sum of the lengths of the connected horizontal slices under the path, and we deform it by applying to the lengths of the slices a positive regular function $ω(\ell)$ such that $ω(\ell) \sim \ell^p$ for large argument. This shift of paradigm is motivated by applications to the Euclidean Random Assignment Problem in Random Combinatorial Optimization, and to Tree Hook Formulas in Algebraic Combinatorics.
For $p \in \mathbb{R}^+ \smallsetminus \left\{ \frac{1}{2}\right\}$, we characterize the statistical properties of the deformed area as a function of the deformation function $ω(\ell)$ by computing its integer moments, finding a generalization of a well-known recursion for the moments of the area-Airy distribution, due to Takács. Most of the properties of the distribution of the deformed area are \emph{universal}, meaning that they depend on the deformation parameter $p$, but not on the microscopic details of the function $ω(\ell)$. We call \emph{$p$-Airy distribution} this family of universal distributions.
Constructing Dense Grid-Free Linear $3$-Graphs
Published
• View Publication
• BIB
We show that there exist linear $3$-uniform hypergraphs with $n$ vertices and $Ω(n^2)$ edges which contain no copy of the $3 \times 3$ grid. This makes significant progress on a conjecture of Füredi and Ruszinkó. We also discuss connections to proving lower bounds for the $(9,6)$ Brown-Erdős-Sós problem and to a problem of Solymosi and Solymosi.
Standard monomials of $1$-skeleton ideals of multigraphs
Published in Indian Journal of Pure and Applied Mathematics (2025)
• View Publication
• BIB
Given a graph $G$ on the vertex set $\{0,1,\ldots,n\}$ with the root vertex $0$, Postnikov and Shapiro associated a monomial ideal $\mathcal{M}_G$ in the polynomial ring $R=\mathbb{K}[x_1,\ldots,x_n]$ over a field $\mathbb{K}$ such that $\dim_{\mathbb{K}}(R/\mathcal{M}_G)=\det\widetilde L_G$, where $\widetilde L_G$ is the truncated Laplacian of $G$. Dochtermann introduced the $1$-skeleton ideal $\mathcal{M}_G^{(1)}$ of $\mathcal{M}_G$ which satisfies the property that $\dim_{\mathbb{K}}(R/\mathcal{M}_G^{(1)})\ge\det\widetilde Q_G$, where $\widetilde Q_G$ is the truncated signless Laplacian of $G$. In this paper we characterize all subgraphs of the multigraph $K_{n+1}^{a,1}$, in particular all simple graphs $G$, such that $\dim_{\mathbb{K}}(R/\mathcal{M}_G^{(1)})=\det\widetilde Q_G$. Moreover, we give examples of subgraphs $G$ of the complete multigraph $K_{n+1}^{a,b}$, in which the equality $\dim_{\mathbb{K}}(R/\mathcal{M}_G^{(1)})=\det\widetilde Q_G$ holds. We also provide a conjecture on the structure of a general multigraph satisfying the above-mentioned equality.
Homology of configuration spaces of hard squares in a rectangle
Published in Algebr. Geom. Topol. 23 (2023) 2593-2626
• View Publication
• BIB
We study ordered configuration spaces $C(n;p,q)$ of $n$ hard squares in a $p \times q$ rectangle, a generalization of the well-known "15 Puzzle". Our main interest is in the topology of these spaces. Our first result is to describe a cubical cell complex and prove that is homotopy equivalent to the configuration space. We then focus on determining for which $n$, $j$, $p$, and $q$ the homology group $H_j [ C(n;p,q) ]$ is nontrivial. We prove three homology-vanishing theorems, based on discrete Morse theory on the cell complex. Then we describe several explicit families of nontrivial cycles, and a method for interpolating between parameters to fill in most of the picture for "large-scale" nontrivial homology.
Generalized rainbow Turán numbers of odd cycles
Published
• View Publication
• BIB
Given graphs $F$ and $H$, the generalized rainbow Turán number $\text{ex}(n,F,\text{rainbow-}H)$ is the maximum number of copies of $F$ in an $n$-vertex graph with a proper edge-coloring that contains no rainbow copy of $H$. B. Janzer determined the order of magnitude of $\text{ex}(n,C_s,\text{rainbow-}C_t)$ for all $s\geq 4$ and $t\geq 3$, and a recent result of O. Janzer implied that $\text{ex}(n,C_3,\text{rainbow-}C_{2k})=O(n^{1+1/k})$. We prove the corresponding upper bound for the remaining cases, showing that $\text{ex}(n,C_3,\text{rainbow-}C_{2k+1})=O(n^{1+1/k})$. This matches the known lower bound for $k$ even and is conjectured to be tight for $k$ odd.
Cayley graphs for extraspecial p-groups and a covering graph perspective on Huang's theorem
In 1985, Arjeh Cohen and Jacques Tits proved the existence of a 4-cycle-free 2-fold cover of the hypercube. This Cohen-Tits cover is closely related to the signed adjacency matrix that Hao Huang used last year in his proof of the Sensitivity Conjecture. Terence Tao observed that Huang's signed adjacency matrix can be understood by lifting functions on an elementary abelian 2-group to functions on a central extension. Inspired by Tao's observation, we generalize the Cohen-Tits cover by constructing, as Cayley graphs for extraspecial p-groups, two infinite families of 4-cycle-free p-fold covers of the Cartesian product of p-cycles.
Up- and Down-Operators on Young's Lattice
Published
• View Publication
• BIB
The up-operators $u_i$ and down-operators $d_i$ (introduced as Schur operators by Fomin) act on partitions by adding/removing a box to/from the $i$th column if possible. It is well known that the $u_i$ alone satisfy the relations of the (local) plactic monoid, and the present authors recently showed that relations of degree at most 4 suffice to describe all relations between the up-operators. Here we characterize the algebra generated by the up- and down-operators together, showing that it can be presented using only quadratic relations.
Multiplicity-free skew Schur polynomials
Published
• View Publication
• BIB
We provide a non-recursive, combinatorial classification of multiplicity-free skew Schur polynomials. These polynomials are $GL_n$, and $SL_n$, characters of the skew Schur modules. Our result extends work of H. Thomas--A. Yong, and C. Gutschwager, in which they classify the multiplicity-free skew Schur functions.
Mutual Borders and Overlaps
Published
• View Publication
• BIB
A word is said to be \emph{bordered} if it contains a non-empty proper prefix that is also a suffix. We can naturally extend this definition to pairs of non-empty words. A pair of words $(u,v)$ is said to be \emph{mutually bordered} if there exists a word that is a non-empty proper prefix of $u$ and suffix of $v$, and there exists a word that is a non-empty proper suffix of $u$ and prefix of $v$. In other words, $(u,v)$ is mutually bordered if $u$ overlaps $v$ and $v$ overlaps $u$. We give a recurrence for the number of mutually bordered pairs of words. Furthermore, we show that, asymptotically, there are $c\cdot k^{2n}$ mutually bordered words of length-$n$ over a $k$-letter alphabet, where $c$ is a constant. Finally, we show that the expected shortest overlap between pairs of words is bounded above by a constant.
Counting Parabolic Double Cosets in Symmetric Groups
Published
• View Publication
• BIB
Billey, Konvalinka, Petersen, Solfstra, and Tenner recently presented a method for counting parabolic double cosets in Coxeter groups, and used it to compute $p_n$, the number of parabolic double cosets in $S_n$, for $n\leq13$. In this paper, we derive a new formula for $p_n$ and an efficient polynomial time algorithm for evaluating this formula. We use these results to compute $p_n$ for $n\leq5000$ and to prove an asymptotic formula for $p_n$ that was conjectured by Billey et al.
Gaussian Asymptotics of Jack Measures on Partitions from Weighted Enumeration of Ribbon Paths
Published
• View Publication
• BIB
In this paper we determine two asymptotic results for Jack measures on partitions, a model defined by two specializations of Jack polynomials proposed by Borodin-Olshanski in [European J. Combin. 26.6 (2005): 795-834]. Assuming these two specializations are the same, we derive limit shapes and Gaussian fluctuations for the anisotropic profiles of these random partitions in three asymptotic regimes associated to diverging, fixed, and vanishing values of the Jack parameter. To do so, we introduce a generalization of Motzkin paths we call "ribbon paths", show for general Jack measures that certain joint cumulants are weighted sums of connected ribbon paths on $n$ sites with $n-1+g$ pairings, and derive our two results from the contributions of $(n,g)=(1,0)$ and $(2,0)$, respectively. Our analysis makes use of Nazarov-Sklyanin's spectral theory for Jack polynomials. As a consequence, we give new proofs of several results for Schur measures, Plancherel measures, and Jack-Plancherel measures. In addition, we relate our weighted sums of ribbon paths to the weighted sums of ribbon graphs of maps on non-oriented real surfaces recently introduced by Chapuy-Dolęga.
Asymptotic Enumeration and Distributional Properties of Galled Networks
Published
• View Publication
• BIB
We show a first-order asymptotics result for the number of galled networks with $n$ leaves. This is the first class of phylogenetic networks of {\it large} size for which an asymptotic counting result of such strength can be obtained. In addition, we also find the limiting distribution of the number of reticulation nodes of a galled networks with $n$ leaves chosen uniformly at random. These results are obtained by performing an asymptotic analysis of a recent approach of Gunawan, Rathin, and Zhang (2020) which was devised for the purpose of (exactly) counting galled networks. Moreover, an old result of Bender and Richmond (1984) plays a crucial role in our proofs, too.
A formula for boundary correlations of the critical Ising model
Published
• View Publication
• BIB
Given a finite rhombus tiling of a polygonal region in the plane, the associated critical $Z$-invariant Ising model is invariant under star-triangle transformations. We give a simple matrix formula describing spin correlations between boundary vertices in terms of the shape of the region. When the region is a regular polygon, our formula becomes an explicit trigonometric sum.
Eulers Graph World - Purity, Regularity and Evenness -Law of Nature? - Constructions and Examples
We propose a Law of Nature? Viz., Pure Regularity Occurs at Naïve Levels and Regularity has Affinity with Evenness. In a series of three papers, it was established that regular Euler graphs with only one type of (pure) cycles are nonexistent; Regular Euler graphs with only two types of cycles are possible in one of the six cases, viz., regular bipartite Euler graphs of degree >2; Evenness plays role in unveiling regularity; Lastly, K5 is a regular Euler graph with three types of cycles (0,1,3); This is the only known graph with the property; It is conjectured that regular Euler graphs of order >5 with only three cycle types are nonexistent and this is proved true in part cases in each of the four cases. Some constructions and examples are given for the Euler graphs under (mod 4) satisfying intersection (combined cycle) rules. These infinite classes of Euler graphs serve as candidates for gracefulness. Infinite families of graceful graphs are presented in Case-0.
The training accuracy of two-layer neural networks: its estimation and understanding using random datasets
Published
• View Publication
• BIB
Although the neural network (NN) technique plays an important role in machine learning, understanding the mechanism of NN models and the transparency of deep learning still require more basic research. In this study, we propose a novel theory based on space partitioning to estimate the approximate training accuracy for two-layer neural networks on random datasets without training. There appear to be no other studies that have proposed a method to estimate training accuracy without using input data and/or trained models. Our method estimates the training accuracy for two-layer fully-connected neural networks on two-class random datasets using only three arguments: the dimensionality of inputs (d), the number of inputs (N), and the number of neurons in the hidden layer (L). We have verified our method using real training accuracies in our experiments. The results indicate that the method will work for any dimension, and the proposed theory could extend also to estimate deeper NN models. The main purpose of this paper is to understand the mechanism of NN models by the approach of estimating training accuracy but not to analyze their generalization nor their performance in real-world applications. This study may provide a starting point for a new way for researchers to make progress on the difficult problem of understanding deep learning.
Optimal Binary LCD Codes
Published in Designs, Codes and Cryptography (2021)
• View Publication
• BIB
Linear complementary dual codes (or codes with complementary duals) are codes whose intersections with their dual codes are trivial. These codes were first introduced by Massey in 1964. Nowadays, LCD codes are extensively studied in the literature and widely applied in data storage, cryptography, etc. In this paper, we prove some properties of binary LCD codes using their shortened and punctured codes. We also present some inequalities for the largest minimum weight $d_{LCD}(n,k)$ of binary LCD [n,k] codes for given length n and dimension k. Furthermore, we give two tables with the values of $d_{LCD}(n,k)$ for $k\le 32$ and $n\le 40$, and two tables with classification results.
Moore graph with parameters (3250,57,0,1) does not exist
If a regular graph of degree $k$ and diameter $d$ has $v$ vertices then $$v\le 1+k+k(k-1)+\dots+k(k-1)^{d-1}.$$ Graphs with $v=1+k+k(k-1)+\dots+k(k-1)^{d-1}$ are called Moore graphs. Damerell proved that a Moore graph of degree $k\ge 3$ has diameter $2$. If $Γ$ is a Moore graph of diameter $2$, then $v=k^2+1$, $Γ$ is strongly regular with $λ=0$ and $μ=1$, and one of the following statements holds{\rm:} $k=2$ and $Γ$ is the pentagon, $k=3$ and $Γ$ is the Petersen graph, $k=7$ and $Γ$ is the Hoffman-Singleton graph, or $k=57$. The existence of a Moore graph of degree $57$ was unknown. Jurishich and Vidali have proved that the existence of a Moore graph of degree $k>3$ is equivalent to the existence of a distance-regular graph with intersection array $\{k-2,k-3,2;1,1,k-3\}$ (in the case $k=57$ we have a distance-regular graph with intersection array $\{55,54,2;1,1,54\}$). In this paper we prove that a distance-regular graph with intersection array $\{55,54,2;1,1,54\}$ does not exist. As a corollary, we prove that a Moore graph of degree $57$ does not exist.
Domination versus independent domination in regular graphs
Published
• View Publication
• BIB
A set $S$ of vertices in a graph $G$ is a dominating set if every vertex of $G$ is in $S$ or is adjacent to a vertex in $S$. If, in addition, $S$ is an independent set, then $S$ is an independent dominating set. The domination number $γ(G)$ of $G$ is the minimum cardinality of a dominating set in $G$, while the independent domination number $i(G)$ of $G$ is the minimum cardinality of an independent dominating set in $G$. We prove that for all integers $k \geq 3$ it holds that if $G$ is a connected $k$-regular graph, then $\frac{i(G)}{γ(G)} \leq \frac{k}{2}$, with equality if and only if $G = K_{k,k}$. The result was previously known only for $k\leq 6$. This affirmatively answers a recent question of Babikir and Henning.
On the Non-Commuting Graph of the Group $U_{6n}$
Published
• View Publication
• BIB
A non-commuting graph of a finite group $G$ is a graph whose vertices are non-central elements of $G$ and two vertices are adjacent if they don't commute in $G$. In this paper, we study the non-commuting graph of the group $U_{6n}$ and explore some of its properties including the independent number, clique and chromatic numbers. Also, the general formula of the resolving polynomial of the non-commuting graph of the group $U_{6n}$ are provided. Furthermore, we find the detour index, eccentric connectivity, total eccentricity and independent polynomials of the graph.
Castelnuovo polytopes
Published
• View Publication
• BIB
It is known that the sectional genus of a polarized variety has an upper bound, which is an extension of the Castelnuovo bound on the genus of a projective curve. Polarized varieties whose sectional genus achieves this bound are called Castelnuovo. On the other hand, a lattice polytope is called Castelnuovo if the associated polarized toric variety is Castelnuovo. Kawaguchi characterized Castelnuovo polytopes having interior lattice points in terms of their $h^*$-vectors. In this paper, as a generalization of this result, a characterization of all Castelnuovo polytopes will be presented. Finally, as an application of our characterization, we give a sufficient criterion for a lattice polytope to be IDP.