-
Deep learning classifier of locally advanced rectal cancer treatment response from endoscopy images
Authors:
Jorge Tapias Gomez,
Aneesh Rangnekar,
Hannah Williams,
Hannah Thompson,
Julio Garcia-Aguilar,
Joshua Jesse Smith,
Harini Veeraraghavan
Abstract:
We developed a deep learning classifier of rectal cancer response (tumor vs. no-tumor) to total neoadjuvant treatment (TNT) from endoscopic images acquired before, during, and following TNT. We further evaluated the network's ability in a near out-of-distribution (OOD) problem to identify local regrowth (LR) from follow-up endoscopy images acquired several months to years after completing TNT. We…
▽ More
We developed a deep learning classifier of rectal cancer response (tumor vs. no-tumor) to total neoadjuvant treatment (TNT) from endoscopic images acquired before, during, and following TNT. We further evaluated the network's ability in a near out-of-distribution (OOD) problem to identify local regrowth (LR) from follow-up endoscopy images acquired several months to years after completing TNT. We addressed endoscopic image variability by using optimal mass transport-based image harmonization. We evaluated multiple training regularization schemes to study the ResNet-50 network's in-distribution and near-OOD generalization ability. Test time augmentation resulted in the most considerable accuracy improvement. Image harmonization resulted in slight accuracy improvement for the near-OOD cases. Our results suggest that off-the-shelf deep learning classifiers can detect rectal cancer from endoscopic images at various stages of therapy for surveillance.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
Computing Threshold Circuits with Void Reactions in Step Chemical Reaction Networks
Authors:
Rachel Anderson,
Alberto Avila,
Bin Fu,
Timothy Gomez,
Elise Grizzell,
Aiden Massie,
Gourab Mukhopadhyay,
Adrian Salinas,
Robert Schweller,
Evan Tomai,
Tim Wylie
Abstract:
We introduce a new model of \emph{step} Chemical Reaction Networks (step CRNs), motivated by the step-wise addition of materials in standard lab procedures. Step CRNs have ordered reactants that transform into products via reaction rules over a series of steps. We study an important subset of weak reaction rules, \emph{void} rules, in which chemical species may only be deleted but never changed. W…
▽ More
We introduce a new model of \emph{step} Chemical Reaction Networks (step CRNs), motivated by the step-wise addition of materials in standard lab procedures. Step CRNs have ordered reactants that transform into products via reaction rules over a series of steps. We study an important subset of weak reaction rules, \emph{void} rules, in which chemical species may only be deleted but never changed. We demonstrate the capabilities of these simple limited systems to simulate threshold circuits and compute functions using various configurations of rule sizes and step constructions, and prove that without steps, void rules are incapable of these computations, which further motivates the step model. Additionally, we prove the coNP-completeness of verifying if a given step CRN computes a function, holding even for $O(1)$ step systems.
△ Less
Submitted 13 February, 2024;
originally announced February 2024.
-
The Jalisco Seismic Accelerometric Telemetric Network (RESAJ)
Authors:
Francisco Javier Nunez Cornu,
Juan Manuel Sandoval,
Edgar Alarcon,
Adan Gomez,
Carlos Suarez Plascencia,
Diana Nunez,
Elizabeth Trejo Gomez,
Oscar Sanchez Mariscal,
J. Guadalupe Candelas Ortiz,
Luz Maria Zuniga Medina
Abstract:
The Jalisco region of western Mexico is the locus of interaction among the North America, Cocos, and Rivera plates, giving rise to the Jalisco block. This region is one of the most tectonically active in Mexico, and here took place the largest instrumentally recorded earthquake in Mexico the twentieth century, on 3 June 1932 (M 8.2), three important tsunamis in the last 100 yrs, and two of the mos…
▽ More
The Jalisco region of western Mexico is the locus of interaction among the North America, Cocos, and Rivera plates, giving rise to the Jalisco block. This region is one of the most tectonically active in Mexico, and here took place the largest instrumentally recorded earthquake in Mexico the twentieth century, on 3 June 1932 (M 8.2), three important tsunamis in the last 100 yrs, and two of the most active volcanoes in Mexico. Nevertheless, the first seismicity studies here, undertaken with temporary networks, did not commence until 1994. In 2008, the Government of Jalisco and the University of Guadalajara funded a research project to install a seismic network in this region. The principal objective was to study the seismic hazard in the region and characterize seismic parameters in the different areas to design building codes. The Red Sismica y Acelerometrica Telemetrica de Jalisco (RESAJ) project was thus initiated in 2009. Its Central Lab is at Centro de Sismologia y Volcanologia de Occidente (SisVOc), located at the Universidad de Guadalajara in Puerto Vallarta. Currently, the RESAJ has 26 telemetered and 2 autonomous stations. The RESAJ serves as the seismological lab for the postgraduate program at SisVOc.
△ Less
Submitted 9 February, 2024;
originally announced February 2024.
-
Siracusa: A 16 nm Heterogenous RISC-V SoC for Extended Reality with At-MRAM Neural Engine
Authors:
Arpan Suravi Prasad,
Moritz Scherer,
Francesco Conti,
Davide Rossi,
Alfio Di Mauro,
Manuel Eggimann,
Jorge Tómas Gómez,
Ziyun Li,
Syed Shakib Sarwar,
Zhao Wang,
Barbara De Salvo,
Luca Benini
Abstract:
Extended reality (XR) applications are Machine Learning (ML)-intensive, featuring deep neural networks (DNNs) with millions of weights, tightly latency-bound (10-20 ms end-to-end), and power-constrained (low tens of mW average power). While ML performance and efficiency can be achieved by introducing neural engines within low-power systems-on-chip (SoCs), system-level power for nontrivial DNNs dep…
▽ More
Extended reality (XR) applications are Machine Learning (ML)-intensive, featuring deep neural networks (DNNs) with millions of weights, tightly latency-bound (10-20 ms end-to-end), and power-constrained (low tens of mW average power). While ML performance and efficiency can be achieved by introducing neural engines within low-power systems-on-chip (SoCs), system-level power for nontrivial DNNs depends strongly on the energy of non-volatile memory (NVM) access for network weights. This work introduces Siracusa, a near-sensor heterogeneous SoC for next-generation XR devices manufactured in 16 nm CMOS. Siracusa couples an octa-core cluster of RISC-V digital signal processing cores with a novel tightly-coupled "At-Memory" integration between a state-of-the-art digital neural engine called N-EUREKA and an on-chip NVM based on magnetoresistive memory(MRAM), achieving 1.7x higher throughput and 3x better energy efficiency than XR SoCs using NVM as background memory. The fabricated SoC prototype achieves an area efficiency of 65.2 GOp/s/mm2 and a peak energy efficiency of 8.84 TOp/J for DNN inference while supporting complex heterogeneous application workloads, which combine ML with conventional signal processing and control.
△ Less
Submitted 14 April, 2024; v1 submitted 22 December, 2023;
originally announced December 2023.
-
Enhancing Post-Hoc Explanation Benchmark Reliability for Image Classification
Authors:
Tristan Gomez,
Harold Mouchère
Abstract:
Deep neural networks, while powerful for image classification, often operate as "black boxes," complicating the understanding of their decision-making processes. Various explanation methods, particularly those generating saliency maps, aim to address this challenge. However, the inconsistency issues of faithfulness metrics hinder reliable benchmarking of explanation methods. This paper employs an…
▽ More
Deep neural networks, while powerful for image classification, often operate as "black boxes," complicating the understanding of their decision-making processes. Various explanation methods, particularly those generating saliency maps, aim to address this challenge. However, the inconsistency issues of faithfulness metrics hinder reliable benchmarking of explanation methods. This paper employs an approach inspired by psychometrics, utilizing Krippendorf's alpha to quantify the benchmark reliability of post-hoc methods in image classification. The study proposes model training modifications, including feeding perturbed samples and employing focal loss, to enhance robustness and calibration. Empirical evaluations demonstrate significant improvements in benchmark reliability across metrics, datasets, and post-hoc methods. This pioneering work establishes a foundation for more reliable evaluation practices in the realm of post-hoc explanation methods, emphasizing the importance of model robustness in the assessment process.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
Torelli theorem for the moduli stack of vector bundles with fixed determinant
Authors:
David Alfaya,
Indranil Biswas,
Tomás L. Gómez,
Swarnava Mukhopadhyay
Abstract:
Given any irreducible smooth complex projective curve X, of genus at least two, consider the moduli stack of vector bundles on X of fixed rank and determinant. It is proved that the isomorphism class of the stack uniquely determines the isomorphism class of the curve X and the rank of the vector bundles.
Given any irreducible smooth complex projective curve X, of genus at least two, consider the moduli stack of vector bundles on X of fixed rank and determinant. It is proved that the isomorphism class of the stack uniquely determines the isomorphism class of the curve X and the rank of the vector bundles.
△ Less
Submitted 11 October, 2023;
originally announced October 2023.
-
Enhancements of Electron-Atom Collisions due to Pauli Repulsion in Neutron-Star Magnetic Fields
Authors:
Thomas Gomez,
Mark Zammit,
Igor Bray,
Christopher Fontes,
Jackson White
Abstract:
Neutron star surfaces and atmospheres are unique environments that sustain the largest-known magnetic fields in the universe. Our knowledge of neutron star material properties, including the composition and equation of state, remains highly unconstrained. Electron-atom collisions are integral to theoretical thermal conduction and spectral emission models that describe neutron star surfaces. The th…
▽ More
Neutron star surfaces and atmospheres are unique environments that sustain the largest-known magnetic fields in the universe. Our knowledge of neutron star material properties, including the composition and equation of state, remains highly unconstrained. Electron-atom collisions are integral to theoretical thermal conduction and spectral emission models that describe neutron star surfaces. The theory of scattering in magnetic fields was developed in the 1970s, but focused only on bare nuclei scattering. In this work, we present a quantum treatment of atom-electron collisions in magnetic fields; of significant importance is the inclusion of Pauli repulsion arising from two interacting electrons. We find strange behaviors not seen in collisions without a magnetic field. In high magnetic fields, Pauli repulsion can lead to orders of magnitude enhancements of collision cross sections. Additionally, the elastic collision cross sections that involve the ground state become comparable to those involving excited states, and states with large orbits have the largest contribution to the collisions. We anticipate significant changes to transport properties and spectral line broadening in neutron star surfaces and atmospheres, which will aid in spectral diagnostics of these extreme environments.
△ Less
Submitted 22 August, 2023;
originally announced August 2023.
-
Complexity of Motion Planning of Arbitrarily Many Robots: Gadgets, Petri Nets, and Counter Machines
Authors:
Hayashi Ani,
Michael Coulombe,
Erik D. Demaine,
Jenny Diomidova,
Timothy Gomez,
Dylan Hendrickson,
Jayson Lynch
Abstract:
We extend the motion-planning-through-gadgets framework to several new scenarios involving various numbers of robots/agents, and analyze the complexity of the resulting motion-planning problems. While past work considers just one robot or one robot per player, most of our models allow for one or more locations to spawn new robots in each time step, leading to arbitrarily many robots. In the 0-pl…
▽ More
We extend the motion-planning-through-gadgets framework to several new scenarios involving various numbers of robots/agents, and analyze the complexity of the resulting motion-planning problems. While past work considers just one robot or one robot per player, most of our models allow for one or more locations to spawn new robots in each time step, leading to arbitrarily many robots. In the 0-player context, where all motion is deterministically forced, we prove that deciding whether any robot ever reaches a specified location is undecidable, by representing a counter machine. In the 1-player context, where the player can choose how to move the robots, we prove equivalence to Petri nets, EXPSPACE-completeness for reaching a specified location, PSPACE-completeness for reconfiguration, and ACKERMANN-completeness for reconfiguration when robots can be destroyed in addition to spawned. Finally, we consider a variation on the standard 2-player context where, instead of one robot per player, we have one robot shared by the players, along with a ko rule to prevent immediately undoing the previous move. We prove this impartial 2-player game EXPTIME-complete.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
Insights from the Design Space Exploration of Flow-Guided Nanoscale Localization
Authors:
Filip Lemic,
Gerard Calvo Bartra,
Arnau Brosa López,
Jorge Torres Gómez,
Jakob Struye,
Falko Dressler,
Sergi Abadal,
Xavier Costa Perez
Abstract:
Nanodevices with Terahertz (THz)-based wireless communication capabilities are providing a primer for flow-guided localization within the human bloodstreams. Such localization is allowing for assigning the locations of sensed events with the events themselves, providing benefits in precision medicine along the lines of early and precise diagnostics, and reduced costs and invasiveness. Flow-guided…
▽ More
Nanodevices with Terahertz (THz)-based wireless communication capabilities are providing a primer for flow-guided localization within the human bloodstreams. Such localization is allowing for assigning the locations of sensed events with the events themselves, providing benefits in precision medicine along the lines of early and precise diagnostics, and reduced costs and invasiveness. Flow-guided localization is still in a rudimentary phase, with only a handful of works targeting the problem. Nonetheless, the performance assessments of the proposed solutions are already carried out in a non-standardized way, usually along a single performance metric, and ignoring various aspects that are relevant at such a scale (e.g., nanodevices' limited energy) and for such a challenging environment (e.g., extreme attenuation of in-body THz propagation). As such, these assessments feature low levels of realism and cannot be compared in an objective way. Toward addressing this issue, we account for the environmental and scale-related peculiarities of the scenario and assess the performance of two state-of-the-art flow-guided localization approaches along a set of heterogeneous performance metrics such as the accuracy and reliability of localization.
△ Less
Submitted 29 May, 2024; v1 submitted 29 May, 2023;
originally announced May 2023.
-
Formation of $\text{H}_{2}$ on polycyclic aromatic hydrocarbons under conditions of the ISM: an ab initio molecular dynamics study
Authors:
Nicolás F. Barrera,
Patricio Fuentealba,
Francisco Muñoz,
Tatiana Gómez,
Carlos Cárdenas
Abstract:
Understanding how the $\mathrm{H}_2$ molecule is formed under the chemical conditions of the interstellar media (ISM) is critical to the whole chemistry of it. Formation of $\mathrm{H}_2$ in the ISM requires a third body acting as a reservoir of energy. Polycyclic aromatic hydrocarbons (PAH's) are excellent candidates to play that role. In this work we simulated the collisions of hydrogen atoms wi…
▽ More
Understanding how the $\mathrm{H}_2$ molecule is formed under the chemical conditions of the interstellar media (ISM) is critical to the whole chemistry of it. Formation of $\mathrm{H}_2$ in the ISM requires a third body acting as a reservoir of energy. Polycyclic aromatic hydrocarbons (PAH's) are excellent candidates to play that role. In this work we simulated the collisions of hydrogen atoms with coronene to form $\mathrm{H}_2$ via the Eley-Rideal mechanism. To do so, we used Born-Oppenheimer (ab initio) Molecular Dynamics simulations. Our results show that that adsorption of H atoms and subsequent release of $\mathrm{H}_2$ readily happen on coronene for H atoms with kinetic energy as large as 1 eV. Special attention is paid to dissipation and partition of the energy released in the reactions. The capacity of coronene to dissipate collision and reaction energies depends varies with the reaction site. Inner sites dissipate energy easier and faster than edge sites, thus evidencing an interplay between the potential energy surface around the reaction center and its ability to cool the projectile. As for the the recombination of H atoms and the subsequent formation of $\mathrm{H}_{2}$, it is observed that $\sim 15\%$ of the energy is dissipated by the coronene molecule as vibrational energy and the remaining energy is carried by $\mathrm{H}_{2}$. The $\mathrm{H}_{2}$ molecules desorb from coronene with an excited vibrational state ($\upsilon \geq 3$), a large amount of translational kinetic energy ($\geq$ 0.4 eV) and with a small activation of the rotational degree of freedom.
△ Less
Submitted 17 July, 2023; v1 submitted 23 May, 2023;
originally announced May 2023.
-
Focusing on Information Context for ITS using a Spatial Age of Information Model
Authors:
Julian Heinovski,
Jorge Torres Gómez,
Falko Dressler
Abstract:
New technologies for sensing and communication act as enablers for cooperative driving applications. Sensors are able to detect objects in the surrounding environment and information such as their current location is exchanged among vehicles. In order to cope with the vehicles' mobility, such information is required to be as fresh as possible for proper operation of cooperative driving application…
▽ More
New technologies for sensing and communication act as enablers for cooperative driving applications. Sensors are able to detect objects in the surrounding environment and information such as their current location is exchanged among vehicles. In order to cope with the vehicles' mobility, such information is required to be as fresh as possible for proper operation of cooperative driving applications. The age of information (AoI) has been proposed as a metric for evaluating freshness of information; recently also within the context of intelligent transportation systems (ITS). We investigate mechanisms to reduce the AoI of data transported in form of beacon messages while controlling their emission rate. We aim to balance packet collision probability and beacon frequency using the average peak age of information (PAoI) as a metric. This metric, however, only accounts for the generation time of the data but not for application-specific aspects, such as the location of the transmitting vehicle. We thus propose a new way of interpreting the AoI by considering information context, thereby incorporating vehicles' locations. As an example, we characterize such importance using the orientation and the distance of the involved vehicles. In particular, we introduce a weighting coefficient used in combination with the PAoI to evaluate the information freshness, thus emphasizing on information from more important neighbors. We further design the beaconing approach in a way to meet a given AoI requirement, thus, saving resources on the wireless channel while kee** the AoI minimal. We illustrate the effectiveness of our approach in Manhattan-like urban scenarios, reaching pre-specified targets for the AoI of beacon messages.
△ Less
Submitted 16 June, 2023; v1 submitted 25 April, 2023;
originally announced April 2023.
-
Complexity of Reconfiguration in Surface Chemical Reaction Networks
Authors:
Robert M. Alaniz,
Josh Brunner,
Michael Coulombe,
Erik D. Demaine,
Jenny Diomidova,
Ryan Knobel,
Timothy Gomez,
Elise Grizzell,
Jayson Lynch,
Andrew Rodriguez,
Robert Schweller,
Tim Wylie
Abstract:
We analyze the computational complexity of basic reconfiguration problems for the recently introduced surface Chemical Reaction Networks (sCRNs), where ordered pairs of adjacent species nondeterministically transform into a different ordered pair of species according to a predefined set of allowed transition rules (chemical reactions). In particular, two questions that are fundamental to the simul…
▽ More
We analyze the computational complexity of basic reconfiguration problems for the recently introduced surface Chemical Reaction Networks (sCRNs), where ordered pairs of adjacent species nondeterministically transform into a different ordered pair of species according to a predefined set of allowed transition rules (chemical reactions). In particular, two questions that are fundamental to the simulation of sCRNs are whether a given configuration of molecules can ever transform into another given configuration, and whether a given cell can ever contain a given species, given a set of transition rules. We show that these problems can be solved in polynomial time, are NP-complete, or are PSPACE-complete in a variety of different settings, including when adjacent species just swap instead of arbitrary transformation (swap sCRNs), and when cells can change species a limited number of times (k-burnout). Most problems turn out to be at least NP-hard except with very few distinct species (2 or 3).
△ Less
Submitted 24 October, 2023; v1 submitted 27 March, 2023;
originally announced March 2023.
-
Toward Standardized Performance Evaluation of Flow-guided Nanoscale Localization
Authors:
Arnau Brosa López,
Filip Lemic,
Jakob Struye,
Jorge Torres Gómez,
Esteban Municio,
Carmen Delgado,
Gerard Calvo Bartra,
Falko Dressler,
Eduard Alarcón,
Jeroen Famaey,
Sergi Abadal,
Xavier Costa Pérez
Abstract:
Nanoscale devices with Terahertz (THz) communication capabilities are envisioned to be deployed within human bloodstreams. Such devices will enable fine-grained sensing-based applications for detecting early indications (i.e., biomarkers) of various health conditions, as well as actuation-based ones such as targeted drug delivery. Associating the locations of such events with the events themselves…
▽ More
Nanoscale devices with Terahertz (THz) communication capabilities are envisioned to be deployed within human bloodstreams. Such devices will enable fine-grained sensing-based applications for detecting early indications (i.e., biomarkers) of various health conditions, as well as actuation-based ones such as targeted drug delivery. Associating the locations of such events with the events themselves would provide an additional utility for precision diagnostics and treatment. This vision yielded a new class of in-body localization coined under the term "flow-guided nanoscale localization". Such localization can be piggybacked on THz communication for detecting body regions in which biological events were observed based on the duration of one circulation of a nanodevice in the bloodstream. From a decades-long research on objective benchmarking of "traditional" indoor localization, as well as its eventual standardization (e.g., ISO/IEC 18305:2016), we know that in early stages the reported performance results were often incomplete (e.g., targeting a subset of relevant performance metrics), carrying out benchmarking experiments in different evaluation environments and scenarios, and utilizing inconsistent performance indicators. To avoid such a "lock-in" in flow-guided localization, in this paper we propose a workflow for standardized performance evaluation of such localization. The workflow is implemented in the form of an open-source simulation framework that is able to jointly account for the mobility of the nanodevices, in-body THz communication between with on-body anchors, and energy-related and other technological constraints (e.g., pulse-based modulation) at the nanodevice level. Accounting for these constraints, the framework is able to generate the raw data that can be streamlined into different flow-guided localization solutions for generating standardized performance benchmarks.
△ Less
Submitted 7 March, 2024; v1 submitted 14 March, 2023;
originally announced March 2023.
-
A guide to moduli theory beyond GIT
Authors:
Tomás L. Gómez,
Andres Fernández Herrero,
Alfonso Zamora
Abstract:
In this survey we provide an overview of some recent developments in the construction of moduli spaces using stack-theoretic techniques. We will also explain the analogue of Harder-Narasimhan stratifications for general stacks, known as $Θ$-stratifications. As an application of the ideas exposed here, we address the moduli problem of principal bundles over higher dimensional projective varieties,…
▽ More
In this survey we provide an overview of some recent developments in the construction of moduli spaces using stack-theoretic techniques. We will also explain the analogue of Harder-Narasimhan stratifications for general stacks, known as $Θ$-stratifications. As an application of the ideas exposed here, we address the moduli problem of principal bundles over higher dimensional projective varieties, as well as its different compactifications by the so-called principal $ρ$-sheaves. We construct a stratification by instability types whose lower strata admits a proper good moduli space of ``Gieseker semistable" objects and a new Gieseker-type Harder-Narasimhan filtration for these objects. Detailed proofs of the latter results will appear elsewhere.
△ Less
Submitted 20 September, 2023; v1 submitted 3 February, 2023;
originally announced February 2023.
-
Complexity of Solo Chess with Unlimited Moves
Authors:
Josh Brunner,
Lily Chung,
Michael Coulombe,
Erik D. Demaine,
Timothy Gomez,
Jayson Lynch
Abstract:
We analyze Solo Chess puzzles, where the input is an $n \times n$ board containing some standard Chess pieces of the same color, and the goal is to make a sequence of capture moves to reduce down to a single piece. Prior work analyzes this puzzle for a single piece type when each piece is limited to make at most two capture moves (as in the Solo Chess puzzles on chess.com). By contrast, we study w…
▽ More
We analyze Solo Chess puzzles, where the input is an $n \times n$ board containing some standard Chess pieces of the same color, and the goal is to make a sequence of capture moves to reduce down to a single piece. Prior work analyzes this puzzle for a single piece type when each piece is limited to make at most two capture moves (as in the Solo Chess puzzles on chess.com). By contrast, we study when each piece can make an unlimited number of capture moves. We show that any single piece type can be solved in polynomial time in a general model of piece types, while any two standard Chess piece types are NP-complete. We also analyze the restriction (as on chess.com) that one piece type is unique and must be the last surviving piece, showing that in this case some pairs of piece types become tractable while others remain hard.
△ Less
Submitted 2 February, 2023;
originally announced February 2023.
-
Reachability in Restricted Chemical Reaction Networks
Authors:
Robert M. Alaniz,
Bin Fu,
Timothy Gomez,
Elise Grizzell,
Andrew Rodriguez,
Robert Schweller,
Tim Wylie
Abstract:
The popularity of molecular computation has given rise to several models of abstraction, one of the more recent ones being Chemical Reaction Networks (CRNs). These are equivalent to other popular computational models, such as Vector Addition Systems and Petri-Nets, and restricted versions are equivalent to Population Protocols. This paper continues the work on core reachability questions related t…
▽ More
The popularity of molecular computation has given rise to several models of abstraction, one of the more recent ones being Chemical Reaction Networks (CRNs). These are equivalent to other popular computational models, such as Vector Addition Systems and Petri-Nets, and restricted versions are equivalent to Population Protocols. This paper continues the work on core reachability questions related to Chemical Reaction Networks; given two configurations, can one reach the other according to the system's rules? With no restrictions, reachability was recently shown to be Ackermann-complete, this resolving a decades-old problem.
Here, we fully characterize monotone reachability problems based on various restrictions such as the rule size, the number of rules that may create a species (k-source) or consume a species (k-consuming), the volume, and whether the rules have an acyclic production order (feed-forward). We show PSPACE-completeness of reachability with only bimolecular reactions with two-source and two-consuming rules. This proves hardness of reachability in Population Protocols, which was unknown. Further, this shows reachability in CRNs is PSPACE-complete with size-2 rules, which was previously only known with size-5 rules. This is achieved using techniques within the motion planning framework.
We provide many important results for feed-forward CRNs where rules are single-source or single-consuming. We show that reachability is solvable in polynomial time if the system does not contain special void or autogenesis rules. We then fully characterize all systems of this type and show that if you allow void/autogenesis rules, or have more than one source and one consuming, the problems become NP-complete. Finally, we show several interesting special cases of CRNs based on these restrictions or slight relaxations and note future significant open questions related to this taxonomy.
△ Less
Submitted 22 November, 2022;
originally announced November 2022.
-
Building Squares with Optimal State Complexity in Restricted Active Self-Assembly
Authors:
Robert M. Alaniz,
David Caballero,
Sonya C. Cirlos,
Timothy Gomez,
Elise Grizzell,
Andrew Rodriguez,
Robert Schweller,
Armando Tenorio,
Tim Wylie
Abstract:
Tile Automata is a recently defined model of self-assembly that borrows many concepts from cellular automata to create active self-assembling systems where changes may be occurring within an assembly without requiring attachment. This model has been shown to be powerful, but many fundamental questions have yet to be explored. Here, we study the state complexity of assembling $n \times n$ squares i…
▽ More
Tile Automata is a recently defined model of self-assembly that borrows many concepts from cellular automata to create active self-assembling systems where changes may be occurring within an assembly without requiring attachment. This model has been shown to be powerful, but many fundamental questions have yet to be explored. Here, we study the state complexity of assembling $n \times n$ squares in seeded Tile Automata systems where growth starts from a seed and tiles may attach one at a time, similar to the abstract Tile Assembly Model. We provide optimal bounds for three classes of seeded Tile Automata systems (all without detachment), which vary in the amount of complexity allowed in the transition rules. We show that, in general, seeded Tile Automata systems require $Θ{(\log^{\frac{1}{4}} n)}$ states. For single-transition systems, where only one state may change in a transition rule, we show a bound of $Θ{(\log^{\frac{1}{3}} n)}$, and for deterministic systems, where each pair of states may only have one associated transition rule, a bound of $Θ( (\frac{\log n}{\log \log n})^\frac{1}{2} )$.
△ Less
Submitted 22 November, 2022;
originally announced November 2022.
-
The stable and augmented base locus under finite morphisms
Authors:
Tanuj Gomez
Abstract:
We study the pullback of the stable and augmented base locus under a finite surjective morphism between normal varieties over a perfect field.
We study the pullback of the stable and augmented base locus under a finite surjective morphism between normal varieties over a perfect field.
△ Less
Submitted 16 September, 2022;
originally announced September 2022.
-
Hydrated anions: From clusters to bulk solution with quasi-chemical theory
Authors:
Diego T. Gomez,
Lawrence R. Pratt,
Dilipkumar N. Asthagiri,
Susan B. Rempe
Abstract:
The interactions of hydrated ions with solution and interface partners are strong on a chemical energy scale. Here, we test the foremost \textit{ab initio theory} for evaluation of hydration free energies of ions, namely, \textit{quasi-chemical theory} (QCT). We focus on halide anions, but also the hydroxide anion, since they have been outstanding challenges for all theories. QCT is built by ident…
▽ More
The interactions of hydrated ions with solution and interface partners are strong on a chemical energy scale. Here, we test the foremost \textit{ab initio theory} for evaluation of hydration free energies of ions, namely, \textit{quasi-chemical theory} (QCT). We focus on halide anions, but also the hydroxide anion, since they have been outstanding challenges for all theories. QCT is built by identification of inner-shell clusters, separate treatment of those clusters, then integration of those results into the broader-scale solution environment. We exploit a close comparison with mass-spectrometric measurements of ion-hydration equilibria. That theory-experiment comparison is excellent with moderate computational effort here. This agreement reinforces both theory and experiment, and provides a numerically accurate inner-shell contribution to QCT. The inner-shell complexes involving heavier halides display strikingly asymmetric hydration clusters. QCT provides a favorable setting for exploitation of the polarizable continuum model (PCM) when the inner-shell material shields the ion from the outer solution environment. For the asymmetrically hydrated, and less effectively shielded, heavier halide ions, we investigate an inverse procedure in which the inner-shell structures are sampled from readily available AIMD calculations on the bulk solutions. This inverse procedure is a remarkable improvement and our final results are in close agreement with a standard tabulation of hydration free energies. Comparison of anion hydration cluster structures with bulk solutions from AIMD simulations emphasize slight differences: the asymmetries of bulk solution inner-shell structures are moderated, but still present; and inner shells fill to slightly higher average coordination numbers in bulk solution than in clusters.
△ Less
Submitted 24 June, 2022;
originally announced June 2022.
-
Comparison of attention models and post-hoc explanation methods for embryo stage identification: a case study
Authors:
Tristan Gomez,
Thomas Fréour,
Harold Mouchère
Abstract:
An important limitation to the development of AI-based solutions for In Vitro Fertilization (IVF) is the black-box nature of most state-of-the-art models, due to the complexity of deep learning architectures, which raises potential bias and fairness issues. The need for interpretable AI has risen not only in the IVF field but also in the deep learning community in general. This has started a trend…
▽ More
An important limitation to the development of AI-based solutions for In Vitro Fertilization (IVF) is the black-box nature of most state-of-the-art models, due to the complexity of deep learning architectures, which raises potential bias and fairness issues. The need for interpretable AI has risen not only in the IVF field but also in the deep learning community in general. This has started a trend in literature where authors focus on designing objective metrics to evaluate generic explanation methods. In this paper, we study the behavior of recently proposed objective faithfulness metrics applied to the problem of embryo stage identification. We benchmark attention models and post-hoc methods using metrics and further show empirically that (1) the metrics produce low overall agreement on the model ranking and (2) depending on the metric approach, either post-hoc methods or attention models are favored. We conclude with general remarks about the difficulty of defining faithfulness and the necessity of understanding its relationship with the type of approach that is favored.
△ Less
Submitted 13 May, 2022;
originally announced May 2022.
-
Towards deep learning-powered IVF: A large public benchmark for morphokinetic parameter prediction
Authors:
Tristan Gomez,
Magalie Feyeux,
Nicolas Normand,
Laurent David,
Perrine Paul-Gilloteaux,
Thomas Fréour,
Harold Mouchère
Abstract:
An important limitation to the development of Artificial Intelligence (AI)-based solutions for In Vitro Fertilization (IVF) is the absence of a public reference benchmark to train and evaluate deep learning (DL) models. In this work, we describe a fully annotated dataset of 704 videos of develo** embryos, for a total of 337k images. We applied ResNet, LSTM, and ResNet-3D architectures to our dat…
▽ More
An important limitation to the development of Artificial Intelligence (AI)-based solutions for In Vitro Fertilization (IVF) is the absence of a public reference benchmark to train and evaluate deep learning (DL) models. In this work, we describe a fully annotated dataset of 704 videos of develo** embryos, for a total of 337k images. We applied ResNet, LSTM, and ResNet-3D architectures to our dataset and demonstrate that they overperform algorithmic approaches to automatically annotate stage development phases. Altogether, we propose the first public benchmark that will allow the community to evaluate morphokinetic models. This is the first step towards deep learning-powered IVF. Of note, we propose highly detailed annotations with 16 different development phases, including early cell division phases, but also late cell divisions, phases after morulation, and very early phases, which have never been used before. We postulate that this original approach will help improve the overall performance of deep learning approaches on time-lapse videos of embryo development, ultimately benefiting infertile patients with improved clinical success rates (Code and data are available at https://gitlab.univ-nantes.fr/E144069X/bench_mk_pred.git).
△ Less
Submitted 13 May, 2022; v1 submitted 1 March, 2022;
originally announced March 2022.
-
Metrics for saliency map evaluation of deep learning explanation methods
Authors:
Tristan Gomez,
Thomas Fréour,
Harold Mouchère
Abstract:
Due to the black-box nature of deep learning models, there is a recent development of solutions for visual explanations of CNNs. Given the high cost of user studies, metrics are necessary to compare and evaluate these different methods. In this paper, we critically analyze the Deletion Area Under Curve (DAUC) and Insertion Area Under Curve (IAUC) metrics proposed by Petsiuk et al. (2018). These me…
▽ More
Due to the black-box nature of deep learning models, there is a recent development of solutions for visual explanations of CNNs. Given the high cost of user studies, metrics are necessary to compare and evaluate these different methods. In this paper, we critically analyze the Deletion Area Under Curve (DAUC) and Insertion Area Under Curve (IAUC) metrics proposed by Petsiuk et al. (2018). These metrics were designed to evaluate the faithfulness of saliency maps generated by generic methods such as Grad-CAM or RISE. First, we show that the actual saliency score values given by the saliency map are ignored as only the ranking of the scores is taken into account. This shows that these metrics are insufficient by themselves, as the visual appearance of a saliency map can change significantly without the ranking of the scores being modified. Secondly, we argue that during the computation of DAUC and IAUC, the model is presented with images that are out of the training distribution which might lead to an unreliable behavior of the model being explained. To complement DAUC/IAUC, we propose new metrics that quantify the sparsity and the calibration of explanation methods, two previously unstudied properties. Finally, we give general remarks about the metrics studied in this paper and discuss how to evaluate them in a user study.
△ Less
Submitted 22 June, 2022; v1 submitted 31 January, 2022;
originally announced January 2022.
-
Unique Assembly Verification in Two-Handed Self-Assembly
Authors:
David Caballero,
Timothy Gomez,
Robert Schweller,
Tim Wylie
Abstract:
One of the most fundamental and well-studied problems in Tile Self-Assembly is the Unique Assembly Verification (UAV) problem. This algorithmic problem asks whether a given tile system uniquely assembles a specific assembly. The complexity of this problem in the 2-Handed Assembly Model (2HAM) at a constant temperature is a long-standing open problem since the model was introduced. Previously, only…
▽ More
One of the most fundamental and well-studied problems in Tile Self-Assembly is the Unique Assembly Verification (UAV) problem. This algorithmic problem asks whether a given tile system uniquely assembles a specific assembly. The complexity of this problem in the 2-Handed Assembly Model (2HAM) at a constant temperature is a long-standing open problem since the model was introduced. Previously, only membership in the class coNP was known and that the problem is in P if the temperature is one ($τ=1$). The problem is known to be hard for many generalizations of the model, such as allowing one step into the third dimension or allowing the temperature of the system to be a variable, but the most fundamental version has remained open.
In this paper, we prove the UAV problem in the 2HAM is hard even with a small constant temperature ($τ= 2$), and finally answer the complexity of this problem (open since 2013). Further, this result proves that UAV in the staged self-assembly model is coNP-complete with a single bin and stage (open since 2007), and that UAV in the q-tile model is also coNP-complete (open since 2004). We reduce from Monotone Planar 3-SAT with Neighboring Variable Pairs, a special case of 3SAT recently proven to be NP-hard. We accompany this reduction with a positive result showing that UAV is solvable in polynomial time with the promise that the given target assembly will have a tree-shaped bond graph, i.e., contains no cycles. We provide a $\mathcal{O}(n^5)$ algorithm for UAV on tree-bonded assemblies when the temperature is fixed to $2$, and a $\mathcal{O}(n^5\log τ)$ time algorithm when the temperature is part of the input.
△ Less
Submitted 9 December, 2021;
originally announced December 2021.
-
Wi-Fi Meets ML: A Survey on Improving IEEE 802.11 Performance with Machine Learning
Authors:
Szymon Szott,
Katarzyna Kosek-Szott,
Piotr Gawłowicz,
Jorge Torres Gómez,
Boris Bellalta,
Anatolij Zubow,
Falko Dressler
Abstract:
Wireless local area networks (WLANs) empowered by IEEE 802.11 (Wi-Fi) hold a dominant position in providing Internet access thanks to their freedom of deployment and configuration as well as the existence of affordable and highly interoperable devices. The Wi-Fi community is currently deploying Wi-Fi 6 and develo** Wi-Fi 7, which will bring higher data rates, better multi-user and multi-AP suppo…
▽ More
Wireless local area networks (WLANs) empowered by IEEE 802.11 (Wi-Fi) hold a dominant position in providing Internet access thanks to their freedom of deployment and configuration as well as the existence of affordable and highly interoperable devices. The Wi-Fi community is currently deploying Wi-Fi 6 and develo** Wi-Fi 7, which will bring higher data rates, better multi-user and multi-AP support, and, most importantly, improved configuration flexibility. These technical innovations, including the plethora of configuration parameters, are making next-generation WLANs exceedingly complex as the dependencies between parameters and their joint optimization usually have a non-linear impact on network performance. The complexity is further increased in the case of dense deployments and coexistence in shared bands. While classical optimization approaches fail in such conditions, machine learning (ML) is able to handle complexity. Much research has been published on using ML to improve Wi-Fi performance and solutions are slowly being adopted in existing deployments. In this survey, we adopt a structured approach to describe the various Wi-Fi areas where ML is applied. To this end, we analyze over 250 papers in the field, providing readers with an overview of the main trends. Based on this review, we identify specific open challenges and provide general future research directions.
△ Less
Submitted 6 October, 2022; v1 submitted 10 September, 2021;
originally announced September 2021.
-
Shapes of Non-symmetric Capillary Bridges
Authors:
L. R. Pratt,
D. T. Gomez,
A. Muralidharan,
N. Pesika
Abstract:
Here we study the shapes of droplets captured between chemically distinct parallel plates. This work is a preliminary step toward characterizing the influence of second-phase bridging between biomolecular surfaces on their solution contacts, i.e., capillary attraction or repulsion. We obtain a simple, variable-separated quadrature formula for the bridge shape. The technical complication of double-…
▽ More
Here we study the shapes of droplets captured between chemically distinct parallel plates. This work is a preliminary step toward characterizing the influence of second-phase bridging between biomolecular surfaces on their solution contacts, i.e., capillary attraction or repulsion. We obtain a simple, variable-separated quadrature formula for the bridge shape. The technical complication of double-ended boundary conditions on the shapes of non-symmetric bridges is addressed by studying waists in the bridge shape, i.e., points where the bridge silhouette has zero derivative. Waists are always expected with symmetric bridges, but waist-points can serve to characterize shape segments in general cases. We study how waist possibilities depend on the physical input to these problems, noting that these formulae change with the sign of the inside-outside pressure difference of the bridge. These results permit a variety of different interesting shapes, and the development below is accompanied by several examples.
△ Less
Submitted 18 August, 2021;
originally announced August 2021.
-
The moduli stack of principal $ρ$-sheaves and Gieseker-Harder-Narasimhan filtrations
Authors:
Tomás L. Gómez,
Andres Fernandez Herrero,
Alfonso Zamora
Abstract:
Let X be a smooth projective variety and let G be a connected reductive group, both defined over a field of characteristic 0. Given a faithful representation $ρ$ of G into a product of general linear groups, we define a moduli stack of principal $ρ$-sheaves that compactifies the stack of G-bundles on X. We apply the theory developed by Alper, Halpern-Leistner and Heinloth to construct a moduli spa…
▽ More
Let X be a smooth projective variety and let G be a connected reductive group, both defined over a field of characteristic 0. Given a faithful representation $ρ$ of G into a product of general linear groups, we define a moduli stack of principal $ρ$-sheaves that compactifies the stack of G-bundles on X. We apply the theory developed by Alper, Halpern-Leistner and Heinloth to construct a moduli space of Gieseker semistable principal $ρ$-sheaves. This provides an intrinsic stack-theoretic construction of the moduli space of semistable singular principal bundles as constructed by Schmitt and Gómez-Langer-Schmitt-Sols.
Our second main result is the definition of a schematic Gieseker-Harder-Narasimhan filtration for $ρ$-sheaves, which induces a stratification of the stack by locally closed substacks. This filtration for a general reductive group G is a refinement of the canonical slope parabolic reductions previously considered at the level of points by Anchouche-Azad-Biswas and as a stratification of the stack by Gurjar-Nitsure. In an appendix, we apply the same techniques to define Gieseker-Harder-Narasimhan filtrations in arbitrary characteristic and show that they induce a stratification of the stack by radicial morphisms.
△ Less
Submitted 4 April, 2024; v1 submitted 8 July, 2021;
originally announced July 2021.
-
BR-NPA: A Non-Parametric High-Resolution Attention Model to improve the Interpretability of Attention
Authors:
Tristan Gomez,
Suiyi Ling,
Thomas Fréour,
Harold Mouchère
Abstract:
The prevalence of employing attention mechanisms has brought along concerns on the interpretability of attention distributions. Although it provides insights about how a model is operating, utilizing attention as the explanation of model predictions is still highly dubious. The community is still seeking more interpretable strategies for better identifying local active regions that contribute the…
▽ More
The prevalence of employing attention mechanisms has brought along concerns on the interpretability of attention distributions. Although it provides insights about how a model is operating, utilizing attention as the explanation of model predictions is still highly dubious. The community is still seeking more interpretable strategies for better identifying local active regions that contribute the most to the final decision. To improve the interpretability of existing attention models, we propose a novel Bilinear Representative Non-Parametric Attention (BR-NPA) strategy that captures the task-relevant human-interpretable information. The target model is first distilled to have higher-resolution intermediate feature maps. From which, representative features are then grouped based on local pairwise feature similarity, to produce finer-grained, more precise attention maps highlighting task-relevant parts of the input. The obtained attention maps are ranked according to the activity level of the compound feature, which provides information regarding the important level of the highlighted regions. The proposed model can be easily adapted in a wide variety of modern deep models, where classification is involved. Extensive quantitative and qualitative experiments showcase more comprehensive and accurate visual explanations compared to state-of-the-art attention models and visualizations methods across multiple tasks including fine-grained image classification, few-shot classification, and person re-identification, without compromising the classification accuracy. The proposed visualization model sheds imperative light on how neural networks `pay their attention' differently in different tasks.
△ Less
Submitted 15 September, 2022; v1 submitted 4 June, 2021;
originally announced June 2021.
-
Comparison of Poisson structures on moduli spaces
Authors:
Indranil Biswas,
Francesco Bottacin,
Tomás L. Gómez
Abstract:
Let $X$ be a complex irreducible smooth projective curve, and let ${\mathbb L}$ be an algebraic line bundle on $X$ with a nonzero section $σ_0$. Let $\mathcal{M}$ denote the moduli space of stable Hitchin pairs $(E,\, θ)$, where $E$ is an algebraic vector bundle on $X$ of fixed rank $r$ and degree $δ$, and $θ\, \in\, H^0(X,\, End(E)\otimes K_X\otimes{\mathbb L})$. Associating to every stable Hitch…
▽ More
Let $X$ be a complex irreducible smooth projective curve, and let ${\mathbb L}$ be an algebraic line bundle on $X$ with a nonzero section $σ_0$. Let $\mathcal{M}$ denote the moduli space of stable Hitchin pairs $(E,\, θ)$, where $E$ is an algebraic vector bundle on $X$ of fixed rank $r$ and degree $δ$, and $θ\, \in\, H^0(X,\, End(E)\otimes K_X\otimes{\mathbb L})$. Associating to every stable Hitchin pair its spectral data, an isomorphism of $\mathcal{M}$ with a moduli space $\mathcal{P}$ of stable sheaves of pure dimension one on the total space of $K_X\otimes{\mathbb L}$ is obtained. Both the moduli spaces $\mathcal{P}$ and $\mathcal{M}$ are equipped with algebraic Poisson structures, which are constructed using $σ_0$. Here we prove that the above isomorphism between $\mathcal{P}$ and $\mathcal{M}$ preserves the Poisson structures.
△ Less
Submitted 7 December, 2021; v1 submitted 18 February, 2021;
originally announced February 2021.
-
Complex Lagrangians in a hyperKaehler manifold and the relative Albanese
Authors:
Indranil Biswas,
Tomás L. Gómez,
André Oliveira
Abstract:
Let $M$ be the moduli space of complex Lagrangian submanifolds of a hyperKähler manifold $X$, and let $\varpi : \widehat{\mathcal{A}} \rightarrow M$ be the relative Albanese over $M$. We prove that $\widehat{\mathcal{A}}$ has a natural holomorphic symplectic structure. The projection $\varpi$ defines a completely integrable structure on the symplectic manifold $\widehat{\mathcal{A}}$. In particula…
▽ More
Let $M$ be the moduli space of complex Lagrangian submanifolds of a hyperKähler manifold $X$, and let $\varpi : \widehat{\mathcal{A}} \rightarrow M$ be the relative Albanese over $M$. We prove that $\widehat{\mathcal{A}}$ has a natural holomorphic symplectic structure. The projection $\varpi$ defines a completely integrable structure on the symplectic manifold $\widehat{\mathcal{A}}$. In particular, the fibers of $\varpi$ are complex Lagrangians with respect to the symplectic form on $\widehat{\mathcal{A}}$. We also prove analogous results for the relative Picard over $M$.
△ Less
Submitted 13 October, 2020;
originally announced October 2020.
-
Motivic decompositions of moduli spaces of vector bundles on curves
Authors:
Tomás L. Gómez,
Kyoung-Seog Lee
Abstract:
Let $r \geq 2, d$ be two integers which are coprime to each other. Let $C$ be a smooth projective curve of genus $g \geq 2$ and $M(r,L)$ be the moduli space of rank $r$ stable vector bundles on $C$ whose determinants are isomorphic to a fixed line bundle $L$ of degree $d$ on $C.$ In this paper, we study motivic decomposition of $M(r,L)$ for $r=2, 3$ cases. We give a new proof of a version of the m…
▽ More
Let $r \geq 2, d$ be two integers which are coprime to each other. Let $C$ be a smooth projective curve of genus $g \geq 2$ and $M(r,L)$ be the moduli space of rank $r$ stable vector bundles on $C$ whose determinants are isomorphic to a fixed line bundle $L$ of degree $d$ on $C.$ In this paper, we study motivic decomposition of $M(r,L)$ for $r=2, 3$ cases. We give a new proof of a version of the main result of arXiv:1806.11101. We also found a new motivic decomposition of $M(3,L).$
△ Less
Submitted 12 July, 2020;
originally announced July 2020.
-
Evaluation of ensemble methods for quantifying uncertainties in steady-state CFD applications with small ensemble sizes
Authors:
Xinlei Zhang,
Heng Xiao,
Thomas Gomez,
Olivier Coutier-Delgosha
Abstract:
Bayesian uncertainty quantification (UQ) is of interest to industry and academia as it provides a framework for quantifying and reducing the uncertainty in computational models by incorporating available data. For systems with very high computational costs, for instance, the computational fluid dynamics (CFD) problem, the conventional, exact Bayesian approach such as Markov chain Monte Carlo is in…
▽ More
Bayesian uncertainty quantification (UQ) is of interest to industry and academia as it provides a framework for quantifying and reducing the uncertainty in computational models by incorporating available data. For systems with very high computational costs, for instance, the computational fluid dynamics (CFD) problem, the conventional, exact Bayesian approach such as Markov chain Monte Carlo is intractable. To this end, the ensemble-based Bayesian methods have been used for CFD applications. However, their applicability for UQ has not been fully analyzed and understood thus far. Here, we evaluate the performance of three widely used iterative ensemble-based data assimilation methods, namely ensemble Kalman filter, ensemble randomized maximum likelihood method, and ensemble Kalman filter with multiple data assimilation for UQ problems. We present the derivations of the three ensemble methods from an optimization viewpoint. Further, a scalar case is used to demonstrate the performance of the three different approaches with emphasis on the effects of small ensemble sizes. Finally, we assess the three ensemble methods for quantifying uncertainties in steady-state CFD problems involving turbulent mean flows. Specifically, the Reynolds averaged Navier--Stokes (RANS) equation is considered the forward model, and the uncertainties in the propagated velocity are quantified and reduced by incorporating observation data. The results show that the ensemble methods cannot accurately capture the true posterior distribution, but they can provide a good estimation of the uncertainties even when very limited ensemble sizes are used. Based on the overall performance and efficiency from the comparison, the ensemble randomized maximum likelihood method is identified as the best choice of approximate Bayesian UQ approach~among the three ensemble methods evaluated here.
△ Less
Submitted 12 April, 2020;
originally announced April 2020.
-
On vector bundles over moduli spaces trivial on Hecke curves
Authors:
Indranil Biswas,
Tomas L. Gomez
Abstract:
Let $M_X(r,ξ)$ be the moduli space of stable vector bundles, on a smooth complex projective curve $X$, of rank $r$ and fixed determinant $ξ$ such that $°(ξ)$ is coprime to $r$. If $E$ is a vector bundle $M_X(r,ξ)$ whose restriction to every Hecke curve in $M_X(r,ξ)$ is trivial, we prove that $E$ is trivial.
Let $M_X(r,ξ)$ be the moduli space of stable vector bundles, on a smooth complex projective curve $X$, of rank $r$ and fixed determinant $ξ$ such that $°(ξ)$ is coprime to $r$. If $E$ is a vector bundle $M_X(r,ξ)$ whose restriction to every Hecke curve in $M_X(r,ξ)$ is trivial, we prove that $E$ is trivial.
△ Less
Submitted 8 March, 2021; v1 submitted 7 April, 2020;
originally announced April 2020.
-
Hardness of Reconfiguring Robot Swarms with Uniform External Control in Limited Directions
Authors:
David Caballero,
Angel A. Cantu,
Timothy Gomez,
Austin Luchsinger,
Robert Schweller,
Tim Wylie
Abstract:
Motivated by advances is nanoscale applications and simplistic robot agents, we look at problems based on using a global signal to move all agents when given a limited number of directional signals and immovable geometry. We study a model where unit square particles move within a 2D grid based on uniform external forces. Movement is based on a sequence of uniform commands which cause all particles…
▽ More
Motivated by advances is nanoscale applications and simplistic robot agents, we look at problems based on using a global signal to move all agents when given a limited number of directional signals and immovable geometry. We study a model where unit square particles move within a 2D grid based on uniform external forces. Movement is based on a sequence of uniform commands which cause all particles to move 1 step in a specific direction. The 2D grid board additionally contains "blocked" spaces which prevent particles from entry. Within this model, we investigate the complexity of deciding 1) whether a target location on the board can be occupied (by any) particle (\emph{occupancy problem}), 2) whether a specific particle can be relocated to another specific position in the board (\emph{relocation problem}), and 3) whether a board configuration can be transformed into another configuration (\emph{reconfiguration problem}). We prove that while occupancy is solvable in polynomial time, the relocation and reconfiguration problems are both NP-Complete even when restricted to only 2 or 3 movement directions. We further define a hierarchy of board geometries and show that this hardness holds for even very restricted classes of board geometry.
△ Less
Submitted 29 March, 2020;
originally announced March 2020.
-
Poisson structure on the moduli spaces of sheaves of pure dimension one on a surface
Authors:
Indranil Biswas,
Tomas L. Gomez
Abstract:
Let S be a smooth complex projective surface equipped with a Poisson structure s and also a polarization H. The moduli space M_H(S,P) of stable sheaves on S having a fixed Hilbert polynomial P of degree one has a natural Poisson structure given by s, studied by Tyurin and Bottacin. We prove that the symplectic leaves of M_H(S,P) are the fibers of the natural map from it to the symmetric power of t…
▽ More
Let S be a smooth complex projective surface equipped with a Poisson structure s and also a polarization H. The moduli space M_H(S,P) of stable sheaves on S having a fixed Hilbert polynomial P of degree one has a natural Poisson structure given by s, studied by Tyurin and Bottacin. We prove that the symplectic leaves of M_H(S,P) are the fibers of the natural map from it to the symmetric power of the effective divisor on S given by the singular locus of s.
△ Less
Submitted 22 August, 2019;
originally announced August 2019.
-
Full Tilt: Universal Constructors for General Shapes with Uniform External Forces
Authors:
Jose Balanza-Martinez,
David Caballero,
Angel A. Cantu,
Luis Angel Garcia,
Timothy Gomez,
Austin Luchsinger,
Rene Reyes,
Robert Schweller,
Tim Wylie
Abstract:
We investigate the problem of assembling general shapes and patterns in a model in which particles move based on uniform external forces until they encounter an obstacle. While previous work within this model of assembly has focused on designing a specific board configuration for the assembly of a specific given shape, we propose the problem of designing universal configurations that are capable o…
▽ More
We investigate the problem of assembling general shapes and patterns in a model in which particles move based on uniform external forces until they encounter an obstacle. While previous work within this model of assembly has focused on designing a specific board configuration for the assembly of a specific given shape, we propose the problem of designing universal configurations that are capable of constructing a large class of shapes and patterns. In particular, for given integers $h,w$, we show that there exists a strongly universal configuration (no excess particles) with $\mathcal{O}(hw)$ $1 \times 1$ slidable particles that can be reconfigured to build any $h \times w$ patterned rectangle. We then expand this result to show that there exists a weakly universal configuration that can build any $h \times w$-bounded size connected shape. Following these results, we go on to show the existence of a strongly universal configuration which can assemble any shape within a previously studied ``drop'' class, while using quadratically less space than previous results.
Finally, we include a study of the complexity of motion planning in this model. We consider the problems of deciding if a board location can be occupied by any particle (occupancy problem), deciding if a specific particle may be relocated to another position (relocation problem), and deciding if a given configuration of particles may be transformed into a second given configuration (reconfiguration problem). We show all of these problems to be PSPACE-complete with the allowance of a single $2\times 2$ polyomino in addition to $1\times 1$ tiles. We further show that relocation and occupancy remain PSPACE-complete even when the board geometry is a simple rectangle if domino polyominoes are included.
△ Less
Submitted 15 July, 2019;
originally announced July 2019.
-
Automorphism group of the moduli space of parabolic bundles over a curve
Authors:
David Alfaya,
Tomas L. Gomez
Abstract:
We find the automorphism group of the moduli space of parabolic bundles on a smooth curve (with fixed determinant and system of weights). This group is generated by: automorphisms of the marked curve, tensoring with a line bundle, taking the dual, and Hecke transforms (using the filtrations given by the parabolic structure). A Torelli theorem for parabolic bundles with arbitrary rank and generic w…
▽ More
We find the automorphism group of the moduli space of parabolic bundles on a smooth curve (with fixed determinant and system of weights). This group is generated by: automorphisms of the marked curve, tensoring with a line bundle, taking the dual, and Hecke transforms (using the filtrations given by the parabolic structure). A Torelli theorem for parabolic bundles with arbitrary rank and generic weights is also obtained. These results are extended to the classification of birational equivalences which are defined over "big" open subsets (3-birational maps, i.e. birational maps giving an isomorphism between open subsets with complement of codimension at least 3).
Finally, an analysis of the stability chambers for the parabolic weights is performed in order to determine precisely when two moduli spaces of parabolic vector bundles with different parameters (curve, rank, determinant and weights) can be isomorphic.
△ Less
Submitted 21 August, 2021; v1 submitted 29 May, 2019;
originally announced May 2019.
-
Semi-orthogonal decomposition of symmetric products of curves and canonical system
Authors:
Indranil Biswas,
Tomas L. Gomez,
Kyoung-Seog Lee
Abstract:
Let $C$ be a smooth complex projective curve of genus $g \,\geq\, 2$ and $C_d$ its $d$-fold symmetric product. In this paper, we study the question of semi-orthogonal decomposition of the derived category of $C_d$. This entails investigations of the canonical system on $C_d$, in particular its base locus.
Let $C$ be a smooth complex projective curve of genus $g \,\geq\, 2$ and $C_d$ its $d$-fold symmetric product. In this paper, we study the question of semi-orthogonal decomposition of the derived category of $C_d$. This entails investigations of the canonical system on $C_d$, in particular its base locus.
△ Less
Submitted 16 May, 2020; v1 submitted 27 July, 2018;
originally announced July 2018.
-
Some model-theoretic results on the 3-valued paraconsistent first-order logic QCiore
Authors:
Marcelo E. Coniglio,
Tadeo G. Gomez,
Martin Figallo
Abstract:
In this paper the 3-valued paraconsistent first-order logic QCiore is studied from the point of view of Model Theory. The semantics for QCiore is given by partial structures, which are first-order structures in which each n-ary predicate R is interpreted as a triple of paiwise disjoint sets of n-uples representing, respectively, the set of tuples which actually belong to R, the set of tuples which…
▽ More
In this paper the 3-valued paraconsistent first-order logic QCiore is studied from the point of view of Model Theory. The semantics for QCiore is given by partial structures, which are first-order structures in which each n-ary predicate R is interpreted as a triple of paiwise disjoint sets of n-uples representing, respectively, the set of tuples which actually belong to R, the set of tuples which actually do not belong to R, and the set of tuples whose status is dubious or contradictory. Partial structures were proposed in 1986 by I. Mikenberg, N. da Costa and R. Chuaqui for the theory of quasi-truth (or pragmatic truth). In 2014, partial structures were studied by M. Coniglio and L. Silvestrini for a 3-valued paraconsistent first-order logic called LPT1, whose 3-valued propositional fragment is equivalent to da Costa-D'Otaviano's logic J3. This approach is adapted in this paper to QCiore, and some important results of classical Model Theory such as Robinson's joint consistency theorem, amalgamation and interpolation are obtained. Although we focus on QCiore, this framework can be adapted to other 3-valued first-order logics.
△ Less
Submitted 23 August, 2018; v1 submitted 15 July, 2018;
originally announced July 2018.
-
A closure theory for the split energy-helicity cascades in homogeneous isotropic homochiral turbulence
Authors:
Antoine Briard,
Luca Biferale,
Thomas Gomez
Abstract:
We study the energy transfer properties of three dimensional homogeneous and isotropic turbulence where the non-linear transfer is altered in a way that helicity is made sign-definite, say positive. In this framework, known as homochiral turbulence, an adapted eddy-damped quasi-normal Markovian (EDQNM) closure is derived to analyze the dynamics at very large Reynolds numbers, of order $10^5$ based…
▽ More
We study the energy transfer properties of three dimensional homogeneous and isotropic turbulence where the non-linear transfer is altered in a way that helicity is made sign-definite, say positive. In this framework, known as homochiral turbulence, an adapted eddy-damped quasi-normal Markovian (EDQNM) closure is derived to analyze the dynamics at very large Reynolds numbers, of order $10^5$ based on the Taylor scale. In agreement with previous findings, an inverse cascade of energy with a kinetic energy spectrum like $\propto k^{-5/3}$ is found for scales larger than the forcing one. Conjointly, a forward cascade of helicity towards larger wavenumbers is obtained, where the kinetic energy spectrum scales like $\propto k^{-7/3}$. By following the evolution of the closed spectral equations for a very long time and over a huge extensions of scales, we found the develo** of a non monotonic shape for the front of the inverse energy flux. The very long time evolution of the kinetic energy and integral scale in both the forced and unforced cases is analyzed also.
△ Less
Submitted 19 July, 2017;
originally announced July 2017.
-
The Mg I b triplet and the 4571 Å line as diagnostics of stellar chromospheric activity
Authors:
C. Sasso,
V. Andretta,
L. Terranegra,
M. T. Gomez
Abstract:
Context. The Mg I 4571 Å line and the b triplet are denoted in the literature as diagnostics of solar and stellar activity since their formation is in the low chromosphere. Aims. To investigate the potential of these four spectral lines as diagnostics of chromospheric activity in solar-like stars, studying the dependence of the intensity of these lines from local atmospheric changes by varying atm…
▽ More
Context. The Mg I 4571 Å line and the b triplet are denoted in the literature as diagnostics of solar and stellar activity since their formation is in the low chromosphere. Aims. To investigate the potential of these four spectral lines as diagnostics of chromospheric activity in solar-like stars, studying the dependence of the intensity of these lines from local atmospheric changes by varying atmospheric models and stellar parameters. Methods. Starting with Next-Gen photospheric models, we build a grid of atmospheric models including photosphere, chromosphere and transition region and solve the radiative transfer to obtain synthetic profiles to compare with observed spectra of main-sequence, solar like stars with effective temperatures in the range 4800-6400 K, solar gravity and solar metallicity. Results. We find that the Mg I 4571 Å line is significantly sensitive to local changes in the atmospheric model around the minimum temperature. Instead, the lines of the b triplet do not show significant responses to changes on the local atmospheric structure.
△ Less
Submitted 14 June, 2017;
originally announced June 2017.
-
Stability of the Poincaré bundle
Authors:
Indranil Biswas,
Tomás L. Gómez,
Norbert Hoffmann
Abstract:
Let X be an irreducible smooth projective curve, of genus at least two, over an algebraically closed field k. Let $\mathcal{M}^d_G$ denote the moduli stack of principal G-bundles over X of fixed topological type $d \in π_1(G)$, where G is any almost simple affine algebraic group over k. We prove that the universal bundle over $X \times \mathcal{M}^d_G$ is stable with respect to any polarization on…
▽ More
Let X be an irreducible smooth projective curve, of genus at least two, over an algebraically closed field k. Let $\mathcal{M}^d_G$ denote the moduli stack of principal G-bundles over X of fixed topological type $d \in π_1(G)$, where G is any almost simple affine algebraic group over k. We prove that the universal bundle over $X \times \mathcal{M}^d_G$ is stable with respect to any polarization on $X \times \mathcal{M}^d_G$. A similar result is proved for the Poincaré adjoint bundle over $X \times M_G^{d, rs}$, where $M_G^{d, rs}$ is the coarse moduli space of regularly stable principal G-bundles over X of fixed topological type d.
△ Less
Submitted 14 December, 2020; v1 submitted 17 January, 2017;
originally announced January 2017.
-
A 16-Year Photometric Campaign on the Eclipsing Novalike Variable DW Ursae Majoris
Authors:
D. R. S. Boyd,
E. de Miguel,
J. Patterson,
M. A. Wood,
D. Barrett,
J. Boardman,
O. Brettman,
D. Cejudo,
D. Collins,
L. M. Cook,
M. J. Cook,
J. L. Foote,
R. Fried,
T. L. Gomez,
F. -J. Hambsch,
J. L. Jones,
J. Kemp,
R. Koff,
M. Koppelman,
T. Krajci,
D. Lemay,
B. Martin,
J. V. McClusky,
K. Menzies,
D. Messier
, et al. (7 additional authors not shown)
Abstract:
We present an analysis of photometric observations of the eclipsing novalike variable DW UMa made by the CBA consortium between 1999 and 2015. Analysis of 372 new and 260 previously published eclipse timings reveals a 13.6 year period or quasi-period in the times of minimum light. The seasonal light curves show a complex spectrum of periodic signals: both positive and negative superhumps, likely a…
▽ More
We present an analysis of photometric observations of the eclipsing novalike variable DW UMa made by the CBA consortium between 1999 and 2015. Analysis of 372 new and 260 previously published eclipse timings reveals a 13.6 year period or quasi-period in the times of minimum light. The seasonal light curves show a complex spectrum of periodic signals: both positive and negative superhumps, likely arising from a prograde apsidal precession and a retrograde nodal precession of the accretion disc. These signals appear most prominently and famously as sidebands of the orbital frequency but the precession frequencies themselves, at 0.40 and 0.22 cycles per day, are also seen directly in the power spectrum. The superhumps are sometimes seen together and sometimes separately. The depth, width and skew of eclipses are all modulated in phase with both nodal and apsidal precession of the tilted and eccentric accretion disc. The superhumps, or more correctly the precessional motions which produce them, may be essential to understanding the mysterious SW Sextantis syndrome. Disc wobble and eccentricity can both produce Doppler signatures inconsistent with the true dynamical motions in the binary, and disc wobble might boost the mass-transfer rate by enabling the hot white dwarf to directly irradiate the secondary star.
△ Less
Submitted 20 December, 2016;
originally announced December 2016.
-
Helium at white dwarf photospheric conditions: preliminary laboratory results
Authors:
Marc Schaeuble,
Ross E. Falcon,
Thomas A. Gomez,
Don E. Winget,
Michael H. Montgomery,
James E. Bailey
Abstract:
We present preliminary results of an experimental study exploring helium at photospheric conditions of white dwarf stars. These data were collected at Sandia National Laboratories' Z-machine, the largest x-ray source on earth. Our helium results could have many applications ranging from validating current DB white dwarf model atmospheres to providing accurate He pressure shifts at varying temperat…
▽ More
We present preliminary results of an experimental study exploring helium at photospheric conditions of white dwarf stars. These data were collected at Sandia National Laboratories' Z-machine, the largest x-ray source on earth. Our helium results could have many applications ranging from validating current DB white dwarf model atmospheres to providing accurate He pressure shifts at varying temperatures and densities. In a much broader context, these helium data can be used to guide theoretical developments in new continuum-lowering models for two-electron atoms. We also discuss future applications of our updated experimental design, which enables us to sample a greater range of densities, temperatures, and gas compositions.
△ Less
Submitted 12 October, 2016;
originally announced October 2016.
-
Modeling the Spectra of Dense Hydrogen Plasmas: Beyond Occupation Probability
Authors:
T. A. Gomez,
M. H. Montgomery,
T. Nagayama,
D. P. Kilcrease,
D. E. Winget
Abstract:
Accurately measuring the masses of white dwarf stars is crucial in many astrophysical contexts (e.g., asteroseismology and cosmochronology). These masses are most commonly determined by fitting a model atmosphere to an observed spectrum; this is known as the spectroscopic method. However, for cases in which more than one method may be employed, there are well known discrepancies between masses det…
▽ More
Accurately measuring the masses of white dwarf stars is crucial in many astrophysical contexts (e.g., asteroseismology and cosmochronology). These masses are most commonly determined by fitting a model atmosphere to an observed spectrum; this is known as the spectroscopic method. However, for cases in which more than one method may be employed, there are well known discrepancies between masses determined by the spectroscopic method and those determined by astrometric, dynamical, and/or gravitational-redshift methods. In an effort to resolve these discrepancies, we are develo** a new model of hydrogen in a dense plasma that is a significant departure from previous models. Experiments at Sandia National Laboratories are currently underway to validate these new models, and we have begun modifications to incorporate these models into stellar-atmosphere codes.
△ Less
Submitted 7 October, 2016;
originally announced October 2016.
-
Reaching Higher Densities for Laboratory White Dwarf Photospheres to Measure Spectroscopic Line Profiles
Authors:
Ross E. Falcon,
J. E. Bailey,
T. A. Gomez,
M. Schaeuble,
T. Nagayama,
M. H. Montgomery,
D. E. Winget,
G. A. Rochau
Abstract:
As part of our laboratory investigation of the theoretical line profiles used in white dwarf atmosphere models, we extend the electron-density ($n_{\rm e}$) range measured by our experiments to higher densities (up to $n_{e}\sim80\times10^{16}$ cm$^{-3}$). Whereas inferred parameters using the hydrogen-$β$ spectral line agree among different line-shape models for…
▽ More
As part of our laboratory investigation of the theoretical line profiles used in white dwarf atmosphere models, we extend the electron-density ($n_{\rm e}$) range measured by our experiments to higher densities (up to $n_{e}\sim80\times10^{16}$ cm$^{-3}$). Whereas inferred parameters using the hydrogen-$β$ spectral line agree among different line-shape models for $n_{\rm e}\lesssim30\times10^{16}$ cm$^{-3}$, we now see divergence between models. These are densities beyond the range previously benchmarked in the laboratory, meaning theoretical profiles in this regime have not been fully validated. Experimentally exploring these higher densities enables us to test and constrain different line-profile models, as the differences in their relative H-Balmer line shapes are more pronounced at such conditions. These experiments also aid in our study of occupation probabilities because we can measure these from relative line strengths.
△ Less
Submitted 28 September, 2016;
originally announced September 2016.
-
Torelli theorem for the parabolic Deligne-Hitchin moduli space
Authors:
David Alfaya,
Tomas L. Gomez
Abstract:
We prove that, given the isomorphism class of the parabolic Deligne-Hitchin moduli space over a smooth projective curve, we can recover the isomorphism class of the curve and the parabolic points.
We prove that, given the isomorphism class of the parabolic Deligne-Hitchin moduli space over a smooth projective curve, we can recover the isomorphism class of the curve and the parabolic points.
△ Less
Submitted 14 July, 2016;
originally announced July 2016.
-
Automorphisms of a symmetric product of a curve
Authors:
Indranil Biswas,
Tomas L. Gomez
Abstract:
We show that all the automorphisms of the symmetric product Sym^d(X), d>2g-2, of a smooth projective curve X of genus g>2 are induced by automorphisms of X.
We show that all the automorphisms of the symmetric product Sym^d(X), d>2g-2, of a smooth projective curve X of genus g>2 are induced by automorphisms of X.
△ Less
Submitted 4 June, 2015;
originally announced June 2015.
-
Laboratory Measurements of White Dwarf Photospheric Spectral Lines: H$β$
Authors:
Ross E. Falcon,
G. A. Rochau,
J. E. Bailey,
T. A. Gomez,
M. H. Montgomery,
D. E. Winget,
T. Nagayama
Abstract:
We spectroscopically measure multiple hydrogen Balmer line profiles from laboratory plasmas to investigate the theoretical line profiles used in white dwarf atmosphere models. X-ray radiation produced at the Z Pulsed Power Facility at Sandia National Laboratories initiates plasma formation in a hydrogen-filled gas cell, replicating white dwarf photospheric conditions. Here we present time-resolved…
▽ More
We spectroscopically measure multiple hydrogen Balmer line profiles from laboratory plasmas to investigate the theoretical line profiles used in white dwarf atmosphere models. X-ray radiation produced at the Z Pulsed Power Facility at Sandia National Laboratories initiates plasma formation in a hydrogen-filled gas cell, replicating white dwarf photospheric conditions. Here we present time-resolved measurements of H$β$ and fit this line using different theoretical line profiles to diagnose electron density, $n_{\rm e}$, and $n=2$ level population, $n_2$. Aided by synthetic tests, we characterize the validity of our diagnostic method for this experimental platform. During a single experiment, we infer a continuous range of electron densities increasing from $n_{\rm e}\sim4$ to $\sim30\times10^{16}\,$cm$^{-3}$ throughout a 120-ns evolution of our plasma. Also, we observe $n_2$ to be initially elevated with respect to local thermodynamic equilibrium (LTE); it then equilibrates within $\sim55\,$ns to become consistent with LTE. This supports our electron-temperature determination of $T_{\rm e}\sim1.3\,$eV ($\sim15,000\,$K) after this time. At $n_{\rm e}\gtrsim10^{17}\,$cm$^{-3}$, we find that computer-simulation-based line-profile calculations provide better fits (lower reduced $χ^2$) than the line profiles currently used in the white dwarf astronomy community. The inferred conditions, however, are in good quantitative agreement. This work establishes an experimental foundation for the future investigation of relative shapes and strengths between different hydrogen Balmer lines.
△ Less
Submitted 14 May, 2015;
originally announced May 2015.
-
Integrable systems and Torelli theorems for the moduli spaces of parabolic bundles and parabolic Higgs bundles
Authors:
Indranil Biswas,
Tomás L. Gómez,
Marina Logares
Abstract:
We prove a Torelli theorem for the moduli space of semistable parabolic Higgs bundles over a smooth complex projective algebraic curve under the assumption that the parabolic weight system is generic. When the genus is at least two, using this result we also prove a Torelli theorem for the moduli space of semistable parabolic bundles of rank at least two with generic parabolic weights. The key inp…
▽ More
We prove a Torelli theorem for the moduli space of semistable parabolic Higgs bundles over a smooth complex projective algebraic curve under the assumption that the parabolic weight system is generic. When the genus is at least two, using this result we also prove a Torelli theorem for the moduli space of semistable parabolic bundles of rank at least two with generic parabolic weights. The key input in the proofs is a method of J.C. Hurtubise, Integrable systems and algebraic surfaces, Duke Math. Jour. 83 (1996), 19--49.
△ Less
Submitted 18 November, 2014;
originally announced November 2014.
-
Which Hydrogen Balmer Lines Are Most Reliable for Determining White Dwarf Atmospheric Parameters?
Authors:
Ross E. Falcon,
G. A. Rochau,
J. E. Bailey,
T. A. Gomez,
M. H. Montgomery,
D. E. Winget,
T. Nagayama
Abstract:
Our preliminary results from laboratory experiments studying white dwarf (WD) photospheres show a systematic difference between experimental plasma conditions inferred from measured H$β$ absorption line profiles versus those from H$γ$. One hypothesis for this discrepancy is an inaccuracy in the relative theoretical line profiles of these two transitions. This is intriguing because atmospheric para…
▽ More
Our preliminary results from laboratory experiments studying white dwarf (WD) photospheres show a systematic difference between experimental plasma conditions inferred from measured H$β$ absorption line profiles versus those from H$γ$. One hypothesis for this discrepancy is an inaccuracy in the relative theoretical line profiles of these two transitions. This is intriguing because atmospheric parameters inferred from H Balmer lines in observed WD spectra show systematic trends such that inferred surface gravities decrease with increasing principal quantum number, $n$. If conditions inferred from lower-$n$ Balmer lines are indeed more accurate, this suggests that spectroscopically determined DA WD masses may be greater than previously thought and in better agreement with the mean mass determined from gravitational redshifts.
△ Less
Submitted 15 October, 2014;
originally announced October 2014.