Showing 20 papers (Total: 83133 papers, 48023 authors in database)
An Approximation to Proof of the Circulant Hadamard Conjecture
Turyn prove that if a circulant Hadamard matrix of order $n$ exists then $n$ must be of the form $n=4m^{2}$ for some odd integer $m$. In this paper we use the structure constant of Schur ring of $\Z_{2}^{4m^{2}}$ to prove that there is no circulant Hadamard matrix in $\Z_{2}^{4m^{2}}$ except possibly for sequences with Hamming weight $a+b$, with $\frac{m^{2}-m}{2}\leq a\leq\frac{3m^{2}-m}{2}$ and $b=2m^{2}-m-a$ and with $\frac{m^{2}+m}{2}\leq 2m^{2}-a\leq\frac{3m^{2}+m}{2}$ and $b=m+a$.
Graph Reconstruction from Path Correlation Data
Published
• View Publication
• BIB
A communication network can be modeled as a directed connected graph with edge weights that characterize performance metrics such as loss and delay. Network tomography aims to infer these edge weights from their pathwise versions measured on a set of intersecting paths between a subset of boundary vertices, and even the underlying graph when this is not known. In particular, temporal correlations between path metrics have been used infer composite weights on the subpath formed by the path intersection. We call these subpath weights the Path Correlation Data. In this paper we ask the following question: when can the underlying weighted graph be recovered knowing only the boundary vertices and the Path Correlation Data? We establish necessary and sufficient conditions for a graph to be reconstructible from this information, and describe an algorithm to perform the reconstruction. Subject to our conditions, the result applies to directed graphs with asymmetric edge weights, and accommodates paths arising from asymmetric routing in the underlying communication network. We also describe the relationship between the graph produced by our algorithm and the true graph in the case that our conditions are not satisfied.
On the finiteness of quantum K-theory of a homogeneous space
Published in International Mathematics Research Notices, Volume 2022, Issue 2, January 2022, Pages 1313--1349
• View Publication
• BIB
We show that the product in the quantum K-ring of a generalized flag manifold $G/P$ involves only finitely many powers of the Novikov variables. In contrast to previous approaches to this finiteness question, we exploit the finite difference module structure of quantum K-theory. At the core of the proof is a bound on the asymptotic growth of the $J$-function, which in turn comes from an analysis of the singularities of the zastava spaces studied in geometric representation theory.
An appendix by H. Iritani establishes the equivalence between finiteness and a quadratic growth condition on certain shift operators.
Bisimplicial complexes and asphericity
We present a discrete Morse-theoretic method for proving that a regular CW complex is homeomorphic to a sphere. We use this method to define bisimplices, the cells of a class of regular CW complexes we call bisimplicial complexes. The 1-skeleta of bisimplices are complete bipartite graphs making them suitable in constructing higher dimensional skeleta for bipartite graphs. We show that the flag bisimplicial completion of a finite bipartite bi-dismantlable graph is collapsible. We use this to show that the flag bisimplicial completion of a quadric complex is contractible and to construct a compact K(G,1) for G a torsion-free quadric group.
Bounds on the largest Kronecker and induced multiplicities of finite groups
Published
• View Publication
• BIB
We give new bounds and asymptotic estimates on the largest Kronecker and induced multiplicities of finite groups. The results apply to large simple groups of Lie type and other groups with few conjugacy classes.
On the largest Kronecker and Littlewood--Richardson coefficients
Published
• View Publication
• BIB
We give new bounds and asymptotic estimates for Kronecker and Littlewood--Richardson coefficients. Notably, we resolve Stanley's questions on the shape of partitions attaining the largest Kronecker and Littlewood--Richardson coefficients. We apply the results to asymptotics of the number of standard Young tableaux of skew shapes.
Representations of monomial matrices and restriction from $GL_n$ to $S_n$
We outline an approach to understanding restrictions of polynomial representations of $GL_n(\mathbb{C})$ to $S_n$ by first restricting to $T \rtimes S_n$, the subgroup of $n \times n$ monomial matrices. Using this approach we give a combinatorial interpretation for the decomposition of a tensor product of symmetric powers of the defining representation.
New Lower Bounds for Permutation Arrays Using Contraction
Published
• View Publication
• BIB
A permutation array $A$ is a set of permutations on a finite set $Ω$, say of size $n$. Given distinct permutations $π, σ\in Ω$, we let $hd(π, σ) = |\{ x\in Ω: π(x) \ne σ(x) \}|$, called the Hamming distance between $π$ and $σ$. Now let $hd(A) =$ min$\{ hd(π, σ): π, σ\in A \}$. For positive integers $n$ and $d$ with $d\le n$, we let $M(n,d)$ be the maximum number of permutations in any array $A$ satisfying $hd(A) \geq d$. There is an extensive literature on the function $M(n,d)$, motivated in part by suggested applications to error correcting codes for message transmission over power lines.
A basic fact is that if a permutation group $G$ is sharply $k$-transitive on a set of size $n\geq k$, then $M(n,n-k+1) = |G|$. Motivated by this we consider the permutation groups $AGL(1,q)$ and $PGL(2,q)$ acting sharply $2$-transitively on $GF(q)$ and sharply $3$-transitively on $GF(q)\cup \{\infty\}$ respectively. Applying a contraction operation to these groups, we obtain the following new lower bounds for prime powers $q$ satisfying $q\equiv 1$ (mod $3$).
1. $M(q-1,q-3)\geq (q^{2} - 1)/2$ for $q$ odd, $q\geq 7$,
2. $M(q-1,q-3)\geq (q-1)(q+2)/3$ for $q$ even, $q\geq 8$,
3. $M(q,q-3)\geq Kq^{2}\log q$ for some constant $K$ if $q$ is odd, $q\geq 13$.
These results resolve a case left open in a previous paper \cite{BLS}, where it was shown that $M(q-1, q-3) \geq q^{2} - q$ and $M(q,q-3) \geq q^{3} - q$ for all prime powers $q$ such that $q\not \equiv 1$ (mod $3$). We also obtain lower bounds for $M(n,d)$ for a finite number of exceptional pairs $n,d$, by applying this contraction operation to the sharply $4$ and $5$-transitive Mathieu groups.
Scheduling Asynchronous Round-Robin Tournaments
Published in Operations Research Letters, 44(1):96-100 (2016)
• View Publication
• BIB
We study the problem of scheduling asynchronous round-robin tournaments. We consider three measures of a schedule that concern the quality and fairness of a tournament. We show that the schedule generated by the well-known "circle design" performs well with respect to all three measures when the number of teams is even, but not when the number of teams is odd. We propose a different schedule that performs optimally with respect to all measures when the number of teams is odd.
Non-existence of perfect binary sequences
Binary sequences with lower autocorrelation values have important applications in cryptography and communications. In this paper, we present all possible parameters for binary periodical sequences with a 2-level autocorrelation values. For $n \equiv 1\pmod 4$, we prove some cases of Schmidt's Conjecture for perfect binary sequences. (Des. Codes Cryptogr. 78 (2016), 237-267.) For $n \equiv 2\pmod 4$, Jungnickel and Pott (Discrete Appl. Math. 95 (1999) 331-359.) left four perfect binary sequences as open problem and we solve three of its. For $n \equiv 3\pmod 4$, we present some nonexistence of binary sequences which all nontrivial autocorrelation values are equal 3. For $n \equiv 0\pmod 4$, we show that there do not exist the binary sequences which all nontrivial autocorrelation values are equal 4.
Combinatorics of explicit substitutions
Published
• View Publication
• BIB
$λ\upsilon$ is an extension of the $λ$-calculus which internalises the calculus of substitutions. In the current paper, we investigate the combinatorial properties of $λ\upsilon$ focusing on the quantitative aspects of substitution resolution. We exhibit an unexpected correspondence between the counting sequence for $λ\upsilon$-terms and famous Catalan numbers. As a by-product, we establish effective sampling schemes for random $λ\upsilon$-terms. We show that typical $λ\upsilon$-terms represent, in a strong sense, non-strict computations in the classic $λ$-calculus. Moreover, typically almost all substitutions are in fact suspended, i.e. unevaluated, under closures. Consequently, we argue that $λ\upsilon$ is an intrinsically non-strict calculus of explicit substitutions. Finally, we investigate the distribution of various redexes governing the substitution resolution in $λ\upsilon$ and investigate the quantitative contribution of various substitution primitives.
Some Applications of $S$-restricted Set Partitions
In the paper, the authors present several new relations and applications for the combinatorial sequence that counts the possible partitions of a finite set with the restriction that the size of each block is contained in a given set. One of the main applications is in the study of lonesum matrices.
A Variant of The Corners Theorem
Published in Math. Proc. Camb. Phil. Soc. 171 (2021) 607-621
• View Publication
• BIB
The Corners Theorem states that for any $α> 0$ there exists an $N_0$ such that for any abelian group $G$ with $|G| = N \geq N_0$ and any subset $A \subset G \times G$ with $|A| \ge αN^2$ we can find a corner in $A$ , i.e. there exist $x, y, d \in G$ with $d \neq 0$ such that $(x, y), (x+d, y), (x, y+d) \in A$. Here, we consider a stronger version: given such a group $G$ and subset $A$, for each $d \in G$ we define $S_d = \{(x, y) \in G \times G : (x, y), (x+d, y), (x, y+d) \in A \}$ . So $|S_d|$ is the number of corners of size $d$. Is it true that, provided $N$ is sufficiently large, there must exist some $d \in G \setminus \{0\}$ such that $|S_d|> (α^3 - ε) N^2$ ? We answer this question in the negative. We do this by relating the problem to a much simpler-looking problem about random variables. Then, using this link, we show that there are sets $A$ with $|S_d| < Cα^{3.13} N^2$ for all $d \neq 0$, where $C$ is an absolute constant. We also show that in the special case where $G = \mathbb{F}_2^n$, one can always find a $d$ with $|S_d|> (α^4 - ε) N^2$.
Every planar graph without adjacent cycles of length at most $8$ is $3$-choosable
Published
• View Publication
• BIB
DP-coloring as a generalization of list coloring was introduced by Dvořák and Postle in 2017, who proved that every planar graph without cycles from 4 to 8 is 3-choosable, which was conjectured by Borodin {\it et al.} in 2007. In this paper, we prove that every planar graph without adjacent cycles of length at most $8$ is $3$-choosable, which extends this result of Dvořák and Postle.
Stability results on vertex Turán problems in Kneser graphs
Published
• View Publication
• BIB
The vertex set of the Kneser graph $K(n,k)$ is $V = \binom{[n]}{k}$ and two vertices are adjacent if the corresponding sets are disjoint. For any graph $F$, the largest size of a vertex set $U \subseteq V$ such that $K(n,k)[U]$ is $F$-free, was recently determined by Alishahi and Taherkhani, whenever $n$ is large enough compared to $k$ and $F$. In this paper, we determine the second largest size of a vertex set $W \subseteq V$ such that $K(n,k)[W]$ is $F$-free, in the case when $F$ is an even cycle or a complete multi-partite graph. In the latter case, we actually give a more general theorem depending on the chromatic number of $F$. These results generalize the celebrated Erd\H os-Ko-Rado theorem and Hilton-Milner theorem.
Rapid mixing of Glauber dynamics for colorings below Vigoda's $11/6$ threshold
A well-known conjecture in computer science and statistical physics is that Glauber dynamics on the set of $k$-colorings of a graph $G$ on $n$ vertices with maximum degree $Δ$ is rapidly mixing for $k \geq Δ+2$. In FOCS 1999, Vigoda showed rapid mixing of flip dynamics with certain flip parameters on the set of proper $k$-colorings for $k > \frac{11}{6}Δ$, implying rapid mixing for Glauber dynamics. In this paper, we obtain the first improvement beyond the $\frac{11}{6}Δ$ barrier for general graphs by showing rapid mixing for $k > (\frac{11}{6} - η)Δ$ for some positive constant $η$. The key to our proof is combining path coupling with a new kind of metric that incorporates a count of the extremal configurations of the chain. Additionally, our results extend to list coloring, a widely studied generalization of coloring. Combined, these results answer two open questions from Frieze and Vigoda's 2007 survey paper on Glauber dynamics for colorings.
Some hypergeometric integrals for linear forms in zeta values
Published in Bull. Austral. Math. Soc. 98:3 (2018) 372--375
• View Publication
• BIB
We prove integral representations of the approximation forms in zeta values constructed in arXiv:1801.09895 and arXiv:1803.08905.
Universality of high-dimensional spanning forests and sandpiles
Published
• View Publication
• BIB
We prove that the wired uniform spanning forest exhibits mean-field behaviour on a very large class of graphs, including every transitive graph of at least quintic volume growth and every bounded degree nonamenable graph. Several of our results are new even in the case of $\mathbb{Z}^d$, $d\geq 5$. In particular, we prove that every tree in the forest has spectral dimension $4/3$ and walk dimension $3$ almost surely, and that the critical exponents governing the intrinsic diameter and volume of the past of a vertex in the forest are $1$ and $1/2$ respectively. (The past of a vertex in the uniform spanning forest is the finite component that is disconnected from infinity when that vertex is deleted from the forest.) We obtain as a corollary that the critical exponent governing the extrinsic diameter of the past is $2$ on any transitive graph of at least five dimensional polynomial growth, and is $1$ on any bounded degree nonamenable graph. We deduce that the critical exponents describing the diameter and total number of topplings in an avalanche in the Abelian sandpile model are $2$ and $1/2$ respectively for any transitive graph with polynomial growth of dimension at least five, and are $1$ and $1/2$ respectively for any bounded degree nonamenable graph.
In the case of $\mathbb{Z}^d$, $d\geq 5$, some of our results regarding critical exponents recover earlier results of Bhupatiraju, Hanson, and Járai (2017). In this case, we improve upon their results by showing that the tail probabilities in question are described by the appropriate power laws to within constant-order multiplicative errors, rather than the polylogarithmic-order multiplicative errors present in that work.
k-regular subgraphs near the k-core threshold of a random graph
Published
• View Publication
• BIB
We prove that $G_{n,p=c/n}$ whp has a $k$-regular subgraph if $c$ is at least $e^{-Θ(k)}$ above the threshold for the appearance of a subgraph with minimum degree at least $k$; i.e. an non-empty $k$-core. In particular, this pins down the threshold for the appearance of a $k$-regular subgraph to a window of size $e^{-Θ(k)}$.
Monochromatic balanced components, matchings, and paths in multicolored complete bipartite graphs
Published
• View Publication
• BIB
It is well-known that in every $r$-coloring of the edges of the complete bipartite graph $K_{n,n}$ there is a monochromatic connected component with at least ${2n\over r}$ vertices. It would be interesting to know whether we can additionally require that this large component be balanced; that is, is it true that in every $r$-coloring of $K_{n,n}$ there is a monochromatic component that meets both sides in at least $n/r$ vertices?
Over forty years ago, Gyárfás and Lehel and independently Faudree and Schelp proved that any $2$-colored $K_{n,n}$ contains a monochromatic $P_n$. Very recently, Bucić, Letzter and Sudakov proved that every $3$-colored $K_{n,n}$ contains a monochromatic connected matching (a matching whose edges are in the same connected component) of size $\lceil n/3 \rceil$. So the answer is strongly "yes" for $1\leq r\leq 3$.
We provide a short proof of (a non-symmetric version of) the original question for $1\leq r\leq 3$; that is, every $r$-coloring of $K_{m,n}$ has a monochromatic component that meets each side in a $1/r$ proportion of its part size. Then, somewhat surprisingly, we show that the answer to the question is "no" for all $r\ge 4$. For instance, there are $4$-colorings of $K_{n,n}$ where the largest balanced monochromatic component has $n/5$ vertices in both partite classes (instead of $n/4$). Our constructions are based on lower bounds for the $r$-color bipartite Ramsey number of $P_4$, denoted $f(r)$, which is the smallest integer $\ell$ such that in every $r$-coloring of the edges of $K_{\ell,\ell}$ there is a monochromatic path on four vertices. Furthermore, combined with earlier results, we determine $f(r)$ for every value of $r$.