Showing 1–50 of 144 results for author: Aggarwal, A

Modular properties of massive scalar partition functions

Authors: Ankit Aggarwal, Glenn Barnich

Abstract: We compute the exact thermal partition functions of a massive scalar field on flat spacetime backgrounds of the form $\mathbb R^{d-q}\times \mathbb T^{q+1}$ and show that they possess an ${\rm SL}(q+1,\mathbb Z)$ symmetry. Non-trivial relations between equivalent expressions for the result are obtained by doing the computation using functional, canonical and worldline methods. For $q=1$, the resul… ▽ More We compute the exact thermal partition functions of a massive scalar field on flat spacetime backgrounds of the form $\mathbb R^{d-q}\times \mathbb T^{q+1}$ and show that they possess an ${\rm SL}(q+1,\mathbb Z)$ symmetry. Non-trivial relations between equivalent expressions for the result are obtained by doing the computation using functional, canonical and worldline methods. For $q=1$, the results exhibit modular symmetry and may be expressed in terms of massive Maass-Jacobi forms. In the complex case with chemical potential for ${\rm U}(1)$ charge turned on, the usual discussion of relativistic Bose-Einstein condensation is modified by the presence of the small dimensions. △ Less

Submitted 2 July, 2024; originally announced July 2024.

Comments: 35 pages Latex file

Wobbling and Migrating Ferrofluid Droplets

Authors: Aaveg Aggarwal, Shih-Yuan Chen, Eleftherios Kirkinis, Mohammed Imran Khan, Bei Fan, Michelle M Driscoll, Monica Olvera de la Cruz

Abstract: Active components incorporated in materials generate motion by inducing conformational changes in response to external fields. Magnetic fields are particularly interesting as they can actuate materials remotely. Millimeter-sized ferrofluid droplets placed on a solid surface, surrounded by an ambient gas phase, are shown here to migrate under a rotating magnetic field due to the periodic deformatio… ▽ More Active components incorporated in materials generate motion by inducing conformational changes in response to external fields. Magnetic fields are particularly interesting as they can actuate materials remotely. Millimeter-sized ferrofluid droplets placed on a solid surface, surrounded by an ambient gas phase, are shown here to migrate under a rotating magnetic field due to the periodic deformation of the liquid-gas interface. This interface wobbling leads to droplet migration with speeds that increase as the amplitude and frequency of the magnetic field increase. In addition to migrating in a controlled manner, we demonstrate the ability of magnetic droplets to clean surface impurities and transport cargo. △ Less

Submitted 12 June, 2024; originally announced June 2024.

PoPE: Legendre Orthogonal Polynomials Based Position Encoding for Large Language Models

Authors: Arpit Aggarwal

Abstract: There are several improvements proposed over the baseline Absolute Positional Encoding (APE) method used in original transformer. In this study, we aim to investigate the implications of inadequately representing positional encoding in higher dimensions on crucial aspects of the attention mechanism, the model's capacity to learn relative positional information, and the convergence of models, all s… ▽ More There are several improvements proposed over the baseline Absolute Positional Encoding (APE) method used in original transformer. In this study, we aim to investigate the implications of inadequately representing positional encoding in higher dimensions on crucial aspects of the attention mechanism, the model's capacity to learn relative positional information, and the convergence of models, all stemming from the choice of sinusoidal basis functions. Through a combination of theoretical insights and empirical analyses, we elucidate how these challenges extend beyond APEs and may adversely affect the performance of Relative Positional Encoding (RPE) methods, such as Rotatory Positional Encoding (RoPE). Subsequently, we introduce an innovative solution termed Orthogonal Polynomial Based Positional Encoding (PoPE) to address some of the limitations associated with existing methods. The PoPE method encodes positional information by leveraging Orthogonal Legendre polynomials. Legendre polynomials as basis functions offers several desirable properties for positional encoding, including improved correlation structure, non-periodicity, orthogonality, and distinct functional forms among polynomials of varying orders. Our experimental findings demonstrate that transformer models incorporating PoPE outperform baseline transformer models on the $Multi30k$ English-to-German translation task, thus establishing a new performance benchmark. Furthermore, PoPE-based transformers exhibit significantly accelerated convergence rates. Additionally, we will present novel theoretical perspectives on position encoding based on the superior performance of PoPE. △ Less

Submitted 29 April, 2024; originally announced May 2024.

Scaling limit of the colored ASEP and stochastic six-vertex models

Authors: Amol Aggarwal, Ivan Corwin, Milind Hegde

Abstract: We consider the colored asymmetric simple exclusion process (ASEP) and stochastic six vertex (S6V) model with fully packed initial conditions; the states of these models can be encoded by 2-parameter height functions. We show under Kardar-Parisi-Zhang (KPZ) scaling of time, space, and fluctuations that these height functions converge to the Airy sheet. Several corollaries follow. (1) For ASEP an… ▽ More We consider the colored asymmetric simple exclusion process (ASEP) and stochastic six vertex (S6V) model with fully packed initial conditions; the states of these models can be encoded by 2-parameter height functions. We show under Kardar-Parisi-Zhang (KPZ) scaling of time, space, and fluctuations that these height functions converge to the Airy sheet. Several corollaries follow. (1) For ASEP and the S6V model under the basic coupling, we consider the 4-parameter height function at position $y$ and time $t$ with a step initial condition at position $x$ and time $s < t$, and prove that under KPZ scaling it converges to the directed landscape. (2) We prove that ASEPs under the basic coupling, with multiple general initial data, converge to KPZ fixed points coupled through the directed landscape. (3) We prove that the colored ASEP stationary measures converge to the stationary horizon. (4) We prove a strong form of decoupling for the colored ASEP height functions, as well as for the stationary two-point function, as broadly predicted by the theory of non-linear fluctuating hydrodynamics. The starting point for our Airy sheet convergence result is an embedding of these colored models into a larger structure -- a color-indexed family of coupled line ensembles with an explicit Gibbs property, i.e., a colored Hall-Littlewood line ensemble. The core of our work then becomes to develop a framework to analyze the edge scaling limit of these ensembles. △ Less

Submitted 27 April, 2024; v1 submitted 2 March, 2024; originally announced March 2024.

Comments: 136 pages, 26 figures. Added applications to non-linear fluctuating hydrodynamics

Carroll Hawking effect

Authors: Ankit Aggarwal, Florian Ecker, Daniel Grumiller, Dmitri Vassilevich

Abstract: Carroll black holes with an associated Carroll temperature were introduced recently. So far, it is unclear if they exhibit a Hawking-like effect. To solve this, we study scalar fields on Carroll black hole backgrounds. Inspired by anomaly methods, we derive a Hawking-like energy-momentum tensor compatible with the Carroll temperature and the Stefan-Boltzmann law. Key steps in our derivation are th… ▽ More Carroll black holes with an associated Carroll temperature were introduced recently. So far, it is unclear if they exhibit a Hawking-like effect. To solve this, we study scalar fields on Carroll black hole backgrounds. Inspired by anomaly methods, we derive a Hawking-like energy-momentum tensor compatible with the Carroll temperature and the Stefan-Boltzmann law. Key steps in our derivation are the finiteness of energy at the Carroll extremal surface and compatibility with the Carroll Ward identities, thereby eliminating, respectively, the Carroll-analogs of the Boulware and Unruh vacua. △ Less

Submitted 13 March, 2024; v1 submitted 29 February, 2024; originally announced March 2024.

Comments: 5 pages, v2: added refs

Report number: TUW-24-02

Colored Line Ensembles for Stochastic Vertex Models

Authors: Amol Aggarwal, Alexei Borodin

Abstract: In this paper we assign a family of $n$ coupled line ensembles to any $U_q (\widehat{\mathfrak{sl}}_{n+1})$ colored stochastic fused vertex model, which satisfies two properties. First, the joint law of their top curves coincides with that of the colored height functions for the vertex model. Second, the $n$ line ensembles satisfy an explicit Gibbs property prescribing their laws if all but a few… ▽ More In this paper we assign a family of $n$ coupled line ensembles to any $U_q (\widehat{\mathfrak{sl}}_{n+1})$ colored stochastic fused vertex model, which satisfies two properties. First, the joint law of their top curves coincides with that of the colored height functions for the vertex model. Second, the $n$ line ensembles satisfy an explicit Gibbs property prescribing their laws if all but a few of their curves are conditioned upon. We further describe several examples of such famlies of line ensembles, including the ones for the colored stochastic six-vertex and $q$-boson models. The appendices (which may be of independent interest) include an explanation of how the $U_q (\widehat{\mathfrak{sl}}_{n+1})$ colored stochastic fused vertex model degenerates to the log-gamma polymer, and an effective rate of convergence of the colored stochastic six-vertex model to the colored ASEP. △ Less

Submitted 9 February, 2024; originally announced February 2024.

Comments: 90 pages, 23 figures

An Elementary Method For Fast Modular Exponentiation With Factored Modulus

Authors: Anay Aggarwal, Manu Isaacs

Abstract: We present a fast algorithm for modular exponentiation when the factorization of the modulus is known. Let $a,n,m$ be positive integers and suppose $m$ factors canonically as $\prod_{i=1}^k p_i^{e_i}$. Choose integer parameters $t_i\in [0, e_i]$ for $1\le i\le k$. Then we can compute the modular exponentiation $a^n\pmod{m}$ in $O(\max(e_i/t_i)+\sum_{i=1}^k t_i\log p_i)$ steps (i.e. modular operati… ▽ More We present a fast algorithm for modular exponentiation when the factorization of the modulus is known. Let $a,n,m$ be positive integers and suppose $m$ factors canonically as $\prod_{i=1}^k p_i^{e_i}$. Choose integer parameters $t_i\in [0, e_i]$ for $1\le i\le k$. Then we can compute the modular exponentiation $a^n\pmod{m}$ in $O(\max(e_i/t_i)+\sum_{i=1}^k t_i\log p_i)$ steps (i.e. modular operations). We go on to analyze this algorithm mathematically and programmatically, showing significant asymptotic improvement in specific cases. Specifically, for an infinite family of $m$ we achieve a complexity of $O(\sqrt{\log m})$. Additionally, we extend our algorithm to matrices and hence general linear recurrences. The complexity is similar; with the same setup we can exponentiate matrices in $GL_d(\mathbb{Z}/m\mathbb{Z})$ in less than $O(\max(e_i/t_i)+d^2\sum_{i=1}^k t_i\log p_i)$ steps. This improves Fiduccia's algorithm and the results of Bostan and Mori in the case of $\mathbb{Z}/m\mathbb{Z}$. Finally, we prove analogous results for $\mathbb{Z}/p^k\mathbb{Z}$ ring extensions. △ Less

Submitted 27 April, 2024; v1 submitted 19 January, 2024; originally announced January 2024.

Comments: 17 pages, 4 figures, Presented at 2023 West Coast Number Theory Conference

MSC Class: 11A15 ACM Class: G.4

Systems of nonlocal balance laws For Dense multilane vehicular traffic

Authors: Aekta Aggarwal, Helge Holden, Ganesh Vaidya

Abstract: We discuss a class of coupled system of nonlocal balance laws modeling multilane traffic, with the nonlocality present in both convective and source terms. The uniqueness and existence of the entropy solution is proven via doubling of the variables arguments and convergent finite volume approximations, respectively. The numerical approximations are proven to converge to the unique entropy solution… ▽ More We discuss a class of coupled system of nonlocal balance laws modeling multilane traffic, with the nonlocality present in both convective and source terms. The uniqueness and existence of the entropy solution is proven via doubling of the variables arguments and convergent finite volume approximations, respectively. The numerical approximations are proven to converge to the unique entropy solution of the system at the rate $\sqrt{Δt}$. The applicability of the proven theory to a general class of systems of nonlocal balance laws coupled strongly through the convective part and weakly through the source part, is also indicated. Numerical simulations illustrating the theory and the behavior of the entropy solution as the support of the kernel goes to zero(nonlocal to local limit), are shown. △ Less

Submitted 28 December, 2023; originally announced December 2023.

MSC Class: 35L65; 65M25; 35D30; 65M12; 65M15

Multimodal Sentiment Analysis: Perceived vs Induced Sentiments

Authors: Aditi Aggarwal, Deepika Varshney, Saurabh Patel

Abstract: Social media has created a global network where people can easily access and exchange vast information. This information gives rise to a variety of opinions, reflecting both positive and negative viewpoints. GIFs stand out as a multimedia format offering a visually engaging way for users to communicate. In this research, we propose a multimodal framework that integrates visual and textual features… ▽ More Social media has created a global network where people can easily access and exchange vast information. This information gives rise to a variety of opinions, reflecting both positive and negative viewpoints. GIFs stand out as a multimedia format offering a visually engaging way for users to communicate. In this research, we propose a multimodal framework that integrates visual and textual features to predict the GIF sentiment. It also incorporates attributes including face emotion detection and OCR generated captions to capture the semantic aspects of the GIF. The developed classifier achieves an accuracy of 82.7% on Twitter GIFs, which is an improvement over state-of-the-art models. Moreover, we have based our research on the ReactionGIF dataset, analysing the variance in sentiment perceived by the author and sentiment induced in the reader △ Less

Submitted 12 December, 2023; originally announced December 2023.

Household navigation and manipulation for everyday object rearrangement tasks

Authors: Shrutheesh R. Iyer, Anwesan Pal, Jiaming Hu, Akanimoh Adeleye, Aditya Aggarwal, Henrik I. Christensen

Abstract: We consider the problem of building an assistive robotic system that can help humans in daily household cleanup tasks. Creating such an autonomous system in real-world environments is inherently quite challenging, as a general solution may not suit the preferences of a particular customer. Moreover, such a system consists of multi-objective tasks comprising -- (i) Detection of misplaced objects an… ▽ More We consider the problem of building an assistive robotic system that can help humans in daily household cleanup tasks. Creating such an autonomous system in real-world environments is inherently quite challenging, as a general solution may not suit the preferences of a particular customer. Moreover, such a system consists of multi-objective tasks comprising -- (i) Detection of misplaced objects and prediction of their potentially correct placements, (ii) Fine-grained manipulation for stable object grasping, and (iii) Room-to-room navigation for transferring objects in unseen environments. This work systematically tackles each component and integrates them into a complete object rearrangement pipeline. To validate our proposed system, we conduct multiple experiments on a real robotic platform involving multi-room object transfer, user preference-based placement, and complex pick-and-place tasks. Project page: https://sites.google.com/eng.ucsd.edu/home-robot △ Less

Submitted 11 December, 2023; originally announced December 2023.

Comments: Paper accepted at IEEE IRC-2023

Convergence Analysis of Fractional Gradient Descent

Authors: Ashwani Aggarwal

Abstract: Fractional derivatives are a well-studied generalization of integer order derivatives. Naturally, for optimization, it is of interest to understand the convergence properties of gradient descent using fractional derivatives. Convergence analysis of fractional gradient descent is currently limited both in the methods analyzed and the settings analyzed. This paper aims to fill in these gaps by analy… ▽ More Fractional derivatives are a well-studied generalization of integer order derivatives. Naturally, for optimization, it is of interest to understand the convergence properties of gradient descent using fractional derivatives. Convergence analysis of fractional gradient descent is currently limited both in the methods analyzed and the settings analyzed. This paper aims to fill in these gaps by analyzing variations of fractional gradient descent in smooth and convex, smooth and strongly convex, and smooth and non-convex settings. First, novel bounds will be established bridging fractional and integer derivatives. Then, these bounds will be applied to the aforementioned settings to prove linear convergence for smooth and strongly convex functions and $O(1/T)$ convergence for smooth and convex functions. Additionally, we prove $O(1/T)$ convergence for smooth and non-convex functions using an extended notion of smoothness - Hölder smoothness - that is more natural for fractional derivatives. Finally, empirical results will be presented on the potential speed up of fractional gradient descent over standard gradient descent as well as some preliminary theoretical results explaining this speed up. △ Less

Submitted 4 June, 2024; v1 submitted 30 November, 2023; originally announced November 2023.

Comments: 27 pages, 4 figures. Published in Transactions on Machine Learning Research

ACM Class: G.1.6

A well-balanced second-order finite volume approximation for a coupled system of granular flow

Authors: Aekta Aggarwal, Veerappa Gowda G. D., Sudarshan Kumar K

Abstract: A well-balanced second-order finite volume scheme is proposed and analyzed for a 2 X 2 system of non-linear partial differential equations which describes the dynamics of growing sandpiles created by a vertical source on a flat, bounded rectangular table in multiple dimensions. To derive a second-order scheme, we combine a MUSCL type spatial reconstruction with strong stability preserving Runge-Ku… ▽ More A well-balanced second-order finite volume scheme is proposed and analyzed for a 2 X 2 system of non-linear partial differential equations which describes the dynamics of growing sandpiles created by a vertical source on a flat, bounded rectangular table in multiple dimensions. To derive a second-order scheme, we combine a MUSCL type spatial reconstruction with strong stability preserving Runge-Kutta time stepping method. The resulting scheme is ensured to be well-balanced through a modified limiting approach that allows the scheme to reduce to well-balanced first-order scheme near the steady state while maintaining the second-order accuracy away from it. The well-balanced property of the scheme is proven analytically in one dimension and demonstrated numerically in two dimensions. Additionally, numerical experiments reveal that the second-order scheme reduces finite time oscillations, takes fewer time iterations for achieving the steady state and gives sharper resolutions of the physical structure of the sandpile, as compared to the existing first-order schemes of the literature. △ Less

Submitted 2 January, 2024; v1 submitted 21 October, 2023; originally announced October 2023.

Colored Interacting Particle Systems on the Ring: Stationary Measures from Yang-Baxter Equation

Authors: Amol Aggarwal, Matthew Nicoletti, Leonid Petrov

Abstract: Recently, there has been much progress in understanding stationary measures for colored (also called multi-species or multi-type) interacting particle systems, motivated by asymptotic phenomena and rich underlying algebraic and combinatorial structures (such as nonsymmetric Macdonald polynomials). In this paper, we present a unified approach to constructing stationary measures for most of the kn… ▽ More Recently, there has been much progress in understanding stationary measures for colored (also called multi-species or multi-type) interacting particle systems, motivated by asymptotic phenomena and rich underlying algebraic and combinatorial structures (such as nonsymmetric Macdonald polynomials). In this paper, we present a unified approach to constructing stationary measures for most of the known colored particle systems on the ring and the line, including (1) the Asymmetric Simple Exclusion Process (multispecies ASEP, or mASEP); (2) the q-deformed Totally Asymmetric Zero Range Process (TAZRP) also known as the q-Boson particle system; (3) the q-deformed Pushing Totally Asymmetric Simple Exclusion Process (q-PushTASEP). Our method is based on integrable stochastic vertex models and the Yang-Baxter equation. We express the stationary measures as partition functions of new "queue vertex models" on the cylinder. The stationarity property is a direct consequence of the Yang-Baxter equation. For the mASEP on the ring, a particular case of our vertex model is equivalent to the multiline queues of Martin (arXiv:1810.10650). For the colored q-Boson process and the q-PushTASEP on the ring, we recover and generalize known stationary measures constructed using multiline queues or other methods by Ayyer-Mandelshtam-Martin (arXiv:2011.06117, arXiv:2209.09859), and Bukh-Cox (arXiv:1912.03510). Our proofs of stationarity use the Yang-Baxter equation and bypass the Matrix Product Ansatz used for the mASEP by Prolhac-Evans-Mallick (arXiv:0812.3293). On the line and in a quadrant, we use the Yang-Baxter equation to establish a general colored Burke's theorem, which implies that suitable specializations of our queue vertex models produce stationary measures for particle systems on the line. We also compute the colored particle currents in stationarity. △ Less

Submitted 21 September, 2023; originally announced September 2023.

Comments: 69 pages, 35 figures

Pilot bunch and co-magnetometry of polarized particles stored in a ring

Authors: J. Slim, F. Rathmann, A. Andres, V. Hejny, A. Nass, A. Kacharava, P. Lenisa, N. N. Nikolaev, J. Pretz, A. Saleev, V. Shmakova, H. Soltner, F. Abusaif, A. Aggarwal, A. Aksentev, B. Alberdi, L. Barion, I. Bekman, M. Beyß, C. Böhme, B. Breitkreutz, N. Canale, G. Ciullo, S. Dymov, N. -O. Fröhlich , et al. (38 additional authors not shown)

Abstract: In polarization experiments at storage rings, one of the challenges is to maintain the spin-resonance condition of a radio-frequency spin rotator with the spin-precessions of the orbiting particles. Time-dependent variations of the magnetic fields of ring elements lead to unwanted variations of the spin precession frequency. We report here on a solution to this problem by shielding (or masking) on… ▽ More In polarization experiments at storage rings, one of the challenges is to maintain the spin-resonance condition of a radio-frequency spin rotator with the spin-precessions of the orbiting particles. Time-dependent variations of the magnetic fields of ring elements lead to unwanted variations of the spin precession frequency. We report here on a solution to this problem by shielding (or masking) one of the bunches stored in the ring from the high-frequency fields of the spin rotator, so that the masked pilot bunch acts as a co-magnetometer for the other signal bunch, tracking fluctuations in the ring on a time scale of about one second. While the new method was developed primarily for searches of electric dipole moments of charged particles, it may have far-reaching implications for future spin physics facilities, such as the EIC and NICA. △ Less

Submitted 16 September, 2023; v1 submitted 10 September, 2023; originally announced September 2023.

Comments: 5 pages, 3 figures + references + supplemental material (6 pages, 2 figures, 6 tables + references)

Coloured corner processes from asymptotics of LLT polynomials

Authors: Amol Aggarwal, Alexei Borodin, Michael Wheeler

Abstract: We consider probability measures arising from the Cauchy summation identity for the LLT (Lascoux--Leclerc--Thibon) symmetric polynomials of rank $n \geq 1$. We study the asymptotic behaviour of these measures as one of the two sets of polynomials in the Cauchy identity stays fixed, while the other one grows to infinity. At $n=1$, this corresponds to an analogous limit of the Schur process, which i… ▽ More We consider probability measures arising from the Cauchy summation identity for the LLT (Lascoux--Leclerc--Thibon) symmetric polynomials of rank $n \geq 1$. We study the asymptotic behaviour of these measures as one of the two sets of polynomials in the Cauchy identity stays fixed, while the other one grows to infinity. At $n=1$, this corresponds to an analogous limit of the Schur process, which is known to be given by the Gaussian Unitary Ensemble (GUE) corners process. Our main result states that, for $n>1$, our measures asymptotically split into two parts: a continuous one and a discrete one. The continuous part is a product of $n$ GUE corners processes; the discrete part is an explicit finite distribution on interlacing $n$-colourings of $n$ interlacing triangles, which has weights that are rational functions in the LLT parameter $q$. The latter distribution has a number of interesting (partly conjectural) combinatorial properties, such as $q$-nonnegativity and enumerative phenomena underlying its support. Our main tools are two different representations of the LLT polynomials, one as partition functions of a fermionic lattice model of rank $n$, and the other as finite-dimensional contour integrals, which were recently obtained in arXiv:2012.02376, arXiv:2101.01605. △ Less

Submitted 12 September, 2023; originally announced September 2023.

Comments: 55 pages

All symmetries of near-horizon scattering

Authors: Ankit Aggarwal, Nava Gaddam

Abstract: Asymptotic symmetries are known to constrain the infrared behaviour of scattering processes in asymptotically flat spacetimes. By the same token, one expects symmetries of the black hole horizon to constrain near-horizon gravitational scattering. In this paper, we make an important advance towards establishing this connection. We find all near-horizon symmetries relevant for gravitational scatteri… ▽ More Asymptotic symmetries are known to constrain the infrared behaviour of scattering processes in asymptotically flat spacetimes. By the same token, one expects symmetries of the black hole horizon to constrain near-horizon gravitational scattering. In this paper, we make an important advance towards establishing this connection. We find all near-horizon symmetries relevant for gravitational scattering near the horizon of the Schwarzschild black hole. We study large diffeomorphisms of linearised perturbations of the Schwarzschild black hole in a partial wave basis and in gauge that allows for gravitational radiation crossing the event horizon. This setup is ideally suited to study processes involving near-horizon gravitons like scattering and black hole evaporation. We find the most general near-horizon symmetries that are consistent with the perturbations being finite at the horizon. With no further restriction on the boundary conditions than regularity on the horizon, we find the associated covariant charges to be finite and non-zero. These symmetries are therefore physical. The complete symmetry algebra, however, does not close. The maximal subset of symmetries that forms a closed algebra turns out to be $ {\rm Diff}(S^2) $ in a semi-direct sum with two supertranslations. Our boundary conditions in fact allow us to extend the asymptotic Killing vectors everywhere outside the horizon and we show that a sub-algebra closes to all orders in the near-horizon expansion parameter. Interestingly, for a large black hole, the dominant symmetries are just two copies of $ u(1)$, one of which is not present in the maximal closed sub-algebra. △ Less

Submitted 20 September, 2023; v1 submitted 11 September, 2023; originally announced September 2023.

Comments: 14 pages. v2: Factor of κcorrected in equation 2.4 and in consequently affected equations (results unchanged qualitatively and up to factors of κquantitatively). Added clarifications about the closure of algebra, comparison to the previous work, and references

Spin decoherence and off-resonance behavior of radiofrequency-driven spin rotations in storage rings

Authors: N. N. Nikolaev, F. Rathmann, J. Slim, A. Andres, V. Hejny, A. Nass, A. Kacharava, P. Lenisa, J. Pretz, A. Saleev, V. Shmakova, H. Soltner, F. Abusaif, A. Aggarwal, A. Aksentev, B. Alberdi, L. Barion, I. Bekman, M. Beyß, C. Böhme, B. Breitkreutz, N. Canale, G. Ciullo, S. Dymov, N. -O. Fröhlich , et al. (38 additional authors not shown)

Abstract: Radiofrequency-driven resonant spin rotators are routinely used as standard instruments in polarization experiments in particle and nuclear physics. Maintaining the continuous exact parametric spin-resonance condition of the equality of the spin rotator and the spin precession frequency during operation constitutes one of the challenges. We present a detailed analytic description of the impact of… ▽ More Radiofrequency-driven resonant spin rotators are routinely used as standard instruments in polarization experiments in particle and nuclear physics. Maintaining the continuous exact parametric spin-resonance condition of the equality of the spin rotator and the spin precession frequency during operation constitutes one of the challenges. We present a detailed analytic description of the impact of detuning the exact spin resonance on the vertical and the in-plane precessing components of the polarization. An important part of the formalism presented here is the consideration of experimentally relevant spin-decoherence effects. We discuss applications of the developed formalism to the interpretation of the experimental data on the novel pilot bunch approach to control the spin-resonance condition during the operation of the radiofrequency-driven Wien filter that is used as a spin rotator in the first direct deuteron electric dipole moment measurement at COSY. We emphasize the potential importance of the hitherto unexplored phase of the envelope of the horizontal polarization as an indicator of the stability of the radiofrequency-driven spin rotations in storage rings. The work presented here serves as a satellite publication to the work published concurrently on the proof of principle experiment about the so-called pilot bunch approach that was developed to provide co-magnetometry for the deuteron electric dipole moment experiment at COSY. △ Less

Submitted 16 September, 2023; v1 submitted 10 September, 2023; originally announced September 2023.

Comments: 31 pages, 10 figures, 5 tables

Strong Characterization for the Airy Line Ensemble

Authors: Amol Aggarwal, Jiaoyang Huang

Abstract: In this paper we show that a Brownian Gibbsian line ensemble whose top curve approximates a parabola must be given by the parabolic Airy line ensemble. More specifically, we prove that if $\boldsymbol{\mathcal{L}} = (\mathcal{L}_1, \mathcal{L}_2, \ldots )$ is a line ensemble satisfying the Brownian Gibbs property, such that for any $\varepsilon > 0$ there exists a constant… ▽ More In this paper we show that a Brownian Gibbsian line ensemble whose top curve approximates a parabola must be given by the parabolic Airy line ensemble. More specifically, we prove that if $\boldsymbol{\mathcal{L}} = (\mathcal{L}_1, \mathcal{L}_2, \ldots )$ is a line ensemble satisfying the Brownian Gibbs property, such that for any $\varepsilon > 0$ there exists a constant $\mathfrak{K} (\varepsilon) > 0$ with $$\mathbb{P} \Big[ \big| \mathcal{L}_1 (t) + 2^{-1/2} t^2 \big| \le \varepsilon t^2 + \mathfrak{K} (\varepsilon) \Big] \ge 1 - \varepsilon, \qquad \text{for all $t \in \mathbb{R}$},$$ then $\boldsymbol{\mathcal{L}}$ is the parabolic Airy line ensemble, up to an independent affine shift. Specializing this result to the case when $\boldsymbol{\mathcal{L}} (t) + 2^{-1/2} t^2$ is translation-invariant confirms a prediction of Okounkov and Sheffield from 2006 and Corwin-Hammond from 2014. △ Less

Submitted 23 August, 2023; originally announced August 2023.

Comments: 251 pages, 45 figures

Local Statistics and Concentration for Non-intersecting Brownian Bridges With Smooth Boundary Data

Authors: Amol Aggarwal, Jiaoyang Huang

Abstract: In this paper we consider non-intersecting Brownian bridges, under fairly general upper and lower boundaries, and starting and ending data. Under the assumption that these boundary data induce a smooth limit shape (without empty facets), we establish two results. The first is a nearly optimal concentration bound for the Brownian bridges in this model. The second is that the bulk local statistics o… ▽ More In this paper we consider non-intersecting Brownian bridges, under fairly general upper and lower boundaries, and starting and ending data. Under the assumption that these boundary data induce a smooth limit shape (without empty facets), we establish two results. The first is a nearly optimal concentration bound for the Brownian bridges in this model. The second is that the bulk local statistics of these bridges along any fixed time converge to the sine process. △ Less

Submitted 8 August, 2023; originally announced August 2023.

Comments: 110 pages, 14 figures

Edge Rigidity of Dyson Brownian Motion with General Initial Data

Authors: Amol Aggarwal, Jiaoyang Huang

Abstract: In this paper, we study the edge behavior of Dyson Brownian motion with general $β$. Specifically, we consider the scenario where the averaged initial density near the edge, on the scale $η_*$, is lower bounded by a square root profile. Under this assumption, we establish that the fluctuations of extreme particles are bounded by $(\log n)^{{\rm O}(1)}n^{-2/3}$ after time $C\sqrt{η_*}$. Our result… ▽ More In this paper, we study the edge behavior of Dyson Brownian motion with general $β$. Specifically, we consider the scenario where the averaged initial density near the edge, on the scale $η_*$, is lower bounded by a square root profile. Under this assumption, we establish that the fluctuations of extreme particles are bounded by $(\log n)^{{\rm O}(1)}n^{-2/3}$ after time $C\sqrt{η_*}$. Our result improves previous edge rigidity results from [1,24] which require both lower and upper bounds of the averaged initial density. Additionally, combining with [24], our rigidity estimates are used to prove that the distribution of extreme particles converges to the Tracy-Widom $β$ distribution in short time. △ Less

Submitted 8 August, 2023; originally announced August 2023.

Comments: 52 pages, 4 figures

MSC Class: 60B20; 82C22; 60F05

Discrimination of Radiologists Utilizing Eye-Tracking Technology and Machine Learning: A Case Study

Authors: Stanford Martinez, Carolina Ramirez-Tamayo, Syed Hasib Akhter Faruqui, Kal L. Clark, Adel Alaeddini, Nicholas Czarnek, Aarushi Aggarwal, Sahra Emamzadeh, Jeffrey R. Mock, Edward J. Golob

Abstract: Perception-related errors comprise most diagnostic mistakes in radiology. To mitigate this problem, radiologists employ personalized and high-dimensional visual search strategies, otherwise known as search patterns. Qualitative descriptions of these search patterns, which involve the physician verbalizing or annotating the order he/she analyzes the image, can be unreliable due to discrepancies in… ▽ More Perception-related errors comprise most diagnostic mistakes in radiology. To mitigate this problem, radiologists employ personalized and high-dimensional visual search strategies, otherwise known as search patterns. Qualitative descriptions of these search patterns, which involve the physician verbalizing or annotating the order he/she analyzes the image, can be unreliable due to discrepancies in what is reported versus the actual visual patterns. This discrepancy can interfere with quality improvement interventions and negatively impact patient care. This study presents a novel discretized feature encoding based on spatiotemporal binning of fixation data for efficient geometric alignment and temporal ordering of eye movement when reading chest X-rays. The encoded features of the eye-fixation data are employed by machine learning classifiers to discriminate between faculty and trainee radiologists. We include a clinical trial case study utilizing the Area Under the Curve (AUC), Accuracy, F1, Sensitivity, and Specificity metrics for class separability to evaluate the discriminability between the two subjects in regard to their level of experience. We then compare the classification performance to state-of-the-art methodologies. A repeatability experiment using a separate dataset, experimental protocol, and eye tracker was also performed using eight subjects to evaluate the robustness of the proposed approach. The numerical results from both experiments demonstrate that classifiers employing the proposed feature encoding methods outperform the current state-of-the-art in differentiating between radiologists in terms of experience level. This signifies the potential impact of the proposed method for identifying radiologists' level of expertise and those who would benefit from additional training. △ Less

Submitted 4 August, 2023; originally announced August 2023.

Comments: Submitting for Review in "IEEE Journal of Biomedical and Health Informatics"

Well-posedness and error estimates for coupled systems of nonlocal conservation laws

Authors: Aekta Aggarwal, Helge Holden, Ganesh Vaidya

Abstract: This article deals with the error estimates for numerical approximations of the entropy solutions of coupled systems of nonlocal hyperbolic conservation laws. The systems can be strongly coupled through the nonlocal coefficient present in the convection term. A fairly general class of fluxes is being considered, where the local part of the flux can be discontinuous at infinitely many points, with… ▽ More This article deals with the error estimates for numerical approximations of the entropy solutions of coupled systems of nonlocal hyperbolic conservation laws. The systems can be strongly coupled through the nonlocal coefficient present in the convection term. A fairly general class of fluxes is being considered, where the local part of the flux can be discontinuous at infinitely many points, with possible accumulation points. The aims of the paper are threefold: 1. Establishing existence of entropy solutions with rough local flux for such systems, by deriving a uniform BV bound on the numerical approximations; 2. Deriving a general Kuznetsov-type lemma (and hence uniqueness) for such systems with both smooth and rough local fluxes; 3. Proving the convergence rate of the finite volume approximations to the entropy solutions of the system as $1/2$ and $1/3$, with homogeneous (in any dimension) and rough local parts (in one dimension), respectively. Numerical experiments are included to illustrate the convergence rates. △ Less

Submitted 2 August, 2023; originally announced August 2023.

MSC Class: 35L65; 65M25; 35D30; 65M12; 65M15

Convergence of the numerical approximations and well-posedness: Nonlocal conservation laws with rough flux

Authors: Aekta Aggarwal, Ganesh Vaidya

Abstract: We study a class of nonlinear nonlocal conservation laws with discontinuous flux, modeling crowd dynamics and traffic flow, without any additional conditions on finiteness/discreteness of the set of discontinuities or on the monotonicity of the kernel/the discontinuous coefficient. Strong compactness of the Godunov and Lax-Friedrichs type approximations is proved, providing the existence of entrop… ▽ More We study a class of nonlinear nonlocal conservation laws with discontinuous flux, modeling crowd dynamics and traffic flow, without any additional conditions on finiteness/discreteness of the set of discontinuities or on the monotonicity of the kernel/the discontinuous coefficient. Strong compactness of the Godunov and Lax-Friedrichs type approximations is proved, providing the existence of entropy solutions. A proof of the uniqueness of the adapted entropy solutions is provided, establishing the convergence of the entire sequence of finite volume approximations to the adapted entropy solution. As per the current literature, this is the first well-posedness result for the aforesaid class and connects the theory of nonlocal conservation laws (with discontinuous flux), with its local counterpart in a generic setup. Some numerical examples are presented to display the performance of the schemes and explore the limiting behavior of these nonlocal conservation laws to their local counterparts. △ Less

Submitted 27 July, 2023; originally announced July 2023.

MSC Class: 35L65; 35B44; 35A01; 65M06; 65M08

Examining Lower Latency Routing with Overlay Networks

Authors: Aakriti Kedia, Akhilan Ganesh, Aman Aggarwal

Abstract: In today's rapidly expanding digital landscape, where access to timely online content is paramount to users, the underlying network infrastructure and latency performance significantly influence the user experience. We present an empirical study of the current Internet's connectivity and the achievable latencies to propose better routing paths if available. Understanding the severity of the non-op… ▽ More In today's rapidly expanding digital landscape, where access to timely online content is paramount to users, the underlying network infrastructure and latency performance significantly influence the user experience. We present an empirical study of the current Internet's connectivity and the achievable latencies to propose better routing paths if available. Understanding the severity of the non-optimal internet topology with RIPE Atlas stats, we conduct practical experiments to demonstrate that local traffic from the San Diego area to the University of California, San Diego reaches up to Los Angeles before serving responses. We examine the traceroutes and build an experimental overlay network to constrain the San Diego traffic within the city to get better round-trip time latencies. △ Less

Submitted 26 June, 2023; originally announced June 2023.

Thermocapillary migrating odd viscous droplets

Authors: Aaveg Aggarwal, Eleftherios Kirkinis, Monica Olvera de la Cruz

Abstract: A droplet of a classical liquid surrounded by a cold gas placed on a hot substrate is accompanied by unremitting internal circulations, while the droplet remains immobile. Two identical cells with opposite sense of circulation form in the interior due to the thermocapillary effect induced by the gas and substrate temperature difference. Under the same conditions, a droplet composed of an odd visco… ▽ More A droplet of a classical liquid surrounded by a cold gas placed on a hot substrate is accompanied by unremitting internal circulations, while the droplet remains immobile. Two identical cells with opposite sense of circulation form in the interior due to the thermocapillary effect induced by the gas and substrate temperature difference. Under the same conditions, a droplet composed of an odd viscous liquid exerts a compressive stress on the cell rotating in one sense and tensile on the cell rotating in the opposite sense resulting in a tilted droplet configuration. A sufficiently strong thermal gradient leads the contact angles to overcome hysteresis effects and induces droplet migration. △ Less

Submitted 31 May, 2023; originally announced June 2023.

Comments: 18 pages, 7 figures

Journal ref: Phys. Rev. Lett. 131, 198201 (2023)

On the accuracy of the finite volume approximations to nonlocal conservation laws

Authors: Aekta Aggarwal, Helge Holden, Ganesh Vaidya

Abstract: In this article, we discuss the error analysis for a certain class of monotone finite volume schemes approximating nonlocal scalar conservation laws, modeling traffic flow and crowd dynamics, without any additional assumptions on monotonicity or linearity of the kernel $μ$ or the flux $f$. We first prove a novel Kuznetsov-type lemma for this class of PDEs and thereby show that the finite volume ap… ▽ More In this article, we discuss the error analysis for a certain class of monotone finite volume schemes approximating nonlocal scalar conservation laws, modeling traffic flow and crowd dynamics, without any additional assumptions on monotonicity or linearity of the kernel $μ$ or the flux $f$. We first prove a novel Kuznetsov-type lemma for this class of PDEs and thereby show that the finite volume approximations converge to the entropy solution at the rate of $\sqrt{Δt}$ in $L^1(\mathbb{R})$. To the best of our knowledge, this is the first proof of any type of convergence rate for this class of conservation laws. We also present numerical experiments to illustrate this result. △ Less

Submitted 31 May, 2023; originally announced June 2023.

Comments: 27 pages, 5 figures, 2 tables

MSC Class: 35L65; 65M25; 35D30; 65M12; 65M15

Local Region-to-Region Mapping-based Approach to Classify Articulated Objects

Authors: Ayush Aggarwal, Rustam Stolkin, Naresh Marturi

Abstract: Autonomous robots operating in real-world environments encounter a variety of objects that can be both rigid and articulated in nature. Having knowledge of these specific object properties not only helps in designing appropriate manipulation strategies but also aids in developing reliable tracking and pose estimation techniques for many robotic and vision applications. In this context, this paper… ▽ More Autonomous robots operating in real-world environments encounter a variety of objects that can be both rigid and articulated in nature. Having knowledge of these specific object properties not only helps in designing appropriate manipulation strategies but also aids in developing reliable tracking and pose estimation techniques for many robotic and vision applications. In this context, this paper presents a registration-based local region-to-region mapping approach to classify an object as either articulated or rigid. Using the point clouds of the intended object, the proposed method performs classification by estimating unique local transformations between point clouds over the observed sequence of movements of the object. The significant advantage of the proposed method is that it is a constraint-free approach that can classify any articulated object and is not limited to a specific type of articulation. Additionally, it is a model-free approach with no learning components, which means it can classify whether an object is articulated without requiring any object models or labelled data. We analyze the performance of the proposed method on two publicly available benchmark datasets with a combination of articulated and rigid objects. It is observed that the proposed method can classify articulated and rigid objects with good accuracy. △ Less

Submitted 10 May, 2023; originally announced May 2023.

Comments: 7 pages, 4 figures, Conference on Robots and Vision, Articulated Object Classification

Breast Cancer Immunohistochemical Image Generation: a Benchmark Dataset and Challenge Review

Authors: Chuang Zhu, Shengjie Liu, Zekuan Yu, Feng Xu, Arpit Aggarwal, Germán Corredor, Anant Madabhushi, Qixun Qu, Hongwei Fan, Fangda Li, Yueheng Li, Xianchao Guan, Yongbing Zhang, Vivek Kumar Singh, Farhan Akram, Md. Mostafa Kamal Sarker, Zhongyue Shi, Mulan Jin

Abstract: For invasive breast cancer, immunohistochemical (IHC) techniques are often used to detect the expression level of human epidermal growth factor receptor-2 (HER2) in breast tissue to formulate a precise treatment plan. From the perspective of saving manpower, material and time costs, directly generating IHC-stained images from Hematoxylin and Eosin (H&E) stained images is a valuable research direct… ▽ More For invasive breast cancer, immunohistochemical (IHC) techniques are often used to detect the expression level of human epidermal growth factor receptor-2 (HER2) in breast tissue to formulate a precise treatment plan. From the perspective of saving manpower, material and time costs, directly generating IHC-stained images from Hematoxylin and Eosin (H&E) stained images is a valuable research direction. Therefore, we held the breast cancer immunohistochemical image generation challenge, aiming to explore novel ideas of deep learning technology in pathological image generation and promote research in this field. The challenge provided registered H&E and IHC-stained image pairs, and participants were required to use these images to train a model that can directly generate IHC-stained images from corresponding H&E-stained images. We selected and reviewed the five highest-ranking methods based on their PSNR and SSIM metrics, while also providing overviews of the corresponding pipelines and implementations. In this paper, we further analyze the current limitations in the field of breast cancer immunohistochemical image generation and forecast the future development of this field. We hope that the released dataset and the challenge will inspire more scholars to jointly study higher-quality IHC-stained image generation. △ Less

Submitted 22 September, 2023; v1 submitted 5 May, 2023; originally announced May 2023.

Comments: 12 pages, 12 figures, 2tables

Near-Extremal Limits of Warped Black Holes

Authors: Ankit Aggarwal, Alejandra Castro, Stéphane Detournay, Beatrix Mühlmann

Abstract: A holographic description of three-dimensional warped black holes suffers from ambiguities due to a seemingly harmless choice of coordinate system. This gives rise to the notion of ensembles in warped black holes, and we focus on two of them: the canonical and quadratic ensemble. Our aim is to quantify the imprint of these ensembles in the near-extremal limit of a warped black hole. To this end, f… ▽ More A holographic description of three-dimensional warped black holes suffers from ambiguities due to a seemingly harmless choice of coordinate system. This gives rise to the notion of ensembles in warped black holes, and we focus on two of them: the canonical and quadratic ensemble. Our aim is to quantify the imprint of these ensembles in the near-extremal limit of a warped black hole. To this end, for each ensemble, we explore the thermodynamic response and evaluate greybody factors. We also set-up a holographic dictionary in their near-AdS$_2$ region, and decode aspects of the dual near-CFT$_1$. This gives us different perspectives of the black hole that we can contrast and compare. On the one hand, we find perfect agreement between the near-extremal limit of the canonical ensemble warped black holes, their near-AdS$_2$ effective analysis, and a warped conformal field theory description. On the other, we are led to rule out the quadratic ensemble due to inconsistencies at the quantum level with the near-AdS$_2$ effective description. △ Less

Submitted 10 July, 2023; v1 submitted 20 April, 2023; originally announced April 2023.

Comments: 43 pages, v2: minor typos corrected, reference added

Journal ref: SciPost Phys. 15, 083 (2023)

MACOptions: Multi-Agent Learning with Centralized Controller and Options Framework

Authors: Alakh Aggarwal, Rishita Bansal, Parth Padalkar, Sriraam Natarajan

Abstract: These days automation is being applied everywhere. In every environment, planning for the actions to be taken by the agents is an important aspect. In this paper, we plan to implement planning for multi-agents with a centralized controller. We compare three approaches: random policy, Q-learning, and Q-learning with Options Framework. We also show the effectiveness of planners by showing performanc… ▽ More These days automation is being applied everywhere. In every environment, planning for the actions to be taken by the agents is an important aspect. In this paper, we plan to implement planning for multi-agents with a centralized controller. We compare three approaches: random policy, Q-learning, and Q-learning with Options Framework. We also show the effectiveness of planners by showing performance comparison between Q-Learning with Planner and without Planner. △ Less

Submitted 7 February, 2023; originally announced February 2023.

Towards Robust NLG Bias Evaluation with Syntactically-diverse Prompts

Authors: Arshiya Aggarwal, Jiao Sun, Nanyun Peng

Abstract: We present a robust methodology for evaluating biases in natural language generation(NLG) systems. Previous works use fixed hand-crafted prefix templates with mentions of various demographic groups to prompt models to generate continuations for bias analysis. These fixed prefix templates could themselves be specific in terms of styles or linguistic structures, which may lead to unreliable fairness… ▽ More We present a robust methodology for evaluating biases in natural language generation(NLG) systems. Previous works use fixed hand-crafted prefix templates with mentions of various demographic groups to prompt models to generate continuations for bias analysis. These fixed prefix templates could themselves be specific in terms of styles or linguistic structures, which may lead to unreliable fairness conclusions that are not representative of the general trends from tone varying prompts. To study this problem, we paraphrase the prompts with different syntactic structures and use these to evaluate demographic bias in NLG systems. Our results suggest similar overall bias trends but some syntactic structures lead to contradictory conclusions compared to past works. We show that our methodology is more robust and that some syntactic structures prompt more toxic content while others could prompt less biased generation. This suggests the importance of not relying on a fixed syntactic structure and using tone-invariant prompts. Introducing syntactically-diverse prompts can achieve more robust NLG (bias) evaluation. △ Less

Submitted 3 December, 2022; originally announced December 2022.

Comments: EMNLP Findings 2022

Layered-Garment Net: Generating Multiple Implicit Garment Layers from a Single Image

Authors: Alakh Aggarwal, Jikai Wang, Steven Hogue, Saifeng Ni, Madhukar Budagavi, Xiaohu Guo

Abstract: Recent research works have focused on generating human models and garments from their 2D images. However, state-of-the-art researches focus either on only a single layer of the garment on a human model or on generating multiple garment layers without any guarantee of the intersection-free geometric relationship between them. In reality, people wear multiple layers of garments in their daily life,… ▽ More Recent research works have focused on generating human models and garments from their 2D images. However, state-of-the-art researches focus either on only a single layer of the garment on a human model or on generating multiple garment layers without any guarantee of the intersection-free geometric relationship between them. In reality, people wear multiple layers of garments in their daily life, where an inner layer of garment could be partially covered by an outer one. In this paper, we try to address this multi-layer modeling problem and propose the Layered-Garment Net (LGN) that is capable of generating intersection-free multiple layers of garments defined by implicit function fields over the body surface, given the person's near front-view image. With a special design of garment indication fields (GIF), we can enforce an implicit covering relationship between the signed distance fields (SDF) of different layers to avoid self-intersections among different garment surfaces and the human body. Experiments demonstrate the strength of our proposed LGN framework in generating multi-layer garments as compared to state-of-the-art methods. To the best of our knowledge, LGN is the first research work to generate intersection-free multiple layers of garments on the human body from a single image. △ Less

Submitted 21 November, 2022; originally announced November 2022.

Comments: 16th Asian Conference on Computer Vision (ACCV2022)

Near-Extremal Limits of Warped CFTs

Authors: Ankit Aggarwal, Alejandra Castro, Stéphane Detournay, Beatrix Mühlmann

Abstract: Warped conformal field theories (WCFTs) are two-dimensional non-relativistic systems, with a chiral scaling and shift symmetry. We present a detailed derivation of the near-extremal limit for their torus partition function. This limit requires large values of the central charge, and is only consistent for non-unitary WCFT. We compare our analysis with previous studies of WCFT and its relation to a… ▽ More Warped conformal field theories (WCFTs) are two-dimensional non-relativistic systems, with a chiral scaling and shift symmetry. We present a detailed derivation of the near-extremal limit for their torus partition function. This limit requires large values of the central charge, and is only consistent for non-unitary WCFT. We compare our analysis with previous studies of WCFT and its relation to a one-dimensional warped-Schwarzian theory. We discuss different ensembles of warped CFTs and contrast our results with analogous limits in two-dimensional CFTs. △ Less

Submitted 10 July, 2023; v1 submitted 7 November, 2022; originally announced November 2022.

Comments: 18+8 pages. v2: Minor corrections in (3.14) and (3.17). v3: minor typos corrected, arXiv identifier of companion paper added, to appear in Scipost

Journal ref: SciPost Phys. 15, 056 (2023)

Mobility Edge for Lévy Matrices

Authors: Amol Aggarwal, Charles Bordenave, Patrick Lopatto

Abstract: Lévy matrices are symmetric random matrices whose entry distributions lie in the domain of attraction of an $α$-stable law. For $α< 1$, predictions from the physics literature suggest that high-dimensional Lévy matrices should display the following phase transition at a point $E_{\mathrm{mob}}$. Eigenvectors corresponding to eigenvalues in $(-E_{\mathrm{mob}},E_{\mathrm{mob}})$ should be delocaliz… ▽ More Lévy matrices are symmetric random matrices whose entry distributions lie in the domain of attraction of an $α$-stable law. For $α< 1$, predictions from the physics literature suggest that high-dimensional Lévy matrices should display the following phase transition at a point $E_{\mathrm{mob}}$. Eigenvectors corresponding to eigenvalues in $(-E_{\mathrm{mob}},E_{\mathrm{mob}})$ should be delocalized, while eigenvectors corresponding to eigenvalues outside of this interval should be localized. Further, $E_{\mathrm{mob}}$ is given by the (presumably unique) positive solution to $λ(E,α) =1$, where $λ$ is an explicit function of $E$ and $α$. We prove the following results about high-dimensional Lévy matrices. (1) If $λ(E,α) > 1$ then eigenvectors with eigenvalues near $E$ are delocalized. (2) If $E$ is in the connected components of the set $\big\{ x : λ(x,α) < 1 \big\}$ containing $\pm \infty$, then eigenvectors with eigenvalues near $E$ are localized. (3) For $α$ sufficiently near $0$ or $1$, there is a unique positive solution $E = E_{\mathrm{mob}}$ to $λ(E,α) = 1$, demonstrating the existence of a (unique) phase transition. (a) If $α$ is close to $0$, then $E_{\mathrm{mob}}$ scales approximately as $|\log α|^{-2/α}$. (b) If $α$ is close to $1$, then $E_{\mathrm{mob}}$ scales as $(1-α)^{-1}$. Our proofs proceed through an analysis of the local weak limit of a Lévy matrix, given by a certain infinite-dimensional, heavy-tailed operator on the Poisson weighted infinite tree. △ Less

Submitted 18 May, 2023; v1 submitted 17 October, 2022; originally announced October 2022.

Comments: 168 pages

Strain energy density as a Gaussian process and its utilization in stochastic finite element analysis: application to planar soft tissues

Authors: Ankush Aggarwal, Bjørn Sand Jensen, Sanjay Pant, Chung-Hao Lee

Abstract: Data-based approaches are promising alternatives to the traditional analytical constitutive models for solid mechanics. Herein, we propose a Gaussian process (GP) based constitutive modeling framework, specifically focusing on planar, hyperelastic and incompressible soft tissues. The strain energy density of soft tissues is modeled as a GP, which can be regressed to experimental stress-strain data… ▽ More Data-based approaches are promising alternatives to the traditional analytical constitutive models for solid mechanics. Herein, we propose a Gaussian process (GP) based constitutive modeling framework, specifically focusing on planar, hyperelastic and incompressible soft tissues. The strain energy density of soft tissues is modeled as a GP, which can be regressed to experimental stress-strain data obtained from biaxial experiments. Moreover, the GP model can be weakly constrained to be convex. A key advantage of a GP-based model is that, in addition to the mean value, it provides a probability density (i.e. associated uncertainty) for the strain energy density. To simulate the effect of this uncertainty, a non-intrusive stochastic finite element analysis (SFEA) framework is proposed. The proposed framework is verified against an artificial dataset based on the Gasser--Ogden--Holzapfel model and applied to a real experimental dataset of a porcine aortic valve leaflet tissue. Results show that the proposed framework can be trained with limited experimental data and fits the data better than several existing models. The SFEA framework provides a straightforward way of using the experimental data and quantifying the resulting uncertainty in simulation-based predictions. △ Less

Submitted 22 November, 2022; v1 submitted 28 September, 2022; originally announced October 2022.

A Bayesian constitutive model selection framework for biaxial mechanical testing of planar soft tissues: application to porcine aortic valves

Authors: Ankush Aggarwal, Luke T. Hudson, Devin W. Laurence, Chung-Hao Lee, Sanjay Pant

Abstract: A variety of constitutive models have been developed for soft tissue mechanics. However, there is no established criterion to select a suitable model for a specific application. Although the model that best fits the experimental data can be deemed the most suitable model, this practice often can be insufficient given the inter-sample variability of experimental observations. Herein, we present a B… ▽ More A variety of constitutive models have been developed for soft tissue mechanics. However, there is no established criterion to select a suitable model for a specific application. Although the model that best fits the experimental data can be deemed the most suitable model, this practice often can be insufficient given the inter-sample variability of experimental observations. Herein, we present a Bayesian approach to calculate the relative probabilities of constitutive models based on biaxial mechanical testing of tissue samples. 46 samples of porcine aortic valve tissue were tested using a biaxial stretching setup. For each sample, seven ratios of stresses along and perpendicular to the fiber direction were applied. The probabilities of eight invariant-based constitutive models were calculated based on the experimental data using the proposed model selection framework. The calculated probabilities showed that, out of the considered models and based on the information available through the utilized experimental dataset, the May--Newman model was the most probable model for the porcine aortic valve data. When the samples were grouped into different cusp types, the May--Newman model remained the most probable for the left- and right-coronary cusps, whereas for non-coronary cusps two models were found to be equally probable: the Lee--Sacks model and the May--Newman model. This difference between cusp types was found to be associated with the first principal component analysis (PCA) mode, where this mode's amplitudes of the non-coronary and right-coronary cusps were found to be significantly different. Our results show that a PCA-based statistical model can capture significant variations in the mechanical properties of soft tissues. The presented framework is applicable to any tissue type, and has the potential to provide a structured and rational way of making simulations population-based. △ Less

Submitted 3 January, 2023; v1 submitted 26 September, 2022; originally announced September 2022.

Can GAN-induced Attribute Manipulations Impact Face Recognition?

Authors: Sudipta Banerjee, Aditi Aggarwal, Arun Ross

Abstract: Impact due to demographic factors such as age, sex, race, etc., has been studied extensively in automated face recognition systems. However, the impact of \textit{digitally modified} demographic and facial attributes on face recognition is relatively under-explored. In this work, we study the effect of attribute manipulations induced via generative adversarial networks (GANs) on face recognition p… ▽ More Impact due to demographic factors such as age, sex, race, etc., has been studied extensively in automated face recognition systems. However, the impact of \textit{digitally modified} demographic and facial attributes on face recognition is relatively under-explored. In this work, we study the effect of attribute manipulations induced via generative adversarial networks (GANs) on face recognition performance. We conduct experiments on the CelebA dataset by intentionally modifying thirteen attributes using AttGAN and STGAN and evaluating their impact on two deep learning-based face verification methods, ArcFace and VGGFace. Our findings indicate that some attribute manipulations involving eyeglasses and digital alteration of sex cues can significantly impair face recognition by up to 73% and need further analysis. △ Less

Submitted 7 September, 2022; originally announced September 2022.

First Search for Axion-Like Particles in a Storage Ring Using a Polarized Deuteron Beam

Authors: Swathi Karanth, Edward J. Stephenson, Seung Pyo Chang, Volker Hejny, Jörg Pretz, Yannis K. Semertzidis, Andreas Wirzba, Aleksandra Wrońska, Falastine Abusaif, A. Aksentev, Benat Alberdi, Anjali Aggarwal, Achim Andres, Luca Barion, Ilja Bekman, M. Beyss, Christian Böhme, B. Breitkreutz, C. von Byern, Nicola Canale, Guiseppe Ciullo, Sergey Dymov, Nils-Oliver Fröhlich, Ralf Gebel, Kirill Grigoryev , et al. (38 additional authors not shown)

Abstract: Based on the notion that the local dark-matter field of axions or axion-like particles (ALPs) in our Galaxy induces oscillating couplings to the spins of nucleons and nuclei (via the electric dipole moment of the latter and/or the paramagnetic axion-wind effect), we establish the feasibility of a new method to search for ALPs in storage rings. Based on previous work that allows us to maintain the… ▽ More Based on the notion that the local dark-matter field of axions or axion-like particles (ALPs) in our Galaxy induces oscillating couplings to the spins of nucleons and nuclei (via the electric dipole moment of the latter and/or the paramagnetic axion-wind effect), we establish the feasibility of a new method to search for ALPs in storage rings. Based on previous work that allows us to maintain the in-plane polarization of a stored deuteron beam for a few hundred seconds, we performed a first proof-of-principle experiment at the Cooler Synchrotron COSY to scan momenta near 970 MeV/c. This entailed a scan of the spin precession frequency. At resonance between the spin precession frequency of deuterons and the ALP-induced EDM oscillation frequency there will be an accumulation of the polarization component out of the ring plane. Since the axion frequency is unknown, the momentum of the beam and consequently the spin precession frequency were ramped to search for a vertical polarization change that would occur when the resonance is crossed. At COSY, four beam bunches with different polarization directions were used to make sure that no resonance was missed because of the unknown relative phase between the polarization precession and the axion/ALP field. A frequency window of 1.5-kHz width around the spin precession frequency of 121 kHz was scanned. We describe the experimental procedure and a test of the methodology with the help of a radiofrequency Wien filter located on the COSY ring. No ALP resonance was observed. As a consequence an upper limit of the oscillating EDM component of the deuteron as well as its axion coupling constants are provided. △ Less

Submitted 27 April, 2023; v1 submitted 15 August, 2022; originally announced August 2022.

Comments: 27 pages, 24 figures, 7 tables, 104 references

Towards Automating Retinoscopy for Refractive Error Diagnosis

Authors: Aditya Aggarwal, Siddhartha Gairola, Uddeshya Upadhyay, Akshay P Vasishta, Diwakar Rao, Aditya Goyal, Kaushik Murali, Nipun Kwatra, Mohit Jain

Abstract: Refractive error is the most common eye disorder and is the key cause behind correctable visual impairment, responsible for nearly 80% of the visual impairment in the US. Refractive error can be diagnosed using multiple methods, including subjective refraction, retinoscopy, and autorefractors. Although subjective refraction is the gold standard, it requires cooperation from the patient and hence i… ▽ More Refractive error is the most common eye disorder and is the key cause behind correctable visual impairment, responsible for nearly 80% of the visual impairment in the US. Refractive error can be diagnosed using multiple methods, including subjective refraction, retinoscopy, and autorefractors. Although subjective refraction is the gold standard, it requires cooperation from the patient and hence is not suitable for infants, young children, and developmentally delayed adults. Retinoscopy is an objective refraction method that does not require any input from the patient. However, retinoscopy requires a lens kit and a trained examiner, which limits its use for mass screening. In this work, we automate retinoscopy by attaching a smartphone to a retinoscope and recording retinoscopic videos with the patient wearing a custom pair of paper frames. We develop a video processing pipeline that takes retinoscopic videos as input and estimates the net refractive error based on our proposed extension of the retinoscopy mathematical model. Our system alleviates the need for a lens kit and can be performed by an untrained examiner. In a clinical trial with 185 eyes, we achieved a sensitivity of 91.0% and specificity of 74.0% on refractive error diagnosis. Moreover, the mean absolute error of our approach was 0.75$\pm$0.67D on net refractive error estimation compared to subjective refraction measurements. Our results indicate that our approach has the potential to be used as a retinoscopy-based refractive error screening tool in real-world medical settings. △ Less

Submitted 10 August, 2022; originally announced August 2022.

Comments: This paper is accepted for publication in IMWUT 2022

Automated WBRT Treatment Planning via Deep Learning Auto-Contouring and Customizable Landmark-Based Field Aperture Design

Authors: Yao Xiao, Carlos Cardenas, Dong Joo Rhee, Tucker Netherton, Lifei Zhang, Callistus Nguyen, Raphael Douglas, Raymond Mumme, Stephen Skett, Tina Patel, Chris Trauernicht, Caroline Chung, Hannah Simonds, Ajay Aggarwal, Laurence Court

Abstract: In this work, we developed and evaluated a novel pipeline consisting of two landmark-based field aperture generation approaches for WBRT treatment planning; they are fully automated and customizable. The automation pipeline is beneficial for both clinicians and patients, where we can reduce clinician workload and reduce treatment planning time. The customizability of the field aperture design addr… ▽ More In this work, we developed and evaluated a novel pipeline consisting of two landmark-based field aperture generation approaches for WBRT treatment planning; they are fully automated and customizable. The automation pipeline is beneficial for both clinicians and patients, where we can reduce clinician workload and reduce treatment planning time. The customizability of the field aperture design addresses different clinical requirements and allows the personalized design to become feasible. The performance results regarding quantitative and qualitative evaluations demonstrated that our plans were comparable with the original clinical plans. This technique has been deployed as part of a fully automated treatment planning tool for whole-brain cancer and could be translated to other treatment sites in the future. △ Less

Submitted 24 May, 2022; originally announced May 2022.

Comments: 10 pages, 7 figures, submitted to JACMP - Journal of Applied Clinical Medical Physics

Optimal-Degree Polynomial Approximations for Exponentials and Gaussian Kernel Density Estimation

Authors: Amol Aggarwal, Josh Alman

Abstract: For any real numbers $B \ge 1$ and $δ\in (0, 1)$ and function $f: [0, B] \rightarrow \mathbb{R}$, let $d_{B; δ} (f) \in \mathbb{Z}_{> 0}$ denote the minimum degree of a polynomial $p(x)$ satisfying $\sup_{x \in [0, B]} \big| p(x) - f(x) \big| < δ$. In this paper, we provide precise asymptotics for $d_{B; δ} (e^{-x})$ and $d_{B; δ} (e^{x})$ in terms of both $B$ and $δ$, improving both the previousl… ▽ More For any real numbers $B \ge 1$ and $δ\in (0, 1)$ and function $f: [0, B] \rightarrow \mathbb{R}$, let $d_{B; δ} (f) \in \mathbb{Z}_{> 0}$ denote the minimum degree of a polynomial $p(x)$ satisfying $\sup_{x \in [0, B]} \big| p(x) - f(x) \big| < δ$. In this paper, we provide precise asymptotics for $d_{B; δ} (e^{-x})$ and $d_{B; δ} (e^{x})$ in terms of both $B$ and $δ$, improving both the previously known upper bounds and lower bounds. In particular, we show $$d_{B; δ} (e^{-x}) = Θ\left( \max \left\{ \sqrt{B \log(δ^{-1})}, \frac{\log(δ^{-1}) }{ \log(B^{-1} \log(δ^{-1}))} \right\}\right), \text{ and}$$ $$d_{B; δ} (e^{x}) = Θ\left( \max \left\{ B, \frac{\log(δ^{-1}) }{ \log(B^{-1} \log(δ^{-1}))} \right\}\right).$$ Polynomial approximations for $e^{-x}$ and $e^x$ have applications to the design of algorithms for many problems, and our degree bounds show both the power and limitations of these algorithms. We focus in particular on the Batch Gaussian Kernel Density Estimation problem for $n$ sample points in $Θ(\log n)$ dimensions with error $δ= n^{-Θ(1)}$. We show that the running time one can achieve depends on the square of the diameter of the point set, $B$, with a transition at $B = Θ(\log n)$ mirroring the corresponding transition in $d_{B; δ} (e^{-x})$: - When $B=o(\log n)$, we give the first algorithm running in time $n^{1 + o(1)}$. - When $B = κ\log n$ for a small constant $κ>0$, we give an algorithm running in time $n^{1 + O(\log \log κ^{-1} /\log κ^{-1})}$. The $\log \log κ^{-1} /\log κ^{-1}$ term in the exponent comes from analyzing the behavior of the leading constant in our computation of $d_{B; δ} (e^{-x})$. - When $B = ω(\log n)$, we show that time $n^{2 - o(1)}$ is necessary assuming SETH. △ Less

Submitted 12 May, 2022; originally announced May 2022.

Comments: 27 pages, to appear in the 37th Computational Complexity Conference (CCC 2022)

Explainable Data Imputation using Constraints

Authors: Sandeep Hans, Diptikalyan Saha, Aniya Aggarwal

Abstract: Data values in a dataset can be missing or anomalous due to mishandling or human error. Analysing data with missing values can create bias and affect the inferences. Several analysis methods, such as principle components analysis or singular value decomposition, require complete data. Many approaches impute numeric data and some do not consider dependency of attributes on other attributes, while s… ▽ More Data values in a dataset can be missing or anomalous due to mishandling or human error. Analysing data with missing values can create bias and affect the inferences. Several analysis methods, such as principle components analysis or singular value decomposition, require complete data. Many approaches impute numeric data and some do not consider dependency of attributes on other attributes, while some require human intervention and domain knowledge. We present a new algorithm for data imputation based on different data type values and their association constraints in data, which are not handled currently by any system. We show experimental results using different metrics comparing our algorithm with state of the art imputation techniques. Our algorithm not only imputes the missing values but also generates human readable explanations describing the significance of attributes used for every imputation. △ Less

Submitted 10 May, 2022; originally announced May 2022.

Phase transition of photons and gravitons in a Casimir box

Authors: Ankit Aggarwal, Glenn Barnich

Abstract: A first order phase transition for photons and gravitons in a Casimir box is studied analytically from first principles with a detailed understanding of symmetry breaking due to the boundary conditions. It is closely related to Bose-Einstein condensation and accompanied by a quantum phase transition whose control parameter is the chemical potential for optical helicity. A first order phase transition for photons and gravitons in a Casimir box is studied analytically from first principles with a detailed understanding of symmetry breaking due to the boundary conditions. It is closely related to Bose-Einstein condensation and accompanied by a quantum phase transition whose control parameter is the chemical potential for optical helicity. △ Less

Submitted 21 July, 2022; v1 submitted 7 May, 2022; originally announced May 2022.

Comments: 11 pages, 2 figures. v2: Minor changes, mostly references

The ASEP speed process

Authors: Amol Aggarwal, Ivan Corwin, Promit Ghosal

Abstract: For ASEP with step initial data and a second class particle started at the origin we prove that as time goes to infinity the second class particle almost surely achieves a velocity that is uniformly distributed on $[-1,1]$. This positively resolves Conjecture 1.9 and 1.10 of [Amir, Angel and Valko, "The TASEP speed process", Annals of Probability 39, 1205--1242, 2011] and allows us to construct th… ▽ More For ASEP with step initial data and a second class particle started at the origin we prove that as time goes to infinity the second class particle almost surely achieves a velocity that is uniformly distributed on $[-1,1]$. This positively resolves Conjecture 1.9 and 1.10 of [Amir, Angel and Valko, "The TASEP speed process", Annals of Probability 39, 1205--1242, 2011] and allows us to construct the ASEP speed process. △ Less

Submitted 11 April, 2022; originally announced April 2022.

Comments: 56 pages, 11 figures

Molecular rectifiers with very high rectification ratio enabled by oxidative damage in double-stranded DNA

Authors: Abhishek Aggarwal, Supriyo Naskar, Prabal K. Maiti

Abstract: In this work, we report a novel strategy to construct molecular diodes with a record tunable rectification ratio of as high as 10^6 using oxidatively damaged DNA molecules. Being exposed to several endogenous and exogenous events, DNA suffers constant oxidative damages leading to oxidation of guanine to 8-Oxoguanine (8oxoG). Here, we study the charge migration properties of native and oxidatively… ▽ More In this work, we report a novel strategy to construct molecular diodes with a record tunable rectification ratio of as high as 10^6 using oxidatively damaged DNA molecules. Being exposed to several endogenous and exogenous events, DNA suffers constant oxidative damages leading to oxidation of guanine to 8-Oxoguanine (8oxoG). Here, we study the charge migration properties of native and oxidatively damaged DNA using a multiscale multiconfigurational methodology comprising of molecular dynamics, density functional theory and kinetic Monte Carlo simulations. We perform a comprehensive study to understand the effect of different concentrations and locations of 8oxoG in a dsDNA sequence on its CT properties and find tunable rectifier properties having potential applications in molecular electronics such as molecular switches and molecular rectifiers. We also discover the negative differential resistance properties of fully oxidized Drew-Dickerson sequence. The presence of 8oxoG guanine leads to the trapping of charge, thus operates as a charge sink, which reveals how oxidized guanine saves the rest of the genome from further oxidative damage. △ Less

Submitted 27 February, 2022; originally announced February 2022.

Journal ref: J. Phys. Chem. B 2022, 126, 25, 4636-4646

Boundary Conditions for Warped AdS$_3$ in Quadratic Ensemble

Authors: Ankit Aggarwal, Luca Ciambelli, Stéphane Detournay, Antoine Somerhausen

Abstract: In the context of warped conformal field theories (WCFT), the derivation of the warped Cardy formula relies on the zero mode spectrum being bounded from below. Generically, this is not true for holographic WCFTs in "canonical" ensemble, whereas this condition is satisfied in the "quadratic" ensemble, making it more natural in holographic setups. In this work, we find a new set of boundary conditio… ▽ More In the context of warped conformal field theories (WCFT), the derivation of the warped Cardy formula relies on the zero mode spectrum being bounded from below. Generically, this is not true for holographic WCFTs in "canonical" ensemble, whereas this condition is satisfied in the "quadratic" ensemble, making it more natural in holographic setups. In this work, we find a new set of boundary conditions in three-dimensional Topologically Massive Gravity (TMG) such that the putative dual theory is a WCFT in quadratic ensemble. Surprisingly, imposing the equations of motion, we obtain a closed form metric spanned by two arbitrary chiral functions, analogous to the Bañados metrics in Einstein gravity. Surface charges for these boundary conditions are not a priori integrable and we discuss two choices of boundary conditions to make them so. We obtain the bulk thermodynamic entropy of warped BTZ black holes by making use of the warped Cardy formula, in its regime of validity. We also discuss the issue of identifying the vacuum in our solution space: demanding the enhancement of global symmetries selects only a family of solutions, out of which the unique vacuum must be carefully singled out. △ Less

Submitted 5 May, 2022; v1 submitted 24 December, 2021; originally announced December 2021.

Comments: v1: 23 pages; Mathematica file with all the computations available as an ancillary file. v2: Minor changes in language, references added, matches published version

Journal ref: JHEP 2022, 13 (2022)

High-Field Magnetometry with Hyperpolarized Nuclear Spins

Authors: Ozgur Sahin, Erica de Leon Sanchez, Sophie Conti, Amala Akkiraju, Paul Reshetikhin, Emanuel Druga, Aakriti Aggarwal, Benjamin Gilbert, Sunil Bhave, Ashok Ajoy

Abstract: Quantum sensors have attracted broad interest in the quest towards sub-micronscale NMR spectroscopy. Such sensors predominantly operate at low magnetic fields. Instead, however, for high resolution spectroscopy, the high-field regime is naturally advantageous because it allows high absolute chemical shift discrimination. Here we propose and demonstrate a high-field spin magnetometer constructed fr… ▽ More Quantum sensors have attracted broad interest in the quest towards sub-micronscale NMR spectroscopy. Such sensors predominantly operate at low magnetic fields. Instead, however, for high resolution spectroscopy, the high-field regime is naturally advantageous because it allows high absolute chemical shift discrimination. Here we propose and demonstrate a high-field spin magnetometer constructed from an ensemble of hyperpolarized ${}^{13}C$ nuclear spins in diamond. The ${}^{13}C$ nuclei are initialized via Nitrogen Vacancy (NV) centers and protected along a transverse Bloch sphere axis for minute-long periods. When exposed to a time-varying (AC) magnetic field, they undergo secondary precessions that carry an imprint of its frequency and amplitude. The method harnesses long rotating frame ${}^{13}C$ sensor lifetimes $T_2^{\prime}{>}$20s, and their ability to be continuously interrogated. For quantum sensing at 7T and a single crystal sample, we demonstrate spectral resolution better than 100 mHz (corresponding to a frequency precision ${<}$1ppm) and single-shot sensitivity better than 70pT. We discuss the advantages of nuclear spin magnetometers over conventional NV center sensors, including deployability in randomly-oriented diamond particles and in optically scattering media. Since our technique employs densely-packed ${}^{13}C$ nuclei as sensors, it demonstrates a new approach for magnetometry in the "coupled-sensor" limit. This work points to interesting opportunities for microscale NMR chemical sensors constructed from hyperpolarized nanodiamonds and suggests applications of dynamic nuclear polarization (DNP) in quantum sensing. △ Less

Submitted 21 December, 2021; originally announced December 2021.

Data Synthesis for Testing Black-Box Machine Learning Models

Authors: Diptikalyan Saha, Aniya Aggarwal, Sandeep Hans

Abstract: The increasing usage of machine learning models raises the question of the reliability of these models. The current practice of testing with limited data is often insufficient. In this paper, we provide a framework for automated test data synthesis to test black-box ML/DL models. We address an important challenge of generating realistic user-controllable data with model agnostic coverage criteria… ▽ More The increasing usage of machine learning models raises the question of the reliability of these models. The current practice of testing with limited data is often insufficient. In this paper, we provide a framework for automated test data synthesis to test black-box ML/DL models. We address an important challenge of generating realistic user-controllable data with model agnostic coverage criteria to test a varied set of properties, essentially to increase trust in machine learning models. We experimentally demonstrate the effectiveness of our technique. △ Less

Submitted 3 November, 2021; originally announced November 2021.

Comments: Accepted as a 4-pages short paper in Research track at CODS-COMAD 2022

Free Fermion Six Vertex Model: Symmetric Functions and Random Domino Tilings

Authors: Amol Aggarwal, Alexei Borodin, Leonid Petrov, Michael Wheeler

Abstract: Our work deals with symmetric rational functions and probabilistic models based on the fully inhomogeneous six vertex (ice type) model satisfying the free fermion condition. Two families of symmetric rational functions $F_λ,G_λ$ are defined as certain partition functions of the six vertex model, with variables corresponding to row rapidities, and the labeling signatures… ▽ More Our work deals with symmetric rational functions and probabilistic models based on the fully inhomogeneous six vertex (ice type) model satisfying the free fermion condition. Two families of symmetric rational functions $F_λ,G_λ$ are defined as certain partition functions of the six vertex model, with variables corresponding to row rapidities, and the labeling signatures $λ=(λ_1\ge \ldots\ge λ_N)\in \mathbb{Z}^N$ encoding boundary conditions. These symmetric functions generalize Schur symmetric polynomials, as well as some of their variations, such as factorial and supersymmetric Schur polynomials. Cauchy type summation identities for $F_λ,G_λ$ and their skew counterparts follow from the Yang-Baxter equation. Using algebraic Bethe Ansatz, we obtain a double alternant type formula for $F_λ$ and a Sergeev-Pragacz type formula for $G_λ$. In the spirit of the theory of Schur processes, we define probability measures on sequences of signatures with probability weights proportional to products of our symmetric functions. We show that these measures can be viewed as determinantal point processes, and we express their correlation kernels in a double contour integral form. We present two proofs: The first is a direct computation of Eynard-Mehta type, and the second uses non-standard, inhomogeneous versions of fermionic operators in a Fock space coming from the algebraic Bethe Ansatz for the six vertex model. We also interpret our determinantal processes as random domino tilings of a half-strip with inhomogeneous domino weights. In the bulk, we show that the lattice asymptotic behavior of such domino tilings is described by a new determinantal point process on $\mathbb{Z}^{2}$, which can be viewed as an doubly-inhomogeneous generalization of the extended discrete sine process. △ Less

Submitted 27 January, 2023; v1 submitted 14 September, 2021; originally announced September 2021.

Comments: 121 pages, 21 figures. v2: Added references, corrected typos. To appear in Selecta Math

Edge Statistics for Lozenge Tilings of Polygons, II: Airy Line Ensemble

Authors: Amol Aggarwal, Jiaoyang Huang

Abstract: We consider uniformly random lozenge tilings of simply connected polygons subject to a technical assumption on their limit shape. We show that the edge statistics around any point on the arctic boundary, that is not a cusp or tangency location, converge to the Airy line ensemble. Our proof proceeds by locally comparing these edge statistics with those for a random tiling of a hexagon, which are we… ▽ More We consider uniformly random lozenge tilings of simply connected polygons subject to a technical assumption on their limit shape. We show that the edge statistics around any point on the arctic boundary, that is not a cusp or tangency location, converge to the Airy line ensemble. Our proof proceeds by locally comparing these edge statistics with those for a random tiling of a hexagon, which are well understood. To realize this comparison, we require a nearly optimal concentration estimate for the tiling height function, which we establish by exhibiting a certain Markov chain on the set of all tilings that preserves such concentration estimates under its dynamics. △ Less

Submitted 9 October, 2023; v1 submitted 29 August, 2021; originally announced August 2021.

Comments: 63 pages, 13 figures; Versions 2, 3: Minor edits and added explanations