-
Estimating Map Completeness in Robot Exploration
Authors:
Matteo Luperto,
Marco Maria Ferrara,
Giacomo Boracchi,
Francesco Amigoni
Abstract:
In this paper, we propose a method that, given a partial grid map of an indoor environment built by an autonomous mobile robot, estimates the amount of the explored area represented in the map, as well as whether the uncovered part is still worth being explored or not. Our method is based on a deep convolutional neural network trained on data from partially explored environments with annotations d…
▽ More
In this paper, we propose a method that, given a partial grid map of an indoor environment built by an autonomous mobile robot, estimates the amount of the explored area represented in the map, as well as whether the uncovered part is still worth being explored or not. Our method is based on a deep convolutional neural network trained on data from partially explored environments with annotations derived from the knowledge of the entire map (which is not available when the network is used for inference). We show how such a network can be used to define a stop** criterion to terminate the exploration process when it is no longer adding relevant details about the environment to the map, saving, on average, 40% of the total exploration time with respect to covering all the area of the environment.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
TimelinePTC: Development of a unified interface for pathways to care collection, visualization, and collaboration in first episode psychosis
Authors:
Walter S. Mathis,
Maria Ferrara,
John Cahill,
Sneha Karmani,
Sümeyra N. Tayfur,
Vinod Srihari
Abstract:
This paper presents TimelinePTC, a web-based tool developed to improve the collection and analysis of Pathways to Care (PTC) data in first episode psychosis (FEP) research. Accurately measuring the duration of untreated psychosis (DUP) is essential for effective FEP treatment, requiring detailed understanding of the patient's journey to care. However, traditional PTC data collection methods, mainl…
▽ More
This paper presents TimelinePTC, a web-based tool developed to improve the collection and analysis of Pathways to Care (PTC) data in first episode psychosis (FEP) research. Accurately measuring the duration of untreated psychosis (DUP) is essential for effective FEP treatment, requiring detailed understanding of the patient's journey to care. However, traditional PTC data collection methods, mainly manual and paper-based, are time-consuming and often fail to capture the full complexity of care pathways.
TimelinePTC addresses these limitations by providing a digital platform for collaborative, real-time data entry and visualization, thereby enhancing data accuracy and collection efficiency. Initially created for the Specialized Treatment Early in Psychosis (STEP) program in New Haven, Connecticut, its design allows for straightforward adaptation to other healthcare contexts, facilitated by its open-source codebase.
The tool significantly simplifies the data collection process, making it more efficient and user-friendly. It automates the conversion of collected data into a format ready for analysis, reducing manual transcription errors and saving time. By enabling more detailed and consistent data collection, TimelinePTC has the potential to improve healthcare access research, supporting the development of targeted interventions to reduce DUP and improve patient outcomes.
△ Less
Submitted 19 April, 2024;
originally announced April 2024.
-
V-MAD: Video-based Morphing Attack Detection in Operational Scenarios
Authors:
Guido Borghi,
Annalisa Franco,
Nicolò Di Domenico,
Matteo Ferrara,
Davide Maltoni
Abstract:
In response to the rising threat of the face morphing attack, this paper introduces and explores the potential of Video-based Morphing Attack Detection (V-MAD) systems in real-world operational scenarios. While current morphing attack detection methods primarily focus on a single or a pair of images, V-MAD is based on video sequences, exploiting the video streams often acquired by face verificatio…
▽ More
In response to the rising threat of the face morphing attack, this paper introduces and explores the potential of Video-based Morphing Attack Detection (V-MAD) systems in real-world operational scenarios. While current morphing attack detection methods primarily focus on a single or a pair of images, V-MAD is based on video sequences, exploiting the video streams often acquired by face verification tools available, for instance, at airport gates. Through this study, we show for the first time the advantages that the availability of multiple probe frames can bring to the morphing attack detection task, especially in scenarios where the quality of probe images is varied and might be affected, for instance, by pose or illumination variations. Experimental results on a real operational database demonstrate that video sequences represent valuable information for increasing the robustness and performance of morphing attack detection systems.
△ Less
Submitted 10 April, 2024;
originally announced April 2024.
-
Finite skew braces of square-free order and supersolubility
Authors:
Adolfo Ballester-Bolinches,
Ramón Esteban-Romero,
Maria Ferrara,
Vicent Pérez-Calabuig,
Marco Trombetti
Abstract:
The aim of this paper is to study supersoluble skew braces, a class of skew braces that encompasses all finite skew braces of square-free order. It turns out that finite supersoluble skew braces have Sylow towers, and that in an arbitrary supersoluble skew brace $B$ many relevant skew brace-theoretical properties are easier to identify: for example, a centrally nilpotent ideal of $B$ is $B$-centra…
▽ More
The aim of this paper is to study supersoluble skew braces, a class of skew braces that encompasses all finite skew braces of square-free order. It turns out that finite supersoluble skew braces have Sylow towers, and that in an arbitrary supersoluble skew brace $B$ many relevant skew brace-theoretical properties are easier to identify: for example, a centrally nilpotent ideal of $B$ is $B$-centrally nilpotent, a fact that simplifies the computational search for the Fitting ideal; also, $B$ has finite multipermutational level if and only if $(B,+)$ is nilpotent.
Given a finite presentation of the structure skew brace $G(X,r)$ associated with a finite non-degenerate solution of the Yang--Baxter Equation (YBE), there is an algorithm that decides if $G(X,r)$ is supersoluble or not. Moreover, supersoluble skew braces are examples of almost polycyclic skew braces, so they give rise to solutions of the YBE on which one can algorithmically work on.
△ Less
Submitted 28 February, 2024;
originally announced February 2024.
-
A note on right-nil and strong-nil skew braces
Authors:
Adolfo Ballester-Bolinches,
Maria Ferrara,
Vicent Pérez-Calabuig,
Marco Trombetti
Abstract:
The aim of this short note is to completely answer Questions 2.34 and 2.35 of arXiv:1806.01127. In particular, we show that a finite strong-nil skew brace $B$ of abelian type need not be right-nilpotent, but that this is the case if~$B$ is of nilpotent type and $b\ast b=0$ for all $b\in B$ (our examples show that this is the best possible result).
The aim of this short note is to completely answer Questions 2.34 and 2.35 of arXiv:1806.01127. In particular, we show that a finite strong-nil skew brace $B$ of abelian type need not be right-nilpotent, but that this is the case if~$B$ is of nilpotent type and $b\ast b=0$ for all $b\in B$ (our examples show that this is the best possible result).
△ Less
Submitted 14 December, 2023; v1 submitted 17 October, 2023;
originally announced October 2023.
-
Central nilpotency of left skew braces and solutions of the Yang-Baxter equation
Authors:
Adolfo Ballester-Bolinches,
Ramón Esteban-Romero,
Maria Ferrara,
Vicent Pérez-Calabuig,
Marco Trombetti
Abstract:
Nipotency of skew braces is related to certain types of solutions of the Yang-Baxter equation. This paper delves into the study of centrally nilpotent skew braces. In particular, we study their torsion theory (Section 4.1) and we introduce an "index" for subbraces (Section 4.2), but we also show that the product of centrally nilpotent ideals need not be centrally nilpotent (Example B), a rather pe…
▽ More
Nipotency of skew braces is related to certain types of solutions of the Yang-Baxter equation. This paper delves into the study of centrally nilpotent skew braces. In particular, we study their torsion theory (Section 4.1) and we introduce an "index" for subbraces (Section 4.2), but we also show that the product of centrally nilpotent ideals need not be centrally nilpotent (Example B), a rather peculiar fact. To cope with these examples, we introduce a special type of nilpotent ideal, using which, we define a {\it good} Fitting ideal. Also, a Frattini ideal is defined and its relationship with the Fitting ideal is investigated.
A key ingredient in our work is the characterisation of the commutator of ideals in terms of absorbing polynomials (Section 3); this solves Problem 3.4 of arXiv:2109.04389. Moreover, we provide an example (Example A) showing that the idealiser of a subbrace (as defined in arXiv:2205.01572v2) does not exist in general.
△ Less
Submitted 23 October, 2023; v1 submitted 11 October, 2023;
originally announced October 2023.
-
Joins of $σ$-subnormal subgroups
Authors:
Maria Ferrara,
Marco Trombetti
Abstract:
Let $σ=\{σ_j\,:\, j\in J\}$ be a partition of the set $\mathbb{P}$ of all prime numbers. A subgroup $X$ of a finite group $G$ is~\textit{$σ$-subnormal} in $G$ if there exists a chain of subgroups $$X=X_0\leq X_1\leq\ldots\leq X_n=G$$ such that, for each $1\leq i\leq n-1$, $X_{i-1}\trianglelefteq X_i$ or $X_i/(X_{i-1})_{X_i}$ is a $σ_{j_i}$-group for some $j_i\in J$. Skiba~[12] studied the main pro…
▽ More
Let $σ=\{σ_j\,:\, j\in J\}$ be a partition of the set $\mathbb{P}$ of all prime numbers. A subgroup $X$ of a finite group $G$ is~\textit{$σ$-subnormal} in $G$ if there exists a chain of subgroups $$X=X_0\leq X_1\leq\ldots\leq X_n=G$$ such that, for each $1\leq i\leq n-1$, $X_{i-1}\trianglelefteq X_i$ or $X_i/(X_{i-1})_{X_i}$ is a $σ_{j_i}$-group for some $j_i\in J$. Skiba~[12] studied the main properties of $σ$-subnormal subgroups in finite groups and showed that the set of all $σ$-subnormal subgroups plays a relevant role in the structure of a finite soluble group. In [5], we laid the foundation of a general theory of $σ$-subnormal subgroups (and $σ$-series) in locally finite groups. It turns out that the main difference between the finite and the locally finite case concerns the behaviour of the join of $σ$-subnormal subgroups: in finite groups, $σ$-subnormal subgroups form a sublattice of the lattice of all subgroups [3], but this is no longer true for arbitrary locally finite groups. This is similar to what happens with subnormal subgroups, so it makes sense to study the class $\mathfrak{S}_σ^\infty$ (resp. $\mathfrak{S}_σ$) of locally finite groups in which the join of (resp. of finitely many) $σ$-subnormal subgroups is $σ$-subnormal. Our aim is to study how much one can extend a group in one of these classes before going outside the same class (see for example Theorems~3.6, 3.8, 5.5 and 5.7). Also, $σ$-subnormality criteria for the join of $σ$-subnormal subgroups are obtained: similarly to a celebrated theorem of Williams (see [15]), we give a necessary and sufficient conditions for a join of two $σ$-subnormal subgroups to always be $σ$-subnormal; consequently, we show that the join of two orthogonal $σ$-subnormal subgroups is $σ$-subnormal (extending a result of Roseblade [11]).
△ Less
Submitted 5 October, 2023;
originally announced October 2023.
-
Arithmetic with Language Models: from Memorization to Computation
Authors:
Davide Maltoni,
Matteo Ferrara
Abstract:
A better understanding of the emergent computation and problem-solving capabilities of recent large language models is of paramount importance to further improve them and broaden their applicability. This work investigates how a language model, trained to predict the next token, can perform arithmetic computations generalizing beyond training data. Binary addition and multiplication constitute a g…
▽ More
A better understanding of the emergent computation and problem-solving capabilities of recent large language models is of paramount importance to further improve them and broaden their applicability. This work investigates how a language model, trained to predict the next token, can perform arithmetic computations generalizing beyond training data. Binary addition and multiplication constitute a good testbed for this purpose, since they require a very small vocabulary and exhibit relevant input/output discontinuities making smooth input interpolation ineffective for novel data. We successfully trained a light language model to learn these tasks and ran a number of experiments to investigate the extrapolation capabilities and internal information processing. Our findings support the hypothesis that the language model works as an Encoding-Regression-Decoding machine where the computation takes place in the value space once the input token representation is mapped to an appropriate internal representation.
△ Less
Submitted 6 March, 2024; v1 submitted 2 August, 2023;
originally announced August 2023.
-
On derived-indecomposable solutions of the Yang--Baxter equation
Authors:
Ilaria Colazzo,
Maria Ferrara,
Marco Trombetti
Abstract:
If $(X,r)$ is a finite non-degenerate set-theoretic solution of the Yang--Baxter equation, the additive group of the structure skew brace $G(X,r)$ is an $FC$-group, i.e. a group whose elements have finitely many conjugates. Moreover, its multiplicative group is virtually abelian, so it is also close to an $FC$-group itself. If one additionally assumes that the derived solution of $(X,r)$ is indeco…
▽ More
If $(X,r)$ is a finite non-degenerate set-theoretic solution of the Yang--Baxter equation, the additive group of the structure skew brace $G(X,r)$ is an $FC$-group, i.e. a group whose elements have finitely many conjugates. Moreover, its multiplicative group is virtually abelian, so it is also close to an $FC$-group itself. If one additionally assumes that the derived solution of $(X,r)$ is indecomposable, then for every element $b$ of $G(X,r)$ there are finitely many elements of the form $b*c$ and $c*b$, with $c\in G(X,r)$. This naturally leads to the study of a brace-theoretic analogue of the class of $FC$-groups. For this class of skew braces, the fundamental results and their connections with the solutions of the YBE are described: we prove that they have good torsion and radical theories and they behave well with respect to certain nilpotency concepts and finite generation.
△ Less
Submitted 14 November, 2023; v1 submitted 16 October, 2022;
originally announced October 2022.
-
Morphing Attack Potential
Authors:
Matteo Ferrara,
Annalisa Franco,
Davide Maltoni,
Christoph Busch
Abstract:
In security systems the risk assessment in the sense of common criteria testing is a very relevant topic; this requires quantifying the attack potential in terms of the expertise of the attacker, his knowledge about the target and access to equipment. Contrary to those attacks, the recently revealed morphing attacks against Face Recognition Systems (FRSs) can not be assessed by any of the above cr…
▽ More
In security systems the risk assessment in the sense of common criteria testing is a very relevant topic; this requires quantifying the attack potential in terms of the expertise of the attacker, his knowledge about the target and access to equipment. Contrary to those attacks, the recently revealed morphing attacks against Face Recognition Systems (FRSs) can not be assessed by any of the above criteria. But not all morphing techniques pose the same risk for an operational face recognition system. This paper introduces with the Morphing Attack Potential (MAP) a consistent methodology, that can quantify the risk, which a certain morphing attack creates.
△ Less
Submitted 28 April, 2022;
originally announced April 2022.
-
Morphing Attack Detection -- Database, Evaluation Platform and Benchmarking
Authors:
Kiran Raja,
Matteo Ferrara,
Annalisa Franco,
Luuk Spreeuwers,
Illias Batskos,
Florens de Wit Marta Gomez-Barrero,
Ulrich Scherhag,
Daniel Fischer,
Sushma Venkatesh,
Jag Mohan Singh,
Guoqiang Li,
Loïc Bergeron,
Sergey Isadskiy,
Raghavendra Ramachandra,
Christian Rathgeb,
Dinusha Frings,
Uwe Seidel,
Fons Knopjes,
Raymond Veldhuis,
Davide Maltoni,
Christoph Busch
Abstract:
Morphing attacks have posed a severe threat to Face Recognition System (FRS). Despite the number of advancements reported in recent works, we note serious open issues such as independent benchmarking, generalizability challenges and considerations to age, gender, ethnicity that are inadequately addressed. Morphing Attack Detection (MAD) algorithms often are prone to generalization challenges as th…
▽ More
Morphing attacks have posed a severe threat to Face Recognition System (FRS). Despite the number of advancements reported in recent works, we note serious open issues such as independent benchmarking, generalizability challenges and considerations to age, gender, ethnicity that are inadequately addressed. Morphing Attack Detection (MAD) algorithms often are prone to generalization challenges as they are database dependent. The existing databases, mostly of semi-public nature, lack in diversity in terms of ethnicity, various morphing process and post-processing pipelines. Further, they do not reflect a realistic operational scenario for Automated Border Control (ABC) and do not provide a basis to test MAD on unseen data, in order to benchmark the robustness of algorithms. In this work, we present a new sequestered dataset for facilitating the advancements of MAD where the algorithms can be tested on unseen data in an effort to better generalize. The newly constructed dataset consists of facial images from 150 subjects from various ethnicities, age-groups and both genders. In order to challenge the existing MAD algorithms, the morphed images are with careful subject pre-selection created from the contributing images, and further post-processed to remove morphing artifacts. The images are also printed and scanned to remove all digital cues and to simulate a realistic challenge for MAD algorithms. Further, we present a new online evaluation platform to test algorithms on sequestered data. With the platform we can benchmark the morph detection performance and study the generalization ability. This work also presents a detailed analysis on various subsets of sequestered data and outlines open challenges for future directions in MAD research.
△ Less
Submitted 28 September, 2020; v1 submitted 11 June, 2020;
originally announced June 2020.
-
Flexibility of Planar Graphs -- Sharpening the Tools to Get Lists of Size Four
Authors:
Ilkyoo Choi,
Felix Christian Clemen,
Michael Ferrara,
Paul Horn,
Fuhong Ma,
Tomáš Masařík
Abstract:
A graph where each vertex $v$ has a list $L(v)$ of available colors is $L$-colorable if there is a proper coloring such that the color of $v$ is in $L(v)$ for each $v$. A graph is $k$-choosable if every assignment $L$ of at least $k$ colors to each vertex guarantees an $L$-coloring. Given a list assignment $L$, an $L$-request for a vertex $v$ is a color $c\in L(v)$. In this paper, we look at a var…
▽ More
A graph where each vertex $v$ has a list $L(v)$ of available colors is $L$-colorable if there is a proper coloring such that the color of $v$ is in $L(v)$ for each $v$. A graph is $k$-choosable if every assignment $L$ of at least $k$ colors to each vertex guarantees an $L$-coloring. Given a list assignment $L$, an $L$-request for a vertex $v$ is a color $c\in L(v)$. In this paper, we look at a variant of the widely studied class of precoloring extension problems from [Z. Dvořák, S. Norin, and L. Postle: List coloring with requests. J. Graph Theory 2019], wherein one must satisfy "enough", as opposed to all, of the requested set of precolors. A graph $G$ is $\varepsilon$-flexible for list size $k$ if for any $k$-list assignment $L$, and any set $S$ of $L$-requests, there is an $L$-coloring of $G$ satisfying an $\varepsilon$-fraction of the requests in $S$. It is conjectured that planar graphs are $\varepsilon$-flexible for list size $5$, yet it is proved only for list size $6$ and for certain subclasses of planar graphs. We give a stronger version of the main tool used in the proofs of the aforementioned results. By doing so, we improve upon a result by Masařík and show that planar graphs without $K_4^-$ are $\varepsilon$-flexible for list size $5$. We also prove that planar graphs without $4$-cycles and $3$-cycle distance at least 2 are $\varepsilon$-flexible for list size $4$. Finally, we introduce a new (slightly weaker) form of $\varepsilon$-flexibility where each vertex has exactly one request. In that setting, we provide a stronger tool and we demonstrate its usefulness to further extend the class of graphs that are $\varepsilon$-flexible for list size $5$.
△ Less
Submitted 7 July, 2020; v1 submitted 22 April, 2020;
originally announced April 2020.
-
Pursuit Game for an Infinite System of First-Order Differential Equations with Negative Coefficients
Authors:
Gafurjan Ibragimov,
Massimiliano Ferrara,
Idham Arif Alias,
Mehdi Salimi
Abstract:
In this paper we study a linear pursuit differential game described by an infinite system of first-order differential equations in Hilbert space. The control functions of players are subject to geometric constraints. The pursuer attempts to bring the system from a given initial state to the origin for a finite time and the evader's purpose is opposite. We obtain a guaranteed pursuit time and const…
▽ More
In this paper we study a linear pursuit differential game described by an infinite system of first-order differential equations in Hilbert space. The control functions of players are subject to geometric constraints. The pursuer attempts to bring the system from a given initial state to the origin for a finite time and the evader's purpose is opposite. We obtain a guaranteed pursuit time and construct a strategy for pursuer.
△ Less
Submitted 18 February, 2020;
originally announced February 2020.
-
Face morphing detection in the presence of printing/scanning and heterogeneous image sources
Authors:
Matteo Ferrara,
Annalisa Franco,
Davide Maltoni
Abstract:
Face morphing represents nowadays a big security threat in the context of electronic identity documents as well as an interesting challenge for researchers in the field of face recognition. Despite of the good performance obtained by state-of-the-art approaches on digital images, no satisfactory solutions have been identified so far to deal with cross-database testing and printed-scanned images (t…
▽ More
Face morphing represents nowadays a big security threat in the context of electronic identity documents as well as an interesting challenge for researchers in the field of face recognition. Despite of the good performance obtained by state-of-the-art approaches on digital images, no satisfactory solutions have been identified so far to deal with cross-database testing and printed-scanned images (typically used in many countries for document issuing). In this work, novel approaches are proposed to train Deep Neural Networks for morphing detection: in particular generation of simulated printed-scanned images together with other data augmentation strategies and pre-training on large face recognition datasets, allowed to reach state-of-the-art accuracy on challenging datasets from heterogeneous image sources.
△ Less
Submitted 24 February, 2021; v1 submitted 25 January, 2019;
originally announced January 2019.
-
Geobiodynamics and Roegenian Economic Systems
Authors:
Constantin Udriste,
Massimiliano Ferrara,
Dorel Zugravescu,
Florin Munteanu,
Ionel Tevy
Abstract:
This mathematical essay brings together ideas from Economics, Geobiodynamics and Thermodynamics. Its purpose is to obtain real models of complex evolutionary systems. More specifically, the essay defines Roegenian Economy and links Geobiodynamics and Roegenian Economy. In this context, we discuss the isomorphism between the concepts and techniques of Thermodynamics and Economics. Then we describe…
▽ More
This mathematical essay brings together ideas from Economics, Geobiodynamics and Thermodynamics. Its purpose is to obtain real models of complex evolutionary systems. More specifically, the essay defines Roegenian Economy and links Geobiodynamics and Roegenian Economy. In this context, we discuss the isomorphism between the concepts and techniques of Thermodynamics and Economics. Then we describe a Roegenian economic system like a Carnot group. After we analyse the phase equilibrium for two heterogeneous economic systems. The European Union Economics appears like Cartesian product of Roegenian economic systems and its Balance is analysed in details. A Section at the end describes the "economic black holes" as small parts of a a global economic system in which national income is so great that it causes others poor enrichment. These ideas can be used to improve our knowledge and understanding of the nature of development and evolution of thermodynamic-economic systems.
△ Less
Submitted 6 November, 2018;
originally announced December 2018.
-
Phase Diagram for Roegenian Economics
Authors:
Constantin Udriste,
Massimiliano Ferrara,
Ionel Tevy,
Dorel Zugravescu,
Florin Munteanu
Abstract:
We recall the similarities between the concepts and techniques of Thermodynamics and Roegenian Economics. The Phase Diagram for a Roegenian economic system highlights a triple point and a critical point, with related explanations. These ideas can be used to improve our knowledge and understanding of the nature of development and evolution of Roegenian economic systems.
We recall the similarities between the concepts and techniques of Thermodynamics and Roegenian Economics. The Phase Diagram for a Roegenian economic system highlights a triple point and a critical point, with related explanations. These ideas can be used to improve our knowledge and understanding of the nature of development and evolution of Roegenian economic systems.
△ Less
Submitted 6 November, 2018;
originally announced December 2018.
-
Stability of the potential function
Authors:
Catherine Erbes,
Michael Ferrara,
Ryan R. Martin,
Paul Wenger
Abstract:
A graphic sequence $π$ is potentially $H$-graphic if there is some realization of $π$ that contains $H$ as a subgraph. The Erdős-Jacobson-Lehel problem asks to determine $σ(H,n)$, the minimum even integer such that any $n$-term graphic sequence $π$ with sum at least $σ(H,n)$ is potentially $H$-graphic. The parameter $σ(H,n)$ is known as the potential function of $H$, and can be viewed as a degree…
▽ More
A graphic sequence $π$ is potentially $H$-graphic if there is some realization of $π$ that contains $H$ as a subgraph. The Erdős-Jacobson-Lehel problem asks to determine $σ(H,n)$, the minimum even integer such that any $n$-term graphic sequence $π$ with sum at least $σ(H,n)$ is potentially $H$-graphic. The parameter $σ(H,n)$ is known as the potential function of $H$, and can be viewed as a degree sequence variant of the classical extremal function ${\rm ex}(n,H)$. Recently, Ferrara, LeSaulnier, Moffatt and Wenger [On the sum necessary to ensure that a degree sequence is potentially $H$-graphic, Combinatorica 36 (2016), 687--702] determined $σ(H,n)$ asymptotically for all $H$, which is analogous to the Erdős-Stone-Simonovits Theorem that determines ${\rm ex}(n,H)$ asymptotically for nonbipartite $H$.
In this paper, we investigate a stability concept for the potential number, inspired by Simonovits' classical result on the stability of the extremal function. We first define a notion of stability for the potential number that is a natural analogue to the stability given by Simonovits. However, under this definition, many families of graphs are not $σ$-stable, establishing a stark contrast between the extremal and potential functions. We then give a sufficient condition for a graph $H$ to be stable with respect to the potential function, and characterize the stability of those graphs $H$ that contain an induced subgraph of order $α(H)+1$ with exactly one edge.
△ Less
Submitted 17 October, 2018;
originally announced October 2018.
-
On Edge-Colored Saturation Problems
Authors:
Michael Ferrara,
Daniel Johnston,
Sarah Loeb,
Florian Pfender,
Alex Schulte,
Heather C. Smith,
Eric Sullivan,
Michael Tait,
Casey Tompkins
Abstract:
Let $\mathcal{C}$ be a family of edge-colored graphs. A $t$-edge colored graph $G$ is $(\mathcal{C}, t)$-saturated if $G$ does not contain any graph in $\mathcal{C}$ but the addition of any edge in any color in $[t]$ creates a copy of some graph in $\mathcal{C}$. Similarly to classical saturation functions, define $\mathrm{sat}_t(n, \mathcal{C})$ to be the minimum number of edges in a…
▽ More
Let $\mathcal{C}$ be a family of edge-colored graphs. A $t$-edge colored graph $G$ is $(\mathcal{C}, t)$-saturated if $G$ does not contain any graph in $\mathcal{C}$ but the addition of any edge in any color in $[t]$ creates a copy of some graph in $\mathcal{C}$. Similarly to classical saturation functions, define $\mathrm{sat}_t(n, \mathcal{C})$ to be the minimum number of edges in a $(\mathcal{C},t)$ saturated graph. Let $\mathcal{C}_r(H)$ be the family consisting of every edge-colored copy of $H$ which uses exactly $r$ colors.
In this paper we consider a variety of colored saturation problems. We determine the order of magnitude for $\mathrm{sat}_t(n, \mathcal{C}_r(K_k))$ for all $r$, showing a sharp change in behavior when $r\geq \binom{k-1}{2}+2$. A particular case of this theorem proves a conjecture of Barrus, Ferrara, Vandenbussche, and Wenger. We determine $\mathrm{sat}_t(n, \mathcal{C}_2(K_3))$ exactly and determine the extremal graphs. Additionally, we document some interesting irregularities in the colored saturation function.
△ Less
Submitted 30 November, 2017;
originally announced December 2017.
-
Navigating Between Packings of Graphic Sequences
Authors:
Peter L. Erdos,
Michael Ferrara,
Stephen G. Hartke
Abstract:
Let $π_1=(d_1^{(1)}, \ldots,d_n^{(1)})$ and $π_2=(d_1^{(2)},\ldots,d_n^{(2)})$ be graphic sequences. We say they \emph{pack} if there exist edge-disjoint realizations $G_1$ and $G_2$ of $π_1$ and $π_2$, respectively, on vertex set $\{v_1,\dots,v_n\}$ such that for $j\in\{1,2\}$, $d_{G_j}(v_i)=d_i^{(j)}$ for all $i\in\{1,\ldots,n\}$. In this case, we say that $(G_1,G_2)$ is a $(π_1,π_2)$-\textit{pa…
▽ More
Let $π_1=(d_1^{(1)}, \ldots,d_n^{(1)})$ and $π_2=(d_1^{(2)},\ldots,d_n^{(2)})$ be graphic sequences. We say they \emph{pack} if there exist edge-disjoint realizations $G_1$ and $G_2$ of $π_1$ and $π_2$, respectively, on vertex set $\{v_1,\dots,v_n\}$ such that for $j\in\{1,2\}$, $d_{G_j}(v_i)=d_i^{(j)}$ for all $i\in\{1,\ldots,n\}$. In this case, we say that $(G_1,G_2)$ is a $(π_1,π_2)$-\textit{packing}. A clear necessary condition for graphic sequences $π_1$ and $π_2$ to pack is that $π_1+π_2$, their componentwise sum, is also graphic. It is known, however, that this condition is not sufficient, and furthermore that the general problem of determining if two sequences pack is $NP$- complete. S.~Kundu proved in 1973 that if $π_2$ is almost regular, that is each element is from $\{k-1, k\}$, then $π_1$ and $π_2$ pack if and only if $π_1+π_2$ is graphic. In this paper we will consider graphic sequences $π$ with the property that $π+\mathbf{1}$ is graphic. By Kundu's theorem, the sequences $π$ and $\mathbf{1}$ pack, and there exist edge-disjoint realizations $G$ and $\mathcal{I}$, where $\mathcal{I}$ is a 1-factor. We call such a $(π,\mathbf{1})$ packing a {\em Kundu realization}. Assume that $π$ is a graphic sequence, in which each term is at most $n/24$, that packs with $\mathbf{1}$. This paper contains two results. On one hand, any two Kundu realizations of the degree sequence $π+\mathbf{1}$ can be transformed into each other through a sequence of other Kundu realizations by swap operations. On the other hand, the same conditions ensure that any particular 1-factor can be part of a Kundu realization of $π+\mathbf{1}$.
△ Less
Submitted 22 September, 2017;
originally announced September 2017.
-
List-Distinguishing Cartesian Products of Cliques
Authors:
Michael Ferrara,
Zoltan Furedi,
Sogol Jahanbekam,
Paul Wenger
Abstract:
The distinguishing number of a graph $G$, denoted $D(G)$, is the minimum number of colors needed to produce a coloring of the vertices of $G$ so that every nontrivial isomorphism interchanges vertices of different colors. A list assignment $L$ on a graph $G$ is a function that assigns each vertex of $G$ a set of colors. An $L$-coloring of $G$ is a coloring in which each vertex is colored with a co…
▽ More
The distinguishing number of a graph $G$, denoted $D(G)$, is the minimum number of colors needed to produce a coloring of the vertices of $G$ so that every nontrivial isomorphism interchanges vertices of different colors. A list assignment $L$ on a graph $G$ is a function that assigns each vertex of $G$ a set of colors. An $L$-coloring of $G$ is a coloring in which each vertex is colored with a color from $L(v)$. The list distinguishing number of $G$, denoted $D_{\ell}(G)$ is the minimum $k$ such that every list assignment $L$ that assigns a list of size at least $k$ to every vertex permits a distinguishing $L$-coloring. In this paper, we prove that when and $n$ is large enough, the distinguishing and list-distinguishing numbers of $K_n\Box K_m$ agree for almost all $m>n$, and otherwise differ by at most one. As a part of our proof, we give (to our knowledge) the first application of the Combinatorial Nullstellensatz to the graph distinguishing problem and also prove an inequality for the binomial distribution that may be of independent interest.
△ Less
Submitted 6 July, 2017;
originally announced July 2017.
-
Nonlinear elliptic equations on Carnot groups
Authors:
Massimiliano Ferrara,
Giovanni Molica Bisci,
Dušan Repovš
Abstract:
This article concerns a class of elliptic equations on Carnot groups depending on one real positive parameter and involving a subcritical nonlinearity (for the critical case we refer to G. Molica Bisci and D. Repovš, Yamabe-type equations on Carnot groups, Potential Anal. 46:2 (2017), 369-383; arXiv:1705.10100 [math.AP]). As a special case of our results we prove the existence of at least one nont…
▽ More
This article concerns a class of elliptic equations on Carnot groups depending on one real positive parameter and involving a subcritical nonlinearity (for the critical case we refer to G. Molica Bisci and D. Repovš, Yamabe-type equations on Carnot groups, Potential Anal. 46:2 (2017), 369-383; arXiv:1705.10100 [math.AP]). As a special case of our results we prove the existence of at least one nontrivial solution for a subelliptic equation defined on a smooth and bounded domain $D$ of the Heisenberg group $\mathbb{H}^n=\mathbb{C}^n\times \mathbb{R}$. The main approach is based on variational methods.
△ Less
Submitted 17 June, 2017;
originally announced June 2017.
-
The Saturation Number of Induced Subposets of the Boolean Lattice
Authors:
Michael Ferrara,
Bill Kay,
Lucas Kramer,
Ryan R. Martin,
Benjamin Reiniger,
Heather C. Smith,
Eric Sullivan
Abstract:
Given a poset $P$, a family $F$ of elements in the Boolean lattice is said to be $P$-saturated if (1) $F$ contains no copy of $P$ as a subposet and (2) every proper superset of $F$ contains a copy of $P$ as a subposet. The maximum size of a $P$-saturated family is denoted by $La(n,P)$, which has been studied for a number of choices of $P$. The minimum size of a $P$-saturated family, $sat(n,P)$, wa…
▽ More
Given a poset $P$, a family $F$ of elements in the Boolean lattice is said to be $P$-saturated if (1) $F$ contains no copy of $P$ as a subposet and (2) every proper superset of $F$ contains a copy of $P$ as a subposet. The maximum size of a $P$-saturated family is denoted by $La(n,P)$, which has been studied for a number of choices of $P$. The minimum size of a $P$-saturated family, $sat(n,P)$, was introduced by Gerbner et al. (2013), and parallels the deep literature on the saturation function for graphs.
We introduce and study the concept of saturation for induced subposets. As opposed to induced saturation in graphs, the above definition of saturation for posets extends naturally to the induced setting. We give several exact results and a number of bounds on the induced saturation number for several small posets. We also use a transformation to the biclique cover problem to prove a logarithmic lower bound for a rich infinite family of target posets.
△ Less
Submitted 21 August, 2017; v1 submitted 11 January, 2017;
originally announced January 2017.
-
Ore and Chvátal-type Degree Conditions for Bootstrap Percolation from Small Sets
Authors:
Michael Dairyko,
Michael Ferrara,
Bernard Lidický,
Ryan R. Martin,
Florian Pfender,
Andrew J. Uzzell
Abstract:
Bootstrap percolation is a deterministic cellular automaton in which vertices of a graph~$G$ begin in one of two states, "dormant" or "active". Given a fixed integer $r$, a dormant vertex becomes active if at any stage it has at least $r$ active neighbors, and it remains active for the duration of the process. Given an initial set of active vertices $A$, we say that $G$ $r$-percolates (from $A$) i…
▽ More
Bootstrap percolation is a deterministic cellular automaton in which vertices of a graph~$G$ begin in one of two states, "dormant" or "active". Given a fixed integer $r$, a dormant vertex becomes active if at any stage it has at least $r$ active neighbors, and it remains active for the duration of the process. Given an initial set of active vertices $A$, we say that $G$ $r$-percolates (from $A$) if every vertex in $G$ becomes active after some number of steps. Let $m(G,r)$ denote the minimum size of a set $A$ such that $G$ $r$-percolates from $A$.
Bootstrap percolation has been studied in a number of settings, and has applications to both statistical physics and discrete epidemiology. Here, we are concerned with degree-based density conditions that ensure $m(G,2)=2$. In particular, we give an Ore-type degree sum result that states that if a graph $G$ satisfies $σ_2(G)\ge n-2$, then either $m(G,2)=2$ or $G$ is in one of a small number of classes of exceptional graphs. We also give a Chvátal-type degree condition: If $G$ is a graph with degree sequence $d_1\le d_2\le\dots\le d_n$ such that $d_i \geq i+1$ or $d_{n-i} \geq n-i-1$ for all $1 \leq i < \frac{n}{2}$, then $m(G,2)=2$ or $G$ falls into one of several specific exceptional classes of graphs. Both of these results are inspired by, and extend, an Ore-type result in [D. Freund, M. Poloczek, and D. Reichman, Contagious sets in dense graphs, to appear in European J. Combin.]
△ Less
Submitted 18 October, 2019; v1 submitted 14 October, 2016;
originally announced October 2016.
-
Existence results for nonlinear elliptic problems on fractal domains
Authors:
Massimiliano Ferrara,
Giovanni Molica Bisci,
Dušan Repovš
Abstract:
Some existence results for a parametric Dirichlet problem defined on the Sierpiński fractal are proved. More precisely, a critical point result for differentiable functionals is exploited in order to prove the existence of a well determined open interval of positive eigenvalues for which the problem admits at least one non-trivial weak solution.
Some existence results for a parametric Dirichlet problem defined on the Sierpiński fractal are proved. More precisely, a critical point result for differentiable functionals is exploited in order to prove the existence of a well determined open interval of positive eigenvalues for which the problem admits at least one non-trivial weak solution.
△ Less
Submitted 27 August, 2016;
originally announced August 2016.
-
Chvátal-type results for degree sequence Ramsey numbers
Authors:
Christopher Cox,
Michael Ferrara,
Ryan M. Martin,
Benjamin Reiniger
Abstract:
A sequence of nonnegative integers $π=(d_1,d_2,...,d_n)$ is graphic if there is a (simple) graph $G$ of order $n$ having degree sequence $π$. In this case, $G$ is said to realize or be a realization of $π$. Given a graph $H$, a graphic sequence $π$ is potentially $H$-graphic if there is some realization of $π$ that contains $H$ as a subgraph.
In this paper, we consider a degree sequence analogue…
▽ More
A sequence of nonnegative integers $π=(d_1,d_2,...,d_n)$ is graphic if there is a (simple) graph $G$ of order $n$ having degree sequence $π$. In this case, $G$ is said to realize or be a realization of $π$. Given a graph $H$, a graphic sequence $π$ is potentially $H$-graphic if there is some realization of $π$ that contains $H$ as a subgraph.
In this paper, we consider a degree sequence analogue to classical graph Ramsey numbers. For graphs $H_1$ and $H_2$, the potential-Ramsey number $r_{pot}(H_1,H_2)$ is the minimum integer $N$ such that for any $N$-term graphic sequence $π$, either $π$ is potentially $H_1$-graphic or the complementary sequence $\overlineπ=(N-1-d_N,\dots, N-1-d_1)$ is potentially $H_2$-graphic.
We prove that if $s\ge 2$ is an integer and $T_t$ is a tree of order $t> 7(s-2)$, then $$r_{pot}(K_s, T_t) = t+s-2.$$ This result, which is best possible up to the bound on $t$, is a degree sequence analogue to a classical 1977 result of Chvátal on the graph Ramsey number of trees vs. cliques. To obtain this theorem, we prove a sharp condition that ensures an arbitrary graph packs with a forest, which is likely to be of independent interest.
△ Less
Submitted 16 October, 2015;
originally announced October 2015.
-
I,F-partitions of Sparse Graphs
Authors:
Axel Brandt,
Michael Ferrara,
Mohit Kumbhat,
Sarah Loeb,
Derrick Stolee,
Matthew Yancey
Abstract:
A star $k$-coloring is a proper $k$-coloring where the union of two color classes induces a star forest. While every planar graph is 4-colorable, not every planar graph is star 4-colorable. One method to produce a star 4-coloring is to partition the vertex set into a 2-independent set and a forest; such a partition is called an I,F-partition. We use a combination of potential functions and dischar…
▽ More
A star $k$-coloring is a proper $k$-coloring where the union of two color classes induces a star forest. While every planar graph is 4-colorable, not every planar graph is star 4-colorable. One method to produce a star 4-coloring is to partition the vertex set into a 2-independent set and a forest; such a partition is called an I,F-partition. We use a combination of potential functions and discharging to prove that every graph with maximum average degree less than $\frac{5}{2}$ has an I,F-partition, which is sharp and answers a question of Cranston and West [A guide to the discharging method, arXiv:1306.4434]. This result implies that planar graphs of girth at least 10 are star 4-colorable, improving upon previous results of Bu, Cranston, Montassier, Raspaud, and Wang [Star coloring of sparse graphs, J. Graph Theory 62 (2009), 201-219].
△ Less
Submitted 12 October, 2015;
originally announced October 2015.
-
Modified Potra-Pták method to determine the multiple zeros of nonlinear equations
Authors:
S. Sharifi,
M. Ferrara,
N. M. A. Nik Long,
M. Salimi
Abstract:
In this paper, we present a third-order iterative method based on Potra-Pt{á}k method to compute the approximate multiple roots of nonlinear equations. The method requires two evaluations of the function and one evaluation of its first derivative per iteration and it has the efficiency index equal to $3^{\frac{1}{3}}\approx 1.44225$. We describe the analysis of the proposed methods along with nume…
▽ More
In this paper, we present a third-order iterative method based on Potra-Pt{á}k method to compute the approximate multiple roots of nonlinear equations. The method requires two evaluations of the function and one evaluation of its first derivative per iteration and it has the efficiency index equal to $3^{\frac{1}{3}}\approx 1.44225$. We describe the analysis of the proposed methods along with numerical experiments including comparison with existing methods. Moreover, the attraction basins are shown and compared with other existing methods.
△ Less
Submitted 1 October, 2015;
originally announced October 2015.
-
On the Strong Chromatic Index of Sparse Graphs
Authors:
Philip DeOrsey,
Jennifer Diemunsch,
Michael Ferrara,
Nathan Graber,
Stephen G. Hartke,
Sogol Jahanbekam,
Bernard Lidicky,
Luke L. Nelsen,
Derrick Stolee,
Eric Sullivan
Abstract:
The strong chromatic index of a graph $G$, denoted $χ_s'(G)$, is the least number of colors needed to edge-color $G$ so that edges at distance at most two receive distinct colors. The strong list chromatic index, denoted $χ_{s,\ell}'(G)$, is the least integer $k$ such that if arbitrary lists of size $k$ are assigned to each edge then $G$ can be edge-colored from those lists where edges at distance…
▽ More
The strong chromatic index of a graph $G$, denoted $χ_s'(G)$, is the least number of colors needed to edge-color $G$ so that edges at distance at most two receive distinct colors. The strong list chromatic index, denoted $χ_{s,\ell}'(G)$, is the least integer $k$ such that if arbitrary lists of size $k$ are assigned to each edge then $G$ can be edge-colored from those lists where edges at distance at most two receive distinct colors. We use the discharging method, the Combinatorial Nullstellensatz, and computation to show that if $G$ is a subcubic planar graph with $\operatorname{girth}(G) \geq 41$ then $χ_{s,\ell}'(G) \leq 5$, answering a question of Borodin and Ivanova [Precise upper bound for the strong edge chromatic number of sparse planar graphs, Discuss. Math. Graph Theory, 33(4), (2014) 759--770]. We further show that if $G$ is a subcubic planar graph and $\operatorname{girth}(G) \geq 30$, then $χ_s'(G) \leq 5$, improving a bound from the same paper. Finally, if $G$ is a planar graph with maximum degree at most four and $\operatorname{girth}(G) \geq 28$, then $χ_s'(G) \leq 7$, improving a more general bound of Wang and Zhao from [Odd graphs and its application on the strong edge coloring, arXiv:1412.8358] in this case.
△ Less
Submitted 14 August, 2015;
originally announced August 2015.
-
Computing multiple zeros by using a parameter in Newton-Secant method
Authors:
Massimiliano Ferrara,
Somayeh Sharifi,
Mehdi Salimi
Abstract:
In this paper, we modify the Newton-Secant method with third order of convergence for finding multiple roots of nonlinear equations. Per iteration this method requires two evaluations of the function and one evaluation of its first derivative. This method has the efficiency index equal to $3^{\frac{1}{3}}\approx 1.44225$. We describe the analysis of the proposed method along with numerical experim…
▽ More
In this paper, we modify the Newton-Secant method with third order of convergence for finding multiple roots of nonlinear equations. Per iteration this method requires two evaluations of the function and one evaluation of its first derivative. This method has the efficiency index equal to $3^{\frac{1}{3}}\approx 1.44225$. We describe the analysis of the proposed method along with numerical experiments including comparison with existing methods. Moreover, the dynamics of the proposed method are shown with some comparisons to the other existing methods.
△ Less
Submitted 13 July, 2015;
originally announced July 2015.
-
A dynamic Stackelberg game for green supply chain management
Authors:
Mehrnoosh Khademi,
Massimiliano Ferrara,
Mehdi Salimi,
Somayeh Sharifi
Abstract:
In this paper, we establish a dynamic game to allocate CSR (Corporate Social Responsibility) to the members of a supply chain. We propose a model of a three-tier supply chain in a decentralized state which includes a supplier, a manufacturer and a retailer. For analyzing supply chain performance in decentralized state and the relationships between the members of the supply chain, we use a Stackelb…
▽ More
In this paper, we establish a dynamic game to allocate CSR (Corporate Social Responsibility) to the members of a supply chain. We propose a model of a three-tier supply chain in a decentralized state which includes a supplier, a manufacturer and a retailer. For analyzing supply chain performance in decentralized state and the relationships between the members of the supply chain, we use a Stackelberg game and consider in this paper a hierarchical equilibrium solution for a two-level game. In particular, we formulate a model that crosses through multi-periods with the help of a dynamic discrete Stackelberg game. We obtain an equilibrium point at which both the profits of members and the level of CSR taken up by supply chains is maximized.
△ Less
Submitted 21 June, 2015;
originally announced June 2015.
-
An infinite dimensional pursuit-evasion differential game with finite number of players
Authors:
Mehdi Salimi,
Massimiliano Ferrara
Abstract:
We study a pursuit-evasion differential game with finite number of pursuers and one evader in Hilbert space with geometric constraints on the control functions of players. We solve the game by presenting explicit strategies for pursuers which guarantee their pursuit as well as an strategy for the evader which guarantees its evasion.
We study a pursuit-evasion differential game with finite number of pursuers and one evader in Hilbert space with geometric constraints on the control functions of players. We solve the game by presenting explicit strategies for pursuers which guarantee their pursuit as well as an strategy for the evader which guarantees its evasion.
△ Less
Submitted 2 June, 2015;
originally announced June 2015.
-
Differential game of many pursuers with integral constraints on a convex set in the plane
Authors:
Idham Arif Alias,
Gafurjan Ibragimov,
Massimiliano Ferrara,
Mehdi Salimi,
Mansor Monsi
Abstract:
We study a simple motion differential game of many pursuers and one evader in the plane. We give a nonempty closed convex set in the plane, and the pursuers and evader move on this set. They cannot leave this set during the game. Control functions of players are subject to coordinate-wise integral constraints. If the state of the evader $y$, coincides with that of a pursuer $x_i$, $i=\{1,...,m\}$,…
▽ More
We study a simple motion differential game of many pursuers and one evader in the plane. We give a nonempty closed convex set in the plane, and the pursuers and evader move on this set. They cannot leave this set during the game. Control functions of players are subject to coordinate-wise integral constraints. If the state of the evader $y$, coincides with that of a pursuer $x_i$, $i=\{1,...,m\}$, at some time $t_i$ (unspecified), i.e. $x_i(t_i)=y(t_i)$, then we say that pursuit is completed. We obtain some conditions under which pursuit can be completed from any position of the players in the given set. Moreover, we construct strategies for the pursuers.
△ Less
Submitted 30 April, 2015;
originally announced May 2015.
-
A dynamic game on Green Supply Chain Management
Authors:
Mehrnoosh Khademi,
Massimiliano Ferrara,
Bruno Pansera,
Mehdi Salimi
Abstract:
In this paper, we establish a dynamic game to allocate CSR (Corporate Social Responsibility) to the members of a supply chain. We propose a model of three-tier supply chain in decentralized state that is including supplier, manufacturer and retailer. For analyzing supply chain performance in decentralized state and the relationships between the members of supply chain, we use Stackelberg game and…
▽ More
In this paper, we establish a dynamic game to allocate CSR (Corporate Social Responsibility) to the members of a supply chain. We propose a model of three-tier supply chain in decentralized state that is including supplier, manufacturer and retailer. For analyzing supply chain performance in decentralized state and the relationships between the members of supply chain, we use Stackelberg game and we consider in this paper a hierarchical equilibrium solution for a two-level game. Specially, we formulate a model that crosses through multi-periods by a dynamic discreet Stackelberg game. We try to obtain an equilibrium point at where both the profits of members and the level of CSR taken by supply chains are maximized.
△ Less
Submitted 12 March, 2015;
originally announced March 2015.
-
Holographic imaging of unlabelled sperm cells for semen analysis: a review
Authors:
Giuseppe Di Caprio,
Maria Antonietta Ferrara,
Lisa Miccio,
Francesco Merola,
Pasquale Memmolo,
Pietro Ferraro,
Giuseppe Coppola
Abstract:
Male reproductive health in both humans and animals is an important research field in biological study. In order to characterize the morphology, the motility and the concentration of the sperm cells, which are the most important parameters to feature them, digital holography demonstrated to be an attractive technique. Indeed, it is a labelfree, non-invasive and high-resolution method that enables…
▽ More
Male reproductive health in both humans and animals is an important research field in biological study. In order to characterize the morphology, the motility and the concentration of the sperm cells, which are the most important parameters to feature them, digital holography demonstrated to be an attractive technique. Indeed, it is a labelfree, non-invasive and high-resolution method that enables the characterization of live specimen. The review is intended both for summarize the state-of-art on the semen analysis and recent achievement obtained by means of digital holography and for exploring new possible applications of digital holography in this field.
△ Less
Submitted 26 November, 2014;
originally announced November 2014.
-
New modification of Maheshwari method with optimal eighth order of convergence for solving nonlinear equations
Authors:
Somayeh Sharifi,
Massimiliano Ferrara,
Mehdi Salimi,
Stefan Seigmund
Abstract:
In this paper, we present a family of three-point with eight-order convergence methods for finding the simple roots of nonlinear equations by suitable approximations and weight function based on Maheshwari method. Per iteration this method requires three evaluations of the function and one evaluation of its first derivative. This class of methods has the efficiency index equal to…
▽ More
In this paper, we present a family of three-point with eight-order convergence methods for finding the simple roots of nonlinear equations by suitable approximations and weight function based on Maheshwari method. Per iteration this method requires three evaluations of the function and one evaluation of its first derivative. This class of methods has the efficiency index equal to $8^{\frac{1}{4}}\approx 1.682$. We describe the analysis of the proposed methods along with numerical experiments including comparison with existing methods.
△ Less
Submitted 12 November, 2014;
originally announced November 2014.
-
Graph Saturation in Multipartite Graphs
Authors:
Michael Ferrara,
Michael S. Jacobson,
Florian Pfender,
Paul S. Wenger
Abstract:
Let $G$ be a fixed graph and let ${\mathcal F}$ be a family of graphs. A subgraph $J$ of $G$ is ${\mathcal F}$-saturated if no member of ${\mathcal F}$ is a subgraph of $J$, but for any edge $e$ in $E(G)-E(J)$, some element of ${\mathcal F}$ is a subgraph of $J+e$. We let $\text{ex}({\mathcal F},G)$ and $\text{sat}({\mathcal F},G)$ denote the maximum and minimum size of an ${\mathcal F}$-saturated…
▽ More
Let $G$ be a fixed graph and let ${\mathcal F}$ be a family of graphs. A subgraph $J$ of $G$ is ${\mathcal F}$-saturated if no member of ${\mathcal F}$ is a subgraph of $J$, but for any edge $e$ in $E(G)-E(J)$, some element of ${\mathcal F}$ is a subgraph of $J+e$. We let $\text{ex}({\mathcal F},G)$ and $\text{sat}({\mathcal F},G)$ denote the maximum and minimum size of an ${\mathcal F}$-saturated subgraph of $G$, respectively. If no element of ${\mathcal F}$ is a subgraph of $G$, then $\text{sat}({\mathcal F},G) = \text{ex}({\mathcal F}, G) = |E(G)|$.
In this paper, for $k\ge 3$ and $n\ge 100$ we determine $\text{sat}(K_3,K_k^n)$, where $K_k^n$ is the complete balanced $k$-partite graph with partite sets of size $n$. We also give several families of constructions of $K_t$-saturated subgraphs of $K_k^n$ for $t\ge 4$. Our results and constructions provide an informative contrast to recent results on the edge-density version of $\text{ex}(K_t,K_k^n)$ from [A. Bondy, J. Shen, S. Thomassé, and C. Thomassen, Density conditions for triangles in multipartite graphs, Combinatorica 26 (2006), 121--131] and [F. Pfender, Complete subgraphs in multipartite graphs, Combinatorica 32 (2012), no. 4, 483--495].
△ Less
Submitted 13 August, 2014;
originally announced August 2014.
-
Extending Precolorings to Distinguish Group Actions
Authors:
Michael Ferrara,
Ellen Gethner,
Stephen G. Hartke,
Derrick Stolee,
Paul S. Wenger
Abstract:
Given a group $Γ$ acting on a set $X$, a $k$-coloring $φ:X\to\{1,\dots,k\}$ of $X$ is distinguishing with respect to $Γ$ if the only $γ\in Γ$ that fixes $φ$ is the identity action. The distinguishing number of the action $Γ$, denoted $D_Γ(X)$, is then the smallest positive integer $k$ such that there is a distinguishing $k$-coloring of $X$ with respect to $Γ$. This notion has been studied in a num…
▽ More
Given a group $Γ$ acting on a set $X$, a $k$-coloring $φ:X\to\{1,\dots,k\}$ of $X$ is distinguishing with respect to $Γ$ if the only $γ\in Γ$ that fixes $φ$ is the identity action. The distinguishing number of the action $Γ$, denoted $D_Γ(X)$, is then the smallest positive integer $k$ such that there is a distinguishing $k$-coloring of $X$ with respect to $Γ$. This notion has been studied in a number of settings, but by far the largest body of work has been concerned with finding the distinguishing number of the action of the automorphism group of a graph $G$ upon its vertex set, which is referred to as the distinguishing number of $G$.
The distinguishing number of a group action is a measure of how difficult it is to "break" all of the permutations arising from that action. In this paper, we aim to further differentiate the resilience of group actions with the same distinguishing number. In particular, we introduce a precoloring extension framework to address this issue. A set $S \subseteq X$ is a fixing set for $Γ$ if for every non-identity element $γ\in Γ$ there is an element $s \in S$ such that $γ(s) \neq s$. The distinguishing extension number $\operatorname{ext}_D(X,Γ;k)$ is the minimum number $m$ such that for all fixing sets $W \subseteq X$ with $|W| \geq m$, every $k$-coloring $c : X \setminus W \to [k]$ can be extended to a $k$-coloring that distinguishes $X$.
In this paper, we prove that $\operatorname{ext}_D(\mathbb{R},\operatorname{Aut}(\mathbb{R}),2) =4$, where $\operatorname{Aut}(\mathbb{R})$ is comprised of compositions of translations and reflections. We also consider the distinguishing extension number of the circle and (finite) cycles, obtaining several exact results and bounds.
△ Less
Submitted 21 May, 2014;
originally announced May 2014.
-
Partitioning a graph into highly connected subgraphs
Authors:
Valentin Borozan,
Michael Ferrara,
Shinya Fujita,
Michitaka Furuya,
Yannis Manoussakis,
N. Narayanan,
Derrick Stolee
Abstract:
Given $k\ge 1$, a $k$-proper partition of a graph $G$ is a partition ${\mathcal P}$ of $V(G)$ such that each part $P$ of ${\mathcal P}$ induces a $k$-connected subgraph of $G$. We prove that if $G$ is a graph of order $n$ such that $δ(G)\ge \sqrt{n}$, then $G$ has a $2$-proper partition with at most $n/δ(G)$ parts. The bounds on the number of parts and the minimum degree are both best possible. We…
▽ More
Given $k\ge 1$, a $k$-proper partition of a graph $G$ is a partition ${\mathcal P}$ of $V(G)$ such that each part $P$ of ${\mathcal P}$ induces a $k$-connected subgraph of $G$. We prove that if $G$ is a graph of order $n$ such that $δ(G)\ge \sqrt{n}$, then $G$ has a $2$-proper partition with at most $n/δ(G)$ parts. The bounds on the number of parts and the minimum degree are both best possible. We then prove that If $G$ is a graph of order $n$ with minimum degree $δ(G)\ge\sqrt{c(k-1)n}$, where $c=\frac{2123}{180}$, then $G$ has a $k$-proper partition into at most $\frac{cn}{δ(G)}$ parts. This improves a result of Ferrara, Magnant and Wenger [Conditions for Families of Disjoint $k$-connected Subgraphs in a Graph, Discrete Math. 313 (2013), 760--764] and both the degree condition and the number of parts are best possible up to the constant $c$.
△ Less
Submitted 26 July, 2015; v1 submitted 12 January, 2014;
originally announced January 2014.
-
On the approximate shape of degree sequences that are not potentially $H$-graphic
Authors:
Catherine Erbes,
Michael Ferrara,
Ryan R. Martin,
Paul Wenger
Abstract:
A sequence of nonnegative integers $π$ is {\it graphic} if it is the degree sequence of some graph $G$. In this case we say that $G$ is a \textit{realization} of $π$, and we write $π=π(G)$. A graphic sequence $π$ is {\it potentially $H$-graphic} if there is a realization of $π$ that contains $H$ as a subgraph.
Given nonincreasing graphic sequences $π_1=(d_1,\ldots,d_n)$ and…
▽ More
A sequence of nonnegative integers $π$ is {\it graphic} if it is the degree sequence of some graph $G$. In this case we say that $G$ is a \textit{realization} of $π$, and we write $π=π(G)$. A graphic sequence $π$ is {\it potentially $H$-graphic} if there is a realization of $π$ that contains $H$ as a subgraph.
Given nonincreasing graphic sequences $π_1=(d_1,\ldots,d_n)$ and $π_2 = (s_1,\ldots,s_n)$, we say that $π_1$ {\it majorizes} $π_2$ if $d_i \geq s_i$ for all $i$, $1 \leq i \leq n$. In 1970, Erdős showed that for any $K_{r+1}$-free graph $H$, there exists an $r$-partite graph $G$ such that $π(G)$ majorizes $π(H)$. In 2005, Pikhurko and Taraz generalized this notion and showed that for any graph $F$ with chromatic number $r+1$, the degree sequence of an $F$-free graph is, in an appropriate sense, nearly majorized by the degree sequence of an $r$-partite graph.
In this paper, we give similar results for degree sequences that are not potentially $H$-graphic. In particular, there is a graphic sequence $π^*(H)$ such that if $π$ is a graphic sequence that is not potentially $H$-graphic, then $π$ is close to being majorized by $π^*(H)$. Similar to the role played by complete multipartite graphs in the traditional extremal setting, the sequence $π^*(H)$ asymptotically gives the maximum possible sum of a graphic sequence $π$ that is not potentially $H$-graphic.
△ Less
Submitted 22 March, 2013;
originally announced March 2013.
-
On the Sum Neccesary to Ensure that a Degree Sequence is Potentially H-Graphic
Authors:
Michael Ferrara,
Timothy D. LeSaulnier,
Casey K. Moffatt,
Paul S. Wenger
Abstract:
A sequence of nonnegative integers π=(d_1,d_2,...,d_n) is graphic if there is a (simple) graph G with degree sequence π. In this case, G is said to realize or be a realization of π. Degree sequence results in the literature generally fall into two classes: forcible problems, in which all realizations of a graphic sequence must have a given property, and potential problems, in which at least one re…
▽ More
A sequence of nonnegative integers π=(d_1,d_2,...,d_n) is graphic if there is a (simple) graph G with degree sequence π. In this case, G is said to realize or be a realization of π. Degree sequence results in the literature generally fall into two classes: forcible problems, in which all realizations of a graphic sequence must have a given property, and potential problems, in which at least one realization of πmust have the given property.
Given a graph H, a graphic sequence πis potentially H-graphic if there is some realization of πthat contains H as a subgraph. In 1991, Erdős, Jacobson and Lehel posed the following question: Determine the minimum integer σ(H,n) such that every n-term graphic sequence with sum at least σ(H,n) is potentially H-graphic. As the sum of the terms of πis twice the number of edges in any realization of π, the Erdős-Jacobson-Lehel problem can be viewed as a potential degree sequence relaxation of the (forcible) Turán problem, wherein one wishes to determine the maximum number of edges in a graph that contains no copy of H.
While the exact value of σ(H,n) has been determined for a number of specific classes of graphs (including cliques, cycles, complete bigraphs and others), very little is known about the parameter for arbitrary H. In this paper, we determine σ(H,n) asymptotically for all H, thereby providing an Erdős-Stone-Simonovits-type theorem for the Erdős-Jacobson-Lehel problem.
△ Less
Submitted 3 November, 2015; v1 submitted 20 March, 2012;
originally announced March 2012.
-
List Distinguishing Parameters of Trees
Authors:
Michael Ferrara,
Ellen Gethner,
Stephen G. Hartke,
Derrick Stolee,
Paul S. Wenger
Abstract:
A coloring of the vertices of a graph G is said to be distinguishing} provided no nontrivial automorphism of G preserves all of the vertex colors. The distinguishing number of G, D(G), is the minimum number of colors in a distinguishing coloring of G. The distinguishing chromatic number of G, chi_D(G), is the minimum number of colors in a distinguishing coloring of G that is also a proper coloring…
▽ More
A coloring of the vertices of a graph G is said to be distinguishing} provided no nontrivial automorphism of G preserves all of the vertex colors. The distinguishing number of G, D(G), is the minimum number of colors in a distinguishing coloring of G. The distinguishing chromatic number of G, chi_D(G), is the minimum number of colors in a distinguishing coloring of G that is also a proper coloring.
Recently the notion of a distinguishing coloring was extended to that of a list distinguishing coloring. Given an assignment L= {L(v) : v in V(G)} of lists of available colors to the vertices of G, we say that G is (properly) L-distinguishable if there is a (proper) distinguishing coloring f of G such that f(v) is in L(v) for all v. The list distinguishing number of G, D_l(G), is the minimum integer k such that G is L-distinguishable for any list assignment L with |L(v)| = k for all v. Similarly, the list distinguishing chromatic number of G, denoted chi_{D_l}(G) is the minimum integer k such that G is properly L-distinguishable for any list assignment L with |L(v)| = k for all v.
In this paper, we study these distinguishing parameters for trees, and in particular extend an enumerative technique of Cheng to show that for any tree T, D_l(T) = D(T), chi_D(T)=chi_{D_l}(T), and chi_D(T) <= D(T) + 1.
△ Less
Submitted 21 November, 2011;
originally announced November 2011.
-
Rainbow Matchings of size δ(G) in Properly Edge-colored Graphs
Authors:
Jennifer Diemunsch,
Michael Ferrara,
Casey Moffatt,
Florian Pfender,
Paul S. Wenger
Abstract:
A {\it rainbow matching} in an edge-colored graph is a matching in which all the edges have distinct colors. Wang asked if there is a function f(δ) such that a properly edge-colored graph G with minimum degree δand order at least f(δ) must have a rainbow matching of size δ. We answer this question in the affirmative; f(δ) = 6.5δsuffices. Furthermore, the proof provides a O(δ(G)|V(G)|^2)-time algor…
▽ More
A {\it rainbow matching} in an edge-colored graph is a matching in which all the edges have distinct colors. Wang asked if there is a function f(δ) such that a properly edge-colored graph G with minimum degree δand order at least f(δ) must have a rainbow matching of size δ. We answer this question in the affirmative; f(δ) = 6.5δsuffices. Furthermore, the proof provides a O(δ(G)|V(G)|^2)-time algorithm that generates such a matching.
△ Less
Submitted 11 August, 2011;
originally announced August 2011.