Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Partitions, Multiple Zeta Values and the q-bracket
Published
• View Publication
• BIB
We provide a framework for relating certain q-series defined by sums over partitions to multiple zeta values. In particular, we introduce a space of polynomial functions on partitions for which the associated q-series are q-analogues of multiple zeta values. By explicitly describing the (regularized) multiple zeta values one obtains as $q\to 1$, we extend previous results known in this area. Using this together with the fact that other families of functions on partitions, such as shifted symmetric functions, are elements in our space will then give relations among (q-analogues of) multiple zeta values. Conversely, we will show that relations among multiple zeta values can be `lifted' to the world of functions on partitions, which provides new examples of functions where the associated q-series are quasimodular.
On convolution powers of 1/x
Convolution powers of $1/x$ are transformed into functions $f_n$, which satisfy a simple recurrence relation. Solutions are characterized and analyzed.
On Flag-Transitive $2$-$(k^{2}, k, λ)$ Designs with $λ\mid k$
Published
• View Publication
• BIB
It is shown that, apart from the smallest Ree group, a flag-transitive automorphism group $G$ of a $2$-$(k^{2}, k, λ)$ design D, with $λ\mid k$, is either an affine group or an almost simple classical group. Moreover, when $G$ is the smallest Ree group, $\mathcal{D}$ is isomorphic either to the $2$-$(62, 6, 2)$ design or to one of the three $2$- $(62, 6, 6)$ designs constructed in this paper. All the four $2$-designs have the $36$ secants of a nondegenerate conic $\mathcal{C}$ of $PG_{2}(8)$ as a point set and 6-sets of secants in a remarkable configuration as a block set.
The bondage number of chordal graphs
A set $S\subseteq V(G)$ of a graph $G$ is a dominating set if each vertex has a neighbor in $S$ or belongs to $S$. Let $γ(G)$ be the cardinality of a minimum dominating set in $G$. The bondage number $b(G)$ of a graph $G$ is the smallest cardinality of a set edges $A\subseteq E(G)$ such that $γ(G-A)=γ(G)+1$. A chordal graph is a graph with no induced cycle of length four or more. In this paper, we prove that the bondage number of a chordal graph $G$ is at most the order of its maximum clique, that is, $b(G)\leq ω(G)$. We show that this bound is best possible.
Flag-transitive, point-imprimitive symmetric $2$-$(v,k,λ)$ designs with $k>λ\left(λ-3 \right)/2$
Let $\mathcal{D}=\left(\mathcal{P},\mathcal{B} \right)$ be a symmetric $2$-$(v,k,λ)$ design admitting a flag-transitive, point-imprimitive automorphism group $G$ that leaves invariant a non-trivial partition $Σ$ of $\mathcal{P}$. Praeger and Zhou \cite{PZ} have shown that, there is a constant $k_{0}$ such that, for each $B \in \mathcal{B}$ and $Δ\in Σ$, the size of $\left\vert B \cap Δ\right \vert$ is either $0$ or $k_{0}$. In the present paper we show that, if $k>λ\left(λ-3 \right)/2$ and $k_{0} \geq 3$, $\mathcal{D}$ is isomorphic to one of the known flag-transitive, point-imprimitive symmetric $2$-designs with parameters $(45,12,3)$ or $(96,20,4)$.
Classification of the non-trivial $2$-$(k^{2},k,λ)$ designs, with $λ\mid k$, admitting a flag-transitive almost simple automorphism group
Published
• View Publication
• BIB
Non-trivial $2$-$(k^{2},k,λ)$ designs, with $λ\mid k$, admitting a flag-transitive almost simple automorphism group are classified.
A recursive function coding number theoretic functions
We show that there exists a fixed recursive function $e$ such that for all functions $h\colon \mathbb{N}\to \mathbb{N}$, there exists an injective function $c_h\colon \mathbb{N}\to \mathbb{N}$ such that $c_h(h(n))=e(c_h(n))$, i.e., $h=c_h^{-1}ec_h$.
Covering rectangles by few monotonous polyominoes
Published
• View Publication
• BIB
A monotonous polyomino is formed by all lattice unit squares met by the graph of some fixed monotonous continuous function $f:[a,b] \to \mathbb{R}$ with $f(k) \notin \mathbb{Z}$ whenever $k \in \mathbb{Z}$. Our main result says that the least cardinality of a covering of a lattice $(m \times n)$-rectangle by monotonous polyominoes is $\left\lceil \frac{2}{3}\left(m+n-\sqrt{m^2+n^2-mn}\right)\right\rceil$. The paper is motivated by a problem on arrangements of straight lines on chessboards.
Connecting Slow Solutions to Nested Recurrences with Linear Recurrent Sequences
Published
• View Publication
• BIB
Labeled infinite trees provide combinatorial interpretations for many integer sequences generated by nested recurrence relations. Typically, such sequences are monotone increasing. Several of these sequences also have straightforward descriptions in terms of how often each value in the sequence occurs. In this paper, we generalize the most classical examples to a larger family of sequences parametrized by linear recurrence relations. Each of our sequences can be constructed in three different ways: via a nested recurrence relation, from labeled infinite trees, or by using Zeckendorf-like strings of digits to describe its frequency sequence. We conclude the paper by discussing the asymptotic behaviors of our sequences.
Borel factors and embeddings of systems in subshifts
Published
• View Publication
• BIB
In this paper we study the combinatorics of free Borel actions of the group $\mathbb Z^d$ on Polish spaces. Building upon recent work by Chandgotia and Meyerovitch, we introduce property $F$ on $\mathbb Z^d$-shift spaces $X$ under which there is an equivariant map from any free Borel action to the free part of $X$. Under further entropic assumptions, we prove that any subshift $Y$ (modulo the periodic points) can be Borel embedded into $X$. Several examples satisfy property $F$ including, but not limited to, the space of proper $3$-colourings, tilings by rectangles (under a natural arithmetic condition), proper $2d$-edge colourings of $\mathbb Z^d$ and the space of bi-infinite Hamiltonian paths. This answers questions raised by Seward, and Gao-Jackson, and recovers a result by Weilacher and some results announced by Gao-Jackson-Krohne-Seward.
Zero-sum partitions of Abelian groups and their applications to magic- and antimagic-type labelings
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Combinatorics (October 25, 2024) dmtcs:12361
• View Publication
• BIB
The following problem has been known since the 80s. Let $Γ$ be an Abelian group of order $m$ (denoted $|Γ|=m$), and let $t$ and $\{m_i\}_{i=1}^{t}$, be positive integers such that $\sum_{i=1}^t m_i=m-1$. Determine when $Γ^*=Γ\setminus\{0\}$, the set of non-zero elements of $Γ$, can be partitioned into disjoint subsets $\{S_i\}_{i=1}^{t}$ such that $|S_i|=m_i$ and $\sum_{s\in S_i}s=0$ for every $1 \leq i \leq t$. Such a subset partition is called a \textit{zero-sum partition}. $|I(Γ)|\neq 1$, where $I(Γ)$ is the set of involutions in $Γ$, is a necessary condition for the existence of zero-sum partitions. In this paper, we show that the additional condition of $m_i\geq 4$ for every $1 \leq i \leq t$, is sufficient. Moreover, we present some applications of zero-sum partitions to magic- and antimagic-type labelings of graphs.
Optimal schemes for combinatorial query problems with integer feedback
Published
• View Publication
• BIB
A query game is a pair of a set $Q$ of queries and a set $\mathcal{F}$ of functions, or codewords $f:Q\rightarrow \mathbb{Z}.$ We think of this as a two-player game. One player, Codemaker, picks a hidden codeword $f\in \mathcal{F}$. The other player, Codebreaker, then tries to determine $f$ by asking a sequence of queries $q\in Q$, after each of which Codemaker must respond with the value $f(q)$. The goal of Codebreaker is to uniquely determine $f$ using as few queries as possible. Two classical examples of such games are coin-weighing with a spring scale, and Mastermind, which are of interest both as recreational games and for their connection to information theory.
In this paper, we will present a general framework for finding short solutions to query games. As applications, we give new self-contained proofs of the query complexity of variations of the coin-weighing problems, and prove new results that the deterministic query complexity of Mastermind with $n$ positions and $k$ colors is $Θ(n \log k/ \log n + k)$ if only black-peg information is provided, and $Θ(n \log k / \log n + k/n)$ if both black- and white-peg information is provided. In the deterministic setting, these are the first up to constant factor optimal solutions to Mastermind known for any $k\geq n^{1-o(1)}$.
A Type B analog of the Whitehouse representation
Published
• View Publication
• BIB
We give a Type $B$ analog of Whitehouse's lifts of the Eulerian representations from $S_n$ to $S_{n+1}$ by introducing a family of $B_{n}$-representations that lift to $B_{n+1}$. As in Type $A$, we interpret these representations combinatorially via a family of orthogonal idempotents in the Mantaci-Reutenauer algebra, and topologically as the graded pieces of the cohomology of a certain $\mathbb{Z}_{2}$-orbit configuration space of $\mathbb{R}^{3}$. We show that the lifted $B_{n+1}$-representations also have a configuration space interpretation, and further parallel the Type $A$ story by giving analogs of many of its notable properties, such as connections to equivariant cohomology and the Varchenko-Gelfand ring.
On the Combinatorial Diameters of Parallel and Series Connections
Published
• View Publication
• BIB
The investigation of combinatorial diameters of polyhedra is a classical topic in linear programming due to its connection with the possibility of an efficient pivot rule for the simplex method. We are interested in the diameters of polyhedra formed from the so-called parallel or series connection of oriented matroids: oriented matroids are the natural way to connect representable matroid theory with the combinatorics of linear programming, and these connections are fundamental operations for the construction of more complicated matroids from elementary matroid blocks.
We prove that, for polyhedra whose combinatorial diameter satisfies the Hirsch-conjecture bound regardless of the right-hand sides in a standard-form description, the diameters of their parallel or series connections remain small in the Hirsch-conjecture bound. These results are a substantial step toward devising a diameter bound for all polyhedra defined through totally-unimodular matrices based on Seymour's famous decomposition theorem.
Our proof techniques and results exhibit a number of interesting features. While the parallel connection leads to a bound that adds just a constant, for the series connection one has to linearly take into account the maximal value in a specific coordinate of any vertex. Our proofs also require a careful treatment of non-revisiting edge walks in degenerate polyhedra, as well as the construction of edge walks that may take a `detour' to facets that satisfy the non-revisiting conjecture when the underlying polyhedron may not.
Low-degree learning and the metric entropy of polynomials
Let $\mathscr{F}_{n,d}$ be the class of all functions $f:\{-1,1\}^n\to[-1,1]$ on the $n$-dimensional discrete hypercube of degree at most $d$. In the first part of this paper, we prove that any (deterministic or randomized) algorithm which learns $\mathscr{F}_{n,d}$ with $L_2$-accuracy $\varepsilon$ requires at least $Ω((1-\sqrt{\varepsilon})2^d\log n)$ queries for large enough $n$, thus establishing the sharpness as $n\to\infty$ of a recent upper bound of Eskenazis and Ivanisvili (2021). To do this, we show that the $L_2$-packing numbers $\mathsf{M}(\mathscr{F}_{n,d},\|\cdot\|_{L_2},\varepsilon)$ of the concept class $\mathscr{F}_{n,d}$ satisfy the two-sided estimate $$c(1-\varepsilon)2^d\log n \leq \log \mathsf{M}(\mathscr{F}_{n,d},\|\cdot\|_{L_2},\varepsilon) \leq \frac{2^{Cd}\log n}{\varepsilon^4}$$ for large enough $n$, where $c, C>0$ are universal constants. In the second part of the paper, we present a logarithmic upper bound for the randomized query complexity of classes of bounded approximate polynomials whose Fourier spectra are concentrated on few subsets. As an application, we prove new estimates for the number of random queries required to learn approximate juntas of a given degree, functions with rapidly decaying Fourier tails and constant depth circuits of given size. Finally, we obtain bounds for the number of queries required to learn the polynomial class $\mathscr{F}_{n,d}$ without error in the query and random example models.
On Sombor index of graphs with a given number of cut-vertices
Published
• View Publication
• BIB
Introduced by Gutman in 2021, the Sombor index is a novel graph-theoretic topological descriptor possessing potential applications in the modeling of thermodynamic properties of compounds. Let G^k_n be the set of all n-vertex connected graphs with k cut-vertices. In this paper, we present minimum Sombor indices of graphs in G^k_n. The corresponding extremal graphs have been characterized as well.
Arctic curves of the $6$V model with partial DWBC and double Aztec rectangles
Published in J. Phys. A: Math. Theor. 55 (2022) 305004
• View Publication
• BIB
Previous numerical studies have shown that in the disordered and anti-ferroelectric phases the six-vertex ($6$V) model with partial domain wall boundary conditions (DWBC) exhibits an arctic curve whose exact shape is unknown. The model is defined on a $s\times n$ square lattice ($s\leq n$). In this paper, we derive the analytic expression of the arctic curve, for $a=b=1$ and $c=\sqrt{2}$ ($Δ=0$), while keeping the ratio $s/n \,\in [0,1]$ as a free parameter. The computation relies on the tangent method. We also consider domino tilings of double Aztec rectangles and show via the tangent method that, for particular parameters, the arctic curve is identical to that of the $6$V model with partial DWBC. Our results are confirmed by extensive numerical simulations.
The Szymczak Functor on the Category of Finite Sets and Finite Relations
Published in Journal of Dynamics and Differential Equations, vol. 37 (2025), 1835-1870
• View Publication
• BIB
The Szymczak functor is a tool used to construct the Conley index for dynamical systems with discrete time. We present an algorithmizable classification of isomorphism classes in the Szymczak category over the category of finite sets with arbitrary relations as morphisms. The research is the first step towards the construction of Conley theory for relations.
Heaps reduction, decorated diagrams, and the affine Temperley-Lieb algebra of type $C$
In this paper we propose a combinatorial framework to study a diagrammatic representation of the affine Temperley-Lieb algebra of type C introduced by Ernst. In doing this, we define two procedures, a decoration algorithm on diagrams and a reduction algorithm on heaps of independent interest. Using this approach, an explicit algorithmic description of Ernst representation map is provided from which its faithfulness can be deduced. We also give a construction of the inverse map.
Cutoff in the Bernoulli-Laplace model with $O(n)$ swaps
Published
• View Publication
• BIB
This paper considers the $(n,k)$-Bernoulli--Laplace model in the case when there are two urns, the total number of red and white balls is the same, and the number of selections $k$ at each step is on the same asymptotic order as the number of balls $n$ in each urn. Our main focus is on the large-time behavior of the corresponding Markov chain tracking the number of red balls in a given urn. Under reasonable assumptions on the asymptotic behavior of the ratio $k/n$ as $n\rightarrow \infty$, cutoff in the total variation distance is established. A cutoff window is also provided. These results, in particular, partially resolve an open problem posed by Eskenazis and Nestoridi.