Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Dynamical aspects of $σ$-machines
Published
• View Publication
• BIB
The $σ$-machine was recently introduced by Cerbai, Claesson and Ferrari as a tool to gain a better insight on the problem of sorting permutations with two stacks in series. It consists of two consecutive stacks, which are restricted in the sense that their content must at all times avoid a certain pattern: a given $σ$, in the first stack, and $21$, in the second. Here we prove that in most cases sortable permutations avoid a bivincular pattern $ξ$. We provide a geometric decomposition of $ξ$-avoiding permutations and use it to count them directly. Then we characterize the permutations with the property that the output of the $σ$-avoiding stack does not contain $σ$, which we call effective. For $σ=123$, we obtain an alternative method to enumerate sortable permutations. Finally, we classify $σ$-machines and determine the most challenging to be studied.
More results on large sets of Kirkman triple systems
Published
• View Publication
• BIB
The existence of large sets of Kirkman triple systems (LKTSs) is one of the best-known open problems in combinatorial design theory. Steiner quadruple systems with resolvable derived designs (RDSQSs) play an important role in the recursive constructions of LKTSs. In this paper, we introduce a special combinatorial structure RDSQS*(v) and use it to present a construction for RDSQS(4v). As a consequence, some new infinite families of LKTSs are given.
Some Mader-perfect graph classes
Published
• View Publication
• BIB
The dichromatic number of $D$, denoted by $\overrightarrowχ(D)$, is the smallest integer $k$ such that $D$ admits an acyclic $k$-coloring. We use $mader_{\overrightarrowχ}(F)$ to denote the smallest integer $k$ such that if $\overrightarrowχ(D)\ge k$, then $D$ contains a subdivision of $F$. A digraph $F$ is called Mader-perfect if for every subdigraph $F'$ of $F$, ${\rm mader }_{\overrightarrowχ}(F')=|V(F')|$. We extend octi digraphs to a larger class of digraphs and prove that it is Mader-perfect, which generalizes a result of Gishboliner, Steiner and Szabó [Dichromatic number and forced subdivisions, {\it J. Comb. Theory, Ser. B} {\bf 153} (2022) 1--30]. We also show that if $K$ is a proper subdigraph of $\overleftrightarrow{C_4}$ except for the digraph obtained from $\overleftrightarrow{C_4}$ by deleting an arbitrary arc, then $K$ is Mader-perfect.
Matrix Models, Integral Polyhedra and Toric Geometry
We propose to take a look at a new approach to the study of integral polyhedra. The main idea is to give an integral representation, or matrix model representation, for the key combinatorial characteristics of integral polytopes. Based on the well-known geometric interpretations of matrix model digram techniques, we construct a new model that enumerates triangulations, subdivisions, and numbers of integral points of integral polygons. This approach allows us to look at their combinatorics from a new perspective, motivated by knowledge about matrix models and their integrability. We show how analogs of Virasoro constraints appear in the resulting model. Moreover, we make a natural generalization of this matrix model to the case of polytopes of an arbitrary dimension, considering already a tensor model. We also obtain an analogue of Virasoro constraints for it and discuss their role in the solvability of these models. The deep connection between the geometry of convex polyhedra and toric geometry is the main reference point in the construction of these models. We present considerations on specific ways of applying this approach to the description of Batyrev's mirror pairs. All this allows us to formulate many interesting directions in the study of the connection between matrix/tensor models and the geometry of toric varieties.
Approximate Discrete Entropy Monotonicity for Log-Concave Sums
Published
• View Publication
• BIB
It is proven that a conjecture of Tao (2010) holds true for log-concave random variables on the integers: For every $n \geq 1$, if $X_1,\ldots,X_n$ are i.i.d. integer-valued, log-concave random variables, then $$ H(X_1+\cdots+X_{n+1}) \geq H(X_1+\cdots+X_{n}) + \frac{1}{2}\log{\Bigl(\frac{n+1}{n}\Bigr)} - o(1) $$ as $H(X_1) \to \infty$, where $H$ denotes the (discrete) Shannon entropy. The problem is reduced to the continuous setting by showing that if $U_1,\ldots,U_n$ are independent continuous uniforms on $(0,1)$, then $$ h(X_1+\cdots+X_n + U_1+\cdots+U_n) = H(X_1+\cdots+X_n) + o(1) $$ as $H(X_1) \to \infty$, where $h$ stands for the differential entropy. Explicit bounds for the $o(1)$-terms are provided.
How to construct the symmetric cycle of length 5 using Hajós construction with an adapted Rank Genetic Algorithm
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Discrete Algorithms (March 1, 2023) dmtcs:10189
• View Publication
• BIB
In 2020 Bang-Jensen et. al. generalized the Hajós join of two graphs to the class of digraphs and generalized several results for vertex colorings in digraphs. Although, as a consequence of these results, a digraph can be obtained by Hajós constructions (directed Hajós join and identifying non-adjacent vertices), determining the Hajós constructions to obtain the digraph is a complex problem. In particular, Bang-Jensen et al. posed the problem of determining the Hajós operations to construct the symmetric 5-cycle from the complete symmetric digraph of order 3 using only Hajós constructions. We successfully adapted a rank-based genetic algorithm to solve this problem by the introduction of innovative recombination and mutation operators from graph theory. The Hajós Join became the recombination operator and the identification of independent vertices became the mutation operator. In this way, we were able to obtain a sequence of only 16 Hajós operations to construct the symmetric cycle of order 5.
Stackelberg-Nash null controllability for a non linear coupled degenerate parabolic equations
Published in Applied Mathematics and Optimization 2023
• View Publication
• BIB
The main purpose of this paper is to apply the notion of hierarchical control to a coupled degenerate non linear parabolic equations. We use the Stackelberg-Nash strategy with one leader and two followers. The followers solve a Nash equilibrium corresponding to a bi-objective optimal control problem and the leader a null controllability problem. Since the considered problem is non linear, the associated cost is non-convex. We first prove the existence, uniqueness and the characterization of the Nash quasiequilibrium, which is a weak formulation of the Nash equilibrium because the cost associated to the non linear problem is non-convex. Next, we show that under suitable conditions, the Nash quasi-equilibrium is equivalent to the Nash equilibrium. Finally using some Carleman inequalities that we established, and the Kakutani's fixed point Theorem, we brough the states of our system to the rest at final time T .
Online Ramsey numbers of ordered paths and cycles
Published
• View Publication
• BIB
An ordered graph is a graph with a linear ordering on its vertices. The online Ramsey game for ordered graphs $G$ and $H$ is played on an infinite sequence of vertices; on each turn, Builder draws an edge between two vertices, and Painter colors it red or blue. Builder tries to create a red $G$ or a blue $H$ as quickly as possible, while Painter wants the opposite. The online ordered Ramsey number $r_o(G,H)$ is the number of turns the game lasts with optimal play.
In this paper, we consider the behavior of $r_o(G,P_n)$ for fixed $G$, where $P_n$ is the monotone ordered path. We prove an $O(n \log_2n)$ bound on $r_o(G,P_n)$ for all $G$ and an $O(n)$ bound when $G$ is $3$-ichromatic; we partially classify graphs $G$ with $r_o(G,P_n) = n + O(1)$. Many of these results extend to $r_o(G,C_n)$, where $C_n$ is an ordered cycle obtained from $P_n$ by adding one edge.
Virasoro constraints on moduli of sheaves and vertex algebras
Published
• View Publication
• BIB
In enumerative geometry, Virasoro constraints were first conjectured in Gromov-Witten theory with many new recent developments in the sheaf theoretic context. In this paper, we rephrase the sheaf-theoretic Virasoro constraints in terms of primary states coming from a natural conformal vector in Joyce's vertex algebra. This shows that Virasoro constraints are preserved under wall-crossing. As an application, we prove the conjectural Virasoro constraints for moduli spaces of torsion-free sheaves on any curve and on surfaces with only $(p,p)$ cohomology classes by reducing the statements to the rank 1 case.
Descriptive complexity of the generalized spectra of graphs
Two graphs are cospectral if their respective adjacency matrices have the same multiset of eigenvalues, and generalized cospectral if they are cospectral and so are their complements. We study generalized cospectrality in relation to logical definability. We show that any pair of graphs that are elementary equivalent with respect to the three-variable counting first-order logic $C^3$ are generalized cospectral, and this is not the case with $C^2$, nor with any number of variables if we exclude counting quantifiers. Using this result we provide a new characterization of the well-known class of distance-regular graphs using the logic $C^3$. We also show that, for controllable graphs (it is known that almost all graphs are controllable), the elementary equivalence in $C^2$ coincides with isomorphism.
A Note on Slice Rank and Matchings in Groups
A multiplicative 3-matching in a group $G$ is a triple of sets $\{a_i\}, \{b_i\}, \{c_i\} \subset G$ such that $a_ib_jc_k = 1$ if and only if $i=j=k$. Here we record the fact that $\text{PSL}(2,p)$ has no multiplicative 3-matching of size greater than $O(p^{8/3})$, yet the slice rank of its group algebra's multiplication tensor is at least $Ω(p^3)$ over any field. This gives a negative answer to a conjecture of Petrov.
A logical limit law for $231$-avoiding permutations
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:1, Permutation Patterns 2023, Special issues (April 2, 2024) dmtcs:11751
• View Publication
• BIB
We prove that the class of 231-avoiding permutations satisfies a logical limit law, i.e. that for any first-order sentence $Ψ$, in the language of two total orders, the probability $p_{n,Ψ}$ that a uniform random 231-avoiding permutation of size $n$ satisfies $Ψ$ admits a limit as $n$ is large. Moreover, we establish two further results about the behavior and value of $p_{n,Ψ}$: (i) it is either bounded away from $0$, or decays exponentially fast; (ii) the set of possible limits is dense in $[0,1]$. Our tools come mainly from analytic combinatorics and singularity analysis.
Parallel solutions for preemptive makespan scheduling on two identical machines
Published
• View Publication
• BIB
We consider online preemptive scheduling of jobs arriving one by one, to be assigned to two identical machines, with the goal of makespan minimization. We study the effect of selecting the best solution out of two independent solutions constructed in parallel in an online fashion. Two cases are analyzed, where one case is purely online, and in the other one jobs are presented sorted by non-increasing sizes. We show that using two solutions rather than one improves the performance significantly, but that an optimal solution cannot be obtained for any constant number of solutions constructed in parallel. Our algorithms have the best possible competitive ratios out of algorithms for each one of the classes.
Characterization of coincidence site lattices of oblique planar lattices
Coincidence site lattices of oblique planar lattices are algebraically characterized using as basic tool the Cartan-Dieudonné theorem, that is, the decomposition of an orthogonal transformation as a product of reflections. The case of rectangular lattices is worked out in detail. We use the rectangular lattices for obtain the characterization of the corresponding obliques.
Five Lectures on Cluster Theory
In this paper, we will present the author's interpretation and embellishment of five lectures on cluster theory given by Kiyoshi Igusa during the Spring semester of 2022 at Brandeis University. They are meant to be used as an introduction to cluster theory from a representation-theoretic point of view. It is assumed that the reader has some background in representations of quivers.
Critical Points at Infinity for Hyperplanes of Directions
Analytic combinatorics in several variables (ACSV) analyzes the asymptotic growth of the coefficients of a meromorphic generating function $F = G/H$ in a direction $\mathbf{r}$. It uses Morse theory on the pole variety $V := \{ H = 0 \} \subseteq (\mathbb{C}^*)^d$ of $F$ to deform the torus $T$ in the multivariate Cauchy Integral Formula via the downward gradient flow for the \textit{height} function $h = h_{\mathbf{r}} = -\sum_{j=1}^d r_j \log |z_j|$, giving a homology decomposition of $T$ into cycles around \textit{critical points} of $h$ on $V$. The deformation can flow to infinity at finite height when the height function is not a proper map. This happens only in the presence of a critical point at infinity (CPAI): a sequence of points on $V$ approaching a point at infinity, and such that log-normals to $V$ converge projectively to $\mathbf{r}$. The CPAI is called \textit{heighted} if the height function also converges to a finite value. This paper studies whether all CPAI are heighted, and in which directions CPAI can occur. We study these questions by examining sequences converging to faces of a toric compactification defined by a multiple of the Newton polytope $\mathcal{P}$ of the polynomial $H$. Under generically satisfied conditions, any projective limit of log-normals of a sequence converging to a face $F$ must be parallel to $F$; this implies that CPAI must always be heighted and can only occur in directions parallel to some face of $\mathcal{P}$. When this generic condition fails, we show under a smoothness condition, that a point in a codimension-1 face $F$ can still only be a CPAI for directions parallel to $F$, and that the directions for a codimension-2 face can be a larger set, which can be computed explicitly and still has positive codimension.
On bounded degree graphs with large size-Ramsey numbers
Published
• View Publication
• BIB
The size-Ramsey number $\hat r(G')$ of a graph $G'$ is defined as the smallest integer $m$ so that there exists a graph $G$ with $m$ edges such that every $2$-coloring of the edges of $G$ contains a monochromatic copy of $G'$. Answering a question of Beck, Rodl and Szemeredi showed that for every $n\geq 1$ there exists a graph $G'$ on $n$ vertices each of degree at most three, with the size-Ramsey number at least $cn\log^{\frac{1}{60}}n$ for a universal constant $c>0$. In this note we show that a modification of Rodl and Szemeredi's construction leads to a bound $\hat r(G')\geq cn\,\exp(c\sqrt{\log n})$.
Complete characterization of s-bridge graphs with local antimagic chromatic number 2
Published
• View Publication
• BIB
An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, we characterize $s$-bridge graphs with local antimagic chromatic number 2.
Spanning bipartite quadrangulations of triangulations of the projective plane
Published
• View Publication
• BIB
We completely characterize triangulations of the projective plane that have a spanning bipartite quadrangulation subgraph. This is an affirmative answer to a question by Kündgen and Ramamurthi (J Combin Theory Ser B 85, 307--337, 2002) for the projective planar case.
Bijection between trees in Stanley character formula and factorizations of a cycle
Published in The Electronic Journal of Combinatorics 31 (1) (2024), #P1.23
• View Publication
• BIB
Stanley and Féray gave a formula for the irreducible character of the symmetric group related to a multi-rectangular Young diagram. This formula shows that the character is a polynomial in the multi-rectangular coordinates and gives an explicit combinatorial interpretation for its coefficients in terms of counting certain decorated maps (i.e., graphs drawn on surfaces). In the current paper we concentrate on the coefficients of the top-degree monomials in the Stanley character polynomial, which corresponds to counting certain decorated plane trees. We give an explicit bijection between such trees and minimal factorizations of a cycle.