Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Hook formula for Coxeter groups via the twisted group ring
Published in Proc. Japan Acad. Ser. A Math. Sci. 100(6): 31-36 (June 2024)
• View Publication
• BIB
We use Kostant and Kumar's twisted group ring and its dual to formulate and prove a generalization of Nakada's colored hook formula for any Coxeter groups. For dominant minuscule elements of the Weyl group of a Kac--Moody algebra, this provides another short proof of Nakada's colored hook formula.
Functions that are uniquely maximized by sparse quasi-star graphs, and uniquely minimized by quasi-complete graphs
Published
• View Publication
• BIB
We show that for a certain class of convex functions $f$, including the exponential functions $x\mapsto e^{λx}$ with $λ>0$ a real number, and all the powers $x\mapsto x^β$, $x\geq 0$ and $β\geq 2$ a real number, with a unique small exception, if $(d_1,\ldots,d_n)$ ranges over the degree sequences of graphs with $n$ vertices and $m$ edges and $m\leq n-1$, then the maximum of $\sum_i f(d_i)$ is uniquely attained by the degree sequence of a quasi-star graph, namely, a graph consisting of a star plus possibly additional isolated vertices. This result significantly extends a similar result in [D.~Ismailescu, D.~Stefanica, Minimizer graphs for a class of extremal problems, J.~Graph Theory,~39~(4)~(2002)]. Dually, we show that for a certain class of concave functions $g$, including the negative exponential functions $x\mapsto 1-e^{-λx}$ with $λ>\ln(2)$ a real number, all the powers $x\mapsto x^α$, $x\geq 0$ and $0<α\leq \frac{1}{2}$ a real number, and the function $x\mapsto \frac{x}{x+1}$ for $x\geq 0$, if $(d_1,\ldots,d_n)$ ranges over the degree sequences of graphs with $n$ vertices and $m$ edges, then the minimum of $\sum_i g(d_i)$ is uniquely attained by the degree sequence of a quasi-complete graph, i.e., a graph consisting of a complete graph plus possibly an additional vertex connected to some but not all vertices of the complete graph, plus possibly isolated vertices. This result extends a similar result in the same paper.
On the Depth of Generalized Binomial Edge Ideals
This research focuses on analyzing the depth of generalized binomial edge ideals. We extend the notion of $d$-compatible map for the pairs of a complete graph and an arbitrary graph, and using it, we give a combinatorial lower bound for the depth of generalized binomial edge ideals. Subsequently, we determine an upper bound for the depth of generalized binomial edge ideals in terms of the vertex-connectivity of graphs. We demonstrate that the difference between the upper and lower bounds can be arbitrarily large, even in cases when one of the bounds is sharp. In addition, we calculate the depth of generalized binomial edge ideals of certain classes of graphs, including cyclic graphs and graphs with Cohen-Macaulay binomial edge ideals.
Stabiliser codes over fields of even order
Published
• View Publication
• BIB
We prove that the natural isomorphism between GF(2^h) and GF(2)^h induces a bijection between stabiliser codes on n quqits with local dimension q=2^h and binary stabiliser codes on hn qubits. This allows us to describe these codes geometrically: a stabiliser code over a field of even order corresponds to a so-called quantum set of symplectic polar spaces. Moreover, equivalent stabiliser codes have a similar geometry, which can be used to prove the uniqueness of a [[4,0,3]]_4 stabiliser code and the nonexistence of both a [[7,1,4]]_4 and an [[8,0,5]]_4 stabiliser code.
Sorting inversion sequences
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:1, Permutation Patterns 2024, Special issues (February 11, 2025) dmtcs:14010
• View Publication
• BIB
We consider the avoidance of patterns in inversion sequences that relate sorting via sorting machines including data structures such as pop stacks and stacks. Such machines have been studied under a variety of additional constraints and generalizations, some of which we apply here. We give the classification of several classes of sortable inversion sequences in terms of pattern avoidance. We are able to provide an exact enumeration of some of the sortable classes in question using both classical approaches and a more recent strategy utilizing generating trees.
Incidence bounds via extremal graph theory
The study of counting point-hyperplane incidences in the $d$-dimensional space was initiated in the 1990's by Chazelle and became one of the central problems in discrete geometry. It has interesting connections to many other topics, such as additive combinatorics and theoretical computer science. Assuming a standard non-degeneracy condition, i.e., that no $s$ points are contained in the intersection of $s$ hyperplanes, the currently best known upper bound on the number of incidences of $m$ points and $n$ hyperplanes in $\mathbb{R}^d$ is $$O_{d, s}((mn)^{1-1/(d+1)}+m+n).$$ This bound by Apfelbaum and Sharir is based on geometrical space partitioning techniques, which apply only over the real numbers.
In this paper, we propose a novel combinatorial approach to study such incidence problems over arbitrary fields. Perhaps surprisingly, this approach matches the best known bounds for point-hyperplane incidences in $\mathbb{R}^d$ for many interesting values of $m, n, d$, e.g. when $m=n$ and $d$ is odd. Moreover, in finite fields our bounds are sharp as a function of $m$ and $n$ in every dimension. We also study the size of the largest complete bipartite graph in point-hyperplane incidence graphs with a given number of edges and obtain optimal bounds as well.
Additionally, we study point-variety incidences and unit-distance problem in finite fields, and give tight bounds for both problems under a similar non-degeneracy assumption. We also resolve Zarankiewicz type problems for algebraic graphs. Our proofs use tools such as induced Turán problems, VC-dimension theory, evasive sets and Hilbert polynomials. Also, we extend the celebrated result of Rónyai, Babai and Ganapathy on the number of zero-patterns of polynomials to the context of varieties, which might be of independent interest.
Essential CR set near zero
Combinatorially Rich sets were introduced by Bergelson and Glasscock for commutative semigroup. Latter Hindman, Hosseini, Strauss and Tootkaboni extended the definition of Combinatorially Rich sets for arbitrary semigroup. Recently Goswami proved that product of two Combinatorially Rich sets is also a Combinatorially Rich set. On the other hand Hindman and Leader were the first to introduce the concept of central sets near zero for dense semigroups of $\left(\left(0,\infty\right),+\right)$ and demonstrated an important combinatorial consequence regarding these sets. In this article we provided dynamical and combinatorial characterization of essential CR-sets near zero and explore the cartesian product of these sets.
A counterexample to the coarse Menger conjecture
Published
• View Publication
• BIB
Menger's well-known theorem from 1927 characterizes when it is possible to find $k$ vertex-disjoint paths between two sets of vertices in a graph $G$. Recently, Georgakopoulos and Papasoglu and, independently, Albrechtsen, Huynh, Jacobs, Knappe and Wollan conjectured a coarse analogue of Menger's theorem, when the $k$ paths are required to be pairwise at some distance at least $d$. The result is known for $k\le 2$, but we will show that it is false for all $k\ge 3$, even if $G$ is constrained to have maximum degree at most three. We also give a simpler proof of the result when $k=2$.
Random trees with local catastrophes: the Brownian case
We introduce and study a model of plane random trees generalizing the famous Bienaymé--Galton--Watson model but where births and deaths are locally correlated. More precisely, given a random variable $(B,H)$ with values in $\{1,2,3, \dots\}^2$, given the state of the tree at some generation, the next generation is obtained (informally) by successively deleting $B$ individuals side-by-side and replacing them with $H$ new particles where the samplings are i.i.d. We prove that, in the critical case $\mathbb{E}[B]=\mathbb{E}[H]$, and under a third moment condition on $B$ and $H$, the random trees coding the genealogy of the population model converges towards the Brownian Continuum Random Tree. Interestingly, our proof does not use the classical height process or the Łukasiewicz exploration, but rather the stochastic flow point of view introduced by Bertoin and Le Gall.
Categorical valuative invariants of polyhedra and matroids
Published
• View Publication
• BIB
We introduce the notion of a categorical valuative invariant of polyhedra or matroids, in which alternating sums of numerical invariants are replaced by split exact sequences in an additive category. We provide categorical lifts of a number of valuative invariants of matroids, including the Poincare polynomial, the Chow and augmented Chow polynomials, and certain two-variable extensions of the Kazhdan--Lusztig polynomial and Z-polynomial. These lifts allow us to perform calculations equivariantly with respect to automorphism groups of matroids.
Thresholds for constrained Ramsey and anti-Ramsey problems
Published
• View Publication
• BIB
Let $H_1$ and $H_2$ be graphs. A graph $G$ has the constrained Ramsey property for $(H_1,H_2)$ if every edge-colouring of $G$ contains either a monochromatic copy of $H_1$ or a rainbow copy of $H_2$. Our main result gives a 0-statement for the constrained Ramsey property in $G(n,p)$ whenever $H_1 = K_{1,k}$ for some $k \ge 3$ and $H_2$ is not a forest. Along with previous work of Kohayakawa, Konstadinidis and Mota, this resolves the constrained Ramsey property for all non-trivial cases with the exception of $H_1 = K_{1,2}$, which is equivalent to the anti-Ramsey property for $H_2$.
For a fixed graph $H$, we say that $G$ has the anti-Ramsey property for $H$ if any proper edge-colouring of $G$ contains a rainbow copy of $H$. We show that the 0-statement for the anti-Ramsey problem in $G(n,p)$ can be reduced to a (necessary) colouring statement, and use this to find the threshold for the anti-Ramsey property for some particular families of graphs.
Counting edges in factorization graphs of numerical semigroup elements
Published in Involve 18 (2025) 861-871
• View Publication
• BIB
A numerical semigroup $S$ is an additively-closed set of non-negative integers, and a factorization of an element $n$ of $S$ is an expression of $n$ as a sum of generators of $S$. It is known that for a given numerical semigroup $S$, the number of factorizations of $n$ coincides with a quasipolynomial (that is, a polynomial whose coefficients are periodic functions of $n$). One of the standard methods for computing certain semigroup-theoretic invariants involves assembling a graph or simplicial complex derived from the factorizations of $n$. In this paper, we prove that for two such graphs (which we call the factorization support graph and the trade graph), the number of edges coincides with a quasipolynomial function of $n$, and identify the degree, period, and leading coefficient of each. In the process, we uncover a surprising geometric connection: a combinatorially-assembled cubical complex that is homeomorphic to real projective space.
Matrix convex verbatim enumeration functions are graphical
We give a relation between verbatim generating functions of what we call Pythagorean languages and matrix convexity. Namely, several multivariate matrix convex functions occurring in the existing matrix analysis literature arise naturally in a combinatorial way.
We give a Gelfand type formula for the numerical radius.
Distance-regular graphs with a few $q$-distance eigenvalues
Published
• View Publication
• BIB
In this paper we study when the $q$-distance matrix of a distance-regular graph has few distinct eigenvalues. We mainly concentrate on diameter 3.
On the on-line coloring of unit interval graphs with proper interval representation
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:2, Combinatorics (February 21, 2025) dmtcs:14088
• View Publication
• BIB
We define the problem as a two-player game between Algorithm and Builder. The game is played in rounds. Each round, Builder presents an interval that is neither contained in nor contains any previously presented interval. Algorithm immediately and irrevocably assigns the interval a color that has not been assigned to any interval intersecting it. The set of intervals form an interval representation for a unit interval graph and the colors form a proper coloring of that graph. For every positive integer $ω$, we define the value $R(ω)$ as the maximum number of colors for which Builder has a strategy that forces Algorithm to use $R(ω)$ colors with the restriction that the unit interval graph constructed cannot contain a clique of size $ω+1$. In 1981, Chrobak and Ślusarek showed that $R(ω)\leq2ω-1$. In 2005, Epstein and Levy showed that $R(ω)\geq\lfloor{3ω/2\rfloor}$. This problem remained unsolved for $ω\geq 3$. In 2023, Biró and Curbelo showed that $R(3)=5$. In this paper, we show that $R(4)=7$
General position polynomials
A subset of vertices of a graph $G$ is a general position set if no triple of vertices from the set lie on a common shortest path in $G$. In this paper we introduce the general position polynomial as $\sum_{i \geq 0} a_i x^i$, where $a_i$ is the number of distinct general position sets of $G$ with cardinality $i$. The polynomial is considered for several well-known classes of graphs and graph operations. It is shown that the polynomial is not unimodal in general, not even on trees. On the other hand, several classes of graphs, including Kneser graphs $K(n,2)$, with unimodal general position polynomials are presented.
Graphs that admit a Hamilton path are cup-stackable
Published
• View Publication
• BIB
Fay, Hurlbert and Tennant recently introduced a one-player game on a finite connected graph $G$, which they called cup stacking. Stacks of cups are placed at the vertices of $G$, and are transferred between vertices via stacking moves, subject to certain constraints, with the goal of stacking all cups at a single target vertex. If this is possible for every target vertex of $G$, then $G$ is called stackable. In this paper, we prove that if $G$ admits a Hamilton path, then $G$ is stackable, which confirms several of the conjectures raised by Fay, Hurlbert and Tennant. Furthermore, we prove stackability for certain powers of bipartite graphs, and we construct graphs of arbitrarily large minimum degree and connectivity that do not allow stacking onto any of their vertices.
Spectral extremal results on trees
Published
• View Publication
• BIB
Let ${\rm spex}(n,F)$ be the maximum spectral radius over all $F$-free graphs of order $n$, and ${\rm SPEX}(n,F)$ be the family of $F$-free graphs of order $n$ with spectral radius equal to ${\rm spex}(n,F)$. Given integers $n,k,p$ with $n>k>0$ and $0\leq p\leq \lfloor(n-k)/2\rfloor$, let $S_{n,k}^{p}$ be the graph obtained from $K_k\nabla(n-k)K_1$ by embedding $p$ independent edges within its independent set, where `$\nabla$' means the join product. For $n\geq\ell\geq 4$, let $G_{n,\ell}=S_{n,(\ell-2)/2}^{0}$ if $\ell$ is even, and $G_{n,\ell}=S_{n,(\ell-3)/2}^{1}$ if $\ell$ is odd. Cioabă, Desai and Tait [SIAM J. Discrete Math. 37 (3) (2023) 2228--2239] showed that for $\ell\geq 6$ and sufficiently large $n$, if $ρ(G)\geq ρ(G_{n,\ell})$, then $G$ contains all trees of order $\ell$ unless $G=G_{n,\ell}$. They further posed a problem to study ${\rm spex}(n,F)$ for various specific trees $F$. Fix a tree $F$ of order $\ell\geq 6$, let $A$ and $B$ be two partite sets of $F$ with $|A|\leq |B|$, and set $q=|A|-1$. We first show that any graph in ${\rm SPEX}(n,F)$ contains a spanning subgraph $K_{q,n-q}$ for $q\geq 1$ and sufficiently large $n$. Consequently, $ρ(K_{q,n-q})\leq {\rm spex}(n,F)\leq ρ(G_{n,\ell})$, we further respectively characterize all trees $F$ with these two equalities holding. Secondly, we characterize the spectral extremal graphs for some specific trees and provide asymptotic spectral extremal values of the remaining trees. In particular, we characterize the spectral extremal graphs for all spiders, surprisingly, the extremal graphs are not always the spanning subgraph of $G_{n,\ell}$.
Bounds on the price of feedback for mistake-bounded online learning
Published
• View Publication
• BIB
We improve several worst-case bounds for various online learning scenarios from (Auer and Long, Machine Learning, 1999). In particular, we sharpen an upper bound for delayed ambiguous reinforcement learning by a factor of 2 and an upper bound for learning compositions of families of functions by a factor of 2.41. We also improve a lower bound from the same paper for learning compositions of $k$ families of functions by a factor of $Θ(\ln{k})$, matching the upper bound up to a constant factor. In addition, we solve a problem from (Long, Theoretical Computer Science, 2020) on the price of bandit feedback with respect to standard feedback for multiclass learning, and we improve an upper bound from (Feng et al., Theoretical Computer Science, 2023) on the price of $r$-input delayed ambiguous reinforcement learning by a factor of $r$, matching a lower bound from the same paper up to the leading term.
Recognition Complexity of Subgraphs of k-Connected Planar Cubic Graphs
Published
• View Publication
• BIB
We study the recognition complexity of subgraphs of k-connected planar cubic graphs for k = 1, 2, 3. We present polynomial-time algorithms to recognize subgraphs of 1- and 2-connected planar cubic graphs, both in the variable and fixed embedding setting. The main tools involve the Generalized (Anti)factor-problem for the fixed embedding case, and SPQR-trees for the variable embedding case. Secondly, we prove NP-hardness of recognizing subgraphs of 3-connected planar cubic graphs in the variable embedding setting.