Showing 20 papers (Total: 81914 papers, 47441 authors in database)
A polynomial bound on the number of minimal separators and potential maximal cliques in $P_6$-free graphs of bounded clique number
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:2, Graph Theory (March 18, 2025) dmtcs:12438
• View Publication
• BIB
In this note we show a polynomial bound on the number of minimal separators and potential maximal cliques in $P_6$-free graphs of bounded clique number.
Optimal Hamilton covers and linear arboricity for random graphs
In his seminal 1976 paper, Pósa showed that for all $p\geq C\log n/n$, the binomial random graph $G(n,p)$ is with high probability Hamiltonian. This leads to the following natural questions, which have been extensively studied: How well is it typically possible to cover all edges of $G(n,p)$ with Hamilton cycles? How many cycles are necessary? In this paper we show that for $ p\geq C\log n/n$, we can cover $G\sim G(n,p)$ with precisely $\lceilΔ(G)/2\rceil$ Hamilton cycles. Our result is clearly best possible both in terms of the number of required cycles, and the asymptotics of the edge probability $p$, since it starts working at the weak threshold needed for Hamiltonicity. This resolves a problem of Glebov, Krivelevich and Szabó, and improves upon previous work of Hefetz, Kühn, Lapinskas and Osthus, and of Ferber, Kronenberg and Long, essentially closing a long line of research on Hamiltonian packing and covering problems in random graphs.
Morphologie des posets (-1)-critiques
Let $G=(V,A)$ be a digraph. For $X\subseteq V$, the subdigraph of $G$ induced by $X$ is denoted by $G[X]$. A subset $I$ of $V$ is an interval of $G$ if for every $a,b \in I$ and $x \in V \setminus I$, $(x,a) \in A$ if and only if $(x,b) \in A$, and similarly for $(a,x)$ and $(b,x)$. The trivial intervals of $G$ are $\varnothing$, $V$ and $\lbrace x\rbrace$, where $x\in V$. The digraph $G$ is indecomposable if $| V(G)|\geqslant 3$ and all its intervals are trivial. Given an indecomposable digraph $G$, a vertex $x$ of $G$ is critical, if the induced subdigraph $G[V(G) \setminus \{x\}]$ is decomposable. The digraph $G$ is said to be (-1)-critical if it admits a single non-critical vertex. A poset (or a strict partial order) is a transitive digraph. In this paper, We characterize the (-1)-critical posets.
Random-order Contention Resolution via Continuous Induction: Tightness for Bipartite Matching under Vertex Arrivals
Published
• View Publication
• BIB
We introduce a new approach for designing Random-order Contention Resolution Schemes (RCRS) via exact solution in continuous time. Given a function $c(y):[0,1] \rightarrow [0,1]$, we show how to select each element which arrives at time $y \in [0,1]$ with probability exactly $c(y)$. We provide a rigorous algorithmic framework for achieving this, which discretizes the time interval and also needs to sample its past execution to ensure these exact selection probabilities. We showcase our framework in the context of online contention resolution schemes for matching with random-order vertex arrivals. For bipartite graphs with two-sided arrivals, we design a $(1+e^{-2})/2 \approx 0.567$-selectable RCRS, which we also show to be tight. Next, we show that the presence of short odd-length cycles is the only barrier to attaining a (tight) $(1+e^{-2})/2$-selectable RCRS on general graphs. By generalizing our bipartite RCRS, we design an RCRS for graphs with odd-length girth $g$ which is $(1+e^{-2})/2$-selectable as $g \rightarrow \infty$. This convergence happens very rapidly: for triangle-free graphs (i.e., $g \ge 5$), we attain a $121/240 + 7/16 e^2 \approx 0.563$-selectable RCRS. Finally, for general graphs we improve on the $8/15 \approx 0.533$-selectable RCRS of Fu et al. (ICALP, 2021) and design an RCRS which is at least $0.535$-selectable. Due to the reduction of Ezra et al. (EC, 2020), our bounds yield a $0.535$-competitive (respectively, $(1+e^{-2})/2$-competitive) algorithm for prophet secretary matching on general (respectively, bipartite) graphs under vertex arrivals.
Bent functions satisfying the dual bent condition and permutations with the $(\mathcal{A}_m)$ property
Published
• View Publication
• BIB
The concatenation of four Boolean bent functions $f=f_1||f_2||f_3||f_4$ is bent if and only if the dual bent condition $f_1^* + f_2^* + f_3^* + f_4^* =1$ is satisfied. However, to specify four bent functions satisfying this duality condition is in general quite a difficult task. Commonly, to simplify this problem, certain connections between $f_i$ are assumed, as well as functions $f_i$ of a special shape are considered, e.g., $f_i(x,y)=x\cdotπ_i(y)+h_i(y)$ are Maiorana-McFarland bent functions. In the case when permutations $π_i$ of $\mathbb{F}_2^m$ have the $(\mathcal{A}_m)$ property and Maiorana-McFarland bent functions $f_i$ satisfy the additional condition $f_1+f_2+f_3+f_4=0$, the dual bent condition is known to have a relatively simple shape allowing to specify the functions $f_i$ explicitly. In this paper, we generalize this result for the case when Maiorana-McFarland bent functions $f_i$ satisfy the condition $f_1(x,y)+f_2(x,y)+f_3(x,y)+f_4(x,y)=s(y)$ and provide a construction of new permutations with the $(\mathcal{A}_m)$ property from the old ones. Combining these two results, we obtain a recursive construction method of bent functions satisfying the dual bent condition. Moreover, we provide a generic condition on the Maiorana-McFarland bent functions stemming from the permutations of $\mathbb{F}_2^m$ with the $(\mathcal{A}_m)$ property, such that their concatenation does not belong, up to equivalence, to the Maiorana-McFarland class. Using monomial permutations $π_i$ of $\mathbb{F}_{2^m}$ with the $(\mathcal{A}_m)$ property and monomial functions $h_i$ on $\mathbb{F}_{2^m}$, we provide explicit constructions of such bent functions. Finally, with our construction method, we explain how one can construct homogeneous cubic bent functions, noticing that only very few design methods of these objects are known.
Toughness and existence of $2$-factors
A graph is $t$-tough if the deletion of any set of, say, $m$ vertices from the graph leaves a graph with at most $\frac{m}{t}$ components. In 1973, Chvátal suggested the problem of relating toughness to factors in graphs. In 1985, Enomoto et al. showed that each $2$-tough graph with at least three vertices has a $2$-factor, but for any $ε>0$, there exists a $(2-ε)$-tough graph on at least $3$ vertices having no $2$-factor. In recent years, the study of sufficient conditions for graphs with toughness less than $2$ having a $2$-factor has received a paramount interest. In this paper, we give new tight sufficient conditions for a $t$-tough graph having a $2$-factor when $1\le t<2$ by involving independence number, minimum degree, connectivity and forbidden forests.
Circular External Difference Families: Construction and Non-Existence
Published
• View Publication
• BIB
The circular external difference family and its strong version, which themselves are of independent combinatorial interest, were proposed as variants of the difference family to construct new unconditionally secure non-malleable threshold schemes. In this paper, we present new results regarding the construction and non-existence of (strong) circular external difference families, thereby solving several open problems on this topic.
Optimal Bounds on the Growth of Iterated Sumsets in Abelian Semigroups
Published
• View Publication
• BIB
We provide optimal upper bounds on the growth of iterated sumsets $hA=A+\dots+A$ for finite subsets $A$ of abelian semigroups. More precisely, we show that the new upper bounds recently derived from Macaulay's theorem in commutative algebra are best possible, i.e., are actually reached by suitable subsets of suitable abelian semigroups. Our constructions, in a multiplicative setting, are based on certain specific monomial ideals in polynomial algebras and on their deformation into appropriate binomial ideals via Gröbner bases.
Detecting Graphical and Digraphical Regular Representations in groups of squarefree order
Published
• View Publication
• BIB
A necessary condition for a Cayley digraph Cay$(R,S)$ to be a regular representation is that there are no non-trivial group automorphisms of $R$ that fix $S$ setwise. A group is DRR-detecting or GRR-detecting if this condition is also sufficient for all Cayley digraphs or graphs on the group, respectively. In this paper, we determine precisely which groups of squarefree order are DRR-detecting, and which are GRR-detecting.
Murnaghan-Type Representations of the Elliptic Hall Algebra
Published
• View Publication
• BIB
We construct a new family of graded representations $\widetilde{W}_λ$ indexed by Young diagrams $λ$ for the positive elliptic Hall algebra $\mathcal{E}^{+}$ which generalizes the standard $\mathcal{E}^{+}$ action on symmetric functions. These representations have homogeneous bases of eigenvectors for the action of the Macdonald element $P_{0,1} \in \mathcal{E}^{+}$ generalizing the symmetric Macdonald functions. The analysis of the structure of these representations exhibits interesting combinatorics arising from the stable limits of periodic standard Young tableaux. We find an explicit combinatorial rule for the action of the multiplication operators $e_r[X]^{\bullet}$ generalizing the Pieri rule for symmetric Macdonald functions. Lastly, we obtain a family of interesting $q,t$ product-series identities which come from the analysis of certain combinatorial statistics associated to periodic standard Young tableaux.
On eigenfunctions of the block graphs of geometric Steiner systems
Published
• View Publication
• BIB
This paper lies in the context of the studies of eigenfunctions of graphs having minimum cardinality of support. One of the tools is the weight-distribution bound, a lower bound on the cardinality of support of an eigenfunction of a distance-regular graph corresponding to a non-principal eigenvalue. The tightness of the weight-distribution bound was previously shown in general for the smallest eigenvalue of a Grassmann graph. However, a characterisation of optimal eigenfunctions was not obtained. Motivated by this open problem, we consider the class of strongly regular Grassmann graphs and give the required characterisation in this case. We then show the tightness of the weight-distribution bound for block graphs of affine designs (defined on the lines of an affine space with two lines being adjacent when intersect) and obtain a similar characterisation of optimal eigenfunctions.
Ewald's Conjecture and integer points in algebraic and symplectic toric geometry
Published
• View Publication
• BIB
We solve several open problems concerning integer points of polytopes arising in symplectic and algebraic geometry. In this direction we give the first proof of a broad case of Ewald's Conjecture (1988) concerning symmetric integral points of monotone lattice polytopes in arbitrary dimension. We also include an asymptotic quantitative study of the set of points appearing in Ewald's Conjecture. Then we relate this work to the problem of displaceability of orbits in symplectic toric geometry. We conclude with a proof for the $2$-dimensional case, and for a number of cases in higher dimensions, of Nill's Conjecture (2009), which is a generalization of Ewald's conjecture to smooth lattice polytopes. Along the way the paper introduces two new classes of polytopes which arise naturally in the study of Ewald's Conjecture and symplectic displaceability: neat polytopes, which are related to Oda's Conjecture, and deeply monotone polytopes.
Optimal transport for some symmetric, multidimensional integer partitions
Published
• View Publication
• BIB
A result of Hohloch links the theory of integer partitions with the Monge formulation of the optimal transport problem, giving the optimal transport map between (Young diagrams of) integer partitions and their corresponding symmetric partitions. Our aim is to extend Hohloch's result to the higher dimensional case. In doing so, we show the Kantorovich formulation of the optimal transport problem provides the tool to study the matching of higher dimensional partitions with their corresponding symmetric partitions.
Efficient Representation of Lattice Path Matroids
Efficient deterministic algorithms to construct representations of lattice path matroids over finite fields are presented. They are built on known constructions of hierarchical secret sharing schemes, a recent characterization of hierarchical matroid ports, and the existence of isolating weight functions for lattice path matroids whose values are polynomial on the size of the ground set.
Computation of Grundy dominating sequences in (co-)bipartite graphs
A sequence $S$ of vertices of a graph $G$ is called a dominating sequence of $G$ if $(i)$ each vertex $v$ of $S$ dominates a vertex of $G$ that was not dominated by any of the vertices preceding vertex $v$ in $S$, and $(ii)$ every vertex of $G$ is dominated by at least one vertex of $S$. The Grundy Domination problem is to find a longest dominating sequence for a given graph $G$. It has been known that the decision version of the Grundy Domination problem is NP-complete even when restricted to chordal graphs. In this paper, we prove that the decision version of the Grundy Domination problem is NP-complete for bipartite graphs and co-bipartite graphs. On the positive side, we present a linear-time algorithm that solves the Grundy Domination problem for chain graphs, which form a subclass of bipartite graphs.
Clebsch-Gordan coefficients for Macdonald polynomials
Published
• View Publication
• BIB
In this paper we use the double affine Hecke algebra to compute the Macdonald polynomial products $E_\ell P_m$ and $P_\ell P_m$ for type $SL_2$ and type $GL_2$ Macdonald polynomials. Our method follows the ideas of Martha Yip but executes a compression to reduce the sum from $2\cdot 3^{\ell-1}$ signed terms to $2\ell$ positive terms. We show that our rule for $P_\ell P_m$ is equivalent to a special case of the Pieri rule of Macdonald. Our method shows that computing $E_\ell\mathbf{1}_0$ and $\mathbf{1}_0 E_\ell \mathbf{1}_0$ in terms of a special basis of the double affine Hecke algebra provides universal compressed formulas for multiplication by $E_\ell$ and $P_\ell$. The formulas for a specific products $E_\ell P_m$ and $P_\ell P_m$ are obtained by evaluating the universal formulas at $t^{-\frac12}q^{-\frac{m}{2}}$.
Spectral gap of nonreversible Markov chains
Published
• View Publication
• BIB
We define the spectral gap of a Markov chain on a finite state space as the second-smallest singular value of the generator of the chain, generalizing the usual definition of spectral gap for reversible chains. We then define the relaxation time of the chain as the inverse of this spectral gap, and show that this relaxation time can be characterized, for any Markov chain, as the time required for convergence of empirical averages. This relaxation time is related to the Cheeger constant and the mixing time of the chain through inequalities that are similar to the reversible case, and the path argument can be used to get upper bounds. Several examples are worked out. An interesting finding from the examples is that the time for convergence of empirical averages in nonreversible chains can often be substantially smaller than the mixing time.
Maximum Number of Quads
We study the maximum number of quads among $\ell$ cards from an EvenQuads deck of size $2^n$. This corresponds to enumerating quadruples of integers in the range $[0,\ell-1]$ such that their bitwise XOR is zero. In this paper, we conjecture a formula that calculates the maximum number of quads among $\ell$ cards.
The inhomogeneous multispecies PushTASEP: Dynamics and symmetry
We introduce and study a natural multispecies variant of the inhomogeneous PushTASEP with site-dependent rates on the finite ring. We show that the stationary distribution of this process is proportional to the ASEP polynomials at $q = 1$ and $t = 0$. This is done by constructing a multiline process which projects to the multispecies PushTASEP, and identifying its stationary distribution using time-reversal arguments. We also study symmetry properties of the process under interchange of the rates associated to the sites. These results hold not just for events depending on the configuration at a single time in equilibrium, but also for systems out of equilibrium and for events depending on the path of the process over time. Lastly, we give explicit formulas for nearest-neighbour two-point correlations in terms of Schur functions.
On the ubiquity of oriented double rays
Published
• View Publication
• BIB
A digraph $H$ is called ubiquitous if every digraph that contains arbitrarily many vertex-disjoint copies of $H$ also contains infinitely many vertex-disjoint copies of $H$. We study oriented double rays, that is, digraphs $H$ whose underlying undirected graphs are double rays. Calling a vertex of an oriented double ray a turn if it has in-degree or out-degree 2, we prove that an oriented double ray with at least one turn is ubiquitous if and only if it has a (finite) odd number of turns. It remains an open problem to determine whether the consistently oriented double ray is ubiquitous.