-
Simplicial complexes and matroids with vanishing $T^2$
Authors:
Alexandru Constantinescu,
Patricia Klein,
Thai Thanh Nguyen,
Anurag Singh,
Lorenzo Venturello
Abstract:
We investigate quotients by radical monomial ideals for which $T^2$, the second cotangent cohomology module, vanishes. The dimension of the graded components of $T^2$, and thus their vanishing, depends only on the combinatorics of the corresponding simplicial complex. We give both a complete characterization and a full list of one dimensional complexes with $T^2=0$. We characterize the graded comp…
▽ More
We investigate quotients by radical monomial ideals for which $T^2$, the second cotangent cohomology module, vanishes. The dimension of the graded components of $T^2$, and thus their vanishing, depends only on the combinatorics of the corresponding simplicial complex. We give both a complete characterization and a full list of one dimensional complexes with $T^2=0$. We characterize the graded components of $T^2$ when the simplicial complex is a uniform matroid. Finally, we show that $T^2$ vanishes for all matroids of corank at most two and conjecture that all connected matroids with vanishing $T^2$ are of corank at most two.
△ Less
Submitted 4 June, 2024;
originally announced June 2024.
-
Unifying Partial Synchrony
Authors:
Andrei Constantinescu,
Diana Ghinea,
Jakub Sliwinski,
Roger Wattenhofer
Abstract:
The distributed computing literature considers multiple options for modeling communication. Most simply, communication is categorized as either synchronous or asynchronous. Synchronous communication assumes that messages get delivered within a publicly known timeframe and that parties' clocks are synchronized. Asynchronous communication, on the other hand, only assumes that messages get delivered…
▽ More
The distributed computing literature considers multiple options for modeling communication. Most simply, communication is categorized as either synchronous or asynchronous. Synchronous communication assumes that messages get delivered within a publicly known timeframe and that parties' clocks are synchronized. Asynchronous communication, on the other hand, only assumes that messages get delivered eventually. A more nuanced approach, or a middle ground between the two extremes, is given by the partially synchronous model, which is arguably the most realistic option. This model comes in two commonly considered flavors:
(i) The Global Stabilization Time (GST) model: after an (unknown) amount of time, the network becomes synchronous. This captures scenarios where network issues are transient.
(ii) The Unknown Latency (UL) model: the network is, in fact, synchronous, but the message delay bound is unknown.
This work formally establishes that any time-agnostic property that can be achieved by a protocol in the UL model can also be achieved by a (possibly different) protocol in the GST model. By time-agnostic, we mean properties that can depend on the order in which events happen but not on time as measured by the parties. Most properties considered in distributed computing are time-agnostic. The converse was already known, even without the time-agnostic requirement, so our result shows that the two network conditions are, under one sensible assumption, equally demanding.
△ Less
Submitted 16 May, 2024;
originally announced May 2024.
-
Unravelling Expressive Delegations: Complexity and Normative Analysis
Authors:
Giannis Tyrovolas,
Andrei Constantinescu,
Edith Elkind
Abstract:
We consider binary group decision-making under a rich model of liquid democracy recently proposed by Colley, Grandi, and Novaro (2022): agents submit ranked delegation options, where each option may be a function of multiple agents' votes; e.g., "I vote yes if a majority of my friends vote yes." Such ballots are unravelled into a profile of direct votes by selecting one entry from each ballot so a…
▽ More
We consider binary group decision-making under a rich model of liquid democracy recently proposed by Colley, Grandi, and Novaro (2022): agents submit ranked delegation options, where each option may be a function of multiple agents' votes; e.g., "I vote yes if a majority of my friends vote yes." Such ballots are unravelled into a profile of direct votes by selecting one entry from each ballot so as not to introduce cyclic dependencies. We study delegation via monotonic Boolean functions, and two unravelling procedures: MinSum, which minimises the sum of the ranks of the chosen entries, and its egalitarian counterpart, MinMax. We provide complete computational dichotomies: MinSum is hard to compute (and approximate) as soon as any non-trivial functions are permitted, and polynomial otherwise; for MinMax the easiness results extend to arbitrary-arity logical ORs and ANDs taken in isolation, but not beyond. For the classic model of delegating to individual agents, we give asymptotically near-tight algorithms for carrying out the two procedures and efficient algorithms for finding optimal unravellings with the highest vote count for a given alternative. These algorithms inspire novel tie-breaking rules for the setup of voting to change a status quo. We then introduce a new axiom, which can be viewed as a variant of the participation axiom, and use algorithmic techniques developed earlier in the paper to show that it is satisfied by MinSum and a lexicographic refinement of MinMax (but not MinMax itself).
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
Solving Woeginger's Hiking Problem: Wonderful Partitions in Anonymous Hedonic Games
Authors:
Andrei Constantinescu,
Pascal Lenzner,
Rebecca Reiffenhäuser,
Daniel Schmand,
Giovanna Varricchio
Abstract:
A decade ago, Gerhard Woeginger posed an open problem that became well-known as "Woeginger's Hiking Problem": Consider a group of $n$ people that want to go hiking; everyone expresses preferences over the size of their hiking group in the form of an interval between $1$ and $n$. Is it possible to efficiently assign the $n$ people to a set of hiking subgroups so that every person approves the size…
▽ More
A decade ago, Gerhard Woeginger posed an open problem that became well-known as "Woeginger's Hiking Problem": Consider a group of $n$ people that want to go hiking; everyone expresses preferences over the size of their hiking group in the form of an interval between $1$ and $n$. Is it possible to efficiently assign the $n$ people to a set of hiking subgroups so that every person approves the size of their assigned subgroup? The problem is also known as efficiently deciding if an instance of an anonymous Hedonic Game with interval approval preferences admits a wonderful partition.
We resolve the open problem in the affirmative by presenting an $O(n^5)$ time algorithm for Woeginger's Hiking Problem. Our solution is based on employing a dynamic programming approach for a specific rectangle stabbing problem from computational geometry. Moreover, we propose natural, more demanding extensions of the problem, e.g., maximizing the number of satisfied participants and variants with single-peaked preferences, and show that they are also efficiently solvable. Last but not least, we employ our solution to efficiently compute a partition that maximizes the egalitarian welfare for anonymous single-peaked Hedonic Games.
△ Less
Submitted 25 May, 2024; v1 submitted 3 November, 2023;
originally announced November 2023.
-
Recovering Single-Crossing Preferences From Approval Ballots
Authors:
Andrei Constantinescu,
Roger Wattenhofer
Abstract:
An electorate with fully-ranked innate preferences casts approval votes over a finite set of alternatives. As a result, only partial information about the true preferences is revealed to the voting authorities. In an effort to understand the nature of the true preferences given only partial information, one might ask whether the unknown innate preferences could possibly be single-crossing. The exi…
▽ More
An electorate with fully-ranked innate preferences casts approval votes over a finite set of alternatives. As a result, only partial information about the true preferences is revealed to the voting authorities. In an effort to understand the nature of the true preferences given only partial information, one might ask whether the unknown innate preferences could possibly be single-crossing. The existence of a polynomial time algorithm to determine this has been asked as an outstanding problem in the works of Elkind and Lackner. We hereby give a polynomial time algorithm determining a single-crossing collection of fully-ranked preferences that could have induced the elicited approval ballots, or reporting the nonexistence thereof. Moreover, we consider the problem of identifying negative instances with a set of forbidden sub-ballots, showing that any such characterization requires infinitely many forbidden configurations.
△ Less
Submitted 6 October, 2023; v1 submitted 5 October, 2023;
originally announced October 2023.
-
Stable Dinner Party Seating Arrangements
Authors:
Damien Berriaud,
Andrei Constantinescu,
Roger Wattenhofer
Abstract:
A group of $n$ agents with numerical preferences for each other are to be assigned to the $n$ seats of a dining table. We study two natural topologies:~circular (cycle) tables and panel (path) tables. For a given seating arrangement, an agent's utility is the sum of their preference values towards their (at most two) direct neighbors. An arrangement is envy-free if no agent strictly prefers someon…
▽ More
A group of $n$ agents with numerical preferences for each other are to be assigned to the $n$ seats of a dining table. We study two natural topologies:~circular (cycle) tables and panel (path) tables. For a given seating arrangement, an agent's utility is the sum of their preference values towards their (at most two) direct neighbors. An arrangement is envy-free if no agent strictly prefers someone else's seat, and it is stable if no two agents strictly prefer each other's seats. Recently, it was shown that for both paths and cycles it is NP-hard to decide whether an envy-free arrangement exists, even for symmetric binary preferences. In contrast, we show that, if agents come from a bounded number of classes, the problem is solvable in polynomial time for arbitrarily-valued possibly asymmetric preferences, including outputting an arrangement if possible. We also give simpler proofs of the previous hardness results if preferences are allowed to be asymmetric. For stability, it is known that deciding the existence of stable arrangements is NP-hard for both topologies, but only if sufficiently-many numerical values are allowed. As it turns out, even constructing unstable instances can be challenging in certain cases, e.g., binary values. We completely characterize the existence of stable arrangements based on the number of distinct values in the preference matrix and the number of agent classes. We also ask the same question for non-negative values and give an almost-complete characterization, the most interesting outstanding case being that of paths with two-valued non-negative preferences, for which we experimentally find that stable arrangements always exist and prove it under the additional constraint that agents can only swap seats when sitting at most two positions away. We moreover give a polynomial algorithm for determining a stable arrangement assuming a bounded number of classes.
△ Less
Submitted 6 October, 2023; v1 submitted 16 May, 2023;
originally announced May 2023.
-
A Fair and Resilient Decentralized Clock Network for Transaction Ordering
Authors:
Andrei Constantinescu,
Diana Ghinea,
Lioba Heimbach,
Zilin Wang,
Roger Wattenhofer
Abstract:
Traditional blockchain design gives miners or validators full control over transaction ordering, i.e., they can freely choose which transactions to include or exclude, as well as in which order. While not an issue initially, the emergence of decentralized finance has introduced new transaction order dependencies allowing parties in control of the ordering to make a profit by front-running others'…
▽ More
Traditional blockchain design gives miners or validators full control over transaction ordering, i.e., they can freely choose which transactions to include or exclude, as well as in which order. While not an issue initially, the emergence of decentralized finance has introduced new transaction order dependencies allowing parties in control of the ordering to make a profit by front-running others' transactions. In this work, we present the Decentralized Clock Network, a new approach for achieving fair transaction ordering. Users submit their transactions to the network's clocks, which run an agreement protocol that provides each transaction with a timestamp of receipt which is then used to define the transactions' order. By separating agreement from ordering, our protocol is efficient and has a simpler design compared to other available solutions. Moreover, our protocol brings to the blockchain world the paradigm of asynchronous fallback, where the algorithm operates with stronger fairness guarantees during periods of synchronous use, switching to an asynchronous mode only during times of increased network delay.
△ Less
Submitted 18 December, 2023; v1 submitted 9 May, 2023;
originally announced May 2023.
-
Computing the Best Policy That Survives a Vote
Authors:
Andrei Constantinescu,
Roger Wattenhofer
Abstract:
An assembly of $n$ voters needs to decide on $t$ independent binary issues. Each voter has opinions about the issues, given by a $t$-bit vector. Anscombe's paradox shows that a policy following the majority opinion in each issue may not survive a vote by the very same set of $n$ voters, i.e., more voters may feel unrepresented by such a majority-driven policy than represented. A natural resolution…
▽ More
An assembly of $n$ voters needs to decide on $t$ independent binary issues. Each voter has opinions about the issues, given by a $t$-bit vector. Anscombe's paradox shows that a policy following the majority opinion in each issue may not survive a vote by the very same set of $n$ voters, i.e., more voters may feel unrepresented by such a majority-driven policy than represented. A natural resolution is to come up with a policy that deviates a bit from the majority policy but no longer gets more opposition than support from the electorate. We show that a Hamming distance to the majority policy of at most $\lfloor (t - 1) / 2 \rfloor$ can always be guaranteed, by giving a new probabilistic argument relying on structure-preserving symmetries of the space of potential policies. Unless the electorate is evenly divided between the two options on all issues, we in fact show that a policy strictly winning the vote exists within this distance bound. Our approach also leads to a deterministic polynomial-time algorithm for finding policies with the stated guarantees, answering an open problem of previous work. For odd $t$, unless we are in the pathological case described above, we also give a simpler and more efficient algorithm running in expected polynomial time with the same guarantees. We further show that checking whether distance strictly less than $\lfloor (t - 1) /2 \rfloor$ can be achieved is NP-hard, and that checking for distance at most some input $k$ is FPT with respect to several natural parameters.
△ Less
Submitted 2 March, 2023; v1 submitted 1 March, 2023;
originally announced March 2023.
-
Voting in Two-Crossing Elections
Authors:
Andrei Constantinescu,
Roger Wattenhofer
Abstract:
We introduce two-crossing elections as a generalization of single-crossing elections, showing a number of new results. First, we show that two-crossing elections can be recognized in polynomial time, by reduction to the well-studied consecutive ones problem. We also conjecture that recognizing $k$-crossing elections is NP-complete in general, providing evidence by relating to a problem similar to…
▽ More
We introduce two-crossing elections as a generalization of single-crossing elections, showing a number of new results. First, we show that two-crossing elections can be recognized in polynomial time, by reduction to the well-studied consecutive ones problem. We also conjecture that recognizing $k$-crossing elections is NP-complete in general, providing evidence by relating to a problem similar to consecutive ones proven to be hard in the literature. Single-crossing elections exhibit a transitive majority relation, from which many important results follow. On the other hand, we show that the classical Debord-McGarvey theorem can still be proven two-crossing, implying that any weighted majority tournament is inducible by a two-crossing election. This shows that many voting rules are NP-hard under two-crossing elections, including Kemeny and Slater. This is in contrast to the single-crossing case and outlines an important complexity boundary between single- and two-crossing. Subsequently, we show that for two-crossing elections the Young scores of all candidates can be computed in polynomial time, by formulating a totally unimodular linear program. Finally, we consider the Chamberlin-Courant rule with arbitrary disutilities and show that a winning committee can be computed in polynomial time, using an approach based on dynamic programming.
△ Less
Submitted 25 June, 2022; v1 submitted 1 May, 2022;
originally announced May 2022.
-
The first Cotangent Cohomology Module for Matroids
Authors:
William Bitsch,
Alexandru Constantinescu
Abstract:
We find a combinatorial formula which computes the first cotangent cohomology module of Stanley-Reisner rings associated to matroids. For arbitrary simplicial complexes we provide upper bounds for the dimensions of the multigraded components of T^1. For specific degrees we prove that these bounds are reached if and only if the simplicial complex is a matroid, obtaining thus a new characterization…
▽ More
We find a combinatorial formula which computes the first cotangent cohomology module of Stanley-Reisner rings associated to matroids. For arbitrary simplicial complexes we provide upper bounds for the dimensions of the multigraded components of T^1. For specific degrees we prove that these bounds are reached if and only if the simplicial complex is a matroid, obtaining thus a new characterization for matroids. Furthermore, the graded first cotangent cohomology turns out to be a complete invariant for nondiscrete matroids.
△ Less
Submitted 12 April, 2022;
originally announced April 2022.
-
Statistically equivalent surrogate material models and the impact of random imperfections on elasto-plastic response
Authors:
Ustim Khristenko,
Andrei Constantinescu,
Patrick Le Tallec,
Barbara Wohlmuth
Abstract:
Manufactured materials usually contain random imperfections due to the fabrication process, e.g., the 3D-printing, casting, etc. These imperfections affect significantly the effective material properties and result in uncertainties in the mechanical response. Numerical analysis of the effects of the imperfections and the uncertainty quantification (UQ) can be often done by use of digital stochasti…
▽ More
Manufactured materials usually contain random imperfections due to the fabrication process, e.g., the 3D-printing, casting, etc. These imperfections affect significantly the effective material properties and result in uncertainties in the mechanical response. Numerical analysis of the effects of the imperfections and the uncertainty quantification (UQ) can be often done by use of digital stochastic surrogate material models. In this work, we present a new flexible class of surrogate models depending on a small number of parameters with special focus on two-phase materials. The surrogate models are constructed as the level-set of a linear combination of an intensity field representing the topological shape and a Gaussian perturbation representing the imperfections. The mathematical design parameters of the model are related to physical ones and thus easy to interpret. The calibration of the model parameters is performed using progressive batching sub-sampled quasi-Newton minimization, using a designed distance measure between the synthetic samples and the data. Then, employing a fast sampling algorithm, an arbitrary number of synthetic samples can be generated to use in Monte Carlo type methods. In particular, we illustrate the method in application to UQ of the elasto-plastic response of an imperfect octet-truss lattice which plays an important role in additive manufacturing. To this end, we study the effective material properties of the lattice unit cell under elasto-plastic deformations and investigate the sensitivity of the effective Young's modulus to the imperfections.
△ Less
Submitted 15 February, 2022; v1 submitted 10 December, 2021;
originally announced December 2021.
-
Trans4Trans: Efficient Transformer for Transparent Object and Semantic Scene Segmentation in Real-World Navigation Assistance
Authors:
Jiaming Zhang,
Kailun Yang,
Angela Constantinescu,
Kunyu Peng,
Karin Müller,
Rainer Stiefelhagen
Abstract:
Transparent objects, such as glass walls and doors, constitute architectural obstacles hindering the mobility of people with low vision or blindness. For instance, the open space behind glass doors is inaccessible, unless it is correctly perceived and interacted with. However, traditional assistive technologies rarely cover the segmentation of these safety-critical transparent objects. In this pap…
▽ More
Transparent objects, such as glass walls and doors, constitute architectural obstacles hindering the mobility of people with low vision or blindness. For instance, the open space behind glass doors is inaccessible, unless it is correctly perceived and interacted with. However, traditional assistive technologies rarely cover the segmentation of these safety-critical transparent objects. In this paper, we build a wearable system with a novel dual-head Transformer for Transparency (Trans4Trans) perception model, which can segment general- and transparent objects. The two dense segmentation results are further combined with depth information in the system to help users navigate safely and assist them to negotiate transparent obstacles. We propose a lightweight Transformer Parsing Module (TPM) to perform multi-scale feature interpretation in the transformer-based decoder. Benefiting from TPM, the double decoders can perform joint learning from corresponding datasets to pursue robustness, meanwhile maintain efficiency on a portable GPU, with negligible calculation increase. The entire Trans4Trans model is constructed in a symmetrical encoder-decoder architecture, which outperforms state-of-the-art methods on the test sets of Stanford2D3D and Trans10K-v2 datasets, obtaining mIoU of 45.13% and 75.14%, respectively. Through a user study and various pre-tests conducted in indoor and outdoor scenes, the usability and reliability of our assistive system have been extensively verified. Meanwhile, the Tran4Trans model has outstanding performances on driving scene datasets. On Cityscapes, ACDC, and DADA-seg datasets corresponding to common environments, adverse weather, and traffic accident scenarios, mIoU scores of 81.5%, 76.3%, and 39.2% are obtained, demonstrating its high efficiency and robustness for real-world transportation applications.
△ Less
Submitted 20 August, 2021;
originally announced August 2021.
-
Trans4Trans: Efficient Transformer for Transparent Object Segmentation to Help Visually Impaired People Navigate in the Real World
Authors:
Jiaming Zhang,
Kailun Yang,
Angela Constantinescu,
Kunyu Peng,
Karin Müller,
Rainer Stiefelhagen
Abstract:
Common fully glazed facades and transparent objects present architectural barriers and impede the mobility of people with low vision or blindness, for instance, a path detected behind a glass door is inaccessible unless it is correctly perceived and reacted. However, segmenting these safety-critical objects is rarely covered by conventional assistive technologies. To tackle this issue, we construc…
▽ More
Common fully glazed facades and transparent objects present architectural barriers and impede the mobility of people with low vision or blindness, for instance, a path detected behind a glass door is inaccessible unless it is correctly perceived and reacted. However, segmenting these safety-critical objects is rarely covered by conventional assistive technologies. To tackle this issue, we construct a wearable system with a novel dual-head Transformer for Transparency (Trans4Trans) model, which is capable of segmenting general and transparent objects and performing real-time wayfinding to assist people walking alone more safely. Especially, both decoders created by our proposed Transformer Parsing Module (TPM) enable effective joint learning from different datasets. Besides, the efficient Trans4Trans model composed of symmetric transformer-based encoder and decoder, requires little computational expenses and is readily deployed on portable GPUs. Our Trans4Trans model outperforms state-of-the-art methods on the test sets of Stanford2D3D and Trans10K-v2 datasets and obtains mIoU of 45.13% and 75.14%, respectively. Through various pre-tests and a user study conducted in indoor and outdoor scenarios, the usability and reliability of our assistive system have been extensively verified.
△ Less
Submitted 20 August, 2021; v1 submitted 7 July, 2021;
originally announced July 2021.
-
Proportional Representation under Single-Crossing Preferences Revisited
Authors:
Andrei Constantinescu,
Edith Elkind
Abstract:
We study the complexity of determining a winning committee under the Chamberlin--Courant voting rule when voters' preferences are single-crossing on a line, or, more generally, on a median graph (this class of graphs includes, e.g., trees and grids). For the line, Skowron et al. (2015) describe an $O(n^2mk)$ algorithm (where $n$, $m$, $k$ are the number of voters, the number of candidates and the…
▽ More
We study the complexity of determining a winning committee under the Chamberlin--Courant voting rule when voters' preferences are single-crossing on a line, or, more generally, on a median graph (this class of graphs includes, e.g., trees and grids). For the line, Skowron et al. (2015) describe an $O(n^2mk)$ algorithm (where $n$, $m$, $k$ are the number of voters, the number of candidates and the committee size, respectively); we show that a simple tweak improves the time complexity to $O(nmk)$. We then improve this bound for $k=Ω(\log n)$ by reducing our problem to the $k$-link path problem for DAGs with concave Monge weights, obtaining a $nm2^{O\left(\sqrt{\log k\log\log n}\right)}$ algorithm for the general case and a nearly linear algorithm for the Borda misrepresentation function. For trees, we point out an issue with the algorithm proposed by Clearwater, Puppe and Slinko (2015), and develop a $O(nmk)$ algorithm for this case as well. For grids, we formulate a conjecture about the structure of optimal solutions, and describe a polynomial-time algorithm that finds a winning committee if this conjecture is true; we also explain how to convert this algorithm into a bicriterial approximation algorithm whose correctness does not depend on the conjecture.
△ Less
Submitted 16 October, 2020;
originally announced October 2020.
-
Shape-shifting panel from 3d-printed undulated ribbon lattice
Authors:
Filippo Agnelli,
Michele Tricarico,
Andrei Constantinescu
Abstract:
Materials that change their shape in response to external stimuli opens up new prospects for efficient and versatile design and sha** of three-dimensional objects. Here, we present a novel class of micro-structures exhibiting an extension-bending coupling (EBC) effect, that can be harnessed as an elementary building block for shape-shifting panels. They are built with a single material as a netw…
▽ More
Materials that change their shape in response to external stimuli opens up new prospects for efficient and versatile design and sha** of three-dimensional objects. Here, we present a novel class of micro-structures exhibiting an extension-bending coupling (EBC) effect, that can be harnessed as an elementary building block for shape-shifting panels. They are built with a single material as a network of undulated ribbons. The deformations mechanisms of both single and connected undulated ribbons are analysed using the finite element method to explain the main features of the EBC mechanism. For a particular micro-structure of the proposed class, the complete elastic stiffness tensor is computed combining two-scale homogenization with Kirchhoff-Love plate theory. The range of achievable EBC ratio is then assessed with respect to the geometric parameters of the unit cell. Patterned specimens are manufactured using a commercial FFF Ultimaker 3-d printer and are mechanically tested at finite strain up to 20%. The displacement measured by point tracking match the predictions from the finite element simulations and indicate that the structure maintain its properties at finite strain. Moreover, a tensile test load with point-like boundary is proposed to highlight exceptional out of plane displacement. We envision these structures to be leveraged in combination with responsive materials for the actuation of soft robots, compliant systems and reconfigurable structures, as alternatives to external mechanical motors, control systems and power devices.
△ Less
Submitted 21 September, 2020;
originally announced September 2020.
-
Characterization of Gravitational Waves Signals Using Neural Networks
Authors:
A. Caramete,
A. I. Constantinescu,
L. I. Caramete,
T. Popescu,
R. A. Balasov,
D. Felea,
M. V. Rusu,
P. Stefanescu,
O. M. Tintareanu
Abstract:
Gravitational wave astronomy has been already a well-established research domain for many years. Moreover, after the detection by LIGO/Virgo collaboration, in 2017, of the first gravitational wave signal emitted during the collision of a binary neutron star system, that was accompanied by the detection of other types of signals coming from the same event, multi-messenger astronomy has claimed its…
▽ More
Gravitational wave astronomy has been already a well-established research domain for many years. Moreover, after the detection by LIGO/Virgo collaboration, in 2017, of the first gravitational wave signal emitted during the collision of a binary neutron star system, that was accompanied by the detection of other types of signals coming from the same event, multi-messenger astronomy has claimed its rights more assertively. In this context, it is of great importance in a gravitational wave experiment to have a rapid mechanism of alerting about potential gravitational waves events other observatories capable to detect other types of signals (e.g. in other wavelengths) that are produce by the same event. In this paper, we present the first progress in the development of a neural network algorithm trained to recognize and characterize gravitational wave patterns from signal plus noise data samples. We have implemented two versions of the algorithm, one that classifies the gravitational wave signals into 2 classes, and another one that classifies them into 4 classes, according to the mass ratio of the emitting source. We have obtained promising results, with 100% training and testing accuracy for the 2-class network and approximately 95% for the 4-class network. We conclude that the current version of the neural network algorithm demonstrates the ability of a well-configured and calibrated Bidirectional Long-Short Term Memory software to classify with very high accuracy and in an extremely short time gravitational wave signals, even when they are accompanied by noise. Moreover, the performance obtained with this algorithm qualifies it as a fast method of data analysis and can be used as a low-latency pipeline for gravitational wave observatories like the future LISA Mission.
△ Less
Submitted 13 September, 2020;
originally announced September 2020.
-
Versality in toric geometry
Authors:
Klaus Altmann,
Alexandru Constantinescu,
Matej Filip
Abstract:
We study deformations of affine toric varieties. The entire deformation theory of these singularities is encoded by the so-called versal deformation. The main goal of our paper is to construct the homogeneous part of some degree -R of this, i.e. a maximal deformation with prescribed tangent space T^1(-R) for a given character R. To this aim we use the polyhedron obtained by cutting the rational co…
▽ More
We study deformations of affine toric varieties. The entire deformation theory of these singularities is encoded by the so-called versal deformation. The main goal of our paper is to construct the homogeneous part of some degree -R of this, i.e. a maximal deformation with prescribed tangent space T^1(-R) for a given character R. To this aim we use the polyhedron obtained by cutting the rational cone defining the affine singularity with the hyperplane defined by [R=1]. Under some length assumptions on the edges of this polyhedron, we provide the versal deformation for primitive degrees R.
△ Less
Submitted 10 June, 2022; v1 submitted 4 May, 2020;
originally announced May 2020.
-
Systematic two-scale image analysis of extreme deformations in soft architectured sheets
Authors:
Filippo Agnelli,
Pierre Margerit,
Paolo Celli,
Chiara Daraio,
Andrei Constantinescu
Abstract:
The multi-scale nature of architectured materials raises the need for advanced experimental methods suitable for the identification of their effective properties, especially when their size is finite and they undergo extreme deformations. The present work demonstrates that state-of-the art image processing methods combined with numerical and analytical models provide a comprehensive quantitative d…
▽ More
The multi-scale nature of architectured materials raises the need for advanced experimental methods suitable for the identification of their effective properties, especially when their size is finite and they undergo extreme deformations. The present work demonstrates that state-of-the art image processing methods combined with numerical and analytical models provide a comprehensive quantitative description of these solids and their global behaviour, including the influence of the boundary conditions, of the manufacturing process, and of geometric and constitutive non-linearities. To this end, an adapted multi-scale digital image correlation analysis is used to track both elongations and rotations of particular features of the unit cell at the local and global (homogenized) scale of the material. This permits to observe with unprecedented clarity the strains for various unit cells in the structure and to detect global deformation patterns and heterogeneities of the homogenized strain distribution. This method is here demonstrated on elastic sheets undergoing extreme longitudinal and shear deformations. These experimental results are compared to non-linear finite element simulations, which are also used to evaluate the effects of manufacturing imperfections on the response. A skeletal representation of the architectured solid is then extracted from the experiments and used to create a purely-kinematic truss-hinge model that can accurately capture its behaviour. The analysis proposed in this work can be extended to guide the design of two-dimensional architectured solids featuring other regular, quasi-regular or graded patterns, and subjected to other types of loads.
△ Less
Submitted 3 August, 2020; v1 submitted 30 April, 2020;
originally announced April 2020.
-
Polyhedra, lattice structures, and extensions of semigroups
Authors:
Klaus Altmann,
Alexandru Constantinescu,
Matej Filip
Abstract:
For an arbitrary rational polyhedron we consider its decompositions into Minkowski summands and, dual to this, the free extensions of the associated pair of semigroups. Being free for the pair of semigroups is equivalent to flatness for the corresponding algebras. Our main result is phrased in this dual setup: the category of free extensions always contains an initial object, which we describe exp…
▽ More
For an arbitrary rational polyhedron we consider its decompositions into Minkowski summands and, dual to this, the free extensions of the associated pair of semigroups. Being free for the pair of semigroups is equivalent to flatness for the corresponding algebras. Our main result is phrased in this dual setup: the category of free extensions always contains an initial object, which we describe explicitly. These objects seem to be related to unique liftings in log geometry. Further motivation comes from the deformation theory of the associated toric singularity.
△ Less
Submitted 15 April, 2020;
originally announced April 2020.
-
A statistical framework for generating microstructures of two-phase random materials: application to fatigue analysis
Authors:
Ustim Khristenko,
Andrei Constantinescu,
Patrick Le Tallec,
J. Tinsley Oden,
Barbara Wohlmuth
Abstract:
Random microstructures of heterogeneous materials play a crucial role in the material macroscopic behavior and in predictions of its effective properties. A common approach to modeling random multiphase materials is to develop so-called surrogate models approximating statistical features of the material. However, the surrogate models used in fatigue analysis usually employ simple microstructure, c…
▽ More
Random microstructures of heterogeneous materials play a crucial role in the material macroscopic behavior and in predictions of its effective properties. A common approach to modeling random multiphase materials is to develop so-called surrogate models approximating statistical features of the material. However, the surrogate models used in fatigue analysis usually employ simple microstructure, consisting of ideal geometries such as ellipsoidal inclusions, which generally does not capture complex geometries. In this paper, we introduce a simple but flexible surrogate microstructure model for two-phase materials through a level-cut of a Gaussian random field with covariance of Matérn class. Such parametrization of the covariance function allows for the representation of a few key design parameters while representing the geometry of inclusions in a more general setting for a large class of random heterogeneous two-phase media. In addition to the traditional morphology descriptors such as porosity, size and aspect ratio, it provides control of the regularity of the inclusions interface and sphericity. These parameters are estimated from a small number of real material images using Bayesian inversion. An efficient process of evaluating the samples, based on the Fast Fourier Transform, makes possible the use of Monte-Carlo methods to estimate statistical properties for the quantities of interest in a given material class. We demonstrate the overall framework of the use of the surrogate material model in application to the uncertainty quantification in fatigue analysis, its feasibility and efficiency, and its role in the microstructure design.
△ Less
Submitted 4 July, 2019;
originally announced July 2019.
-
Singularities and radical initial ideals
Authors:
Alexandru Constantinescu,
Emanuela De Negri,
Matteo Varbaro
Abstract:
What kind of reduced monomial schemes can be obtained as a Gröbner degeneration of a smooth projective variety? Our conjectured answer is: only Stanley-Reisner schemes associated to acyclic Cohen-Macaulay simplicial complexes. This would imply, in particular, that only curves of genus zero have such a degeneration. We prove this conjecture for degrevlex orders, for elliptic curves over real number…
▽ More
What kind of reduced monomial schemes can be obtained as a Gröbner degeneration of a smooth projective variety? Our conjectured answer is: only Stanley-Reisner schemes associated to acyclic Cohen-Macaulay simplicial complexes. This would imply, in particular, that only curves of genus zero have such a degeneration. We prove this conjecture for degrevlex orders, for elliptic curves over real number fields, for boundaries of cross-polytopes, and for leafless graphs. We discuss consequences for rational and F-rational singularities of algebras with straightening laws.
△ Less
Submitted 7 June, 2019;
originally announced June 2019.
-
Design and testing of 3D-printed micro-architectured polymer materials exhibiting a negative Poisson's ratio
Authors:
Filippo Agnelli,
Andrei Constantinescu,
Grigor Nika
Abstract:
This work proposes the complete design cycle for several auxetic materials where the cycle consists of three steps (i) the design of the micro-architecture, (ii) the manufacturing of the material and (iii) the testing of the material. We use topology optimization via a level-set method and asymptotic homogenization to obtain periodic micro-architectured materials with a prescribed effective elasti…
▽ More
This work proposes the complete design cycle for several auxetic materials where the cycle consists of three steps (i) the design of the micro-architecture, (ii) the manufacturing of the material and (iii) the testing of the material. We use topology optimization via a level-set method and asymptotic homogenization to obtain periodic micro-architectured materials with a prescribed effective elasticity tensor and Poisson's ratio. The space of admissible micro-architectural shapes that carries orthotropic material symmetry allows to attain shapes with an effective Poisson's ratio below -1. Moreover, the specimens were manufactured using a commercial stereolithography Ember printer and are mechanically tested. The observed displacement and strain fields during tensile testing obtained by digital image correlation match the predictions from the finite element simulations and demonstrate the efficiency of the design cycle.
△ Less
Submitted 1 March, 2024; v1 submitted 7 September, 2018;
originally announced September 2018.
-
Design of multi-layer materials using inverse homogenization and a level set method
Authors:
Grigor Nika,
Andrei Constantinescu
Abstract:
This work is concerned with the micro-architecture of multi-layer material that globally exhibits desired mechanical properties, for instance a negative apparent Poisson ratio. We use inverse homogenization, the level set method, and the shape derivative in the sense of Hadamard to identify material regions and track boundary changes within the context of the smoothed interface. The level set meth…
▽ More
This work is concerned with the micro-architecture of multi-layer material that globally exhibits desired mechanical properties, for instance a negative apparent Poisson ratio. We use inverse homogenization, the level set method, and the shape derivative in the sense of Hadamard to identify material regions and track boundary changes within the context of the smoothed interface. The level set method and the shape derivative obtained in the smoothed interface context allows to capture, within the unit cell, the optimal micro-geometry. We test the algorithm by computing several multi-layer auxetic micro-structures. The multi-layer approach has the added benefit that contact during movement of adjacent "branches" of the micro-structure can be avoided in order to increase its capacity to withstand larger stresses.
△ Less
Submitted 5 April, 2018;
originally announced April 2018.
-
Gorenstein liaison for toric ideals of graphs
Authors:
Alexandru Constantinescu,
Elisa Gorla
Abstract:
A central question in liaison theory asks whether every Cohen-Macaulay, graded ideal of a standard graded K-algebra belongs to the same G-liaison class of a complete intersection. In this paper we answer this question positively for toric ideals defining edge subrings of bipartite graphs.
A central question in liaison theory asks whether every Cohen-Macaulay, graded ideal of a standard graded K-algebra belongs to the same G-liaison class of a complete intersection. In this paper we answer this question positively for toric ideals defining edge subrings of bipartite graphs.
△ Less
Submitted 13 December, 2017;
originally announced December 2017.
-
Alternative Lagrangians obtained by scalar deformations
Authors:
Oana A. Constantinescu,
Ebtsam H. Taha
Abstract:
We study non-conservative like SODEs admitting explicit Lagrangian descriptions. Such systems are equivalent to the system of Lagrange equations of some Lagrangian $L$, including a covariant force field which represents non-conservative forces. We find necessary and sufficient conditions for the existence of a differentiable function $Φ:\mathbb{R}\rightarrow\mathbb{R}$ such that the initial system…
▽ More
We study non-conservative like SODEs admitting explicit Lagrangian descriptions. Such systems are equivalent to the system of Lagrange equations of some Lagrangian $L$, including a covariant force field which represents non-conservative forces. We find necessary and sufficient conditions for the existence of a differentiable function $Φ:\mathbb{R}\rightarrow\mathbb{R}$ such that the initial system is equivalent to the system of Euler-Lagrange equations of the deformed Lagrangian $Φ(L)$. We give various examples of such deformations.
△ Less
Submitted 18 February, 2019; v1 submitted 4 December, 2017;
originally announced December 2017.
-
A Multimodal Assistive System for Hel** Visually Impaired in Social Interactions
Authors:
M. Saquib Sarfraz,
Angela Constantinescu,
Melanie Zuzej,
Rainer Stiefelhagen
Abstract:
Access to non-verbal cues in social interactions is vital for people with visual impairment. It has been shown that non-verbal cues such as eye contact, number of people, their names and positions are helpful for individuals who are blind. While there is an increasing interest in develo** systems to provide these cues less emphasis has been put in evaluating its impact on the visually impaired u…
▽ More
Access to non-verbal cues in social interactions is vital for people with visual impairment. It has been shown that non-verbal cues such as eye contact, number of people, their names and positions are helpful for individuals who are blind. While there is an increasing interest in develo** systems to provide these cues less emphasis has been put in evaluating its impact on the visually impaired users. In this paper, we provide this analysis by conducting a user study with 12 visually impaired participants in a typical social interaction setting. We design a real time multi-modal system that provides such non-verbal cues via audio and haptic interfaces. The study shows that such systems are generally perceived as useful in social interaction and brings forward some concerns that are not being addressed in its usability aspects. The study provides important insight about develo** such technology for this significant part of society.
△ Less
Submitted 29 November, 2017;
originally announced November 2017.
-
Linear syzygies, hyperbolic Coxeter groups and regularity
Authors:
Alexandru Constantinescu,
Thomas Kahle,
Matteo Varbaro
Abstract:
We show that the virtual cohomological dimension of a Coxeter group is essentially the regularity of the Stanley--Reisner ring of its nerve. Using this connection between geometric group theory and commutative algebra, as well as techniques from the theory of hyperbolic Coxeter groups, we study the behavior of the Castelnuovo--Mumford regularity of square-free quadratic monomial ideals. We constru…
▽ More
We show that the virtual cohomological dimension of a Coxeter group is essentially the regularity of the Stanley--Reisner ring of its nerve. Using this connection between geometric group theory and commutative algebra, as well as techniques from the theory of hyperbolic Coxeter groups, we study the behavior of the Castelnuovo--Mumford regularity of square-free quadratic monomial ideals. We construct examples of such ideals which exhibit arbitrarily high regularity after linear syzygies for arbitrarily many steps. We give a doubly logarithmic bound on the regularity as a function of the number of variables if these ideals are Cohen--Macaulay.
△ Less
Submitted 7 June, 2019; v1 submitted 4 May, 2017;
originally announced May 2017.
-
Genome of Descartes Folium via Normalization
Authors:
Adrian Constantinescu,
Constantin Udriste,
Steluta Pricopie
Abstract:
The Folium of Descartes in $\mathbb{K}\times\mathbb{K}$ carries group laws, defined entirely in terms of algebraic operations over the field $\mathbb{K}$. The problems discussed in this paper include: normalization of Descartes Folium, group laws and morphisms, exotic structures, exotic structures, second exotic structure, some topologies on Descartes Folium, differential structure on Descartes Fo…
▽ More
The Folium of Descartes in $\mathbb{K}\times\mathbb{K}$ carries group laws, defined entirely in terms of algebraic operations over the field $\mathbb{K}$. The problems discussed in this paper include: normalization of Descartes Folium, group laws and morphisms, exotic structures, exotic structures, second exotic structure, some topologies on Descartes Folium, differential structure on Descartes Folium, first isomorphism of algebraic Lie groups over $\mathbb{K}$, second isomorphism of algebraic Lie groups over $\mathbb{K}$, derived structures of algebraic Lie groups, a differential/complex analytic structure on Descartes Folium, Descartes Folium as a topological field, etc. For predicting these terms, we focus on methods that exploit diagram manipulation techniques (as alternatives to algebraic method of proofs). All our results confirm that the Descartes Folium stores natural group structures, unsuspected till now.
△ Less
Submitted 9 February, 2017;
originally announced February 2017.
-
Linear syzygies, flag complexes, and regularity
Authors:
Alexandru Constantinescu,
Thomas Kahle,
Matteo Varbaro
Abstract:
We show that for every positive integer R there exist monomial ideals generated in degree two, with linear syzygies, and regularity of the quotient equal to R. Such examples can not be found among Gorenstein ideals since the regularity of their quotients is at most four. We also show that for most monomial ideals generated in degree two and with linear syzygies the regularity grows at most doubly…
▽ More
We show that for every positive integer R there exist monomial ideals generated in degree two, with linear syzygies, and regularity of the quotient equal to R. Such examples can not be found among Gorenstein ideals since the regularity of their quotients is at most four. We also show that for most monomial ideals generated in degree two and with linear syzygies the regularity grows at most doubly logarithmically in the number of variables.
△ Less
Submitted 16 October, 2014;
originally announced October 2014.
-
Determinantal Schemes and Pure O-sequences
Authors:
Alexandru Constantinescu,
Matey Mateev
Abstract:
We prove that if a standard determinantal scheme is level, then its h-vector is a log-concave pure O-sequence, and conjecture that the converse also holds. Among other cases, we prove the conjecture in codimension two, or when the entries of the corresponding degree matrix are positive. We also find formulae for the h-vector in terms of the degree matrix.
We prove that if a standard determinantal scheme is level, then its h-vector is a log-concave pure O-sequence, and conjecture that the converse also holds. Among other cases, we prove the conjecture in codimension two, or when the entries of the corresponding degree matrix are positive. We also find formulae for the h-vector in terms of the degree matrix.
△ Less
Submitted 5 March, 2014;
originally announced March 2014.
-
Coherent phonon induced optical modulation in semiconductors at terahertz frequencies
Authors:
Muneaki Hase,
Masayuki Katsuragawa,
Anca Monia Constantinescu,
Hrvoje Petek
Abstract:
The coherent modulation of electronic and vibrational nonlinearities in atoms and molecular gases by intense few-cycle pulses has been used for high-harmonic generation in the soft X-ray and attosecond regime, as well as for Raman frequency combs that span multiple octaves from the Terahertz to Petahertz frequency regions. In principle, similar high-order nonlinear processes can be excited efficie…
▽ More
The coherent modulation of electronic and vibrational nonlinearities in atoms and molecular gases by intense few-cycle pulses has been used for high-harmonic generation in the soft X-ray and attosecond regime, as well as for Raman frequency combs that span multiple octaves from the Terahertz to Petahertz frequency regions. In principle, similar high-order nonlinear processes can be excited efficiently in solids and liquids on account of their high nonlinear polarizability densities. In this paper, we demonstrate the phononic modulation of the optical index of Si and GaAs for excitation and probing near their direct band gaps, respectively at ~3.4 eV and ~3.0 eV. The large amplitude coherent longitudinal optical polarization due to the excitation of longitudinal optical (LO) phonon of Si (001) and LO phonon-plasmon coupled modes in GaAs (001) excited by 10-fs laser pulses induces effective amplitude and phase modulation of the reflected probe light. The combined action of the amplitude and phase modulation in Si and GaAs generates phonon frequency combs with more than 100 and 60 THz bandwidth, respectively.
△ Less
Submitted 13 September, 2013;
originally announced September 2013.
-
The birth of a quasiparticle in Si observed in time-frequency space
Authors:
Muneaki Hase,
Masahiro Kitajima,
Anca Monia Constantinescu,
Hrvoje Petek
Abstract:
The concept of quasiparticles in solid-state physics is an extremely powerful way to describe complex many-body phenomena in terms of single particle excitations. Introducing a simple particle such as electron, e, hole, h, or a phonon, p, deforms a many-body system through interaction with other particles. We say the added particle is dressed or renormalized by a self-energy cloud that describes t…
▽ More
The concept of quasiparticles in solid-state physics is an extremely powerful way to describe complex many-body phenomena in terms of single particle excitations. Introducing a simple particle such as electron, e, hole, h, or a phonon, p, deforms a many-body system through interaction with other particles. We say the added particle is dressed or renormalized by a self-energy cloud that describes the response of the many-body system forming a new entity, the quasiparticle. With ultrafast laser techniques we can impulsively generate bare particles and observe their dressing by the many-body interactions, that is quasiparticle formation, on the time and energy scales governed by the Heisenberg uncertainty principle. Here we present the coherent response of Si to excitation with a 10 femtosecond (10-14 s) laser pulse. The optical pulse interacts with the sample via the complex second-order nonlinear susceptibility to generate a force on the lattice driving coherent phonon excitation. Transforming the transient reflectivity signal into frequency-time space by wavelet transform reveals interference effects leading to the coherent phonon generation and subsequent dressing of the phonon by electron-hole, e-h, pair excitations.
△ Less
Submitted 12 September, 2013;
originally announced September 2013.
-
On a conjecture by Kalai
Authors:
Giulio Caviglia,
Alexandru Constantinescu,
Matteo Varbaro
Abstract:
We show that monomial ideals generated in degree two satisfy a conjecture by Eisenbud, Green and Harris. In particular we give a partial answer to a conjecture of Kalai by proving that $h$-vectors of flag Cohen-Macaulay simplicial complexes are $h$-vectors of Cohen-Macaulay balanced simplicial complexes.
We show that monomial ideals generated in degree two satisfy a conjecture by Eisenbud, Green and Harris. In particular we give a partial answer to a conjecture of Kalai by proving that $h$-vectors of flag Cohen-Macaulay simplicial complexes are $h$-vectors of Cohen-Macaulay balanced simplicial complexes.
△ Less
Submitted 15 December, 2012;
originally announced December 2012.
-
Generic and special constructions of pure O-sequences
Authors:
Alexandru Constantinescu,
Thomas Kahle,
Matteo Varbaro
Abstract:
It is shown that the h-vectors of Stanley-Reisner rings of three classes of matroids are pure O-sequences. The classes are (a) matroids that are truncations of other matroids, or more generally of Cohen-Macaulay complexes, (b) matroids whose dual is (rank + 2)-partite, and (c) matroids of Cohen-Macaulay type at most five. Consequences for the computational search for a counterexample to a conjectu…
▽ More
It is shown that the h-vectors of Stanley-Reisner rings of three classes of matroids are pure O-sequences. The classes are (a) matroids that are truncations of other matroids, or more generally of Cohen-Macaulay complexes, (b) matroids whose dual is (rank + 2)-partite, and (c) matroids of Cohen-Macaulay type at most five. Consequences for the computational search for a counterexample to a conjecture of Stanley are discussed.
△ Less
Submitted 9 May, 2014; v1 submitted 14 December, 2012;
originally announced December 2012.
-
h-vectors of matroid complexes
Authors:
Alexandru Constantinescu,
Matteo Varbaro
Abstract:
We partition in classes the set of matroids of fixed dimension on a fixed vertex set. In each class we identify two special matroids, respectively with minimal and maximal h-vector in that class. Such extremal matroids also satisfy a long-standing conjecture of Stanley. As a byproduct of this theory we establish Stanley's conjecture in various cases, for example the case of Cohen-Macaulay type les…
▽ More
We partition in classes the set of matroids of fixed dimension on a fixed vertex set. In each class we identify two special matroids, respectively with minimal and maximal h-vector in that class. Such extremal matroids also satisfy a long-standing conjecture of Stanley. As a byproduct of this theory we establish Stanley's conjecture in various cases, for example the case of Cohen-Macaulay type less than or equal to 3.
△ Less
Submitted 14 December, 2012; v1 submitted 13 December, 2012;
originally announced December 2012.
-
Frequency comb generation at THz frequencies by coherent phonon excitation in Si
Authors:
Muneaki Hase,
Masayuki Katsuragawa,
Anca Monia Constantinescu,
Hrvoje Petek
Abstract:
High-order nonlinear light-matter interactions in gases enable generation of x-ray and attosecond light pulses, metrology, and spectroscopy. Optical nonlinearities in solid-state materials are particularly interesting for combining optical and electronic functions for high-bandwidth information processing. Third-order nonlinear optical processes in silicon have been used to process optical signals…
▽ More
High-order nonlinear light-matter interactions in gases enable generation of x-ray and attosecond light pulses, metrology, and spectroscopy. Optical nonlinearities in solid-state materials are particularly interesting for combining optical and electronic functions for high-bandwidth information processing. Third-order nonlinear optical processes in silicon have been used to process optical signals with greater than 1 GHz bandwidths. Fundamental physical processes for a Si-based optical modulator in the THz bandwidth range, however, have not yet been explored. Here we demonstrate ultrafast phononic modulation of the optical index of Si by irradiation with intense few-cycle femtosecond pulses. The anisotropic reflectivity modulation by the resonant Raman susceptibility at the fundamental frequency of the longitudinal optical (LO) phonon of Si (15.6 THz) generates a frequency comb up to 7th-order. All optical >100 THz frequency comb generation is realized by harnessing the coherent atomic motion of the Si crystalline lattice at its highest mechanical frequency.
△ Less
Submitted 2 October, 2015; v1 submitted 5 November, 2012;
originally announced November 2012.
-
Veronese Algebras and Modules of Rings with Straightening Laws
Authors:
Alexandru Constantinescu
Abstract:
Do the Veronese rings of an algebra with straightening laws (ASL) still have an ASL structure? We give positive answers to this question in some particular cases, namely for the second Veronese algebra of Hibi rings and of discrete ASLs. We also prove that the Veronese modules of the polynomial ring have a structure of module with straightening laws. In dimension at most three we present a poset c…
▽ More
Do the Veronese rings of an algebra with straightening laws (ASL) still have an ASL structure? We give positive answers to this question in some particular cases, namely for the second Veronese algebra of Hibi rings and of discrete ASLs. We also prove that the Veronese modules of the polynomial ring have a structure of module with straightening laws. In dimension at most three we present a poset construction that has the required combinatorial properties to support such a structure.
△ Less
Submitted 13 January, 2012;
originally announced January 2012.
-
Parametrizations of Ideals in K[x,y] and K[x,y,z]
Authors:
Alexandru Constantinescu
Abstract:
We parametrize the affine space of Artinian affine ideals of K[x,y] which have a given initial ideal with respect to the degree reverse lexicographic term order. The fact that the term order is degree compatible allows us to extend the parametrization to the projective case, namely zero-dimensional subschemes of the projective plane, with some extra assumption and to determine the Betti strata of…
▽ More
We parametrize the affine space of Artinian affine ideals of K[x,y] which have a given initial ideal with respect to the degree reverse lexicographic term order. The fact that the term order is degree compatible allows us to extend the parametrization to the projective case, namely zero-dimensional subschemes of the projective plane, with some extra assumption and to determine the Betti strata of these Groebner cells. This allows us to prove a formula due to A. Iarrobino for the codimension of the Betti strata of codimension two punctual schemes in the projective plane.
△ Less
Submitted 13 January, 2012;
originally announced January 2012.
-
Koszulness, Krull Dimension and Other Properties of Graph-Related Algebras
Authors:
Alexandru Constantinescu,
Matteo Varbaro
Abstract:
The algebra of basic covers of a graph G, denoted by \A(G), was introduced by Juergen Herzog as a suitable quotient of the vertex cover algebra. In this paper we show that if the graph is bipartite then \A(G) is a homogeneous algebra with straightening laws and thus is Koszul. Furthermore, we compute the Krull dimension of \A(G) in terms of the combinatorics of G. As a consequence we get new uppe…
▽ More
The algebra of basic covers of a graph G, denoted by \A(G), was introduced by Juergen Herzog as a suitable quotient of the vertex cover algebra. In this paper we show that if the graph is bipartite then \A(G) is a homogeneous algebra with straightening laws and thus is Koszul. Furthermore, we compute the Krull dimension of \A(G) in terms of the combinatorics of G. As a consequence we get new upper bounds on the arithmetical rank of monomial ideals of pure codimension 2. Finally, we characterize the Cohen-Macaulay property and the Castelnuovo-Mumford regularity of the edge ideal of a certain class of graphs.
△ Less
Submitted 28 April, 2010;
originally announced April 2010.
-
On the h-vectors of Cohen-Macaulay Flag Complexes
Authors:
Alexandru Constantinescu,
Matteo Varbaro
Abstract:
Starting from an unpublished conjecture of Kalai and from a conjecture of Eisenbud, Green and Harris, we study several problems relating h-vectors of Cohen-Macaulay, flag simplicial complexes and face vectors of simplicial complexes.
Starting from an unpublished conjecture of Kalai and from a conjecture of Eisenbud, Green and Harris, we study several problems relating h-vectors of Cohen-Macaulay, flag simplicial complexes and face vectors of simplicial complexes.
△ Less
Submitted 16 September, 2011; v1 submitted 1 April, 2010;
originally announced April 2010.
-
The standard graded property for vertex cover algebras of Quasi-Trees
Authors:
Alexandru Constantinescu,
Le Dinh Nam
Abstract:
J. Herzog, T. Hibi, N. V. Trung and X. Zheng characterize the vertex cover algebras which are standard graded. In this paper we give a simple combinatorial criterion for the standard graded property of vertex cover algebras in the case of quasi-trees. We also give an example of how this criterion works and compute the maximal degree of a minimal generator in that case.
J. Herzog, T. Hibi, N. V. Trung and X. Zheng characterize the vertex cover algebras which are standard graded. In this paper we give a simple combinatorial criterion for the standard graded property of vertex cover algebras in the case of quasi-trees. We also give an example of how this criterion works and compute the maximal degree of a minimal generator in that case.
△ Less
Submitted 3 March, 2009;
originally announced March 2009.
-
Dimension, depth and zero-divisors of the algebra of basic $k$-covers of a graph
Authors:
Bruno Benedetti,
Alexandru Constantinescu,
Matteo Varbaro
Abstract:
We study the basic $k$-covers of a bipartite graph $G$; the algebra $\AG$ they span, first studied by Herzog, is the fiber cone of the Alexander dual of the edge ideal. We characterize when $\AG$ is a domain in terms of the combinatorics of $G$; if follows from a result of Hochster that when $\AG$ is a domain, it is also Cohen-Macaulay. We then study the dimension of $\AG$ by introducing a geome…
▽ More
We study the basic $k$-covers of a bipartite graph $G$; the algebra $\AG$ they span, first studied by Herzog, is the fiber cone of the Alexander dual of the edge ideal. We characterize when $\AG$ is a domain in terms of the combinatorics of $G$; if follows from a result of Hochster that when $\AG$ is a domain, it is also Cohen-Macaulay. We then study the dimension of $\AG$ by introducing a geometric invariant of bipartite graphs, the "graphical dimension". We show that the graphical dimension of $G$ is not larger than $\dim(\AG)$, and equality holds in many cases (e.g. when $G$ is a tree, or a cycle). Finally, we discuss applications of this theory to the arithmetical rank.
△ Less
Submitted 25 January, 2009;
originally announced January 2009.
-
Hilbert Function and Betti Numbers of Algebras with Lefschetz Property of Order m
Authors:
Alexandru Constantinescu
Abstract:
The authors T.Harima, J.C.Migliore, U.Nagel and J.Watanabe characterized the Hilbert function of algbebras with the Lefschetz property. We extend this characterization to algebras with the Lefschetz property m times. We also give upper bounds for the Betti numbers of Artinian algebras with a given Hilbert function and with the Lefschetz property m times and describe the cases in which these boun…
▽ More
The authors T.Harima, J.C.Migliore, U.Nagel and J.Watanabe characterized the Hilbert function of algbebras with the Lefschetz property. We extend this characterization to algebras with the Lefschetz property m times. We also give upper bounds for the Betti numbers of Artinian algebras with a given Hilbert function and with the Lefschetz property m times and describe the cases in which these bounds are reached.
△ Less
Submitted 19 July, 2007; v1 submitted 16 July, 2007;
originally announced July 2007.
-
Failure of the local density approximation in time-dependent spin density functional theory
Authors:
Z. Qian,
A. Constantinescu,
G. Vignale
Abstract:
It has been known for some time that the exchange-correlation potential in time-dependent density functional theory is an intrinsically nonlocal functional of the density as soon as one goes beyond the adiabatic approximation. In this paper we show that a much more severe nonlocality problem, with a completely different physical origin, plagues the exchange-correlation potentials in time-depende…
▽ More
It has been known for some time that the exchange-correlation potential in time-dependent density functional theory is an intrinsically nonlocal functional of the density as soon as one goes beyond the adiabatic approximation. In this paper we show that a much more severe nonlocality problem, with a completely different physical origin, plagues the exchange-correlation potentials in time-dependent spin density functional theory. We show how the use of the spin current density as the basic variable solves this problem, and we provide an explicit local expression for the exchange-correlation fields as functionals of the spin currents.
△ Less
Submitted 10 September, 2002;
originally announced September 2002.