Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Combinatorics and simplicial groupoids
This expository paper starts with a brief survey on the relation between partitions and surjections of sets, and then gives a quick introduction to the theories of incidence algebras, Segal groupoids and combinatorial species. The aim is to explain an objective construction, in terms of simplicial groupoids, of both the Faa di Bruno bialgebra and the plethystic bialgebra.
Interval matrices with Monge property
We generalize Monge property of real matrices for interval matrices. We define two classes of interval matrices with Monge property - in a strong and in a weak sense. We study fundamental properties of both classes. We show several different characterizations of the strong Monge property. For weak Monge property we give a polynomial characterization and several sufficient and necessary conditions. For both classes we study closure properties. We further propose a generalization of an algorithm by Deineko \& Filonenko which for a given matrix returns row and column permutations such that the permuted matrix is Monge if the permutations exist.
Gysin morphisms for non-transversal hyperplane sections with an application to line arrangements
We prove the existence of Gysin morphisms for hyperplane sections that may not satisfy the usual hypotheses of the Lefschetz hyperplane theorem. As an application, we show the triviality of the Alexander polynomial of a particular class of non-symmetric line arrangements, thus providing positive evidence for a conjecture of Papadima and Suciu.
Orbit spaces of equivariantly formal torus actions of complexity one
Published in Orbit Spaces of Equivariantly Formal Torus Actions of Complexity One. Transformation Groups 30, 19-52 (2025)
• View Publication
• BIB
Let a compact torus $T=T^{n-1}$ act on an orientable smooth compact manifold $X=X^{2n}$ effectively, with nonempty finite set of fixed points, and suppose that stabilizers of all points are connected. If $H^{odd}(X)=0$ and the weights of tangent representation at each fixed point are in general position, we prove that the orbit space $Q=X/T$ is a homology $(n+1)$-sphere. If, in addition, $π_1(X)=0$, then $Q$ is homeomorphic to $S^{n+1}$. We introduce the notion of $j$-generality of tangent weights of torus action. For any action of $T^k$ on $X^{2n}$ with isolated fixed points and $H^{odd}(X)=0$, we prove that $j$-generality of weights implies $(j+1)$-acyclicity of the orbit space $Q$. This statement generalizes several known results for actions of complexity zero and one. In complexity one, we give a criterion of equivariant formality in terms of the orbit space. In this case, we give a formula expressing Betti numbers of a manifold in terms of certain combinatorial structure that sits in the orbit space.
Packing of permutations into Latin squares
Published
• View Publication
• BIB
For every positive integer $n$ greater than $4$ there is a set of Latin squares of order $n$ such that every permutation of the numbers $1,\ldots,n$ appears exactly once as a row, a column, a reverse row or a reverse column of one of the given Latin squares. If $n$ is greater than $4$ and not of the form $p$ or $2p$ for some prime number $p$ congruent to $3$ modulo $4$, then there always exists a Latin square of order $n$ in which the rows, columns, reverse rows and reverse columns are all distinct permutations of $1,\ldots,n$, and which constitute a permutation group of order $4n$. If $n$ is prime congruent to $1$ modulo $4$, then a set of $(n-1)/4$ mutually orthogonal Latin squares of order $n$ can also be constructed by a classical method of linear algebra in such a way, that the rows, columns, reverse rows and reverse columns are all distinct and constitute a permutation group of order $n(n-1)$.
A Brooks-like result for graph powers
Published
• View Publication
• BIB
Coloring a graph $G$ consists in finding an assignment of colors $c: V(G)\to\{1,\ldots,p\}$ such that any pair of adjacent vertices receives different colors. The minimum integer $p$ such that a coloring exists is called the chromatic number of $G$, denoted by $χ(G)$. We investigate the chromatic number of powers of graphs, i.e. the graphs obtained from a graph $G$ by adding an edge between every pair of vertices at distance at most $k$. For $k=1$, Brooks' theorem states that every connected graph of maximum degree $Δ\geqslant 3$ excepted the clique on $Δ+1$ vertices can be colored using $Δ$ colors (i.e. one color less than the naive upper bound). For $k\geqslant 2$, a similar result holds: excepted for Moore graphs, the naive upper bound can be lowered by 2. We prove that for $k\geqslant 3$ and for every $Δ$, we can actually spare $k-2$ colors, excepted for a finite number of graphs. We then improve this value to $Θ((Δ-1)^{\frac{k}{12}})$.
Vanishing coefficients in some $q$-series expansions
Published in Int. J. Number Theory (15) (2019) 763--773
• View Publication
• BIB
Motivated by the recent work of Hirschhorn on vanishing coefficients of the arithmetic progressions in certain $q$-series expansions, we study some variants of these $q$-series and prove some comparable results. For instance, let \begin{align*} (-q,-q^{4};q^{5})_{\infty}^{2}(q^{4},q^{6};q^{10})_{\infty}=\sum_{n=0}^{\infty}a_{1}(n)q^{n}, \end{align*} then \begin{align*} a_{1}(5n+3)=0. \end{align*}
A note on the elementary construction of High-Dimensional Expanders of Kaufman and Oppenheim
In this note, we give a self-contained and elementary proof of the elementary construction of spectral high-dimensional expanders using elementary matrices due to Kaufman and Oppenheim [Proc. 50th ACM Symp. on Theory of Computing (STOC), 2018]. As a bonus, this also yields a simple construction and analysis of standard expanders.
Parity of transversals of Latin squares
Published in Algebr. Comb. 3 (2020), 539-557
• View Publication
• BIB
We introduce a notion of parity for transversals, and use it to show that in Latin squares of order $2 \bmod 4$, the number of transversals is a multiple of 4. We also demonstrate a number of relationships (mostly congruences modulo 4) involving $E_1,\dots, E_n$, where $E_i$ is the number of diagonals of a given Latin square that contain exactly $i$ different symbols.
Let $A(i\mid j)$ denote the matrix obtained by deleting row $i$ and column $j$ from a parent matrix $A$. Define $t_{ij}$ to be the number of transversals in $L(i\mid j)$, for some fixed Latin square $L$. We show that $t_{ab}\equiv t_{cd}\bmod2$ for all $a,b,c,d$ and $L$. Also, if $L$ has odd order then the number of transversals of $L$ equals $t_{ab}$ mod 2. We conjecture that $t_{ac} + t_{bc} + t_{ad} + t_{bd} \equiv 0 \bmod 4$ for all $a,b,c,d$.
In the course of our investigations we prove several results that could be of interest in other contexts. For example, we show that the number of perfect matchings in a $k$-regular bipartite graph on $2n$ vertices is divisible by $4$ when $n$ is odd and $k\equiv0\bmod 4$. We also show that $${\rm per}\, A(a \mid c)+{\rm per}\, A(b \mid c)+{\rm per}\, A(a \mid d)+{\rm per}\, A(b \mid d) \equiv 0 \bmod 4$$ for all $a,b,c,d$, when $A$ is an integer matrix of odd order with all row and columns sums equal to $k\equiv2\bmod4$.
Maximum independent sets in (pyramid, even hole)-free graphs
A \emph{hole} in a graph is an induced cycle with at least 4 vertices. A graph is \emph{even-hole-free} if it does not contain a hole on an even number of vertices. A \emph{pyramid} is a graph made of three chordless paths $P_1 = a \dots b_1$,
$P_2 = a \dots b_2$, $P_3 = a \dots b_3$ of length at least~1, two of which have length at least 2, vertex-disjoint except at $a$, and such that $b_1b_2b_3$ is a triangle and no edges exist between the paths except those of the triangle and the three edges incident with $a$.
We give a polynomial time algorithm to compute a maximum weighted independent set in a even-hole-free graph that contains no pyramid as an induced subgraph. Our result is based on a decomposition theorem and on bounding the number of minimal separators. All our results hold for a slightly larger class of graphs, the class of (square, prism, pyramid, theta, even wheel)-free graphs.
Tropical Carathéodory with Matroids
Published
• View Publication
• BIB
Bárány's colorful generalization of Carathéodory's Theorem combines geometrical and combinatorial constraints. Kalai-Meshulam (2005) and Holmsen (2016) generalized Bárány's theorem by replacing color classes with matroid constraints. In this note, we obtain corresponding results in tropical convexity, generalizing the tropical colorful Carathéodory Theorem of Gaubert-Meunier (2010). Our proof is inspired by geometric arguments and is reminiscent of matroid intersection. In particular, we show that the topological approach fails in this setting. We also discuss tropical colorful linear programming and show that it is NP-complete. We end with thoughts and questions on generalizations to polymatroids, anti-matroids as well as examples and matroid simplicial depth.
Constant index expectation curvature for graphs or Riemannian manifolds
An integral geometric curvature is defined as the index expectation K(x) = E[i(x)] if a probability measure m is given on vector fields on a Riemannian manifold or on a finite simple graph. Such curvatures are local, satisfy Gauss-Bonnet and are independent of any embedding in an ambient space. While realizing constant Gauss-Bonnet-Chern curvature is not possible in general already for 4-manifolds, we prove that for compact connected manifolds, constant curvature K_m can always be realized with m supported on Morse gradient fields. We give examples of finite simple graphs which do not allow for any constant m-curvature and prove that for one-dimensional connected graphs, there is a convex set of constant curvature configurations with dimension of the first Betti number of the graph. In particular, there is always a unique constant curvature solution for trees.
The incidence comodule bialgebra of the Baez-Dolan construction
Published in Adv. Math. 383 (2021), 107693
• View Publication
• BIB
Starting from any operad P, one can consider on one hand the free operad on P, and on the other hand the Baez--Dolan construction on P. These two new operads have the same space of operations, but with very different notions of arity and substitution. The main result of this paper is that the incidence bialgebras of the two-sided bar constructions of the two operads constitute together a comodule bialgebra. The result is objective: it concerns comodule-bialgebra structures on groupoid slices, and the proof is given in terms of equivalences of groupoids and homotopy pullbacks. Comodule bialgebras in the usual sense are obtained by taking homotopy cardinality. The simplest instances of the construction cover several comodule bialgebras of current interest in analysis. If P is the identity monad, then the result is the Faà di Bruno comodule bialgebra (dual to multiplication and substitution of power series). If P is any monoid $Ω$ (considered as a one-coloured operad with only unary operations), the resulting comodule bialgebra is the dual of the near-semiring of $Ω$-moulds under product and composition, as employed in Écalle's theory of resurgent functions in local dynamical systems. If P is the terminal operad, then the result is essentially the Calaque--Ebrahimi-Fard--Manchon comodule bialgebra of rooted trees, dual to composition and substitution of B-series in numerical analysis (Chartier--Hairer--Vilmart). The full generality is of interest in category theory. As it holds for any operad, the result is actually about the Baez--Dolan construction itself, providing it with a new algebraic perspective.
Upper tail large deviations of regular subgraph counts in Erdős-Rényi graphs in the full localized regime
Published
• View Publication
• BIB
For a $Δ$-regular connected graph ${\sf H}$ the problem of determining the upper tail large deviation for the number of copies of ${\sf H}$ in $\mathbb{G}(n,p)$, an Erdős-Rényi graph on $n$ vertices with edge probability $p$, has generated significant interests. For $p\ll 1$ and $np^{Δ/2} \gg (\log n)^{1/(v_{\sf H}-2)}$, where $v_{\sf H}$ is the number of vertices in ${\sf H}$, the upper tail large deviation event is believed to occur due to the presence of localized structures. In this regime the large deviation event that the number of copies of ${\sf H}$ in $\mathbb{G}(n,p)$ exceeds its expectation by a constant factor is predicted to hold at a speed $n^2 p^Δ \log (1/p)$ and the rate function is conjectured to be given by the solution of a mean-field variational problem. After a series of developments in recent years, covering progressively broader ranges of $p$, the upper tail large deviations for cliques of fixed size was proved by Harel, Mousset, and Samotij \cite{hms} in the entire localized regime. This paper establishes the conjecture for all connected regular graphs in the whole localized regime.
Kalai's conjecture in $r$-partite $r$-graphs
Published
• View Publication
• BIB
Kalai conjectured that every $n$-vertex $r$-uniform hypergraph with more than $\frac{t-1}{r} {n \choose r-1}$ edges contains all tight $r$-trees of some fixed size $t$. We prove Kalai's conjecture for $r$-partite $r$-uniform hypergraphs. Our result is asymptotically best possible up to replacing the term $\frac{t-1}{r}$ with the term $\frac{t-r+1}{r}$.
We apply our main result in graphs to show an upper bound for the Turán number of trees.
A characterization of Johnson and Hamming graphs and proof of Babai's conjecture
Published in J. Comb. Theory, Ser. B, 151 (2021), pp. 339-374
• View Publication
• BIB
One of the central results in the representation theory of distance-regular graphs classifies distance-regular graphs with $μ\geq 2$ and second largest eigenvalue $θ_1= b_1-1$. In this paper we give a classification under the (weaker) approximate eigenvalue constraint $θ_1\geq (1-\varepsilon)b_1$ for the class of geometric distance-regular graphs. As an application, we confirm Babai's conjecture on the minimal degree of the automorphism group of distance-regular graphs.
An algorithm to evaluate the spectral expansion
Published
• View Publication
• BIB
Assume that $X$ is a connected $(q+1)$-regular undirected graph of finite order $n$. Let $A$ denote the adjacency matrix of $X$. Let $λ_1=q+1>λ_2\geq λ_3\geq \ldots \geq λ_n$ denote the eigenvalues of $A$. The spectral expansion of $X$ is defined by $$ Δ(X)=λ_1-\max_{2\leq i\leq n}|λ_i|. $$ By the Alon--Boppana theorem, when $n$ is sufficiently large, $Δ(X)$ is quite high if $$ μ(X)=q^{-\frac{1}{2}} \max_{2\leq i\leq n}|λ_i| $$ is close to $2$. In this paper, with the inputs $A$ and a real number $\varepsilon>0$ we design an algorithm to estimate if $μ(X)\leq 2+\varepsilon$ in $O(n^ω\log \log_{1+\varepsilon} n )$ time, where $ω<2.3729$ is the exponent of matrix multiplication.
(t,r) broadcast domination in the infinite grid
The $(t,r)$ broadcast domination number of a graph $G$, $γ_{t,r}(G)$, is a generalization of the domination number of a graph. $γ_{t,r}(G)$ is the minimal number of towers needed, placed on vertices of $G$, each transmitting a signal of strength $t$ which decays linearly, such that every vertex receives a total amount of at least $r$ signal. In this paper we prove a conjecture by Drews, Harris, and Randolph about the minimal density of towers in $\mathbb{Z}^2$ that provide a $(t,3)$ domination broadcast for $t>17$ and explore generalizations. Additionally, we determine the $(t,r)$ broadcast domination number of powers of paths, $P_n^{(k)}$ and powers of cycles, $C_n^{(k)}$.
On the spectral gap and the automorphism group of distance-regular graphs
Published in J. Comb. Theory, Ser. B, 149 (2021), pp. 161-197
• View Publication
• BIB
We prove that a distance-regular graph with a dominant distance is a spectral expander. The key ingredient of the proof is a new inequality on the intersection numbers. We use the spectral gap bound to study the structure of the automorphism group.
The minimal degree of a permutation group $G$ is the minimum number of points not fixed by non-identity elements of $G$. Lower bounds on the minimal degree have strong structural consequences on $G$. In 2014 Babai proved that the automorphism group of a strongly regular graph with $n$ vertices has minimal degree $\geq c n$, with known exceptions. Strongly regular graphs correspond to distance-regular graphs of diameter 2. Babai conjectured that Hamming and Johnson graphs are the only primitive distance-regular graphs of diameter $d\geq 3$ whose automorphism group has sublinear minimal degree. We confirm this conjecture for non-geometric primitive distance-regular graphs of bounded diameter. We also show if the primitivity assumption is removed, then only one additional family of exceptions arises, the cocktail-party graphs. We settle the geometric case in a companion paper.
The Weak Circular Repetition Threshold Over Large Alphabets
Published
• View Publication
• BIB
The repetition threshold for words on $n$ letters, denoted $\mbox{RT}(n)$, is the infimum of the set of all $r$ such that there are arbitrarily long $r$-free words over $n$ letters. A repetition threshold for circular words on $n$ letters can be defined in three natural ways, which gives rise to the weak, intermediate, and strong circular repetition thresholds for $n$ letters, denoted $\mbox{CRT}_{\mbox{W}}(n)$, $\mbox{CRT}_{\mbox{I}}(n)$, and $\mbox{CRT}_{\mbox{S}}(n)$, respectively. Currie and the present authors conjectured that $\mbox{CRT}_{\mbox{I}}(n)=\mbox{CRT}_{\mbox{W}}(n)=\mbox{RT}(n)$ for all $n\geq 4$. We prove that $\mbox{CRT}_{\mbox{W}}(n)=\mbox{RT}(n)$ for all $n\geq 45$, which confirms a weak version of this conjecture for all but finitely many values of $n$.