Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Minimal Path and Acyclic Models in the Path Complex
Published
• View Publication
• BIB
In this paper, firstly, we will study the structure of the path complex $(Ω_*(G;\Z),\partial)$ of a digraph $G$ via the $\Z$-generators of $Ω_*(G,\Z)$ under strongly regular condition, which is called the minimal path in \cite{HY}. In particular, we will study various examples of the minimal $3$-paths. Secondly, we will show that the supporting sub-digraph of minimal path has acyclic path homologies. Thirdly, we will consider the applications of such an acyclic model.
Quasiperfect graph
A perfect graph is a graph which every induced subgraph has clique number equal to chromatic number. In this paper, I will introduce a new family of graphs, the quasiperfect graphs which generalizes the perfect graphs.
Achievable Rates and Algorithms for Group Testing with Runlength Constraints
Published
• View Publication
• BIB
In this paper, we study bounds on the minimum length of $(k,n,d)$-superimposed codes introduced by Agarwal et al. [1], in the context of Non-Adaptive Group Testing algorithms with runlength constraints. A $(k,n,d)$-superimposed code of length $t$ is a $t \times n$ binary matrix such that any two 1's in each column are separated by a run of at least $d$ 0's, and such that for any column $\mathbf{c}$ and any other $k-1$ columns, there exists a row where $\mathbf{c}$ has $1$ and all the remaining $k-1$ columns have $0$. Agarwal et al. proved the existence of such codes with $t=Θ(dk\log(n/k)+k^2\log(n/k))$. Here we investigate more in detail the coefficients in front of these two main terms as well as the role of lower order terms. We show that improvements can be obtained over the construction in [1] by using different constructions and by an appropriate exploitation of the Lovász Local Lemma in this context. Our findings also suggest $O(n^k)$ randomized Las Vegas algorithms for the construction of such codes. We also extend our results to Two-Stage Group Testing algorithms with runlength constraints.
Bounds for invariants of numerical semigroups and Wilf's Conjecture
Given coprime positive integers $g_1 < \ldots < g_e$, the Frobenius number $F=F(g_1,\ldots,g_e)$ is the largest integer not representable as a linear combination of $g_1,\ldots,g_e$ with non-negative integer coefficients. Let $n$ denote the number of all representable non-negative integers less than $F$; Wilf conjectured that $F+1 \le e n$. We provide bounds for $g_1$ and for the type of the numerical semigroup $S=\langle g_1,\ldots,g_e \rangle$ in function of $e$ and $n$, and use these bounds to prove that $F+1 \le q e n$, where $q= \left \lceil \frac{F+1}{g_1} \right \rceil$, and $F+1 \le e n^2$. Finally, we give an alternative, simpler proof for the Wilf conjecture if the numerical semigroup $S=\langle g_1,\ldots,g_e \rangle$ is almost-symmetric.
On the boundedness of the type of an almost Gorenstein monomial curve in $\mathbb{A}^5$
Published
• View Publication
• BIB
We prove that the Cohen-Macaulay type of an almost Gorenstein monomial curve $\mathcal{C} \subseteq \mathbb{A}^5$ is bounded.
Feynman checkers: lattice quantum field theory with real time
Published in Anal.Math.Phys. 14, 38 (2024)
• View Publication
• BIB
We present a new completely elementary model that describes the creation, annihilation, and motion of non-interacting electrons and positrons along a line. It is a modification of the model known under the names Feynman checkers or one-dimensional quantum walk. It can be viewed as a six-vertex model with certain complex weights of the vertices. The discrete model is consistent with the continuum quantum field theory, namely, reproduces the known expected charge density as the lattice step tends to zero. It is exactly solvable in terms of hypergeometric functions. We introduce interaction resembling Fermi's theory and establish perturbation expansion.
Sets Avoiding Full-Rank Three-Point Patterns in $(\mathbb{F}_q^n)^k$ Are Exponentially Small
We prove that if a subset of $(\mathbb{F}_q^n)^k$ (with $q$ an odd prime power) avoids a full-rank three-point pattern $\vec{x},\vec{x}+M_1\vec{d},\vec{x}+M_2\vec{d}$ then it is exponentially small, having size at most $3 \cdot c_q^{nk}$ where $0.8414 q \leq c_q \leq 0.9184 q$. This generalizes a theorem of Kovauc and complements results of Berger, Sah, Sawhney and Tidor. As a consequence, we prove that if $3$ is a square in $\mathbb{F}_q$ then subsets of $(\mathbb{F}_q^n)^2$ avoiding equilateral triangles are exponentially small.
Simpler and efficient characterizations of tree t-spanners for graphs with few P4's and (k, l)-graphs
Published
• View Publication
• BIB
A tree $t$-spanner of a graph $G$ is a spanning tree $T$ in which the distance between any two adjacent vertices of $G$ is at most $t$. The smallest $t$ for which $G$ has a tree $t$-spanner is called tree stretch index. The $t$-admissibility problem aims to decide whether the tree stretch index is at most $t$. Regarding its optimization version, the smallest $t$ for which $G$ is $t$-admissible is the stretch index of $G$, denoted by $σ_T(G)$. Given a graph with $n$ vertices and $m$ edges, the recognition of $2$-admissible graphs can be done $O(n+m)$ time, whereas $t$-admissibility is NP-complete for $σ_T(G) \leq t$, $t \geq 4$ and deciding if $t = 3$ is an open problem, for more than 20 years. Since the structural knowledge of classes can be determinant to classify $3$-admissibility's complexity, in this paper we present simpler and faster algorithms to check $2$ and $3$-admissibility for families of graphs with few $P_4$'s and $(k,\ell)$-graphs. Regarding $(0,\ell)$-graphs, we present lower and upper bounds for the stretch index of these graphs and characterize graphs whose stretch indexes are equal to the proposed upper bound. Moreover, we prove that $t$-admissibility is NP-complete even for line graphs of subdivided graphs.
On first-order transductions of classes of graphs
Published in Logical Methods in Computer Science, Volume 21, Issue 2 (June 23, 2025) lmcs:9981
• View Publication
• BIB
We study various aspects of the first-order transduction quasi-order on graph classes, which provides a way of measuring the relative complexity of graph classes based on whether one can encode the other using a formula of first-order (FO) logic. In contrast with the conjectured simplicity of the transduction quasi-order for monadic second-order logic, the FO-transduction quasi-order is very complex, and many standard properties from structural graph theory and model theory naturally appear in it. We prove a local normal form for transductions among other general results and constructions, which we illustrate via several examples and via the characterizations of the transductions of some simple classes. We then turn to various aspects of the quasi-order, including the (non-)existence of minimum and maximum classes for certain properties, the strictness of the pathwidth hierarchy, the fact that the quasi-order is not a lattice, and the role of weakly sparse classes in the quasi-order.
Extensions of Hitomezashi Patterns
Published
• View Publication
• BIB
Hitomezashi, a form of traditional Japanese embroidery, gives rise to intricate arrangements of axis-parallel unit-length stitches in the plane. Pete studied these patterns in the context of percolation theory, and the first two authors recently investigated additional structural properties of them. In this paper, we establish several optimization-style results on hitomezashi patterns and provide a complete classification of "long-stitch" hitomezashi patterns in which stitches have length greater than 1. We also study variants in which stitches can have directions not parallel to the coordinate axes.
Limiting behavior in growth of Bulgarian Solitaire orbits
The Bulgarian Solitaire rule induces a finite dynamical system on the set of integer partitions of $n$. Brandt characterized and counted all cycles in its recurrent set for any given $n$, with orbits parametrized by necklaces of black and white beads. However, the transient behavior within each orbit has been almost completely unknown. The only known case is when $n=\binom{k}{2}$ is a triangular number, in which case there is only one orbit. Eriksson and Jonsson gave an analysis for convergence of the structure as $k$ grows, and to what extent the limit applied to the finite case. In this article, we generalize the convergent structure for orbits of Bulgarian Solitaire system for any $n$. For necklaces of the form $(BW)^k = BWBW\cdots$, we give the precise limit of the generating functions as $k$ grows. For other necklaces, we prove that the generating functions are rational and provide a bound for their denominator and numerator degrees.
Superunitary regions of cluster algebras
This note introduces the superunitary region of a cluster algebra, the subspace of the totally positive region on which each cluster variable is at least 1. Our main result is that the superunitary region of a finite type cluster algebra is a regular CW complex which is homeomorphic to the generalized associahedron of the cluster algebra. As an application, the compactness of the superunitary region implies that each Dynkin diagram admits finitely many positive integral friezes.
Constrainahedra
We define a family of convex polytopes called constrainahedra, which index collisions of horizontal and vertical lines. Our construction proceeds by first defining a poset $C(m,n)$ of good rectangular preorders, then proving that $C(m,n)$ is a lattice, and finally constructing a polytopal realization by taking the convex hull of a certain explicitly-defined collection of points. The constrainahedra will form the combinatorial backbone of the second author's construction of strong homotopy duoids. We indicate how constrainahedra could be realized as Gromov-compactified configuration spaces of horizontal and vertical lines; viewed from this perspective, the constrainahedra include naturally into the first author's notion of 2-associahedra.
Optimal possibly nonlinear 3-PIR codes of small size
Published
• View Publication
• BIB
First, we state a generalization of the minimum-distance bound for PIR codes. Then we describe a construction for linear PIR codes using packing designs and use it to construct some new 5-PIR codes. Finally, we show that no encoder (linear or nonlinear) for the binary $r$-th order Hamming code produces a 3-PIR code except when $r=2$. We use these results to determine the smallest length of a binary (possibly nonlinear) 3-PIR code of combinatorial dimension up to~6. A binary 3-PIR code of length 11 and size $2^7$ is necessarily nonlinear, and we pose the existence of such a code as an open problem.
A remark on the Ramsey number of the hypercube
Published
• View Publication
• BIB
A well known conjecture of Burr and Erdos asserts that the Ramsey number $r(Q_n)$ of the hypercube $Q_n$ on $2^n$ vertices is of the order $O(2^n)$. In this paper, we show that $r(Q_n)=O(2^{2n-c n})$ for a universal constant $c>0$, improving upon the previous best known bound $r(Q_n)=O(2^{2n})$, due to Conlon, Fox and Sudakov.
Cutoff profile of the Metropolis biased card shuffling
Published in Ann. Probab. 52(2): 713-736 (March 2024)
• View Publication
• BIB
We consider the Metropolis biased card shuffling (also called the multi-species ASEP on a finite interval or the random Metropolis scan). Its convergence to stationary was believed to exhibit a total-variation cutoff, and that was proved a few years ago by Labbé and Lacoin. In this paper, we prove that (for $N$ cards) the cutoff window is in the order of $N^{1/3}$, and the cutoff profile is given by the GOE Tracy-Widom distribution function. This confirms a conjecture by Bufetov and Nejjar. Our approach is different from Labbé-Lacoin, by comparing the card shuffling with the multi-species ASEP on $\mathbb{Z}$, and using Hecke algebra and recent ASEP shift-invariance and convergence results. Our result can also be viewed as a generalization of the Oriented Swap Process finishing time convergence of Bufetov-Gorin-Romik, which is the TASEP version (of our result).
Maximizing curves viewed as free curves
Published in International Mathematical Research Notes 2023 (22): 19156 - 19183 (2023)
• View Publication
• BIB
The aim of this paper is to provide a direct link between maximizing curves that occur in the construction of smooth algebraic surfaces having the maximal possible Picard numbers and reduced free plane curves with simple singularities. We also investigate odd degree plane curves with simple singularities having maximal total Tjurina number.
Improving upper and lower bounds of the number of games born by day 4
Published
• View Publication
• BIB
In combinatorial game theory, the lower and upper bounds of the number of games born by day $4$ have been recognized as $3.0 \cdot 10^{12}$ and $10^{434}$, respectively. In this study, we improve the lower bound to $10^{28.2}$ and the upper bound to $4.0 \cdot 10^{184}$, respectively.
Minimizers for the energy of eccentricity matrices of trees
Published
• View Publication
• BIB
The eccentricity matrix of a connected graph $G$, denoted by $\mathcal{E}(G)$, is obtained from the distance matrix of $G$ by keeping the largest nonzero entries in each row and each column and leaving zeros in the remaining ones. The eigenvalues of $\mathcal{E}(G)$ are the $\mathcal{E}$-eigenvalues of $G$. The eccentricity energy (or the $\mathcal{E}$-energy) of $G$ is the sum of the absolute values of all $\mathcal{E}$-eigenvalues of $G$. In this article, we determine the unique tree with the minimum second largest $\mathcal{E}$-eigenvalue among all trees on $n$ vertices other than the star. Also, we characterize the trees with minimum $\mathcal{E}$-energy among all trees on $n$ vertices.
Counting crucial permutations with respect to monotone patterns
Published
• View Publication
• BIB
Recently, Avgustinovich, Kitaev, and Taranenko defined five types of $(k, \ell)-$crucial permutations, which are maximal permutations that do not contain an increasing subsequence of length $k$ or a decreasing subsequence of length $\ell$. Further, Avgustinovich, Kitaev, and Taranenko began the enumeration of the $(k, \ell)-$crucial permutations of the minimal length and the next minimal length and the $(k, 3)-$crucial permutations of all lengths for each of the five types of $(k,\ell)-$crucial permutations. In this paper, we complete the enumeration that Avgustinovich, Kitaev, and Taranenko began.