Showing 1–50 of 76 results for author: Elias, J

Redundancy Parameterization of the ABB YuMi Robot Arm

Authors: Alexander J. Elias, John T. Wen

Abstract: The ABB YuMi is a 7-DOF collaborative robot arm with a complex, redundant kinematic structure. Path planning for the YuMi is challenging, especially with joint limits considered. The redundant degree of freedom is parameterized by the Shoulder-Elbow-Wrist (SEW) angle, called the arm angle by ABB, but the exact definition must be known for path planning outside the RobotStudio simulator. We provide… ▽ More The ABB YuMi is a 7-DOF collaborative robot arm with a complex, redundant kinematic structure. Path planning for the YuMi is challenging, especially with joint limits considered. The redundant degree of freedom is parameterized by the Shoulder-Elbow-Wrist (SEW) angle, called the arm angle by ABB, but the exact definition must be known for path planning outside the RobotStudio simulator. We provide the first complete and validated definition of the SEW angle used for the YuMi. It follows the conventional SEW angle formulation with the shoulder-elbow direction chosen to be the direction of the fourth joint axis. Our definition also specifies the shoulder location, making it compatible with any choice of reference vector. A previous attempt to define the SEW angle exists in the literature, but it is incomplete and deviates from the behavior observed in RobotStudio. Because our formulation fits within the general SEW angle framework, we also obtain the expression for the SEW angle Jacobian and complete numerical conditions for all algorithmic singularities. Finally, we demonstrate using IK-Geo, our inverse kinematics (IK) solver based on subproblem decomposition, to find all IK solutions using 2D search. Code examples are available in a publicly accessible repository. △ Less

Submitted 29 May, 2025; originally announced May 2025.

Comments: 8 pages, 5 figures

First Measurement of the Electron Neutrino Charged-Current Pion Production Cross Section on Carbon with the T2K Near Detector

Authors: K. Abe, S. Abe, R. Akutsu, H. Alarakia-Charles, Y. I. Alj Hakim, S. Alonso Monsalve, L. Anthony, S. Aoki, K. A. Apte, T. Arai, T. Arihara, S. Arimoto, E. T. Atkin, N. Babu, V. Baranov, G. J. Barker, G. Barr, D. Barrow, P. Bates, L. Bathe-Peters, M. Batkiewicz-Kwasniak, N. Baudis, V. Berardi, L. Berns, S. Bhattacharjee , et al. (371 additional authors not shown)

Abstract: The T2K Collaboration presents the first measurement of electron neutrino-induced charged-current pion production on carbon in a restricted kinematical phase space. This is performed using data from the 2.5$^°$ off-axis near detector, ND280. The differential cross sections with respect to the outgoing electron and pion kinematics, in addition to the total flux-integrated cross section, are obtai… ▽ More The T2K Collaboration presents the first measurement of electron neutrino-induced charged-current pion production on carbon in a restricted kinematical phase space. This is performed using data from the 2.5$^°$ off-axis near detector, ND280. The differential cross sections with respect to the outgoing electron and pion kinematics, in addition to the total flux-integrated cross section, are obtained. Comparisons between the measured and predicted cross section results using the Neut, Genie and NuWro Monte Carlo event generators are presented. The measured total flux-integrated cross section is [2.52 $\pm$ 0.52 (stat) $\pm$ 0.30 (sys)] x $10^{-39}$ cm$^2$ nucleon$^{-1}$, which is lower than the event generator predictions. △ Less

Submitted 1 May, 2025; originally announced May 2025.

Comments: 8 pages, 2 figures. Data release: https://zenodo.org/records/15316318

Simulating Heterogeneity within Elastic and Inelastic Discrete Mechanical Models

Authors: Jan Raisinger, Qiwei Zhang, John E. Bolander, Jan Eliáš

Abstract: The study investigates the elastic and fracture behaviors of discrete, elastically homogeneous models of heterogeneous media. The homogeneity is accomplished either by volumetric-deviatoric decomposition of constitutive function or by an auxiliary stress homogenization method. The elastic parameters of the homogenized material models are randomly varied in space to introduce heterogeneity independ… ▽ More The study investigates the elastic and fracture behaviors of discrete, elastically homogeneous models of heterogeneous media. The homogeneity is accomplished either by volumetric-deviatoric decomposition of constitutive function or by an auxiliary stress homogenization method. The elastic parameters of the homogenized material models are randomly varied in space to introduce heterogeneity independently of the geometric properties of the discrete model. Several forms of randomization are investigated using statistical properties of nodal stress oscillations in periodic representative volume elements (RVEs). It is found that the stress oscillations present in discrete models built on heterogeneous geometric structures with standard constitutive models cannot be replicated by randomization of the elastically homogeneous discrete system. The marginal distributions as well as dependencies between stress tensor components cannot be adequately matched. With respect to quasi-brittle fracture behavior, the macroscopic response of the different models is studied for the load case of uniaxial tension. The elastically homogenized material provides higher peak stress occurring at lower strain levels and a steeper softening phase, compared to the standard material. Randomization of the elastic material parameters, as well as adjustment of inelastic material parameters, brings the macroscopic response of the homogenized material close to that of the standard material, although the damage distribution prior to the strain localization differs. These findings provide insight into the potential for controlled, random assignment of heterogeneity in homogeneous models, using physically-based discretizations of material structure with standard constitutive models for comparison. △ Less

Submitted 29 April, 2025; originally announced April 2025.

Comments: 24 pages, 11 figures

First differential measurement of the single $\mathbfπ^+$ production cross section in neutrino neutral-current scattering

Authors: K. Abe, S. Abe, R. Akutsu, H. Alarakia-Charles, Y. I. Alj Hakim, S. Alonso Monsalve, L. Anthony, S. Aoki, K. A. Apte, T. Arai, T. Arihara, S. Arimoto, N. Babu, V. Baranov, G. J. Barker, G. Barr, D. Barrow, P. Bates, L. Bathe-Peters, M. Batkiewicz-Kwasniak, N. Baudis, V. Berardi, L. Berns, S. Bhattacharjee, A. Blanchet , et al. (338 additional authors not shown)

Abstract: Since its first observation in the 1970s, neutrino-induced neutral-current single positive pion production (NC1$π^+$) has remained an elusive and poorly understood interaction channel. This process is a significant background in neutrino oscillation experiments and studying it further is critical for the physics program of next-generation accelerator-based neutrino oscillation experiments. In this… ▽ More Since its first observation in the 1970s, neutrino-induced neutral-current single positive pion production (NC1$π^+$) has remained an elusive and poorly understood interaction channel. This process is a significant background in neutrino oscillation experiments and studying it further is critical for the physics program of next-generation accelerator-based neutrino oscillation experiments. In this Letter we present the first double-differential cross-section measurement of NC1$π^+$ interactions using data from the ND280 detector of the T2K experiment collected in $ν$-beam mode. We compare the results on a hydrocarbon target to the predictions of several neutrino interaction generators and final-state interaction models. While model predictions agree with the differential results, the data shows a weak preference for a cross-section normalization approximately 30\% higher than predicted by most models studied in this Letter. △ Less

Submitted 11 March, 2025; v1 submitted 9 March, 2025; originally announced March 2025.

Signal selection and model-independent extraction of the neutrino neutral-current single $π^+$ cross section with the T2K experiment

Authors: K. Abe, S. Abe, R. Akutsu, H. Alarakia-Charles, Y. I. Alj Hakim, S. Alonso Monsalve, L. Anthony, S. Aoki, K. A. Apte, T. Arai, T. Arihara, S. Arimoto, N. Babu, V. Baranov, G. J. Barker, G. Barr, D. Barrow, P. Bates, L. Bathe-Peters, M. Batkiewicz-Kwasniak, N. Baudis, V. Berardi, L. Berns, S. Bhattacharjee, A. Blanchet , et al. (338 additional authors not shown)

Abstract: This article presents a study of single $π^+$ production in neutrino neutral-current interactions (NC1$π^+$) using the ND280 detector of the T2K experiment. We report the largest sample of such events selected by any experiment, providing the first new data for this channel in over four decades and the first using a sub-GeV neutrino flux. The signal selection strategy and its performance are detai… ▽ More This article presents a study of single $π^+$ production in neutrino neutral-current interactions (NC1$π^+$) using the ND280 detector of the T2K experiment. We report the largest sample of such events selected by any experiment, providing the first new data for this channel in over four decades and the first using a sub-GeV neutrino flux. The signal selection strategy and its performance are detailed together with validations of a robust cross section extraction methodology. The measured flux-averaged integrated cross-section is $ σ= (6.07 \pm 1.22 )\times 10^{-41} \,\, \text{cm}^2/\text{nucleon}$, 1.3~$σ~$ above the NEUT v5.4.0 expectation. △ Less

Submitted 11 March, 2025; v1 submitted 9 March, 2025; originally announced March 2025.

Matrix factorization and the generic plane projection of curve a singularity

Authors: Joan Elias

Abstract: We study the matrix factorizations defined by the generic plane projections of a curve singularity of $\mathbb{C}^3$. On the other hand, given a plane curve singularity $Y\subset \mathbb{C}^2$ we study the family of matrix factorizations defined by the space curve singularities $X\subset \mathbb{C}^3$ such that $Y$ is the generic plane projection of $X$. We study the matrix factorizations defined by the generic plane projections of a curve singularity of $\mathbb{C}^3$. On the other hand, given a plane curve singularity $Y\subset \mathbb{C}^2$ we study the family of matrix factorizations defined by the space curve singularities $X\subset \mathbb{C}^3$ such that $Y$ is the generic plane projection of $X$. △ Less

Submitted 31 January, 2025; originally announced January 2025.

Comments: To appear in Vietnam Journal of Mathematics

Path Planning and Optimization for Cuspidal 6R Manipulators

Authors: Alexander J. Elias, John T. Wen

Abstract: A cuspidal robot can move from one inverse kinematics (IK) solution to another without crossing a singularity. Multiple industrial robots are cuspidal. They tend to have a beautiful mechanical design, but they pose path planning challenges. A task-space path may have a valid IK solution for each point along the path, but a continuous joint-space path may depend on the choice of the IK solution or… ▽ More A cuspidal robot can move from one inverse kinematics (IK) solution to another without crossing a singularity. Multiple industrial robots are cuspidal. They tend to have a beautiful mechanical design, but they pose path planning challenges. A task-space path may have a valid IK solution for each point along the path, but a continuous joint-space path may depend on the choice of the IK solution or even be infeasible. This paper presents new analysis, path planning, and optimization methods to enhance the utility of cuspidal robots. We first demonstrate an efficient method to identify cuspidal robots and show, for the first time, that the ABB GoFa and certain robots with three parallel joint axes are cuspidal. We then propose a new path planning method for cuspidal robots by finding all IK solutions for each point along a task-space path and constructing a graph to connect each vertex corresponding to an IK solution. Graph edges have a weight based on the optimization metric, such as minimizing joint velocity. The optimal feasible path is the shortest path in the graph. This method can find non-singular paths as well as smooth paths which pass through singularities. Finally, we incorporate this path planning method into a path optimization algorithm. Given a fixed workspace toolpath, we optimize the offset of the toolpath in the robot base frame while ensuring continuous joint motion. Code examples are available in a publicly accessible repository. △ Less

Submitted 29 April, 2025; v1 submitted 30 January, 2025; originally announced January 2025.

Comments: 11 pages, 11 figures. Update 1: Expanded background, clarified methods, expanded conclusion, improved readability

Application of $J$-Integral to a Random Elastic Medium

Authors: Jan Eliáš, Josef Martinásek, Jia-Liang Le

Abstract: This study investigates the use of the $J$-integral to compute the statistics of the energy release rate of a random elastic medium. The spatial variability of the elastic modulus is modeled as a homogeneous lognormal random field. Within the framework of Monte Carlo simulation, a modified contour integral is applied to evaluate the first and second statistical moments of the energy release rate.… ▽ More This study investigates the use of the $J$-integral to compute the statistics of the energy release rate of a random elastic medium. The spatial variability of the elastic modulus is modeled as a homogeneous lognormal random field. Within the framework of Monte Carlo simulation, a modified contour integral is applied to evaluate the first and second statistical moments of the energy release rate. These results are compared with the energy release rate calculated from the potential energy function. The comparison shows that, if the random field of elastic modulus is homogeneous in space, the path independence of the classical $J$-integral remains valid for calculating the mean energy release rate. However, this path independence does not extend to the higher order statistical moments. The simulation further reveals the effect of the correlation length of the spatially varying elastic modulus on the energy release rate of the specimen. △ Less

Submitted 6 January, 2025; originally announced January 2025.

Comments: 10 pages, 4 figures, 3 tables

Journal ref: Journal of Applied Mechanics - ASME 92(3), article 031006, 2025, ISSN: 0021-8936

Macroscopic stress, couple stress and flux tensors derived through energetic equivalence from microscopic continuous and discrete heterogeneous finite representative volumes

Authors: Jan Eliáš, Gianluca Cusatis

Abstract: This paper presents a rigorous derivation of equations to evaluate the macroscopic stress tensor, the couple stress tensor, and the flux vector equivalent to underlying microscopic fields in continuous and discrete heterogeneous systems with independent displacements and rotations. Contrary to the classical asymptotic expansion homogenization, finite size representative volume is considered. First… ▽ More This paper presents a rigorous derivation of equations to evaluate the macroscopic stress tensor, the couple stress tensor, and the flux vector equivalent to underlying microscopic fields in continuous and discrete heterogeneous systems with independent displacements and rotations. Contrary to the classical asymptotic expansion homogenization, finite size representative volume is considered. First, the macroscopic quantities are derived for a heterogeneous Cosserat continuum. The resulting continuum equations are discretized to provide macroscopic quantities in discrete heterogeneous systems. Finally, the expressions for discrete system are derived once again, this time considering the discrete nature directly. The formulations are presented in two variants, considering either internal or external forces, couples, and fluxes. The derivation is based on the virtual work equivalence and elucidates the fundamental significance of the couple stress tensor in the context of balance equations and admissible virtual deformation modes. Notably, an additional term in the couple stress tensor formula emerges, explaining its dependence on the reference system and position of the macroscopic point. The resulting equations are verified by comparing their predictions with known analytical solutions and results of other numerical models under both steady state and transient conditions. △ Less

Submitted 30 December, 2024; v1 submitted 17 December, 2024; originally announced December 2024.

Comments: 26 pages, 15 figures

Journal ref: Computer Methods in Applied Mechanics and Engineering 436, article 117688, 2025, ISSN: 0045-7825

Almost finitely generated inverse systems and reduced k-algebras

Authors: Joan Elias, Maria Evelina Rossi

Abstract: The purpose of this paper is to characterize one-dimensional local domains, or more in general reduced, in terms of its Macaulay's inverse system. This leads to study almost finitely generated modules in the divided power ring. We specialize the results to a numerical semigroup ring by computing explicitly its inverse system. In the graded case we characterize reduced arithmetically Gorenstein… ▽ More The purpose of this paper is to characterize one-dimensional local domains, or more in general reduced, in terms of its Macaulay's inverse system. This leads to study almost finitely generated modules in the divided power ring. We specialize the results to a numerical semigroup ring by computing explicitly its inverse system. In the graded case we characterize reduced arithmetically Gorenstein $0$-dimensional schemes. △ Less

Submitted 5 November, 2024; originally announced November 2024.

Journal ref: Contemporary Mathematics. Volume 805, 2024

Characterization of the optical model of the T2K 3D segmented plastic scintillator detector

Authors: S. Abe, I. Alekseev, T. Arai, T. Arihara, S. Arimoto, N. Babu, V. Baranov, L. Bartoszek, L. Berns, S. Bhattacharjee, A. Blondel, A. V. Boikov, M. Buizza-Avanzini, J. Capó, J. Cayo, J. Chakrani, P. S. Chong, A. Chvirova, M. Danilov, C. Davis, Yu. I. Davydov, A. Dergacheva, N. Dokania, D. Douqa, T. A. Doyle , et al. (106 additional authors not shown)

Abstract: The magnetised near detector (ND280) of the T2K long-baseline neutrino oscillation experiment has been recently upgraded aiming to satisfy the requirement of reducing the systematic uncertainty from measuring the neutrinonucleus interaction cross section, which is the largest systematic uncertainty in the search for leptonic charge-parity symmetry violation. A key component of the upgrade is Super… ▽ More The magnetised near detector (ND280) of the T2K long-baseline neutrino oscillation experiment has been recently upgraded aiming to satisfy the requirement of reducing the systematic uncertainty from measuring the neutrinonucleus interaction cross section, which is the largest systematic uncertainty in the search for leptonic charge-parity symmetry violation. A key component of the upgrade is SuperFGD, a 3D segmented plastic scintillator detector made of approximately 2,000,000 optically-isolated 1 cm3 cubes. It will provide a 3D image of GeV neutrino interactions by combining tracking and stopping power measurements of final state particles with sub-nanosecond time resolution. The performance of SuperFGD is characterized by the precision of its response to charged particles as well as the systematic effects that might affect the physics measurements. Hence, a detailed Geant4 based optical simulation of the SuperFGD building block, i.e. a plastic scintillating cube read out by three wavelength shifting fibers, has been developed and validated with the different datasets collected in various beam tests. In this manuscript the description of the optical model as well as the comparison with data are reported. △ Less

Submitted 31 October, 2024; originally announced October 2024.

Comments: 31 pages, 15 figures

Testing for Restricted Stochastic Dominance under Survey Nonresponse with Panel Data: Theory and an Evaluation of Poverty in Australia

Authors: Rami V. Tabri, Mathew J. Elias

Abstract: This paper lays the groundwork for a unifying approach to stochastic dominance testing under survey nonresponse that integrates the partial identification approach to incomplete data and design-based inference for complex survey data. We propose a novel inference procedure for restricted $s$th-order stochastic dominance, tailored to accommodate a broad spectrum of nonresponse assumptions. The meth… ▽ More This paper lays the groundwork for a unifying approach to stochastic dominance testing under survey nonresponse that integrates the partial identification approach to incomplete data and design-based inference for complex survey data. We propose a novel inference procedure for restricted $s$th-order stochastic dominance, tailored to accommodate a broad spectrum of nonresponse assumptions. The method uses pseudo-empirical likelihood to formulate the test statistic and compares it to a critical value from the chi-squared distribution with one degree of freedom. We detail the procedure's asymptotic properties under both null and alternative hypotheses, establishing its uniform validity under the null and consistency against various alternatives. Using the Household, Income and Labour Dynamics in Australia survey, we demonstrate the procedure's utility in a sensitivity analysis of temporal poverty comparisons among Australian households. △ Less

Submitted 21 June, 2024; originally announced June 2024.

Towards a characterization of the inverse systems of complete intersections

Authors: Joan Elias

Abstract: In this paper we give conditions on a homogeneous polynomial for which the associated graded Artin algebra is a complete intersection. In this paper we give conditions on a homogeneous polynomial for which the associated graded Artin algebra is a complete intersection. △ Less

Submitted 30 May, 2024; originally announced May 2024.

Comments: To appear in P.A.M.S

First joint oscillation analysis of Super-Kamiokande atmospheric and T2K accelerator neutrino data

Authors: Super-Kamiokande, T2K collaborations, :, S. Abe, K. Abe, N. Akhlaq, R. Akutsu, H. Alarakia-Charles, A. Ali, Y. I. Alj Hakim, S. Alonso Monsalve, S. Amanai, C. Andreopoulos, L. H. V. Anthony, M. Antonova, S. Aoki, K. A. Apte, T. Arai, T. Arihara, S. Arimoto, Y. Asada, R. Asaka, Y. Ashida, E. T. Atkin, N. Babu , et al. (524 additional authors not shown)

Abstract: The Super-Kamiokande and T2K collaborations present a joint measurement of neutrino oscillation parameters from their atmospheric and beam neutrino data. It uses a common interaction model for events overlapping in neutrino energy and correlated detector systematic uncertainties between the two datasets, which are found to be compatible. Using 3244.4 days of atmospheric data and a beam exposure of… ▽ More The Super-Kamiokande and T2K collaborations present a joint measurement of neutrino oscillation parameters from their atmospheric and beam neutrino data. It uses a common interaction model for events overlapping in neutrino energy and correlated detector systematic uncertainties between the two datasets, which are found to be compatible. Using 3244.4 days of atmospheric data and a beam exposure of $19.7(16.3) \times 10^{20}$ protons on target in (anti)neutrino mode, the analysis finds a 1.9$σ$ exclusion of CP-conservation (defined as $J_{CP}=0$) and a preference for the normal mass ordering. △ Less

Submitted 15 October, 2024; v1 submitted 21 May, 2024; originally announced May 2024.

Comments: 12 pages, 4 figures

Scaling Instructable Agents Across Many Simulated Worlds

Authors: SIMA Team, Maria Abi Raad, Arun Ahuja, Catarina Barros, Frederic Besse, Andrew Bolt, Adrian Bolton, Bethanie Brownfield, Gavin Buttimore, Max Cant, Sarah Chakera, Stephanie C. Y. Chan, Jeff Clune, Adrian Collister, Vikki Copeman, Alex Cullum, Ishita Dasgupta, Dario de Cesare, Julia Di Trapani, Yani Donchev, Emma Dunleavy, Martin Engelcke, Ryan Faulkner, Frankie Garcia, Charles Gbadamosi , et al. (69 additional authors not shown)

Abstract: Building embodied AI systems that can follow arbitrary language instructions in any 3D environment is a key challenge for creating general AI. Accomplishing this goal requires learning to ground language in perception and embodied actions, in order to accomplish complex tasks. The Scalable, Instructable, Multiworld Agent (SIMA) project tackles this by training agents to follow free-form instructio… ▽ More Building embodied AI systems that can follow arbitrary language instructions in any 3D environment is a key challenge for creating general AI. Accomplishing this goal requires learning to ground language in perception and embodied actions, in order to accomplish complex tasks. The Scalable, Instructable, Multiworld Agent (SIMA) project tackles this by training agents to follow free-form instructions across a diverse range of virtual 3D environments, including curated research environments as well as open-ended, commercial video games. Our goal is to develop an instructable agent that can accomplish anything a human can do in any simulated 3D environment. Our approach focuses on language-driven generality while imposing minimal assumptions. Our agents interact with environments in real-time using a generic, human-like interface: the inputs are image observations and language instructions and the outputs are keyboard-and-mouse actions. This general approach is challenging, but it allows agents to ground language across many visually complex and semantically rich environments while also allowing us to readily run agents in new environments. In this paper we describe our motivation and goal, the initial progress we have made, and promising preliminary results on several diverse research environments and a variety of commercial video games. △ Less

Submitted 11 October, 2024; v1 submitted 13 March, 2024; originally announced April 2024.

How to determine a curve singularity

Authors: Joan Elias

Abstract: We characterize the finite codimension sub-K-algebras of K[[t]] as the solutions of a computable finite family of higher differential operators. For this end, we establish a duality between such a sub-algebras and the finite codimension K-vector spaces of K[u], this ring acts on K[[t]] by differentiation. We characterize the finite codimension sub-K-algebras of K[[t]] as the solutions of a computable finite family of higher differential operators. For this end, we establish a duality between such a sub-algebras and the finite codimension K-vector spaces of K[u], this ring acts on K[[t]] by differentiation. △ Less

Submitted 19 December, 2023; originally announced December 2023.

MSC Class: 13H10

Gemini: A Family of Highly Capable Multimodal Models

Authors: Gemini Team, Rohan Anil, Sebastian Borgeaud, Jean-Baptiste Alayrac, Jiahui Yu, Radu Soricut, Johan Schalkwyk, Andrew M. Dai, Anja Hauth, Katie Millican, David Silver, Melvin Johnson, Ioannis Antonoglou, Julian Schrittwieser, Amelia Glaese, Jilin Chen, Emily Pitler, Timothy Lillicrap, Angeliki Lazaridou, Orhan Firat, James Molloy, Michael Isard, Paul R. Barham, Tom Hennigan, Benjamin Lee , et al. (1326 additional authors not shown)

Abstract: This report introduces a new family of multimodal models, Gemini, that exhibit remarkable capabilities across image, audio, video, and text understanding. The Gemini family consists of Ultra, Pro, and Nano sizes, suitable for applications ranging from complex reasoning tasks to on-device memory-constrained use-cases. Evaluation on a broad range of benchmarks shows that our most-capable Gemini Ultr… ▽ More This report introduces a new family of multimodal models, Gemini, that exhibit remarkable capabilities across image, audio, video, and text understanding. The Gemini family consists of Ultra, Pro, and Nano sizes, suitable for applications ranging from complex reasoning tasks to on-device memory-constrained use-cases. Evaluation on a broad range of benchmarks shows that our most-capable Gemini Ultra model advances the state of the art in 30 of 32 of these benchmarks - notably being the first model to achieve human-expert performance on the well-studied exam benchmark MMLU, and improving the state of the art in every one of the 20 multimodal benchmarks we examined. We believe that the new capabilities of the Gemini family in cross-modal reasoning and language understanding will enable a wide variety of use cases. We discuss our approach toward post-training and deploying Gemini models responsibly to users through services including Gemini, Gemini Advanced, Google AI Studio, and Cloud Vertex AI. △ Less

Submitted 9 May, 2025; v1 submitted 18 December, 2023; originally announced December 2023.

Redundancy parameterization and inverse kinematics of 7-DOF revolute manipulators

Authors: Alexander J. Elias, John T. Wen

Abstract: Seven degree-of-freedom (DOF) robot arms have one redundant DOF which does not change the motion of the end effector. The redundant DOF offers greater manipulability of the arm configuration to avoid obstacles and singularities, but it must be parameterized to fully specify the joint angles for a given end effector pose. For 7-DOF revolute (7R) manipulators, we introduce a new concept of generaliz… ▽ More Seven degree-of-freedom (DOF) robot arms have one redundant DOF which does not change the motion of the end effector. The redundant DOF offers greater manipulability of the arm configuration to avoid obstacles and singularities, but it must be parameterized to fully specify the joint angles for a given end effector pose. For 7-DOF revolute (7R) manipulators, we introduce a new concept of generalized shoulder-elbow-wrist (SEW) angle, a generalization of the conventional SEW angle but with an arbitrary choice of the reference direction function. The SEW angle is widely used and easy for human operators to visualize as a rotation of the elbow about the shoulder-wrist line. Since other redundancy parameterizations including the conventional SEW angle encounter an algorithmic singularity along a line in the workspace, we introduce a special choice of the reference direction function called the stereographic SEW angle which has a singularity only along a half-line, which can be placed out of reach. We prove that such a singularity is unavoidable for any parameterization. We also include expressions for the SEW angle Jacobian along with singularity analysis. Finally, we provide efficient and singularity-robust inverse kinematics solutions for most known 7R manipulators using the general SEW angle and the subproblem decomposition method. These solutions are often closed-form but may sometimes involve a 1D or 2D search in the general case. Search-based solutions may be converted to finding zeros of a high-order polynomial. Inverse kinematics solutions, examples, and evaluations are available in a publicly accessible repository. △ Less

Submitted 20 March, 2024; v1 submitted 24 July, 2023; originally announced July 2023.

Comments: 22 pages, 14 figures. Update: Sawyer IK using polynomial method, two video extensions, expanded related literature

Adaptive discretization refinement for discrete models of coupled mechanics and mass transport in concrete

Authors: Jan Mašek, Josef Květon, Jan Eliáš

Abstract: An adaptive discretization refinement strategy for steady state discrete mesoscale models of coupled mechanics and mass transport in concrete is presented. Coupling is provided by two phenomena: the Biot's theory of poromechanics and an effect of cracks on material permeability coefficient. The model kinematics is derived from rigid body motion of Voronoi cells obtained by tessellation of the doma… ▽ More An adaptive discretization refinement strategy for steady state discrete mesoscale models of coupled mechanics and mass transport in concrete is presented. Coupling is provided by two phenomena: the Biot's theory of poromechanics and an effect of cracks on material permeability coefficient. The model kinematics is derived from rigid body motion of Voronoi cells obtained by tessellation of the domain. Starting with a coarse discretization, the density of Voronoi generator points is adaptively increased on the fly in regions where the maximum principal stress exceeds a chosen threshold. Purely elastic behavior is assumed in the coarse discretization, therefore no transfer of history/state variables is needed. Examples showing (i) computational time savings achieved via the adaptive technique and (ii) an agreement of the outputs from the fine and adaptive models during simulations of hydraulic fracturing and three-point bending combined with a fluid pressure loading are presented. △ Less

Submitted 27 June, 2023; originally announced June 2023.

Comments: 25 pages, 13 figures

Journal ref: Construction and Building Materials 395, article 132243, 2023

A framework for fully autonomous design of materials via multiobjective optimization and active learning: challenges and next steps

Authors: Tyler H. Chang, Jakob R. Elias, Stefan M. Wild, Santanu Chaudhuri, Joseph A. Libera

Abstract: In order to deploy machine learning in a real-world self-driving laboratory where data acquisition is costly and there are multiple competing design criteria, systems need to be able to intelligently sample while balancing performance trade-offs and constraints. For these reasons, we present an active learning process based on multiobjective black-box optimization with continuously updated machine… ▽ More In order to deploy machine learning in a real-world self-driving laboratory where data acquisition is costly and there are multiple competing design criteria, systems need to be able to intelligently sample while balancing performance trade-offs and constraints. For these reasons, we present an active learning process based on multiobjective black-box optimization with continuously updated machine learning models. This workflow is built on open-source technologies for real-time data streaming and modular multiobjective optimization software development. We demonstrate a proof of concept for this workflow through the autonomous operation of a continuous-flow chemistry laboratory, which identifies ideal manufacturing conditions for the electrolyte 2,2,2-trifluoroethyl methyl carbonate. △ Less

Submitted 14 April, 2023; originally announced April 2023.

Inverse system of Gorenstein points in ${\mathbb P^n_{\res}}$

Authors: J. Elias, M. E. Rossi

Abstract: Given a set of distinct points $X=\{P_1, \dots,P_r\} $ in $ \mathbb P^n_{\res}, $ in this paper we characterize being $X$ arithmetically Gorenstein through the ``special" structure of the inverse system of the defining ideal $I(X) \subseteq R= \res[X_0, \dots, X_n].$ We describe the corresponding Zariski locally closed subset of $\mathbb (\mathbb P_{\res}^{n})^r$ parametrized by the coordinates of… ▽ More Given a set of distinct points $X=\{P_1, \dots,P_r\} $ in $ \mathbb P^n_{\res}, $ in this paper we characterize being $X$ arithmetically Gorenstein through the ``special" structure of the inverse system of the defining ideal $I(X) \subseteq R= \res[X_0, \dots, X_n].$ We describe the corresponding Zariski locally closed subset of $\mathbb (\mathbb P_{\res}^{n})^r$ parametrized by the coordinates of the points. Several examples are given to show the effectiveness of the results. As a consequence of the main result we characterize the Artinian Gorenstein rings which are the Artinian reduction of Gorenstein points. The problem is of interest in several areas of research, among others the $G$-linkage, the Waring decomposition, the smoothability of Artinian algebras and the identifiability of symmetric tensors. △ Less

Submitted 23 March, 2023; v1 submitted 17 January, 2023; originally announced January 2023.

Comments: To appear in Israel J. of Math

MSC Class: 13H10; 14M05

Yade Documentation

Authors: Vaclav Smilauer, Vasileios Angelidakis, Emanuele Catalano, Robert Caulk, Bruno Chareyre, William Chevremont, Sergei Dorofeenko, Jerome Duriez, Nolan Dyck, Jan Elias, Burak Er, Alexander Eulitz, Anton Gladky, Ning Guo, Christian Jakob, Francois Kneib, Janek Kozicki, Donia Marzougui, Raphael Maurin, Chiara Modenese, Gary Pekmezi, Luc Scholtes, Luc Sibille, Jan Stransky, Thomas Sweijen , et al. (2 additional authors not shown)

Abstract: Yade is an extensible open-source framework for discrete numerical models, focused on the Discrete Element Method. The computation parts are written in c++ using a flexible object model and allowing independent implementation of new algorithms and interfaces. Python is used for rapid and concise scene construction, simulation control, postprocessing and debugging. Yade is located at yade-dem.org,… ▽ More Yade is an extensible open-source framework for discrete numerical models, focused on the Discrete Element Method. The computation parts are written in c++ using a flexible object model and allowing independent implementation of new algorithms and interfaces. Python is used for rapid and concise scene construction, simulation control, postprocessing and debugging. Yade is located at yade-dem.org, which contains this documentation. Development is kindly hosted on launchpad and GitLab ; they are used for source code, bug tracking and source downloads and more. Building, regression tests and packages distribution are hosted on servers of the Grenoble Geomechanics group at Laboratoire 3SR, UMS Gricad and Gdańsk University of Technology. Yade supports high precision calculations and Python 3. The development branch is on GitLab. △ Less

Submitted 2 January, 2023; originally announced January 2023.

IK-Geo: Unified Robot Inverse Kinematics Using Subproblem Decomposition

Authors: Alexander J. Elias, John T. Wen

Abstract: This paper presents the open-source robot inverse kinematics (IK) solver IK-Geo, the fastest general IK solver based on published literature. In this unifying approach, IK for any 6-DOF all-revolute (6R) manipulator is decomposed into six canonical geometric subproblems solved by intersecting circles with other geometric objects. We present new efficient and singularity-robust solutions to these s… ▽ More This paper presents the open-source robot inverse kinematics (IK) solver IK-Geo, the fastest general IK solver based on published literature. In this unifying approach, IK for any 6-DOF all-revolute (6R) manipulator is decomposed into six canonical geometric subproblems solved by intersecting circles with other geometric objects. We present new efficient and singularity-robust solutions to these subproblems using geometric and linear algebra methods. IK-Geo finds all IK solutions including singular solutions and sometimes least-squares solutions by solving for subproblem solutions in all cases, including in a continuous and sometimes least-squares sense when a solution does not exist. Robots are classified into kinematic families based on cases of intersecting or parallel joint axes, and robots in the same family use the same IK algorithm. 6R robots with three intersecting or parallel axes are solved in closed form, and all solutions are found exactly without iteration. Other 6R robots are efficiently solved by searching for zeros of an error function of one or two joint angles. The subproblem and IK solutions are easy to understand, implement, test, and modify, meaning this method is readily ported to new languages and environments. We connect our geometric method with less efficient but more robust polynomial-based methods: rather than using search, subproblems and error functions may be written in terms of the tangent half-angle of one joint. This results in a system of multivariate polynomial equations from which the univariate polynomial with zeros corresponding to IK solutions is readily derived. △ Less

Submitted 19 February, 2024; v1 submitted 10 November, 2022; originally announced November 2022.

Comments: 19 pages, 8 figures. Update 2: New polynomial IK method, 1D search for nonconsecutive intersecting axes. Update 1: New subproblem solution methods and timing results

Improving alignment of dialogue agents via targeted human judgements

Authors: Amelia Glaese, Nat McAleese, Maja Trębacz, John Aslanides, Vlad Firoiu, Timo Ewalds, Maribeth Rauh, Laura Weidinger, Martin Chadwick, Phoebe Thacker, Lucy Campbell-Gillingham, Jonathan Uesato, Po-Sen Huang, Ramona Comanescu, Fan Yang, Abigail See, Sumanth Dathathri, Rory Greig, Charlie Chen, Doug Fritz, Jaume Sanchez Elias, Richard Green, Soňa Mokrá, Nicholas Fernando, Boxi Wu , et al. (9 additional authors not shown)

Abstract: We present Sparrow, an information-seeking dialogue agent trained to be more helpful, correct, and harmless compared to prompted language model baselines. We use reinforcement learning from human feedback to train our models with two new additions to help human raters judge agent behaviour. First, to make our agent more helpful and harmless, we break down the requirements for good dialogue into na… ▽ More We present Sparrow, an information-seeking dialogue agent trained to be more helpful, correct, and harmless compared to prompted language model baselines. We use reinforcement learning from human feedback to train our models with two new additions to help human raters judge agent behaviour. First, to make our agent more helpful and harmless, we break down the requirements for good dialogue into natural language rules the agent should follow, and ask raters about each rule separately. We demonstrate that this breakdown enables us to collect more targeted human judgements of agent behaviour and allows for more efficient rule-conditional reward models. Second, our agent provides evidence from sources supporting factual claims when collecting preference judgements over model statements. For factual questions, evidence provided by Sparrow supports the sampled response 78% of the time. Sparrow is preferred more often than baselines while being more resilient to adversarial probing by humans, violating our rules only 8% of the time when probed. Finally, we conduct extensive analyses showing that though our model learns to follow our rules it can exhibit distributional biases. △ Less

Submitted 28 September, 2022; originally announced September 2022.

The potential roles of transacylation in intracellular lipolysis and related QSSA approximations

Authors: Jan Elias, Klemens Fellner, Peter Hofer, Monika Oberer, Renate Schreiber, Rudolf Zechner

Abstract: Fatty acids (FAs) are crucial energy metabolites, signalling molecules, and membrane building blocks for a wide range of organisms. Adipose triglyceride lipase (ATGL) is the first and presumingly most crucial regulator of FA release from triacylglycerols (TGs) stored within cytosolic lipid droplets. However, besides the function of releasing FAs by hydrolysing TGs into diacylglycerols (DGs), ATGL… ▽ More Fatty acids (FAs) are crucial energy metabolites, signalling molecules, and membrane building blocks for a wide range of organisms. Adipose triglyceride lipase (ATGL) is the first and presumingly most crucial regulator of FA release from triacylglycerols (TGs) stored within cytosolic lipid droplets. However, besides the function of releasing FAs by hydrolysing TGs into diacylglycerols (DGs), ATGL also promotes the transacylation reaction of two DG molecules into one TG and one monoacylglycerol molecule. To date, it is unknown whether DG transacylation is a coincidental byproduct of ATGL-mediated lipolysis or whether it is physiologically relevant. Experimental evidence is scarce since both, hydrolysis and transacylation, rely on the same active site of ATGL and always occur in parallel in an ensemble of molecules. This paper illustrates the potential roles of transacylation. It shows that, depending on the kinetic parameters but also on the state of the hydrolytic machinery, transacylation can increase or decrease downstream products up to 50\% and more. We provide an extensive asymptotic analysis including quasi-steady-state approximations (QSSA) with higher order correction terms and provide numerical simulation. We also argue that when assessing the validity of QSSAs one should include parameter sensitivity derivatives. Our results suggest that the transacylation function of ATGL is of biological relevance by providing feedback options and altogether stability to the lipolytic machinery in adipocytes. △ Less

Submitted 14 September, 2022; originally announced September 2022.

Comments: 33 pages, 12 figures

MSC Class: 34C60; 37N25; 92C40; 92C45

Homogenization of discrete diffusion models by asymptotic expansion

Authors: Jan Eliáš, Hao Yin, Gianluca Cusatis

Abstract: Diffusion behaviors of heterogeneous materials are of paramount importance in many engineering problems. Numerical models that take into account the internal structure of such materials are robust but computationally very expensive. This burden can be partially decreased by using discrete models, however even then the practical application is limited to relatively small material volumes. This pa… ▽ More Diffusion behaviors of heterogeneous materials are of paramount importance in many engineering problems. Numerical models that take into account the internal structure of such materials are robust but computationally very expensive. This burden can be partially decreased by using discrete models, however even then the practical application is limited to relatively small material volumes. This paper formulates a homogenization scheme for discrete diffusion models. Asymptotic expansion homogenization is applied to distinguish between (i) the continuous macroscale description approximated by the standard finite element method and (ii) the fully resolved discrete mesoscale description in a local representative volume element (RVE) of material. Both transient and steady-state variants with nonlinear constitutive relations are discussed. In all the cases, the resulting discrete RVE problem becomes a simple linear steady-state problem that can be easily pre-computed. The scale separation provides a significant reduction of computational time allowing the solution of practical problems with a negligible error introduced mainly by the finite element discretization at the macroscale. △ Less

Submitted 3 September, 2022; originally announced September 2022.

Comments: 33 pages, 12 figures

ACM Class: J.6

Journal ref: International Journal for Numerical and Analytical Methods in Geomechanics 46(16), pages 3052-3073, 2022

Homogenization of discrete mesoscale model of concrete for coupled mass transport and mechanics by asymptotic expansion

Authors: Jan Eliáš, Gianluca Cusatis

Abstract: Mass transport phenomenon in concrete structures is strongly coupled with their mechanical behavior. The first coupling fabric is the Biot's theory according to which fluid pressure interacts with solid stress state and volumetric deformation rate of the solid induces changes in fluid pressure. Another coupling mechanism emerges with cracks which serve as channels for the fluid to flow through the… ▽ More Mass transport phenomenon in concrete structures is strongly coupled with their mechanical behavior. The first coupling fabric is the Biot's theory according to which fluid pressure interacts with solid stress state and volumetric deformation rate of the solid induces changes in fluid pressure. Another coupling mechanism emerges with cracks which serve as channels for the fluid to flow through them and provide volume for fluid storage. Especially the second coupling mechanism presents a challenge for numerical modeling as it requires detailed knowledge about cracking process. Discrete mesoscale mechanical models coupled with mass transport offer simple and robust way to solve the problem. On the other hand, however, they are computationally demanding. In order to reduce this computational burden, the present paper applies the asymptotic expansion homogenization technique to the coupled problem to deliver (i) continuous and homogeneous description of the macroscopic problem which can be easily solved by the finite element method, (ii) discrete and heterogeneous mesoscale problem in the periodic setup attached to each integration point of the macroscale along with (iii) equations providing communication between these two scales. The transient terms appear at the macroscale only, as well as the Biot's coupling terms. The coupling through cracking is treated at the mesoscale by changing conductivity of the conduit elements according to the mechanical solution, otherwise the two mesoscale steady state problems are decoupled and can be therefore solved in a sequence. This paper presents verification studies showing performance of the homogenized solution. △ Less

Submitted 3 September, 2022; originally announced September 2022.

Comments: 29 pages, 9 figures

ACM Class: J.6

Journal ref: Journal of the Mechanics and Physics of Solids, Volume 167, paper 105010, 2022

Upper bounds on two Hilbert coefficients

Authors: Le Xuan Dung, Juan Elias, Le Tuan Hoa

Abstract: New upper bounds on the first and the second Hilbert coefficients of a Cohen-Macaulay module over a local ring are given. Characterizations are provided for some upper bounds to be attained. The characterizations are given in terms of Hilbert series as well as in terms of the Castelnuovo-Mumford regularity of the associated graded module. New upper bounds on the first and the second Hilbert coefficients of a Cohen-Macaulay module over a local ring are given. Characterizations are provided for some upper bounds to be attained. The characterizations are given in terms of Hilbert series as well as in terms of the Castelnuovo-Mumford regularity of the associated graded module. △ Less

Submitted 8 June, 2022; originally announced June 2022.

Comments: 22 pages

MSC Class: 13D40; 13H10; 13D45

Real-Time Streaming and Event-driven Control of Scientific Experiments

Authors: Jakob R. Elias, Ryan Chard, Maksim Levental, Zhengchun Liu, Ian Foster, Santanu Chaudhuri

Abstract: Advancements in scientific instrument sensors and connected devices provide unprecedented insight into ongoing experiments and present new opportunities for control, optimization, and steering. However, the diversity of sensors and heterogeneity of their data result in make it challenging to fully realize these new opportunities. Organizing and synthesizing diverse data streams in near-real-time r… ▽ More Advancements in scientific instrument sensors and connected devices provide unprecedented insight into ongoing experiments and present new opportunities for control, optimization, and steering. However, the diversity of sensors and heterogeneity of their data result in make it challenging to fully realize these new opportunities. Organizing and synthesizing diverse data streams in near-real-time requires both rich automation and Machine Learning (ML). To efficiently utilize ML during an experiment, the entire ML lifecycle must be addressed, including refining experiment configurations, retraining models, and applying decisions-tasks that require an equally diverse array of computational resources spanning centralized HPC to the accelerators at the edge. Here we present the Manufacturing Data and Machine Learning platform (MDML). The MDML is designed to standardize the research and operational environment for advanced data analytics and ML-enabled automated process optimization by providing the cyberinfrastructure to integrate sensor data streams and AI in cyber-physical systems for in-situ analysis. To achieve this, the MDML provides a fabric to receive and aggregate IoT data and simultaneously orchestrate remote computation across the computing continuum. In this paper we describe the MDML and show how it is used in advanced manufacturing to act on IoT data and orchestrate distributed ML to guide experiments. △ Less

Submitted 3 May, 2022; originally announced May 2022.

Large amplitude periodic outbursts and long period variables in the VVV VIRAC2-$β$ database

Authors: Zhen Guo, P. W. Lucas, L. C. Smith, C. Clarke, C. Contreras Peña, A. Bayo, C. Briceño, J. Elias, R. G. Kurtev, J. Borissova, J. Alonso-García, D. Minniti, M. Catelan, F. Nikzat, C. Morris, N. Miller

Abstract: The VISTA Variables in the Via Lactea (VVV) survey obtained near-infrared photometry toward the Galactic bulge and the southern disc plane for a decade (2010 - 2019). We designed a modified Lomb-Scargle method to search for large-amplitude ($Δ$Ks > 1.5 mag) mid to long-term periodic variables (P > 10 d) in the 2nd version of VVV Infrared Astrometric Catalogue (VIRAC2-$β$). In total, 1520 periodic… ▽ More The VISTA Variables in the Via Lactea (VVV) survey obtained near-infrared photometry toward the Galactic bulge and the southern disc plane for a decade (2010 - 2019). We designed a modified Lomb-Scargle method to search for large-amplitude ($Δ$Ks > 1.5 mag) mid to long-term periodic variables (P > 10 d) in the 2nd version of VVV Infrared Astrometric Catalogue (VIRAC2-$β$). In total, 1520 periodic sources were discovered, including 59 candidate periodic outbursting young stellar objects (YSOs), based on the unique morphology of the phase-folded light curves, proximity to Galactic HII regions and mid-infrared colours. Five sources are spectroscopically confirmed as accreting YSOs. Both fast-rise/slow-decay and slow-rise/fast-decay periodic outbursts were found, but fast-rise/slow-decay outbursts predominate at the highest amplitudes. The multi-wavelength colour variations are consistent with a variable mass accretion process, as opposed to variable extinction. The cycles are likely to be caused by dynamical perturbations from stellar or planetary companions within the circumstellar disc. An additional search for periodic variability amongst YSO candidates in published Spitzer-based catalogues yielded a further 71 candidate periodic accretors, mostly with lower amplitudes. These resemble cases of pulsed accretion but with unusually long periods and greater regularity. The majority of other long-period variables are pulsating dusty Miras with smooth and symmetric light curves. We find that some Miras have redder $W3 - W4$ colours than previously thought, most likely due to their surface chemical compositions. △ Less

Submitted 21 March, 2022; v1 submitted 16 March, 2022; originally announced March 2022.

Comments: 29 pages, 25 figures

Sumsets and Veronese varieties

Authors: Liena Colarte-Gómez, Joan Elias, Rosa M. Miró-Roig

Abstract: In this paper, to any subset $\mathcal{A} \subset \mathbb{Z}^{n}$ we explicitly associate a unique monomial projection $Y_{n,d_{\mathcal{A}}}$ of a Veronese variety, whose Hilbert function coincides with the cardinality of the $t$-fold sumsets $t\mathcal{A}$. This link allows us to tackle the classical problem of determining the polynomial $p_{\mathcal{A}} \in \mathbb{Q}[t]$ such that… ▽ More In this paper, to any subset $\mathcal{A} \subset \mathbb{Z}^{n}$ we explicitly associate a unique monomial projection $Y_{n,d_{\mathcal{A}}}$ of a Veronese variety, whose Hilbert function coincides with the cardinality of the $t$-fold sumsets $t\mathcal{A}$. This link allows us to tackle the classical problem of determining the polynomial $p_{\mathcal{A}} \in \mathbb{Q}[t]$ such that $|t\mathcal{A}| = p_{\mathcal{A}}(t)$ for all $t \geq t_0$ and the minimum integer $n_0(\mathcal{A}) \leq t_0$ for which this condition is satisfied, i.e. the so-called {\em phase transition} of $|t\mathcal{A}|$. We use the Castelnuovo--Mumford regularity and the geometry of $Y_{n,d_{\mathcal{A}}}$ to describe the polynomial $p_{\mathcal{A}}(t)$ and to derive new bounds for $n_0(\mathcal{A})$ under some technical assumptions on the convex hull of $\mathcal{A}$; and vice versa we apply the theory of sumsets to obtain geometric information of the varieties $Y_{n,d_{\mathcal{A}}}$. △ Less

Submitted 2 February, 2022; originally announced February 2022.

Comments: To appear in Collectanea Mathematica

Sumsets and monomial projective curves

Authors: Joan Elias

Abstract: The aim of this note is to exploit a new relationship between additive combinatorics and the geometry of monomial projective curves. We associate to a finite set of non-negative integers $A=\{a_1,\cdots, a_n\}$ a monomial projective curve $C_A\subset \mathbb P^{n-1}_{k}$ such that the Hilbert function of $C_A$ and the cardinalities of… ▽ More The aim of this note is to exploit a new relationship between additive combinatorics and the geometry of monomial projective curves. We associate to a finite set of non-negative integers $A=\{a_1,\cdots, a_n\}$ a monomial projective curve $C_A\subset \mathbb P^{n-1}_{k}$ such that the Hilbert function of $C_A$ and the cardinalities of $sA:=\{a_{i_1}+\cdots+a_{i_s}\mid 1\le i_1\le \cdots \le i_s\le n\}$ agree. The singularities of $C_A$ determines the asymptotic behaviour of $|sA|$, equivalently the Hilbert polynomial of $C_A$, and the asymptotic structure of $sA$. We show that some additive inverse problems can be translate to the rigidity of Hilbert polynomials and we improve an upper bound of the Castelnuovo-Mumford regularity of monomial projective curves by using results of additive combinatorics. △ Less

Submitted 1 February, 2022; originally announced February 2022.

Comments: To appear in Mediterranean J. of Math

An aggregation model of cockroaches with fast-or-slow motion dichotomy

Authors: Jan Elias, Hirofumi Izuhara, Masayasu Mimura, Bao Quoc Tang

Abstract: We propose a mathematical model, namely a reaction-diffusion system, to describe social behaviour of cockroaches. An essential new aspect in our model is that the dispersion behaviour due to overcrowding effect is taken into account {as a counterpart to commonly studied aggregation}. This consideration leads to an intriguing new phenomenon which has not been observed in the literature. Namely, due… ▽ More We propose a mathematical model, namely a reaction-diffusion system, to describe social behaviour of cockroaches. An essential new aspect in our model is that the dispersion behaviour due to overcrowding effect is taken into account {as a counterpart to commonly studied aggregation}. This consideration leads to an intriguing new phenomenon which has not been observed in the literature. Namely, due to the competition between aggregation towards areas of higher concentration of pheromone and dispersion avoiding overcrowded areas, the cockroaches aggregate more at the transition area of pheromone. Moreover, we also consider the fast reaction limit where the switching rate between active and inactive subpopulations tends to infinity. By utilising improved duality and energy methods, together with the regularisation of heat operator, we prove that the weak solution of the reaction-diffusion system converges to that of a reaction-cross-diffusion system. △ Less

Submitted 15 November, 2021; originally announced November 2021.

Comments: 41 pages, 14 figures

A constructive approach to one-dimensional Gorenstein $k$-algebras

Authors: J. Elias, M. E. Rossi

Abstract: Let $R$ be the power series ring or the polynomial ring over a field $k$ and let $I $ be an ideal of $R.$ Macaulay proved that the Artinian Gorenstein $k$-algebras $R/I$ are in one-to-one correspondence with the cyclic $R$-submodules of the divided power series ring $Γ. $ The result is effective in the sense that any polynomial of degree $s$ produces an Artinian Gorenstein $k$-algebra of socle deg… ▽ More Let $R$ be the power series ring or the polynomial ring over a field $k$ and let $I $ be an ideal of $R.$ Macaulay proved that the Artinian Gorenstein $k$-algebras $R/I$ are in one-to-one correspondence with the cyclic $R$-submodules of the divided power series ring $Γ. $ The result is effective in the sense that any polynomial of degree $s$ produces an Artinian Gorenstein $k$-algebra of socle degree $s.$ In a recent paper, the authors extended Macaulay's correspondence characterizing the $R$-submodules of $Γ$ in one-to-one correspondence with Gorenstein d-dimensional $k$-algebras. However, these submodules in positive dimension are not finitely generated. Our goal is to give constructive and finite procedures for the construction of Gorenstein $k$-algebras of dimension one and any codimension. This has been achieved through a deep analysis of the $G$-admissible submodules of $Γ. $ Applications to the Gorenstein linkage of zero-dimensional schemes and to Gorenstein affine semigroup rings are discussed. △ Less

Submitted 19 January, 2021; originally announced January 2021.

Comments: To appear in Trans. Am. Math. Soc

MSC Class: 13H10; 13H15; 14C05

Towards Online Steering of Flame Spray Pyrolysis Nanoparticle Synthesis

Authors: Maksim Levental, Ryan Chard, Joseph A. Libera, Kyle Chard, Aarthi Koripelly, Jakob R. Elias, Marcus Schwarting, Ben Blaiszik, Marius Stan, Santanu Chaudhuri, Ian Foster

Abstract: Flame Spray Pyrolysis (FSP) is a manufacturing technique to mass produce engineered nanoparticles for applications in catalysis, energy materials, composites, and more. FSP instruments are highly dependent on a number of adjustable parameters, including fuel injection rate, fuel-oxygen mixtures, and temperature, which can greatly affect the quality, quantity, and properties of the yielded nanopart… ▽ More Flame Spray Pyrolysis (FSP) is a manufacturing technique to mass produce engineered nanoparticles for applications in catalysis, energy materials, composites, and more. FSP instruments are highly dependent on a number of adjustable parameters, including fuel injection rate, fuel-oxygen mixtures, and temperature, which can greatly affect the quality, quantity, and properties of the yielded nanoparticles. Optimizing FSP synthesis requires monitoring, analyzing, characterizing, and modifying experimental conditions.Here, we propose a hybrid CPU-GPU Difference of Gaussians (DoG)method for characterizing the volume distribution of unburnt solution, so as to enable near-real-time optimization and steering of FSP experiments. Comparisons against standard implementations show our method to be an order of magnitude more efficient. This surrogate signal can be deployed as a component of an online end-to-end pipeline that maximizes the synthesis yield. △ Less

Submitted 16 October, 2020; originally announced October 2020.

Discovery of a mid-infrared protostellar outburst of exceptional amplitude

Authors: P. W. Lucas, J. Elias, S. Points, Z. Guo, L. C. Smith, B. Stecklum, E. Vorobyov, C. Morris, J. Borissova, R. Kurtev, C. Contreras Pena, N. Medina, D. Minniti, V. D. Ivanov, R. K. Saito

Abstract: We report the discovery of a mid-infrared outburst in a Young Stellar Object (YSO) with an amplitude close to 8 mag at $λ$$\approx$4.6 $μ$m. WISEA J142238.82-611553.7 is one of 23 highly variable WISE sources discovered in a search of Infrared Dark Clouds (IRDCs). It lies within the small IRDC G313.671-0.309 (d$\approx$2.6 kpc), seen by the Herschel/HiGal survey as a compact, massive cloud core th… ▽ More We report the discovery of a mid-infrared outburst in a Young Stellar Object (YSO) with an amplitude close to 8 mag at $λ$$\approx$4.6 $μ$m. WISEA J142238.82-611553.7 is one of 23 highly variable WISE sources discovered in a search of Infrared Dark Clouds (IRDCs). It lies within the small IRDC G313.671-0.309 (d$\approx$2.6 kpc), seen by the Herschel/HiGal survey as a compact, massive cloud core that may have been measurably warmed by the event. Pre-outburst data from Spitzer in 2004 suggest that it is a class I YSO, a view supported by observation of weak 2.12 $μ$m H$_2$ emission in an otherwise featureless red continuum spectrum taken in 2019 (6 mag below the peak in K$_s$). Spitzer, WISE and VVV data indicate that the outburst began by 2006 and has a duration $>$13 yr, with a fairly flat peak from 2010--2014. The outburst luminosity of a few $\times 10^2$ Lsun is consistent with an accretion rate Mdot $\approx 10^{-4}$ Msun/yr, comparable to a classical FU Orionis event. The 4.6 $μ$m peak in 2010 implies T = 800-1000 K and a disc radial location R$\approx$4.5 au for the emitting region. The colour evolution suggests subsequent progression outward. The apparent absence of the hotter matter expected in thermal instability or MRI models may be due to complete obscuration of the innermost disc, e.g. by an edge-on disc view. Alternatively, disc fragmentation/infalling fragment models might more naturally explain a mid-infrared peak, though this is not yet clear. △ Less

Submitted 18 September, 2020; v1 submitted 23 July, 2020; originally announced July 2020.

Comments: Accepted by MNRAS

The Manufacturing Data and Machine Learning Platform: Enabling Real-time Monitoring and Control of Scientific Experiments via IoT

Authors: Jakob R. Elias, Ryan Chard, Joseph A. Libera, Ian Foster, Santanu Chaudhuri

Abstract: IoT devices and sensor networks present new opportunities for measuring, monitoring, and guiding scientific experiments. Sensors, cameras, and instruments can be combined to provide previously unachievable insights into the state of ongoing experiments. However, IoT devices can vary greatly in the type, volume, and velocity of data they generate, making it challenging to fully realize this potenti… ▽ More IoT devices and sensor networks present new opportunities for measuring, monitoring, and guiding scientific experiments. Sensors, cameras, and instruments can be combined to provide previously unachievable insights into the state of ongoing experiments. However, IoT devices can vary greatly in the type, volume, and velocity of data they generate, making it challenging to fully realize this potential. Indeed, synergizing diverse IoT data streams in near-real time can require the use of machine learning (ML). In addition, new tools and technologies are required to facilitate the collection, aggregation, and manipulation of sensor data in order to simplify the application of ML models and in turn, fully realize the utility of IoT devices in laboratories. Here we will demonstrate how the use of the Argonne-developed Manufacturing Data and Machine Learning (MDML) platform can analyze and use IoT devices in a manufacturing experiment. MDML is designed to standardize the research and operational environment for advanced data analytics and AI-enabled automated process optimization by providing the infrastructure to integrate AI in cyber-physical systems for in situ analysis. We will show that MDML is capable of processing diverse IoT data streams, using multiple computing resources, and integrating ML models to guide an experiment. △ Less

Submitted 27 May, 2020; originally announced May 2020.

Comments: Two page demonstration paper. Accepted to WFIoT2020

Joint Planning of Network Slicing and Mobile Edge Computing: Models and Algorithms

Authors: Bin Xiang, Jocelyne Elias, Fabio Martignon, Elisabetta Di Nitto

Abstract: Multi-access Edge Computing (MEC) facilitates the deployment of critical applications with stringent QoS requirements, latency in particular. This paper considers the problem of jointly planning the availability of computational resources at the edge, the slicing of mobile network and edge computation resources, and the routing of heterogeneous traffic types to the various slices. These aspects ar… ▽ More Multi-access Edge Computing (MEC) facilitates the deployment of critical applications with stringent QoS requirements, latency in particular. This paper considers the problem of jointly planning the availability of computational resources at the edge, the slicing of mobile network and edge computation resources, and the routing of heterogeneous traffic types to the various slices. These aspects are intertwined and must be addressed together to provide the desired QoS to all mobile users and traffic types still keeping costs under control. We formulate our problem as a mixed-integer nonlinear program (MINLP) and we define a heuristic, named Neighbor Exploration and Sequential Fixing (NESF), to facilitate the solution of the problem. The approach allows network operators to fine tune the network operation cost and the total latency experienced by users. We evaluate the performance of the proposed model and heuristic against two natural greedy approaches. We show the impact of the variation of all the considered parameters (viz., different types of traffic, tolerable latency, network topology and bandwidth, computation and link capacity) on the defined model. Numerical results demonstrate that NESF is very effective, achieving near-optimal planning and resource allocation solutions in a very short computing time even for large-scale network scenarios. △ Less

Submitted 8 September, 2021; v1 submitted 14 May, 2020; originally announced May 2020.

Journal ref: IEEE Transactions on Cloud Computing (2021)

Fracture in random quasibrittle media: I. Discrete mesoscale simulations of load capacity and fracture process zone

Authors: Jan Eliáš, Miroslav Vořechovský

Abstract: Numerical simulations of concrete fracture performed with a probabilistic mesoscale discrete model are presented. The model represents a substantial part of material randomness by assigning random locations to the largest aggregates. The remaining part of randomness is introduced by causing material parameters to fluctuate randomly via a homogeneous random field. An extensive numerical study perfo… ▽ More Numerical simulations of concrete fracture performed with a probabilistic mesoscale discrete model are presented. The model represents a substantial part of material randomness by assigning random locations to the largest aggregates. The remaining part of randomness is introduced by causing material parameters to fluctuate randomly via a homogeneous random field. An extensive numerical study performed with the model considers prisms loaded in uniaxial tension with both fixed and rotating platens, and also beams with and without a notch loaded in three point bending. The results show the nontrivial effect of (i) autocorrelation length and (ii) variance of the random field on the fracture behavior of the model. Statistics of the peak load are presented as well as the size and shape of the fracture process zone at the moment when the maximum load is attained. Local averaging within the fracture process zone and weakest-link are identified as underlying mechanisms explaining the reported results. The companion paper, Part II [64], introduces an analytical model capable of predicting the distribution of the peak load obtained with the probabilistic discrete model via the simple estimation of extremes of a random field obtained as moving average of local strength. △ Less

Submitted 14 June, 2020; v1 submitted 5 February, 2020; originally announced February 2020.

Comments: 26 pages, 16 figures, 4 tables

Journal ref: Engineering Fracture Mechanics, Volume 235, August 2020, 107160

Storage Optimal Control under Net Metering Policies

Authors: Md Umar Hashmi, Arpan Mukhopadhyay, Ana Bušić, Jocelyne Elias

Abstract: Electricity prices and the end user net load vary with time. Electricity consumers equipped with energy storage devices can perform energy arbitrage, i.e., buy when energy is cheap or when there is a deficit of energy, and sell it when it is expensive or in excess, taking into account future variations in price and net load. Net metering policies indicate that many of the utilities apply a {custom… ▽ More Electricity prices and the end user net load vary with time. Electricity consumers equipped with energy storage devices can perform energy arbitrage, i.e., buy when energy is cheap or when there is a deficit of energy, and sell it when it is expensive or in excess, taking into account future variations in price and net load. Net metering policies indicate that many of the utilities apply a {customer selling} rate lower than or equal to the retail {customer buying rate} in order to compensate excess energy generated by end users. In this paper, we formulate the optimal control problem for an end user energy storage device in presence of net metering. We propose a computationally efficient algorithm, with worst case run time complexity of quadratic in terms of number of samples in lookahead horizon, that computes the optimal energy ramping rates in a time horizon. The proposed algorithm exploits the problem's piecewise linear structure and convexity properties for the \textit{discretization} of optimal Lagrange multipliers. The solution has a \textit{threshold-based structure} in which optimal control decisions are independent of past or future price as well as of net load values beyond a certain time horizon, defined as a \textit{sub-horizon}. Numerical results show the effectiveness of the proposed model and algorithm. Furthermore, we investigate the impact of forecasting errors on the proposed technique. We consider an Auto-Regressive Moving Average (ARMA) based forecasting of net load together with the Model Predictive Control (MPC). We numerically show that adaptive forecasting and MPC significantly mitigate the effects of forecast error on energy arbitrage gains. △ Less

Submitted 4 February, 2020; originally announced February 2020.

Unexpected hole doping of graphene by osmium adatoms

Authors: Jamie A. Elias, Erik A. Henriksen

Abstract: The electronic transport of monolayer graphene devices is studied before and after \emph{in situ} deposition of a sub-monolayer coating of osmium adatoms. Unexpectedly, and unlike all other metallic adatoms studied to date, osmium adatoms shift the charge neutrality point to more positive gate voltages. This indicates that osmium adatoms act as electron acceptors and thus leave the graphene hole-d… ▽ More The electronic transport of monolayer graphene devices is studied before and after \emph{in situ} deposition of a sub-monolayer coating of osmium adatoms. Unexpectedly, and unlike all other metallic adatoms studied to date, osmium adatoms shift the charge neutrality point to more positive gate voltages. This indicates that osmium adatoms act as electron acceptors and thus leave the graphene hole-doped. Analysis of transport data suggest that Os adatoms behave as charged impurity scatterers, albeit with a surprisingly low charge-doping efficiency. The charge neutrality point of graphene is found to vary non-monotonically with gate voltage as the sample is warmed to room temperature, suggesting that osmium diffuses on the surface but is not completely removed. △ Less

Submitted 9 December, 2019; originally announced December 2019.

Infrastructure and Strategies for Time Domain and MMA and Follow-Up

Authors: B. W. Miller, L. Allen, E. Bellm, F. Bianco, J. Blakeslee, R. Blum, A. Bolton, C. Briceno, W. Clarkson, J. Elias, S. Gezari, B. Goodrich, M. J. Graham, M. L. Graham, S. Heathcote, H. Hsieh, J. Lotz, Tom Matheson, M. V. McSwain, D. Norman, T. Rector, R. Riddle, S. Ridgway, A. Saha, R. Street , et al. (6 additional authors not shown)

Abstract: Time domain and multi-messenger astrophysics are growing and important modes of observational astronomy that will help define astrophysics in the 2020s. Significant effort is being put into developing the components of a follow-up system for dynamically turning survey alerts into data. This system consists of: 1) brokers that will aggregate, classify, and filter alerts; 2) Target Observation Manag… ▽ More Time domain and multi-messenger astrophysics are growing and important modes of observational astronomy that will help define astrophysics in the 2020s. Significant effort is being put into developing the components of a follow-up system for dynamically turning survey alerts into data. This system consists of: 1) brokers that will aggregate, classify, and filter alerts; 2) Target Observation Managers (TOMs) for prioritizing targets and managing observations and data; and 3) observatory interfaces, schedulers, and facilities along with data reduction software and science archives. These efforts need continued community support and funding in order to complete and maintain them. Many of the efforts can be community open-source software projects but they will benefit from the leadership of professional software developers. The coordination should be done by institutions that are involved in the follow-up system such as the national observatories (e.g. LSST/Gemini/NOAO Mid-scale/Community Science and Data Center) or a new MMA institute. These tools will help the community to produce the most science from new facilities and will provide new capabilities for all users of the facilities that adopt them. △ Less

Submitted 29 August, 2019; originally announced August 2019.

Comments: Astro2020 Decadal Survey Activities, Projects, or State of the Profession Consideration (APC) white paper

The NOAO Mid-Scale Observatories

Authors: Lori Allen, Arjun Dey, Tim Abbott, Adam Bolton, Cesar Briceno, Jay Elias, Steve Heathcote, Jayadev Rajagopal, Abhijit Saha, Verne Smith

Abstract: We describe present and future capabilities of the Mid-Scale Observatories (MSO) of the new national center merging NOAO, Gemini Observatory and LSST Operations. MSO is comprised of Cerro Tololo Interamerican Observatory (CTIO) and the Kitt Peak National Observatory (KPNO). Telescopes at both sites currently operate on a mix of public and private funding. Recent upgrades have equipped the MSO 4-m… ▽ More We describe present and future capabilities of the Mid-Scale Observatories (MSO) of the new national center merging NOAO, Gemini Observatory and LSST Operations. MSO is comprised of Cerro Tololo Interamerican Observatory (CTIO) and the Kitt Peak National Observatory (KPNO). Telescopes at both sites currently operate on a mix of public and private funding. Recent upgrades have equipped the MSO 4-m class telescopes to perform world-class surveys in diverse areas of astrophysics, from dark energy to exoplanets. △ Less

Submitted 24 July, 2019; originally announced July 2019.

Comments: 10-page APC White Paper submitted to the Astro2020 Decadal Survey. To be published in BAAS

Elastic properties of isotropic discrete systems: Connections between geometric structure and Poisson's ratio

Authors: Jan Eliáš

Abstract: The use of discrete material representation in numerical models is advantageous due to the straightforward way it takes into account material heterogeneity and randomness, and the discrete and orientated nature of cracks. Unfortunately, it also restricts the macroscopic Poisson's ratio and therefore narrows its applicability. The paper studies the Poisson's ratio of a discrete model analytically.… ▽ More The use of discrete material representation in numerical models is advantageous due to the straightforward way it takes into account material heterogeneity and randomness, and the discrete and orientated nature of cracks. Unfortunately, it also restricts the macroscopic Poisson's ratio and therefore narrows its applicability. The paper studies the Poisson's ratio of a discrete model analytically. It derives theoretical limits for cases where the geometry of the model is completely arbitrary, but isotropic in the statistical sense. It is shown that the widest limits are obtained for models where normal directions of contacts between discrete units are parallel with the vectors connecting these units. Any deviation from parallelism causes the limits to shrink. A comparison of the derived equations to the results of the actual numerical model is presented. It shows relatively large deviations from the theory because the fundamental assumptions behind the theoretical derivations are largely violated in systems with complex geometry. The real shrinking of the Poisson's ratio limit is less severe compared to that which is theoretically derived. △ Less

Submitted 25 December, 2019; v1 submitted 12 July, 2019; originally announced July 2019.

Journal ref: International Journal of Solids and Structures, 191-192, 2020, pages 254-263

Optimal Storage Arbitrage under Net Metering using Linear Programming

Authors: Md Umar Hashmi, Arpan Mukhopadhyay, Ana Bušić, Jocelyne Elias, Diego Kiedanski

Abstract: We formulate the optimal energy arbitrage problem for a piecewise linear cost function for energy storage devices using linear programming (LP). The LP formulation is based on the equivalent minimization of the epigraph. This formulation considers ramping and capacity constraints, charging and discharging efficiency losses of the storage, inelastic consumer load and local renewable generation in p… ▽ More We formulate the optimal energy arbitrage problem for a piecewise linear cost function for energy storage devices using linear programming (LP). The LP formulation is based on the equivalent minimization of the epigraph. This formulation considers ramping and capacity constraints, charging and discharging efficiency losses of the storage, inelastic consumer load and local renewable generation in presence of net-metering which facilitates selling of energy to the grid and incentivizes consumers to install renewable generation and energy storage. We consider the case where the consumer loads, electricity prices, and renewable generations at different instances are uncertain. These uncertain quantities are predicted using an Auto-Regressive Moving Average (ARMA) model and used in a model predictive control (MPC) framework to obtain the arbitrage decision at each instance. In numerical results we present the sensitivity analysis of storage performing arbitrage with varying ramping batteries and different ratio of selling and buying price of electricity. △ Less

Submitted 15 August, 2019; v1 submitted 1 May, 2019; originally announced May 2019.

Gravity and Light: Combining Gravitational Wave and Electromagnetic Observations in the 2020s

Authors: R. J. Foley, K. D. Alexander, I. Andreoni, I. Arcavi, K. Auchettl, J. Barnes, G. Baym, E. C. Bellm, A. M. Beloborodov, N. Blagorodnova, J. P. Blakeslee, P. R. Brady, M. Branchesi, J. S. Brown, N. Butler, M. Cantiello, R. Chornock, D. O. Cook, J. Cooke, D. L. Coppejans, A. Corsi, S. M. Couch, M. W. Coughlin, D. A. Coulter, P. S. Cowperthwaite , et al. (88 additional authors not shown)

Abstract: As of today, we have directly detected exactly one source in both gravitational waves (GWs) and electromagnetic (EM) radiation, the binary neutron star merger GW170817, its associated gamma-ray burst GRB170817A, and the subsequent kilonova SSS17a/AT 2017gfo. Within ten years, we will detect hundreds of events, including new classes of events such as neutron-star-black-hole mergers, core-collapse s… ▽ More As of today, we have directly detected exactly one source in both gravitational waves (GWs) and electromagnetic (EM) radiation, the binary neutron star merger GW170817, its associated gamma-ray burst GRB170817A, and the subsequent kilonova SSS17a/AT 2017gfo. Within ten years, we will detect hundreds of events, including new classes of events such as neutron-star-black-hole mergers, core-collapse supernovae, and almost certainly something completely unexpected. As we build this sample, we will explore exotic astrophysical topics ranging from nucleosynthesis, stellar evolution, general relativity, high-energy astrophysics, nuclear matter, to cosmology. The discovery potential is extraordinary, and investments in this area will yield major scientific breakthroughs. Here we outline some of the most exciting scientific questions that can be answered by combining GW and EM observations. △ Less

Submitted 11 March, 2019; originally announced March 2019.

Comments: submitted to Astro2020

Computing minimal Gorenstein covers

Authors: Juan Elias, Roser Homs, Bernard Mourrain

Abstract: We analyze and present an effective solution to the minimal Gorenstein cover problem: given a local Artin k-algebra $A = k[[x 1 ,. .. x n ]]/I$, compute an Artin Gorenstein $k$-algebra $G = k[[x 1 ,. .. x n ]]/J$ such that $\ell(G)--\ell(A)$ is minimal. We approach the problem by using Macaulay's inverse systems and a modification of the integration method for inverse systems to compute Gorenstein… ▽ More We analyze and present an effective solution to the minimal Gorenstein cover problem: given a local Artin k-algebra $A = k[[x 1 ,. .. x n ]]/I$, compute an Artin Gorenstein $k$-algebra $G = k[[x 1 ,. .. x n ]]/J$ such that $\ell(G)--\ell(A)$ is minimal. We approach the problem by using Macaulay's inverse systems and a modification of the integration method for inverse systems to compute Gorenstein covers. We propose new characterizations of the minimal Gorenstein cover and present a new algorithm for the effective computation of the variety of all minimal Gorenstein covers of A for low Gorenstein colength. Experimentation illustrates the practical behavior of the method. △ Less

Submitted 29 October, 2019; v1 submitted 14 January, 2019; originally announced January 2019.

Journal ref: Journal of Pure and Applied Algebra, Elsevier, 2019

The Electromagnetic Counterpart of the Binary Neutron Star Merger LIGO/VIRGO GW170817. III. Optical and UV Spectra of a Blue Kilonova From Fast Polar Ejecta

Authors: M. Nicholl, E. Berger, D. Kasen, B. D. Metzger, J. Elias, C. Briceno, K. D. Alexander, P. K. Blanchard, R. Chornock, P. S. Cowperthwaite, T. Eftekhari, W. Fong, R. Margutti, V. A. Villar, P. K. G. Williams, W. Brown, J. Annis, A. Bahramian, D. Brout, D. A. Brown, H. -Y. Chen, J. C. Clemens, E. Dennihy, B. Dunlap, D. E. Holz , et al. (9 additional authors not shown)

Abstract: We present optical and ultraviolet spectra of the first electromagnetic counterpart to a gravitational wave (GW) source, the binary neutron star merger GW170817. Spectra were obtained nightly between 1.5 and 9.5 days post-merger, using the SOAR and Magellan telescopes; the UV spectrum was obtained with the \textit{Hubble Space Telescope} at 5.5 days. Our data reveal a rapidly-fading blue component… ▽ More We present optical and ultraviolet spectra of the first electromagnetic counterpart to a gravitational wave (GW) source, the binary neutron star merger GW170817. Spectra were obtained nightly between 1.5 and 9.5 days post-merger, using the SOAR and Magellan telescopes; the UV spectrum was obtained with the \textit{Hubble Space Telescope} at 5.5 days. Our data reveal a rapidly-fading blue component ($T\approx5500$ K at 1.5 days) that quickly reddens; spectra later than $\gtrsim 4.5$ days peak beyond the optical regime. The spectra are mostly featureless, although we identify a possible weak emission line at $\sim 7900$ Å at $t\lesssim 4.5$ days. The colours, rapid evolution and featureless spectrum are consistent with a "blue" kilonova from polar ejecta comprised mainly of light $r$-process nuclei with atomic mass number $A\lesssim 140$. This indicates a sight-line within $θ_{\rm obs}\lesssim 45^{\circ}$ of the orbital axis. Comparison to models suggests $\sim0.03$ M$_\odot$ of blue ejecta, with a velocity of $\sim 0.3c$. The required lanthanide fraction is $\sim 10^{-4}$, but this drops to $<10^{-5}$ in the outermost ejecta. The large velocities point to a dynamical origin, rather than a disk wind, for this blue component, suggesting that both binary constituents are neutron stars (as opposed to a binary consisting of a neutron star and a black hole). For dynamical ejecta, the high mass favors a small neutron star radius of $\lesssim 12$ km. This mass also supports the idea that neutron star mergers are a major contributor to $r$-process nucleosynthesis. △ Less

Submitted 16 October, 2017; originally announced October 2017.

Comments: ApJL, in press (GW170817, LVC)

The structure of the inverse system of Gorenstein k-algebras

Authors: Joan Elias, Maria Evelina Rossi

Abstract: Macaulay's Inverse System gives an effective method to construct Artinian Gorenstein k-algebras. To date a general structure for Gorenstein k-algebras of any dimension (and codimension) is not understood. In this paper we extend Macaulay's correspondence characterizing the submodules of the divided power ring in one-to-one correspondence with Gorenstein d-dimensional k-algebras. We discuss effecti… ▽ More Macaulay's Inverse System gives an effective method to construct Artinian Gorenstein k-algebras. To date a general structure for Gorenstein k-algebras of any dimension (and codimension) is not understood. In this paper we extend Macaulay's correspondence characterizing the submodules of the divided power ring in one-to-one correspondence with Gorenstein d-dimensional k-algebras. We discuss effective methods for constructing Gorenstein graded rings. Several examples illustrating our results are given. △ Less

Submitted 16 May, 2017; originally announced May 2017.

Comments: 19 pages, to appear in Advances in Mathematics

MSC Class: 13H10; 13H15; 14C05

Optimal Geographic Caching in Cellular Networks with Linear Content Coding

Authors: Jocelyne Elias, Bartłomiej Błaszczyszyn

Abstract: We state and solve a problem of the optimal geographic caching of content in cellular networks, where linear combinations of contents are stored in the caches of base stations. We consider a general content popularity distribution and a general distribution of the number of stations covering the typical location in the network. We are looking for a policy of content caching maximizing the probabil… ▽ More We state and solve a problem of the optimal geographic caching of content in cellular networks, where linear combinations of contents are stored in the caches of base stations. We consider a general content popularity distribution and a general distribution of the number of stations covering the typical location in the network. We are looking for a policy of content caching maximizing the probability of serving the typical content request from the caches of covering stations. The problem has a special form of monotone sub-modular set function maximization. Using dynamic programming, we find a deterministic policy solving the problem. We also consider two natural greedy caching policies. We evaluate our policies considering two popular stochastic geometric coverage models: the Boolean one and the Signal-to-Interference-and-Noise-Ratio one, assuming Zipf popularity distribution. Our numerical results show that the proposed deterministic policies are in general not worse than some randomized policy considered in the literature and can further improve the total hit probability in the moderately high coverage regime. △ Less

Submitted 27 April, 2017; originally announced April 2017.

Comments: 6 pages, 3 figures. In Proc. of WIOPT/CCDWN 2017