Showing 1–22 of 22 results for author: Schaefer, A

Inverse of the Gomory Corner Relaxation of Integer Programs

Authors: Fatemeh Nosrat, George Lyu, Andrew J. Schaefer

Abstract: We analyze the inverse of the Gomory corner relaxation (GCR) of a pure integer program (IP). We prove the inverse GCR is equivalent to the inverse of a shortest path problem, yielding a polyhedral representation of the GCR inverse-feasible region. We present a linear programming (LP) formulation for solving the inverse GCR under the $L_{1}$ and $L_{\infty}$ norms, with significantly fewer variable… ▽ More We analyze the inverse of the Gomory corner relaxation (GCR) of a pure integer program (IP). We prove the inverse GCR is equivalent to the inverse of a shortest path problem, yielding a polyhedral representation of the GCR inverse-feasible region. We present a linear programming (LP) formulation for solving the inverse GCR under the $L_{1}$ and $L_{\infty}$ norms, with significantly fewer variables and constraints than existing LP formulations for solving the inverse IP in literature. We show that the inverse GCR bounds the inverse IP optimal value as tightly as the inverse LP relaxation under mild conditions. We provide sufficient conditions for the inverse GCR to exactly solve the inverse IP. △ Less

Submitted 29 October, 2024; originally announced October 2024.

On Integer Programs with Irrational Data

Authors: Seyedmohammadhossein Hosseinian, Andrew J. Schaefer

Abstract: An integer program (IP) with a finite number of feasible solutions may have an unbounded linear programming relaxation if it contains irrational parameters, due to implicit constraints enforced by the irrational numbers. We show that those constraints can be obtained if the irrational parameters are polynomials of roots of integers over the field of rational numbers, leading to an equivalent ratio… ▽ More An integer program (IP) with a finite number of feasible solutions may have an unbounded linear programming relaxation if it contains irrational parameters, due to implicit constraints enforced by the irrational numbers. We show that those constraints can be obtained if the irrational parameters are polynomials of roots of integers over the field of rational numbers, leading to an equivalent rational formulation. We also establish a weaker result for IPs involving the general class of algebraic irrational parameters, which extends to IPs with a particular form of transcendental numbers. △ Less

Submitted 11 February, 2024; originally announced February 2024.

Relaxations and Duality for Multiobjective Integer Programming

Authors: Alex Dunbar, Saumya Sinha, Andrew J Schaefer

Abstract: Multiobjective integer programs (MOIPs) simultaneously optimize multiple objective functions over a set of linear constraints and integer variables. In this paper, we present continuous, convex hull and Lagrangian relaxations for MOIPs and examine the relationship among them. The convex hull relaxation is tight at supported solutions, i.e., those that can be derived via a weighted-sum scalarizatio… ▽ More Multiobjective integer programs (MOIPs) simultaneously optimize multiple objective functions over a set of linear constraints and integer variables. In this paper, we present continuous, convex hull and Lagrangian relaxations for MOIPs and examine the relationship among them. The convex hull relaxation is tight at supported solutions, i.e., those that can be derived via a weighted-sum scalarization of the MOIP. At unsupported solutions, the convex hull relaxation is not tight and a Lagrangian relaxation may provide a tighter bound. Using the Lagrangian relaxation, we define a Lagrangian dual of an MOIP that satisfies weak duality and is strong at supported solutions under certain conditions on the primal feasible region. We include a numerical experiment to illustrate that bound sets obtained via Lagrangian duality may yield tighter bounds than those from a convex hull relaxation. Subsequently, we generalize the integer programming value function to MOIPs and use its properties to motivate a set-valued superadditive dual that is strong at supported solutions. We also define a simpler vector-valued superadditive dual that exhibits weak duality but is strongly dual if and only if the primal has a unique nondominated point. △ Less

Submitted 15 September, 2023; originally announced September 2023.

MSC Class: 90C100; 90C29; 90C46

Markov Decision Process Design: A Framework for Integrating Strategic and Operational Decisions

Authors: Seth Brown, Saumya Sinha, Andrew J Schaefer

Abstract: We consider the problem of optimally designing a system for repeated use under uncertainty. We develop a modeling framework that integrates design and operational phases, which are represented by a mixed-integer program and discounted-cost infinite-horizon Markov decision processes, respectively. We seek to simultaneously minimize the design costs and the subsequent expected operational costs. Thi… ▽ More We consider the problem of optimally designing a system for repeated use under uncertainty. We develop a modeling framework that integrates design and operational phases, which are represented by a mixed-integer program and discounted-cost infinite-horizon Markov decision processes, respectively. We seek to simultaneously minimize the design costs and the subsequent expected operational costs. This problem setting arises naturally in several application areas, as we illustrate through examples. We derive a bilevel mixed-integer linear programming formulation for the problem and perform a computational study to demonstrate that realistic instances can be solved numerically. △ Less

Submitted 21 March, 2024; v1 submitted 7 April, 2023; originally announced April 2023.

Bayesian Physics-Informed Neural Networks for real-world nonlinear dynamical systems

Authors: Kevin Linka, Amelie Schafer, Xuhui Meng, Zongren Zou, George Em Karniadakis, Ellen Kuhl

Abstract: Understanding real-world dynamical phenomena remains a challenging task. Across various scientific disciplines, machine learning has advanced as the go-to technology to analyze nonlinear dynamical systems, identify patterns in big data, and make decision around them. Neural networks are now consistently used as universal function approximators for data with underlying mechanisms that are incomplet… ▽ More Understanding real-world dynamical phenomena remains a challenging task. Across various scientific disciplines, machine learning has advanced as the go-to technology to analyze nonlinear dynamical systems, identify patterns in big data, and make decision around them. Neural networks are now consistently used as universal function approximators for data with underlying mechanisms that are incompletely understood or exceedingly complex. However, neural networks alone ignore the fundamental laws of physics and often fail to make plausible predictions. Here we integrate data, physics, and uncertainties by combining neural networks, physics-informed modeling, and Bayesian inference to improve the predictive potential of traditional neural network models. We embed the physical model of a damped harmonic oscillator into a fully-connected feed-forward neural network to explore a simple and illustrative model system, the outbreak dynamics of COVID-19. Our Physics-Informed Neural Networks can seamlessly integrate data and physics, robustly solve forward and inverse problems, and perform well for both interpolation and extrapolation, even for a small amount of noisy and incomplete data. At only minor additional cost, they can self-adaptively learn the weighting between data and physics. Combined with Bayesian Neural Networks, they can serve as priors in a Bayesian Inference, and provide credible intervals for uncertainty quantification. Our study reveals the inherent advantages and disadvantages of Neural Networks, Bayesian Inference, and a combination of both and provides valuable guidelines for model selection. While we have only demonstrated these approaches for the simple model problem of a seasonal endemic infectious disease, we anticipate that the underlying concepts and trends generalize to more complex disease conditions and, more broadly, to a wide variety of nonlinear dynamical systems. △ Less

Submitted 24 May, 2022; v1 submitted 12 May, 2022; originally announced May 2022.

MSC Class: 62Mxx; 70Kxx ACM Class: G.3; J.3

Combination Chemotherapy Optimization with Discrete Dosing

Authors: Temitayo Ajayi, Seyedmohammadhossein Hosseinian, Andrew J. Schaefer, Clifton D. Fuller

Abstract: Chemotherapy is one of the primary modalities of cancer treatment. Chemotherapy drug administration is a complex problem that often requires expensive clinical trials to evaluate potential regimens. One way to alleviate this burden and better inform future trials is to build reliable models for drug administration. Previous chemotherapy optimization models have mainly relied on optimal control, wh… ▽ More Chemotherapy is one of the primary modalities of cancer treatment. Chemotherapy drug administration is a complex problem that often requires expensive clinical trials to evaluate potential regimens. One way to alleviate this burden and better inform future trials is to build reliable models for drug administration. Previous chemotherapy optimization models have mainly relied on optimal control, which does not lend itself to capturing complex and vital operational constraints in chemotherapy planning involving discrete decisions, such as doses via pills and rest periods. In addition, most of the existing models for chemotherapy optimization lack an explicit toxicity measure and impose toxicity constraints primarily through (fixed) limits on drug concentration. The existing stochastic optimization models also focus on maximizing the probability of cure when tumor heterogeneity is uncertain. In this paper, we develop a mixed-integer program for combination chemotherapy (utilization of multiple drugs) optimization that incorporates various important operational constraints and, besides dose and concentration limits, controls treatment toxicity based on its effect on the count of white blood cells. To address the uncertainty of tumor heterogeneity, we propose chance constraints that guarantee reaching an operable tumor size with a high probability in a neoadjuvant setting. We present analytical results pertinent to the accuracy of the model in representing biological processes of chemotherapy and establish its merit for clinical applications through a numerical study of breast cancer. △ Less

Submitted 2 November, 2021; originally announced November 2021.

On strong duality, theorems of the alternative, and projections in conic optimization

Authors: Temitayo Ajayi, Akshay Gupte, Amin Khademi, Andrew Schaefer

Abstract: A conic program is the problem of optimizing a linear function over a closed convex cone intersected with an affine preimage of another cone. We analyse three constraint qualifications, namely a Closedness CQ, Slater CQ, and Boundedness CQ (also called Clark-Duffin theorem), that are sufficient for achieving strong duality and show that the first implies the second which implies the third, and als… ▽ More A conic program is the problem of optimizing a linear function over a closed convex cone intersected with an affine preimage of another cone. We analyse three constraint qualifications, namely a Closedness CQ, Slater CQ, and Boundedness CQ (also called Clark-Duffin theorem), that are sufficient for achieving strong duality and show that the first implies the second which implies the third, and also give a more general form of the third CQ for conic problems. Furthermore, two consequences of strong duality are presented, the first being a theorem of the alternative on almost feasibility (also called weak infeasibility), and the second being an explicit description of the projection of conic sets onto linear subspaces, akin to using projection cones for polyhedral sets. △ Less

Submitted 16 November, 2021; v1 submitted 14 September, 2020; originally announced September 2020.

Comments: Revised version 2 by adding a more thorough literature review. In particular, the authors were made aware that a similar proof for Closedness CQ given in previous versions has appeared in Barvinok's book, and that there are some related results on conic duality in the unpublished technical report of Luo et al

MSC Class: Primary 90C46; 90C25; Secondary 49N15; 90C22

A Gilmore-Gomory-Type Construction of Integer Programming Value Functions

Authors: Seth Brown, Wenxin Zhang, Temitayo Ajayi, Andrew Schaefer

Abstract: In this paper, we analyze how sequentially introducing decision variables into an integer program (IP) affects the value function and its level sets. We use a Gilmore-Gomory approach to find parametrized IP value functions over a restricted set of variables. We introduce the notion of maximal connected subsets of level sets - volumes in which changes to the constraint right-hand side have no effec… ▽ More In this paper, we analyze how sequentially introducing decision variables into an integer program (IP) affects the value function and its level sets. We use a Gilmore-Gomory approach to find parametrized IP value functions over a restricted set of variables. We introduce the notion of maximal connected subsets of level sets - volumes in which changes to the constraint right-hand side have no effect on the value function - and relate these structures to IP value functions and optimal solutions. △ Less

Submitted 1 February, 2021; v1 submitted 17 June, 2020; originally announced June 2020.

Theorems of the Alternative for Conic Integer Programming

Authors: Temitayo Ajayi, Varun Suriyanarayana, Andrew J. Schaefer

Abstract: Farkas' Lemma is a foundational result in linear programming, with implications in duality, optimality conditions, and stochastic and bilevel programming. Its generalizations are known as theorems of the alternative. There exist theorems of the alternative for integer programming and conic programming. We present theorems of the alternative for conic integer programming. We provide a nested proced… ▽ More Farkas' Lemma is a foundational result in linear programming, with implications in duality, optimality conditions, and stochastic and bilevel programming. Its generalizations are known as theorems of the alternative. There exist theorems of the alternative for integer programming and conic programming. We present theorems of the alternative for conic integer programming. We provide a nested procedure to construct a function that characterizes feasibility over right-hand sides and can determine which statement in a theorem of the alternative holds. △ Less

Submitted 31 May, 2019; originally announced June 2019.

Approximate Submodularity and Its Implications in Discrete Optimization

Authors: Temitayo Ajayi, Taewoo Lee, Andrew Schaefer

Abstract: Submodularity is a key property in discrete optimization. Submodularity has been widely used for analyzing the greedy algorithm to give performance bounds and providing insight into the construction of valid inequalities for mixed-integer programs. In recent years, researchers started to study approximate submodularity, with a primary focus on providing performance bounds for iterative approaches.… ▽ More Submodularity is a key property in discrete optimization. Submodularity has been widely used for analyzing the greedy algorithm to give performance bounds and providing insight into the construction of valid inequalities for mixed-integer programs. In recent years, researchers started to study approximate submodularity, with a primary focus on providing performance bounds for iterative approaches. In this paper, we study approximate submodularity from a different perspective in order to broaden its use cases in discrete optimization. We define metrics that quantify approximate submodularity, which we then use to derive new properties about both approximate submodularity preservation and the well-known Lovász extension for set functions. We also show that previous analyses of mixed-integer sets, such as the submodular knapsack polytope, can be extended to the approximate submodularity setting. Our work demonstrates that one may generalize many of the analytical tools used in submodular optimization into the approximate submodularity context. △ Less

Submitted 21 May, 2022; v1 submitted 26 January, 2019; originally announced January 2019.

On Carlson's Depth Conjecture

Authors: James A. Schafer

Abstract: J.F. Carlson conjectured in 1995 that if G is a finite group and k is a field whose characteristic p divides the order of G that the depth of H*(G,k) equals the minimum of the dimensions of associated primes of H*(G,k). This is obviously true if H*(G,k) is Cohen-Macaulay and definitely false for arbitrary finitely generated k-algebras. It was shown by Carlson to be true if the dimension of H*(G,k)… ▽ More J.F. Carlson conjectured in 1995 that if G is a finite group and k is a field whose characteristic p divides the order of G that the depth of H*(G,k) equals the minimum of the dimensions of associated primes of H*(G,k). This is obviously true if H*(G,k) is Cohen-Macaulay and definitely false for arbitrary finitely generated k-algebras. It was shown by Carlson to be true if the dimension of H*(G,k) equals 2 and by D.J. Green to be true if the depth of H*(G,k) is equal to its possible minimum value, namely the maximum of the dimensions of elementary abelian p-groups contained in the center of G. In this paper we show the conjecture is true if dimension(H*(G,k))-depth(H*(G,k))=1. Known examples show the conjecture to be false for arbitrary finitely generated k-algebras satisfying this condition. △ Less

Submitted 8 January, 2018; originally announced January 2018.

The Dimension of the Negative Cycle Vectors of Signed Graphs

Authors: Alex Schaefer, Thomas Zaslavsky

Abstract: A "signed graph" is a graph $Γ$ where the edges are assigned sign labels, either "$+$" or "$-$". The sign of a cycle is the product of the signs of its edges. Let $\mathrm{SpecC}(Γ)$ denote the list of lengths of cycles in $Γ$. We equip each signed graph with a vector whose entries are the numbers of negative $k$-cycles for $k\in\mathrm{SpecC}(Γ)$. These vectors generate a subspace of… ▽ More A "signed graph" is a graph $Γ$ where the edges are assigned sign labels, either "$+$" or "$-$". The sign of a cycle is the product of the signs of its edges. Let $\mathrm{SpecC}(Γ)$ denote the list of lengths of cycles in $Γ$. We equip each signed graph with a vector whose entries are the numbers of negative $k$-cycles for $k\in\mathrm{SpecC}(Γ)$. These vectors generate a subspace of $\mathbb R^{\mathrm{SpecC}(Γ)}$. Using matchings with a strong permutability property, we provide lower bounds on the dimension of this space; in particular, we show for complete graphs, complete bipartite graphs, and a few other graphs that this space is all of $\mathbb R^{\mathrm{SpecC}(Γ)}$. △ Less

Submitted 27 June, 2017; originally announced June 2017.

Comments: 15 pp., 3 figures

MSC Class: 05B22

Journal ref: Ars Mathematica Contemporanea, 16(2) (2019), 625-639

Balanced Non-Transitive Dice II: Tournaments

Authors: Alex Schaefer

Abstract: We further study sets of labeled dice in which the relation "is a better die than" is non-transitive. Focusing on sets with an additional symmetry we call "balance," we prove that sets of $n$ such $m$-sided dice exist for all $n,m \geq 3$. We then show how to construct a set of $n$ dice such that the relation behaves according to the direction of the arrows of any tournament (complete directed gra… ▽ More We further study sets of labeled dice in which the relation "is a better die than" is non-transitive. Focusing on sets with an additional symmetry we call "balance," we prove that sets of $n$ such $m$-sided dice exist for all $n,m \geq 3$. We then show how to construct a set of $n$ dice such that the relation behaves according to the direction of the arrows of any tournament (complete directed graph) on $n$ vertices. △ Less

Submitted 27 June, 2017; originally announced June 2017.

Comments: 8 pages, 1 figure

MSC Class: 05A99

Graphs that contain multiply transitive matchings

Authors: Alex Schaefer, Eric Swartz

Abstract: Let $Γ$ be a finite, undirected, connected, simple graph. We say that a matching $\mathcal{M}$ is a \textit{permutable $m$-matching} if $\mathcal{M}$ contains $m$ edges and the subgroup of $\text{Aut}(Γ)$ that fixes the matching $\mathcal{M}$ setwise allows the edges of $\mathcal{M}$ to be permuted in any fashion. A matching $\mathcal{M}$ is \textit{2-transitive} if the setwise stabilizer of… ▽ More Let $Γ$ be a finite, undirected, connected, simple graph. We say that a matching $\mathcal{M}$ is a \textit{permutable $m$-matching} if $\mathcal{M}$ contains $m$ edges and the subgroup of $\text{Aut}(Γ)$ that fixes the matching $\mathcal{M}$ setwise allows the edges of $\mathcal{M}$ to be permuted in any fashion. A matching $\mathcal{M}$ is \textit{2-transitive} if the setwise stabilizer of $\mathcal{M}$ in $\text{Aut}(Γ)$ can map any ordered pair of distinct edges of $\mathcal{M}$ to any other ordered pair of distinct edges of $\mathcal{M}$. We provide constructions of graphs with a permutable matching; we show that, if $Γ$ is an arc-transitive graph that contains a permutable $m$-matching for $m \ge 4$, then the degree of $Γ$ is at least $m$; and, when $m$ is sufficiently large, we characterize the locally primitive, arc-transitive graphs of degree $m$ that contain a permutable $m$-matching. Finally, we classify the graphs that have a $2$-transitive perfect matching and also classify graphs that have a permutable perfect matching. △ Less

Submitted 13 August, 2020; v1 submitted 27 June, 2017; originally announced June 2017.

Comments: to appear in European Journal of Combinatorics

MSC Class: 05C25; 20B25; 05C22

Endomorphisms of Cuboidal Hamming Graphs, Latin Hypercuboids of Class $r$, and Mixed MDS Codes

Authors: Artur Schaefer

Abstract: In this paper we investigate the existence of singular endomorphisms of the cuboidal Hamming graph $H(n_1,...,n_d,S)$ over the set $\left[ n_1\right]\times \left[ n_2\right]\times \cdots \times \left[ n_d\right]$, where $\left[ n\right]=\{1,...,n\}$, which is a generalisation of the well-known (cubic) Hamming graph over $\left[ n\right]^{d}$. Two vertices in $H$ are adjacent, if their Hamming dist… ▽ More In this paper we investigate the existence of singular endomorphisms of the cuboidal Hamming graph $H(n_1,...,n_d,S)$ over the set $\left[ n_1\right]\times \left[ n_2\right]\times \cdots \times \left[ n_d\right]$, where $\left[ n\right]=\{1,...,n\}$, which is a generalisation of the well-known (cubic) Hamming graph over $\left[ n\right]^{d}$. Two vertices in $H$ are adjacent, if their Hamming distance lies in the set $S$. In this paper $S=\{1,...,r\}$, for some integer $1\leq r\leq d-1$, and we first show that the singular endomorphisms of minimal rank ( which is the size of their image) of $H(n,...,n,S)$ correspond to Latin hypercubes of class $r$ (those were originally defined by Kishen (1950)). Then we generalise those hypercubes to Latin hypercuboids of class $r$. We discuss the existence of these objects, provide constructions and count Latin hypercuboids for small parameters. In the last part, we extend the natural connection between Latin hypercubes of class $r$ and MDS codes to Latin hypercuboids of class $r$ leading to the definition of MDS codes for mixed codes (mixed MDS codes), that is for codes over hypercuboids. Here, we demonstrate the interdependence between graph endomorphisms, Latin hypercuboids and mixed MDS codes. △ Less

Submitted 17 February, 2016; originally announced February 2016.

Endomorphisms of The Hamming Graph and Related Graphs

Authors: Artur Schaefer

Abstract: In this paper we determine all singular endomorphisms of the Hamming graph and other related graphs. The Hamming graph has vertices $\mathbb{Z}^{m}_n$ where two vertices are adjacent, if their Hamming distance is $1$. We show that its singular endomorphisms are uniform (each kernel has the same size) and that they are induced by Latin hypercubes (which essentially determines the number of singular… ▽ More In this paper we determine all singular endomorphisms of the Hamming graph and other related graphs. The Hamming graph has vertices $\mathbb{Z}^{m}_n$ where two vertices are adjacent, if their Hamming distance is $1$. We show that its singular endomorphisms are uniform (each kernel has the same size) and that they are induced by Latin hypercubes (which essentially determines the number of singular endomorphisms). However, we do the same for its complement and some related graphs where the Hamming distance is allowed to be one of $1,...,k$, for some $1\leq k\leq m-1$. Ultimately, we consider the same situation where the vertices are tuples in $\mathbb{Z}_{n_1}\times\mathbb{Z}_{n_2}\times\cdots \times\mathbb{Z}_{n_m}$ (not all $n_i$ are equal). △ Less

Submitted 5 February, 2016; originally announced February 2016.

Comments: Submitted to the European Journal of Combinatorics

Balanced Non-Transitive Dice

Authors: Alex Schaefer, Jay Schweig

Abstract: We study triples of labeled dice in which the relation "is a better die than" is non-transitive. Focusing on such triples with an additional symmetry we call "balance," we prove that such triples of $n$-sided dice exist for all $n \geq 3$. We then examine the sums of the labels of such dice, and use these results to construct an $O(n^2)$ algorithm for verifying whether or not a triple of $n$-sided… ▽ More We study triples of labeled dice in which the relation "is a better die than" is non-transitive. Focusing on such triples with an additional symmetry we call "balance," we prove that such triples of $n$-sided dice exist for all $n \geq 3$. We then examine the sums of the labels of such dice, and use these results to construct an $O(n^2)$ algorithm for verifying whether or not a triple of $n$-sided dice is balanced and non-transitive. Finally, we consider generalizations to larger sets of dice. △ Less

Submitted 2 February, 2016; originally announced February 2016.

Comments: 9 pages, 1 figure

MSC Class: 05A99

Generating Sets of the Kernel Graph and the Inverse Problem in Synchronization Theory

Authors: Artur Schaefer

Abstract: This paper analyses the construction of the kernel graph of a non-synchronizing transformation semigroup and introduces the inverse synchronization problem. Given a transformation semigroup $S\leq T_n$, we construct the kernel graph $\text{Gr}(S)$ by saying $v$ and $w$ are adjacent, if there is no $f\in S$ with $vf=wf$. The kernel graph is trivial or complete if the semigroup is a synchronizing se… ▽ More This paper analyses the construction of the kernel graph of a non-synchronizing transformation semigroup and introduces the inverse synchronization problem. Given a transformation semigroup $S\leq T_n$, we construct the kernel graph $\text{Gr}(S)$ by saying $v$ and $w$ are adjacent, if there is no $f\in S$ with $vf=wf$. The kernel graph is trivial or complete if the semigroup is a synchronizing semigroup or a permutation group, respectively. The connection between graphs and synchronizing (semi-) groups was established by Cameron and Kazanidis, and it has led to many results regarding the classification of synchronizing permutation groups, and the description of singular endomorphims of graphs. This paper, firstly, emphasises the importance of this construction mainly by proving its superior structure, secondly, analyses the construction and discusses minimal generating sets and their combinatorial properties, and thirdly, introduces the inverse synchronization problem. The third part also includes an additional characterization of primitive groups. △ Less

Submitted 11 March, 2016; v1 submitted 17 January, 2016; originally announced January 2016.

The Negative Cycle Vectors of Signed Complete Graphs

Authors: Alex Schaefer

Abstract: A signed graph is a graph where the edges are assigned labels of either "$+$" or "$-$". The sign of a cycle in the graph is the product of the signs of its edges. We equip each signed complete graph with a vector whose entries are the number of negative $k$-cycles for $k\in\{3,\dots,n\}$. These vectors generate an affine subspace of $\mathbb{R}^{n-2}$. We prove that this subspace is all of… ▽ More A signed graph is a graph where the edges are assigned labels of either "$+$" or "$-$". The sign of a cycle in the graph is the product of the signs of its edges. We equip each signed complete graph with a vector whose entries are the number of negative $k$-cycles for $k\in\{3,\dots,n\}$. These vectors generate an affine subspace of $\mathbb{R}^{n-2}$. We prove that this subspace is all of $\mathbb{R}^{n-2}$. △ Less

Submitted 29 June, 2017; v1 submitted 30 December, 2015; originally announced December 2015.

Comments: Superseded by arxiv:1706.09041, a more general, multi-author version

MSC Class: 05C22

Automorphisms and cohomology

Authors: James A. Schafer

Abstract: Let 1-> H -> G _> Q -> 1 be an exact sequence of groups. In the paper of R. Oliver and J. Ventura, TAMS,362(2009), the following exact sequence was developed for centric extensions, i.e the centralizer of H in G is contained in H, 0-> H^1(Q,zH) -> Aut(G,H) -> N_{Out H}(F Q)/F Q -> H^2(Q,zH) where Aut(G,H) are the automorphisms of G which restrict to an automorphism of H, F:Q -> Out H is the outer… ▽ More Let 1-> H -> G _> Q -> 1 be an exact sequence of groups. In the paper of R. Oliver and J. Ventura, TAMS,362(2009), the following exact sequence was developed for centric extensions, i.e the centralizer of H in G is contained in H, 0-> H^1(Q,zH) -> Aut(G,H) -> N_{Out H}(F Q)/F Q -> H^2(Q,zH) where Aut(G,H) are the automorphisms of G which restrict to an automorphism of H, F:Q -> Out H is the outer action determined by the extension, zH is the center of H with Q-action coming from F and N_{Out H} the normalizer. It is the aim of this paper to generalize the above sequence to arbitrary extensions, show how the above result is derived from the general exact sequence and derive other consequences of the general result including determining solvability of Aut(G,H). △ Less

Submitted 3 August, 2015; originally announced August 2015.

Comments: 10 pages

Strongly connectable digraphs and non-transitive dice

Authors: Simon Joyce, Alex Schaefer, Douglas B. West, Thomas Zaslavsky

Abstract: We give a new proof of the theorem of Boesch-Tindell and Farzad-Mahdian-Mahmoodian-Saberi-Sadri that a directed graph extends to a strongly connected digraph on the same vertex set if and only if it has no complete directed cut. Our proof bounds the number of edges needed for such an extension; we give examples to demonstrate sharpness. We apply the characterization to a problem on non-transitive… ▽ More We give a new proof of the theorem of Boesch-Tindell and Farzad-Mahdian-Mahmoodian-Saberi-Sadri that a directed graph extends to a strongly connected digraph on the same vertex set if and only if it has no complete directed cut. Our proof bounds the number of edges needed for such an extension; we give examples to demonstrate sharpness. We apply the characterization to a problem on non-transitive dice. △ Less

Submitted 3 July, 2016; v1 submitted 3 August, 2015; originally announced August 2015.

Comments: 8 pp. V2: 9 pp. Cite previous publication of one theorem. V3: Minor copyedits

MSC Class: 05C20

Journal ref: AKCE Int. J. Graphs Combinatorics, 17(1) (2020), 480-485

Primitive groups and synchronization

Authors: João Araújo, Wolfram Bentz, Peter J. Cameron, Gordon Royle, Artur Schaefer

Abstract: Let $Ω$ be a set of cardinality $n$, $G$ a permutation group on $Ω$, and $f:Ω\toΩ$ a map which is not a permutation. We say that $G$ \emph{synchronizes} $f$ if the transformation semigroup $\langle G,f\rangle$ contains a constant map, and that $G$ is a \emph{synchronizing group} if $G$ synchronizes \emph{every} non-permutation. A synchronizing group is necessarily primitive, but there are primit… ▽ More Let $Ω$ be a set of cardinality $n$, $G$ a permutation group on $Ω$, and $f:Ω\toΩ$ a map which is not a permutation. We say that $G$ \emph{synchronizes} $f$ if the transformation semigroup $\langle G,f\rangle$ contains a constant map, and that $G$ is a \emph{synchronizing group} if $G$ synchronizes \emph{every} non-permutation. A synchronizing group is necessarily primitive, but there are primitive groups that are not synchronizing. Every non-synchronizing primitive group fails to synchronize at least one uniform transformation (that is, transformation whose kernel has parts of equal size), and it has previously been conjectured that a primitive group synchronizes every non-uniform transformation. The first goal of this paper is to prove that this conjecture is false, by exhibiting primitive groups that fail to synchronize specific non-uniform transformations of ranks $5$ and $6$. In addition we produce graphs whose automorphism groups have approximately $\sqrt{n}$ \emph{non-synchronizing ranks}, thus refuting another conjecture on the number of non-synchronizing ranks of a primitive group. The second goal of this paper is to extend the spectrum of ranks for which it is known that primitive groups synchronize every non-uniform transformation of that rank. It has previously been shown that a primitive group of degree $n$ synchronizes every non-uniform transformation of rank $n-1$ and $n-2$, and here this is extended to $n-3$ and $n-4$. Determining the exact spectrum of ranks for which there exist non-uniform transformations not synchronized by some primitive group is just one of several natural, but possibly difficult, problems on automata, primitive groups, graphs and computational algebra arising from this work; these are outlined in the final section. △ Less

Submitted 28 May, 2015; v1 submitted 7 April, 2015; originally announced April 2015.

Comments: One broken link fixed; some changes on the ordering of the sections