title: Lyapunov stability tests for linear time-delay systems

abstract: An overview of stability conditions in terms of the Lyapunov matrix for time-delay systems is presented. The main results and proof are presented in details for the case of systems with multiple delays. The state of the art, ongoing research and potential extensions to other classes of delay systems are discussed.


title: Provably Efficient Fictitious Play Policy Optimization for Zero-Sum Markov Games with Structured Transitions

abstract: While single-agent policy optimization in a fixed environment has attracted a lot of research attention recently in the reinforcement learning community, much less is known theoretically when there are multiple agents playing in a potentially competitive environment. We take steps forward by proposing and analyzing new fictitious play policy optimization algorithms for zero-sum Markov games with structured but unknown transitions. We consider two classes of transition structures: factored independent transition and single-controller transition. For both scenarios, we prove tight $\widetilde{\mathcal{O}}(\sqrt{K})$ regret bounds after $K$ episodes in a two-agent competitive game scenario. The regret of each agent is measured against a potentially adversarial opponent who can choose a single best policy in hindsight after observing the full policy sequence. Our algorithms feature a combination of Upper Confidence Bound (UCB)-type optimism and fictitious play under the scope of simultaneous policy optimization in a non-stationary environment. When both players adopt the proposed algorithms, their overall optimality gap is $\widetilde{\mathcal{O}}(\sqrt{K})$.


title: Internal boundaries of the loop amplituhedron

abstract: The strict definition of positive geometry implies that all maximal residues of its canonical form are $\pm 1$. We observe, however, that the loop integrand of the amplitude in planar $\mathcal{N}=4$ super Yang-Mills has maximal residues not equal to $\pm 1$. We find the reason for this is that deep in the boundary structure of the loop amplituhedron there are geometries which contain internal boundaries: codimension one defects separating two regions of opposite orientation. This phenomenon requires a generalisation of the concept of positive geometry and canonical form to include such internal boundaries and also suggests the utility of a further generalisation to `weighted positive geometries'. We re-examine the deepest cut of $\mathcal{N}=4$ amplitudes in light of this and obtain new all order residues.


title: Stability version of Dirac's theorem and its applications for generalized Tur\'an problems

abstract: In 1952, Dirac proved that every $2$-connected $n$-vertex graph with the minimum degree $k+1$ contains a cycle of length at least $\min\{n, 2(k+1)\}$. Here we obtain a stability version of this result by characterizing those graphs with minimum degree $k$ and circumference at most $2k+1$. We present applications of the above-stated result by obtaining generalized Tur\'an numbers. In particular, for all $\ell \geq 5$ we determine how many copies of a five-cycle as well as four-cycle are necessary to guarantee that the graph has circumference larger than $\ell$. In addition, we give a new proof of Luo's Theorem for cliques using our stability result.


title: ${\cal N}=1$ supersymmetry in $4D$ gravity with torsion and non-metricity

abstract: We study the inclusion of fermionic degrees of freedom and ${\cal N}=1$ supersymmetry in 4-dimensional manifolds with arbitrary torsion and non-metricity tensors deforming the connection. We inspect the closure of local diffeomorphism, Lorentz and supersymmetric transformations on the vielbein and gravitino at leading order in fermions. The closure of a pair of supersymmetric transformations acting on the vielbein restricts the form of the spin connection. The dependency of the latter on the fundamental fields is exclusively given by the vielbein, up to Lorentz and/or diffeomorphisms brackets, independently of the torsion or non-metricity deformations of the affine connection, which is not restricted by supersymmetry at this order. We have then studied the couple of the Rarita-Schwinger theory to a generic gravitational Lagrangian; the supersymmetric variation of the former restricts the form of the bosonic Lagrangian in order to accomplish invariance. Special cases where $R_{\mu \nu}{}^{ab}=0$, $Q_{\mu \nu \rho}=0$ or $T_{\mu \nu}{}^{\rho}=0$ are provided.


title: Reproducible Sorbent Materials Foundry for Carbon Capture at Scale

abstract: We envision an autonomous sorbent materials foundry (SMF) for rapidly evaluating materials for direct air capture of carbon dioxide (CO2), specifically targeting novel metal organic framework materials. Our proposed SMF is hierarchical, simultaneously addressing the most critical gaps in the inter-related space of sorbent material synthesis, processing, properties, and performance. The ability to collect these critical data streams in an agile, coordinated, and automated fashion will enable efficient end-to-end sorbent materials design through machine learning driven research framework.


title: $B\to K$ and $D\to K$ form factors from fully relativistic lattice QCD

abstract: We present the result of lattice QCD calculation of the scalar, vector and tensor form factors for the $B\to K\ell^+\ell^-$ decay, across the full physical range of momentum transfer. We use the highly improved staggered quark (HISQ) formalism for all valence quarks on eight ensembles of gluon field configurations generated by the MILC collaboration. These include four flavours of HISQ quarks in the sea, with three ensembles having the light $u/d$ quarks at physical masses. In the first fully relativistic calculation of these form factors, we use the heavy-HISQ method. This allows us to determine the form factors as a function of heavy quark mass from the $c$ to the $b$, and so we also obtain new results for the $D\to K$ tensor form factor. The advantage of the relativistic formalism is that we can match the lattice weak currents to their continuum counterparts much more accurately than in previous calculations; our scalar and vector currents are renormalised fully nonperturbatively and we use a well-matched intermediate momentum-subtraction scheme for our tensor current. Our scalar and vector $B\to K$ form factors have uncertainties of less than 4% across the entire physical $q^2$ range and the uncertainty in our tensor form factor is less than 7%. Our heavy-HISQ method allows us to map out the dependence on heavy-quark mass of the form factors and we can also see the impact of changing spectator quark mass by comparing to earlier HPQCD results for the same quark weak transition but for heavier mesons.


title: Fox-Neuwirth cells, quantum shuffle algebras, and the homology of type-B Artin groups

abstract: In this paper, we will develop a family of braid representations of Artin groups of type B from braided vector spaces, and identify the homology of these groups with these coefficients with the cohomology of a specific bimodule over a quantum shuffle algebra. As an application, we give a complete characterization of the homology of type-B Artin groups with coefficients in one-dimensional braid representations over a field of characteristic 0. We will also discuss two different approaches to this computation: the first method extends a computation of the homology of braid groups due to Ellenberg-Tran-Westerland by means of induced representation, while the second method involves constructing a cellular stratification for configuration spaces of the punctured complex plane.


title: Parallelization techniques for quantum simulation of fermionic systems

abstract: Mapping fermionic operators to qubit operators is an essential step for simulating fermionic systems on a quantum computer. We investigate how the choice of such a mapping interacts with the underlying qubit connectivity of the quantum processor to enable (or impede) parallelization of the resulting Hamiltonian-simulation algorithm. It is shown that this problem can be mapped to a path coloring problem on a graph constructed from the particular choice of encoding fermions onto qubits and the fermionic interactions onto paths. The basic version of this problem is called the weak coloring problem. Taking into account the fine-grained details of the mapping yields what is called the strong coloring problem, which leads to improved parallelization performance. A variety of illustrative analytical and numerical examples are presented to demonstrate the amount of improvement for both weak and strong coloring-based parallelizations. Our results are particularly important for implementation on near-term quantum processors where minimizing circuit depth is necessary for algorithmic feasibility.


title: Secure Service Implementation with Slice Isolation and WireGuard

abstract: Network slicing enables the provision of services for different verticals over a shared infrastructure. Nevertheless, security is still one of the main challenges when sharing resources. In this paper, we study how WireGuard can provide an encrypted Virtual Private Network (VPN) tunnel as a service between network functions in 5G setting. The open source management and orchestration entity deploys and orchestrates the network functions into network services and slices. We create multiple scenarios emulating a real-life cellular network deploying VPN-as-a-Service between the different network functions to secure and isolate network slices. The performance measurements demonstrate from 0.8 Gbps to 2.5 Gbps throughput and below 1ms delay between network functions using WireGuard. The performance evaluation results are aligned with 5G key performance indicators, making WireGuard suited to provide security in slice isolation in future generations of cellular networks.


title: Existence and multiplicity results for a class of Kirchhoff-Choquard equations with a generalized sign-changing potential

abstract: In the present work we are concerned with the following Kirchhoff-Choquard-type equation $$-M(||\nabla u||_{2}^{2})\Delta u +Q(x)u + \mu(V(|\cdot|)\ast u^2)u = f(u) \mbox{ in } \mathbb{R}^2 , $$ for $M: \mathbb{R} \rightarrow \mathbb{R}$ given by $M(t)=a+bt$, $ \mu >0 $, $ V $ a sign-changing and possible unbounded potential, $ Q $ a continuous external potential and a nonlinearity $f$ with exponential critical growth. We prove existence and multiplicity of solutions in the nondegenerate case and guarantee the existence of solutions in the degenerate case.


title: X-ray illuminated accretion discs and quasar microlensing disc sizes

abstract: We study the half-light radius versus black hole mass as well as the luminosity versus black hole mass relations in active galactic nuclei (AGN) when the disc is illuminated by the X-ray corona. We used KYNSED, a recently developed spectral model for studying broadband spectral energy distribution in AGN. We considered non-illuminated Novikov-Thorne discs and X-ray illuminated discs based on a Novikov-Thorne temperature radial profile. We also considered the case where the temperature profile is modified by a colour-correction factor. We assumed that the X-ray luminosity is equal to the accretion power that is dissipated to the disc below a transition radius. The half-light radius of X-ray illuminated radii can be up to some three to four times greater than the radius of a standard disc, even for a non-spinning black hole, due to the fact that the absorbed X-rays act as a secondary source of energy, increasing the disc temperature. Non-illuminated discs are consistent with observations, but only at the 2.5sigma level. On the other hand, X-ray illuminated discs can explain both the half-light radius-black hole mass as well as the luminosity-black hole mass relation in AGN, for a wide range of physical parameters. In addition, we show that the observed X-ray luminosity of the gravitationally lensed quasars is fully consistent with the X-ray luminosity that is necessary for heating the disc. X-ray disc illumination was proposed many years ago to explain various features that are commonly observed in the X-ray spectra of AGN. Recently, we showed that X-ray illumination of accretion disc can also explain the observed UV/optical time-lags in AGN, while in this work, we show that the same model can also account for the quasar micro-lensing disc size problem. These results support the hypothesis of the disc X-ray illumination in AGN.


title: A Long Time Ago in a Galaxy Far, Far Away: A Candidate z ~ 12 Galaxy in Early JWST CEERS Imaging

abstract: We report the discovery of a candidate galaxy with a photo-z of z~12 in the first epoch of the JWST Cosmic Evolution Early Release Science (CEERS) Survey. Following conservative selection criteria we identify a source with a robust z_phot = 11.8^+0.3_-0.2 (1-sigma uncertainty) with m_F200W=27.3, and >7-sigma detections in five filters. The source is not detected at lambda < 1.4um in deep imaging from both HST and JWST, and has faint ~3-sigma detections in JWST F150W and HST F160W, which signal a Ly-alpha break near the red edge of both filters, implying z~12. This object (Maisie's Galaxy) exhibits F115W-F200W > 1.9 mag (2-sigma lower limit) with a blue continuum slope, resulting in 99.6% of the photo-z PDF favoring z > 11. All data quality images show no artifacts at the candidate's position, and independent analyses consistently find a strong preference for z > 11. Its colors are inconsistent with Galactic stars, and it is resolved (r_h = 340 +/- 14 pc). Maisie's Galaxy has log M*/Msol ~ 8.5 and is highly star-forming (log sSFR ~ -8.2 yr^-1), with a blue rest-UV color (beta ~ -2.5) indicating little dust though not extremely low metallicity. While the presence of this source is in tension with most predictions, it agrees with empirical extrapolations assuming UV luminosity functions which smoothly decline with increasing redshift. Should followup spectroscopy validate this redshift, our Universe was already aglow with galaxies less than 400 Myr after the Big Bang.


title: Bugs as Features (Part I): Concepts and Foundations for the Compositional Data Analysis of the Microbiome-Gut-Brain Axis

abstract: There has been a growing acknowledgement of the involvement of the gut microbiome - the collection of microbes that reside in our gut - in regulating our mood and behaviour. This phenomenon is referred to as the microbiome-gut-brain axis. While our techniques to measure the presence and abundance of these microbes have been steadily improving, the analysis of microbiome data is non-trivial. Here, we present a perspective on the concepts and foundations of data analysis and interpretation of microbiome experiments with a focus on the microbiome-gut-brain axis domain. We give an overview of foundational considerations prior to commencing analysis alongside the core microbiome analysis approaches of alpha diversity, beta diversity, differential feature abundance and functional inference. We emphasize the compositional data analysis (CoDA) paradigm. Further, this perspective features an extensive and heavily annotated microbiome analysis in R in the supplementary materials, as a resource for new and experienced bioinformaticians alike.


title: Circular stripe domains and cone state vortices in disk-shaped exchange coupled magnetic heterostructures

abstract: Vertically stacked exchange coupled magnetic heterostructures of cylindrical geometry can host complex noncolinear magnetization patterns. By tuning the interlayer exchange coupling between a layer accommodating magnetic vortex state and an out-of-plane magnetized layer, one can efficiently realize new topological chiral textures such as cone state vortices and circular stripe domains. We study how the number of circular stripes can be controlled by both the interlayer exchange coupling and the sample geometrical parameters. By varying geometrical parameters, a continuous phase transition between the homogeneous state, cone state vortex, circular stripe domains, and the imprinted vortex takes place, which is analysed by full scale micromagnetic simulations. The analytical description provides an intuitive pictures of the magnetization textures in each of these phases. The possibility to realize switching between different states allows for engineering magnetic textures with possible applications in spintronic devices.


title: Black Hole Entropy from Quantum Mechanics

abstract: We provide evidence for a holographic duality between superconformal quantum mechanics on the moduli space of Yang-Mills instantons and M-theory in certain asymptotically $AdS_{7}\times S^{4}$ backgrounds with a plane-wave boundary metric. We show that the gravitational background admits a supersymmetric black hole solution whose entropy is precisely reproduced by the superconformal index of the dual quantum mechanics.


title: Machine Learning to Predict the Antimicrobial Activity of Cold Atmospheric Plasma-Activated Liquids

abstract: Plasma is defined as the fourth state of matter and non-thermal plasma can be produced at atmospheric pressure under a high electrical field. The strong and broad-spectrum antimicrobial effect of plasma-activated liquids (PALs) is now well known. The proven applicability of machine learning (ML) in the medical field is encouraging for its application in the field of plasma medicine as well. Thus, ML applications on PALs could present a new perspective to better understand the influences of various parameters on their antimicrobial effects. In this paper, comparative supervised ML models are presented by using previously obtained data to qualitatively predict the in vitro antimicrobial activity of PALs. A literature search was performed and data is collected from 33 relevant articles. After the required preprocessing steps, two supervised ML methods, namely classification, and regression are applied to data to obtain microbial inactivation (MI) predictions. For classification, MI is labeled in four categories and for regression, MI is used as a continuous variable. Two different robust cross-validation strategies are conducted for classification and regression models to evaluate the proposed method; repeated stratified k-fold cross-validation and k-fold cross-validation, respectively. We also investigate the effect of different features on models. The results demonstrated that the hyperparameter-optimized Random Forest Classifier (oRFC) and Random Forest Regressor (oRFR) provided better results than other models for the classification and regression, respectively. Finally, the best test accuracy of 82.68% for oRFC and R2 of 0.75 for the oRFR are obtained. ML techniques could contribute to a better understanding of plasma parameters that have a dominant role in the desired antimicrobial effect. Furthermore, such findings may contribute to the definition of a plasma dose in the future.


title: Causal predictive inference and target trial emulation

abstract: Causal inference from observational data can be viewed as a missing data problem arising from a hypothetical population-scale randomized trial matched to the observational study. This links a target trial protocol with a corresponding generative predictive model for inference, providing a complete framework for transparent communication of causal assumptions and statistical uncertainty on treatment effects, without the need for counterfactuals. The intuitive foundation for the work is that a whole population randomized trial would provide answers to any observable causal question with certainty. Thus, our fundamental problem of causal inference is the missingness of the hypothetical target trial data, which we solve through repeated imputation from a generative predictive model conditioned on the observational data. Causal assumptions map to intuitive conditions on the transportability of predictive models across populations and conditions. We demonstrate our approach on a real data application to studying the effects of maternal smoking on birthweights using extensions of Bayesian additive regression trees and inverse probability weighting.


title: Exponential Consistency of M-estimators in Generalized Linear Mixed Models

abstract: Generalized linear mixed models are powerful tools for analyzing clustered data, where the unknown parameters are classically (and most commonly) estimated by the maximum likelihood and restricted maximum likelihood procedures. However, since the likelihood based procedures are known to be highly sensitive to outliers, M-estimators have become popular as a means to obtain robust estimates under possible data contamination. In this paper, we prove that, for sufficiently smooth general loss functions defining the M-estimators in generalized linear mixed models, the tail probability of the deviation between the estimated and the true regression coefficients have an exponential bound. This implies an exponential rate of consistency of these M-estimators under appropriate assumptions, generalizing the existing exponential consistency results from univariate to multivariate responses. We have illustrated this theoretical result further for the special examples of the maximum likelihood estimator and the robust minimum density power divergence estimator, a popular example of model-based M-estimators, in the settings of linear and logistic mixed models, comparing it with the empirical rate of convergence through simulation studies.


title: Fock representation of free convolution powers

abstract: Let $B$ be a star-algebra with a state $\phi$, and $t > 0$. Through a Fock space construction, we define two states $\Phi_t$ and $\Psi_t$ on the tensor algebra $T(B, \phi)$ such that under the natural map $(B, \phi) \rightarrow (T(B, \phi), \Phi_t, \Psi_t)$, free independence of arguments leads to free independence, while Boolean independence of centered arguments leads to conditionally free independence. The construction gives a new operator realization of the $(1+t)$'th free convolution power of any joint (star) distribution. We also compute several von Neumann algebras which arise.


title: AGAPECert: An Auditable, Generalized, Automated, Privacy-Enabling Certification Framework with Oblivious Smart Contracts

abstract: This paper introduces AGAPECert, an Auditable, Generalized, Automated, Privacy-Enabling, Certification framework capable of performing auditable computation on private data and reporting real-time aggregate certification status without disclosing underlying private data. AGAPECert utilizes a novel mix of trusted execution environments, blockchain technologies, and a real-time graph-based API standard to provide automated, oblivious, and auditable certification. Our technique allows a privacy-conscious data owner to run pre-approved Oblivious Smart Contract code in their own environment on their own private data to produce Private Automated Certifications. These certifications are verifiable, purely functional transformations of the available data, enabling a third party to trust that the private data must have the necessary properties to produce the resulting certification. Recently, a multitude of solutions for certification and traceability in supply chains have been proposed. These often suffer from significant privacy issues because they tend to take a" shared, replicated database" approach: every node in the network has access to a copy of all relevant data and contract code to guarantee the integrity and reach consensus, even in the presence of malicious nodes. In these contexts of certifications that require global coordination, AGAPECert can include a blockchain to guarantee ordering of events, while keeping a core privacy model where private data is not shared outside of the data owner's own platform. AGAPECert contributes an open-source certification framework that can be adopted in any regulated environment to keep sensitive data private while enabling a trusted automated workflow.


title: A cone conjecture for log Calabi-Yau surfaces

abstract: We consider log Calabi-Yau surfaces $(Y, D)$ with singular boundary. In each deformation type, there is a distinguished surface $(Y_e,D_e)$ such that the mixed Hodge structure on $H_2(Y \setminus D)$ is split. We prove that (1) the action of the automorphism group of $(Y_e,D_e)$ on its nef effective cone admits a rational polyhedral fundamental domain; and (2) the action of the monodromy group on the nef effective cone of a very general surface in the deformation type admits a rational polyhedral fundamental domain. These statements can be viewed as versions of the Morrison cone conjecture for log Calabi--Yau surfaces. In addition, if the number of components of $D$ is $\le 6$, we show that the nef cone of $Y_e$ is rational polyhedral and describe it explicitly. This provides infinite series of new examples of Mori Dream Spaces.


title: Core Shrinkage Covariance Estimation for Matrix-variate Data

abstract: A separable covariance model for a random matrix provides a parsimonious description of the covariances among the rows and among the columns of the matrix, and permits likelihood-based inference with a very small sample size. However, in many applications the assumption of exact separability is unlikely to be met, and data analysis with a separable model may overlook or misrepresent important dependence patterns in the data. In this article, we propose a compromise between separable and unstructured covariance estimation. We show how the set of covariance matrices may be uniquely parametrized in terms of the set of separable covariance matrices and a complementary set of "core" covariance matrices, where the core of a separable covariance matrix is the identity matrix. This parametrization defines a Kronecker-core decomposition of a covariance matrix. By shrinking the core of the sample covariance matrix with an empirical Bayes procedure, we obtain an estimator that can adapt to the degree of separability of the population covariance matrix.


title: 3D Shape Sequence of Human Comparison and Classification using Current and Varifolds

abstract: In this paper we address the task of the comparison and the classification of 3D shape sequences of human. The non-linear dynamics of the human motion and the changing of the surface parametrization over the time make this task very challenging. To tackle this issue, we propose to embed the 3D shape sequences in an infinite dimensional space, the space of varifolds, endowed with an inner product that comes from a given positive definite kernel. More specifically, our approach involves two steps: 1) the surfaces are represented as varifolds, this representation induces metrics equivariant to rigid motions and invariant to parametrization; 2) the sequences of 3D shapes are represented by Gram matrices derived from their infinite dimensional Hankel matrices. The problem of comparison of two 3D sequences of human is formulated as a comparison of two Gram-Hankel matrices. Extensive experiments on CVSSP3D and Dyna datasets show that our method is competitive with state-of-the-art in 3D human sequence motion retrieval. Code for the experiments is available at https://github.com/CRISTAL-3DSAM/HumanComparisonVarifolds.


title: Optimality and sustainability of hybrid limit cycles in the pollution control problem with regime shifts

abstract: In this paper, we consider the problem of pollution control in a system that undergoes regular regime shifts. We first show that the optimal policy of pollution abatement is periodic as well, and is described by the unique hybrid limit cycle. We next introduce the notion of an environmentally sustainable solution, and demonstrate that such a policy is the only one that yields the best possible trade-off between steadily achieving profit and ensuring environmental preservation. In contrast to that, the policy that is not environmentally sustainable eventually enters stagnation. To further illustrate our findings, we compare the optimal periodic solution with a myopic one. Interestingly enough, the myopic solution yields higher overall payoff in the short-run, but completely fails in the long-run, while the environmentally sustainable policy yields maximal payoff and preserves the environment over the infinite time interval.


title: $3$-Selmer group, ideal class groups and cube sum problem

abstract: Given an elliptic curve $E$ over a number field $F$ and an isogeny $\varphi$ of $E$ defined over $F$, the study of the $\varphi$-Selmer group has a rich history going back to the works of Cassels and the recent works of Bhargava et al. and Chao Li. Let $E/\mathbb Q$ be an elliptic curve with a rational $3$-isogeny. In this article, we give an upper bound and a lower bound of the rank of the Selmer group of $E$ over $\mathbb Q(\zeta_3)$ induced by the $3$-isogeny in terms of the $3$-part of the ideal class group of certain quadratic extension of $\mathbb Q(\zeta_3)$. Using our bounds on the Selmer groups, we prove some cases of Sylvester's conjecture on the rational cube sum problem and also exhibit infinitely many elliptic curves of arbitrary large $3$-Selmer rank over $\mathbb Q(\zeta_3)$. Our method also produces infinitely many imaginary quadratic fields and biquadratic fields with non-trivial $3$-class groups.


title: Photoionization of chlorine, sulfur, phosphorus and a hypothesis to quench metastable states

abstract: The objective of our proposal is to study the photoionization of Chlorine, Sulfur, and Phosphorus ions using the unique high resolution capability of 10.0.1 beamline in the ALS. These species are relevant in astrophysics and as a benchmark for state of the art theoretical models of the quantum properties of ions. We also propose to test a technique to quench the metastable states from the ion-beam based on recent experimental evidence and on a well known technique in chemistry. The work of this proposal may lay the foundations for a definite solution to control the metastable component of the initial ion-beam.


title: Gacs-Kucera Theorem

abstract: Gacs-Kucera Theorem, tightened by Barmpalias and Lewis-Pye, w.t.t.-reduces each infinite sequence to a Kolmogorov--Martin-Lof random one and is broadly used in various Math and CS areas. Its early proofs are somewhat cumbersome, but using some general concepts yields significant simplification illustrated here.


title: Clusters and semistable models of hyperelliptic curves in the wild case

abstract: Given a Galois cover $Y \to X$ of smooth projective geometrically connected curves over a complete discrete valuation field $K$ with algebraically closed residue field, we define a semistable model of $Y$ over the ring of integers of a finite extension of $K$, which we call the relatively stable model $\mathcal{Y}^{\mathrm{rst}}$ of $Y$, and we discuss its properties. We focus on the case when $Y : y^2 = f(x)$ is a hyperelliptic curve, viewed as a degree-$2$ cover of the projective line $X := \mathbb{P}_K^1$, and demonstrate a practical way to compute the relatively stable model. In the case of residue characteristic $p \neq 2$, the components of the special fiber $(\mathcal{Y}^{\mathrm{rst}})_s$ correspond precisely to the non-singleton clusters of roots of the defining polynomial $f$, i.e. the subsets of roots of $f$ which are closer to each other than to the other roots of $f$ with respect to the induced discrete valuation on the splitting field; this relationship, however, is far less straightforward in the $p=2$ case, which is our main focus (the techniques we introduce nevertheless also allow us to recover the simpler, already-known results in the $p\neq 2$ case). We show that, when $p = 2$, for each cluster containing an even number of roots of $f$, there are $0$, $1$, or $2$ components of $(\mathcal{Y}^{\mathrm{rst}})_s$ corresponding to it, and we determine a direct method of finding and describing them. We also define a polynomial $F(T) \in K[T]$ whose roots allow us to find the components of $(\mathcal{Y}^{\mathrm{rst}})_s$ which are not connected to even-cardinality clusters.


title: A Gradual Decline of Star Formation since Cluster In-fall: New Kinematic Insights into Environmental Quenching at 0.3 $< z <$ 1.1

abstract: The environments where galaxies reside crucially shape their star formation histories. We investigate a large sample of 1626 cluster galaxies located within 105 galaxy clusters spanning a large range in redshift ($0.26 < z < 1.13)$. The galaxy clusters are massive (M$_{500} \gtrsim 2\times10^{14}$M$_{\odot}$), and are uniformly selected from the SPT and ACT Sunyaev-Zel'dovich (SZ) surveys. With spectra in-hand for thousands of cluster members, we use galaxies' position in projected phase space as a proxy for their in-fall times, which provides a more robust measurement of environment than quantities such as projected cluster-centric radius. We find clear evidence for a gradual age increase of the galaxy's mean stellar populations ($\sim$ 0.71 $\pm$ 0.4 Gyr based on a 4000 $\r{A}$ break, $\rm D_{\rm n}4000$) with the time spent in the cluster environment. This environmental quenching effect is found regardless of galaxy luminosity (faint or bright) and redshift (low-$z$ or high-$z$), although the exact stellar age of galaxies depends on both parameters at fixed environmental effects. Such a systematic increase of $\rm D_{\rm n}4000$ with in-fall proxy would suggest that galaxies that were accreted into hosts earlier were quenched earlier, due to longer exposure to environmental effects such as ram pressure stripping and starvation. Compared to the typical dynamical time scales of $1-3$ Gyr of cluster galaxies, the relatively small age increase ($\sim$ 0.71 $\pm$ 0.4 Gyr) found in our sample galaxies seems to suggest that a slow environmental process such as starvation is the dominant quenching pathway. Our results provide new insights into environmental quenching effects spanning a large range in cosmic time ($\sim 5.2$ Gyr, $z=0.26$--1.13) and demonstrate the power of using a kinematically-derived in-fall time proxy.


title: Natural Disasters, Entrepreneurship Activity, and the Moderating Role of Country Governance

abstract: The purpose of this paper is to investigate if a country quality of governance moderates the effect of natural disasters on startup activity within that country. We test our hypotheses using a panel of 95 countries from 2006 to 2016. Our findings suggest that natural disasters discourage startup activity in countries that have low quality governance but encourage startup activity in countries that have high quality governance. Moreover, our estimates reveal that natural disasters effects on startup activity persist for the short term (1-3 years) but not the long term. Our findings provide new insights into how natural disasters affect entrepreneurship activity and highlight the importance of country governance during these events.


title: Probabilistic Galois Theory -- The Square Discriminant Case

abstract: The paper studies the probability for a Galois group of a random polynomial to be $A_n$. We focus on the so-called large box model, where we choose the coefficients of the polynomial independently and uniformly from $\{-L,\ldots, L\}$. The state-of-the-art upper bound is $O(L^{-1})$, due to Bhargava. We conjecture a much stronger upper bound $L^{-n/2 +\epsilon}$, and that this bound is essentially sharp. We prove strong lower bounds both on this probability and on the related probability of the discriminant being a square.


title: Extending the Range of Robust PCE Inflation Measures

abstract: We evaluate the forecasting performance of a wide set of robust inflation measures between 1960 and 2022, including official median and trimmed-mean personal-consumption-expenditure inflation. When trimming out different expenditure categories with the highest and lowest inflation rates, we find that the optimal trim points vary widely across time and also depend on the choice of target; optimal trims are higher when targeting future trend inflation or for a 1970s-1980s subsample. Surprisingly, there are no grounds to select a single series on the basis of forecasting performance. A wide range of trims-including those of the official robust measures-have an average prediction error that makes them statistically indistinguishable from the best-performing trim. Despite indistinguishable average errors, these trims imply different predictions for trend inflation in any given month, within a range of 0.5 to 1 percentage points, suggesting the use of a set of near-optimal trims.


title: Stress-induced omega phase transition in Nb thin films for superconducting qubits

abstract: We report the observation of omega phase formation in Nb thin films deposited by high-power impulse magnetron sputtering (HiPIMS) for superconducting qubits using transmission electron microscopy (TEM). We hypothesize that this phase transformation to the omega phase with hexagonal structure from bcc phase as well as the formation of {111}<112> mechanical twins is induced by internal stress in the Nb thin films. In terms of lateral dimensions, the size of the omega phase of Nb range from 10 to 100 nm, which is comparable to the coherence length of Nb (~40 nm). In terms of overall volume fraction, ~1 vol.% of the Nb grains exhibit this omega phase. We also find that the omega phase in Nb is not observed in large grain Nb samples, suggesting that the phase transition can be suppressed through reducing the grain boundary density, which may serve as a source of strain and dislocations in this system. The current finding may indicate that the Nb thin film is prone to the omega phase transition due to the internal stress in the Nb thin film. We conclude by discussing effects of the omega phase on the superconducting properties of Nb thin films and discussing pathways to mitigate their formation.


title: NeuriCam: Key-Frame Video Super-Resolution and Colorization for IoT Cameras

abstract: We present NeuriCam, a novel deep learning-based system to achieve video capture from low-power dual-mode IoT camera systems. Our idea is to design a dual-mode camera system where the first mode is low-power (1.1 mW) but only outputs grey-scale, low resolution, and noisy video and the second mode consumes much higher power (100 mW) but outputs color and higher resolution images. To reduce total energy consumption, we heavily duty cycle the high power mode to output an image only once every second. The data for this camera system is then wirelessly sent to a nearby plugged-in gateway, where we run our real-time neural network decoder to reconstruct a higher-resolution color video. To achieve this, we introduce an attention feature filter mechanism that assigns different weights to different features, based on the correlation between the feature map and the contents of the input frame at each spatial location. We design a wireless hardware prototype using off-the-shelf cameras and address practical issues including packet loss and perspective mismatch. Our evaluations show that our dual-camera approach reduces energy consumption by 7x compared to existing systems. Further, our model achieves an average greyscale PSNR gain of 3.7 dB over prior single and dual-camera video super-resolution methods and 5.6 dB RGB gain over prior color propagation methods. Open-source code: https://github.com/vb000/NeuriCam.


title: Estimating and Controlling for Equalized Odds via Sensitive Attribute Predictors

abstract: As the use of machine learning models in real world high-stakes decision settings continues to grow, it is highly important that we are able to audit and control for any potential fairness violations these models may exhibit towards certain groups. To do so, one naturally requires access to sensitive attributes, such as demographics, gender, or other potentially sensitive features that determine group membership. Unfortunately, in many settings, this information is often unavailable. In this work we study the well known \emph{equalized odds} (EOD) definition of fairness. In a setting without sensitive attributes, we first provide tight and computable upper bounds for the EOD violation of a predictor. These bounds precisely reflect the worst possible EOD violation. Second, we demonstrate how one can provably control the worst-case EOD by a new post-processing correction method. Our results characterize when directly controlling for EOD with respect to the predicted sensitive attributes is -- and when is not -- optimal when it comes to controlling worst-case EOD. Our results hold under assumptions that are milder than previous works, and we illustrate these results with experiments on synthetic and real datasets.


title: Null transit detections of 68 radial velocity exoplanets observed by TESS

abstract: In recent years the number of exoplanets has grown considerably. The most successful techniques in these detections are the radial velocity (RV) and planetary transits techniques, the latter significantly advanced by the Kepler, K2 and, more recently, the TESS missions. The detection of exoplanets both by means of transit and by RVs is of importance, because this would allows characterizing their bulk densities, and internal compositions. The Transiting Exoplanet Survey Satellite (TESS) survey offers a unique possibility to search for transits of extrasolar planets detected by RV. In this work, we present the results of the search for transits of planets detected with the radial velocity technique, using the photometry of the TESS space mission. We focus on systems with super-Earths and Neptunes planets on orbits with periods shorter than 30 days. This cut is intended to keep objects with a relatively high transit probability, and is also consistent with duration of TESS observations on a single sector. Given the summed geometric transit probabilities, the expected number of transiting planets is $3.4 \pm 1.8$. The sample contains two known transiting planets. We report null results for the remaining 66 out of 68 planets studied, and we exclude in all cases planets larger than 2.4 R$_{\oplus}$, under the assumption of central transits. The remaining two planets orbit HD~136352 and have been recently been announced.


title: Interference and Need Aware Workload Colocation in Hyperscale Datacenters

abstract: Datacenters suffer from resource utilization inefficiencies due to the conflicting goals of service owners and platform providers. Service owners intending to maintain Service Level Objectives (SLO) for themselves typically request a conservative amount of resources. Platform providers want to increase operational efficiency to reduce capital and operating costs. Achieving both operational efficiency and SLO for individual services at the same time is challenging due to the diversity in service workload characteristics, resource usage patterns that are dependent on input load, heterogeneity in platform, memory, I/O, and network architecture, and resource bundling. This paper presents a tunable approach to resource allocation that accounts for both dynamic service resource needs and platform heterogeneity. In addition, an online K-Means-based service classification method is used in conjunction with an offline sensitivity component. Our tunable approach allows trading resource utilization efficiency for absolute SLO guarantees based on the service owners' sensitivity to its SLO. We evaluate our tunable resource allocator at scale in a private cloud environment with mostly latency-critical workloads. When tuning for operational efficiency, we demonstrate up to ~50% reduction in required machines; ~40% reduction in Total-Cost-of-Ownership (TCO); and ~60% reduction in CPU and memory fragmentation, but at the cost of increasing the number of tasks experiencing degradation of SLO by up to ~25% compared to the baseline. When tuning for SLO, by introducing interference-aware colocation, we can tune the solver to reduce tasks experiencing degradation of SLO by up to ~22% compared to the baseline, but at an additional cost of ~30% in terms of the number of hosts. We highlight this trade-off between TCO and SLO violations, and offer tuning based on the requirements of the platform owners.


title: The Hurewicz theorem for cubical homology

abstract: We give an elementary proof of the Hurewicz theorem relating homotopy and homology groups of a cubical Kan complex. Our approach is based on the notion of a loop space of a cubical set, developed in a companion paper ``Homotopy groups of cubical sets'' by the first two authors.


title: Pinned Distance Sets Using Effective Dimension

abstract: In this paper, we use algorithmic tools, effective dimension and Kolmogorov complexity, to study the fractal dimension of distance sets. We show that, for any analytic set $E\subseteq\R^2$ of Hausdorff dimension strictly greater than one, the \textit{pinned distance set} of $E$, $\Delta_x E$, has Hausdorff dimension of at least $\frac{3}{4}$, for all points $x$ outside a set of Hausdorff dimension at most one. This improves the best known bounds when the dimension of $E$ is close to one.


title: Infrared spectra of complex organic molecules in astronomically relevant ice mixtures. V. Methyl cyanide (acetonitrile)

abstract: The increasing sensitivity and resolution of ground-based telescopes have enabled the detection of gas-phase complex organic molecules (COMs) across a variety of environments. Many of the detected species are expected to form on the icy surface of interstellar grains and transfer later into the gas phase. Therefore, icy material is regarded as a primordial source of COMs in the ISM. Upcoming JWST observations of interstellar ices in star-forming regions will reveal IR features of frozen molecules with unprecedented resolution and sensitivity. To identify COM features in the JWST data, lab IR spectra of ices for conditions that simulate interstellar environments are needed. This work presents FTIR spectra (500-4000 cm$^{-1}$/20-2.5$\mu$m, with a resolution of 1 cm$^{-1}$) of methyl cyanide (CH$_3$CN, aka acetonitrile) mixed with H$_2$O, CO, CO$_2$, CH$_4$, and NH$_3$, at temperatures from 15-150 K. The refractive index of pure amorphous CH$_3$CN ice at 15K and the band strength, peak position, and FWHM of selected IR bands are also measured. These bands are: the CH$_3$ sym stretching at 2940.9 cm$^{-1}$, the CN stretching at 2252.2 cm$^{-1}$, a combination of modes at 1448.3 cm$^{-1}$ , the CH$_3$ antisym def. at 1410 cm$^{-1}$ , the CH$_3$ sym def. at 1374.5 cm$^{-1}$, and the CH$_3$ rock at 1041.6 cm$^{-1}$. The lab spectra of CH$_3$CN are compared to observations of ices toward W33A and three low-mass YSOs. Since an unambiguous identification of CH$_3$CN is not possible, upper limits for the CH$_3$CN column density are determined as $\leq 2.4\times 10^{17}$ molecules cm$^{-2}$ for W33A and $5.2 \times 10^{16}$, $1.9\times 10^{17}$, and $3.8\times 10^{16}$ molecules cm$^{-2}$ for EC92, IRAS 03235, and L1455 IRS3, respectively. W.r.t solid H$_2$O, these values correspond to relative abundances of 1.9, 3.1, 1.3, and 4.1\%, for W33A, EC92, IRAS 03235, and L1455 IRS3, respectively.


title: Benchmark time series data sets for PyTorch -- the torchtime package

abstract: The development of models for Electronic Health Record data is an area of active research featuring a small number of public benchmark data sets. Researchers typically write custom data processing code but this hinders reproducibility and can introduce errors. The Python package torchtime provides reproducible implementations of commonly used PhysioNet and UEA & UCR time series classification repository data sets for PyTorch. Features are provided for working with irregularly sampled and partially observed time series of unequal length. It aims to simplify access to PhysioNet data and enable fair comparisons of models in this exciting area of research.


title: Unsupervised Speaker Diarization that is Agnostic to Language, Overlap-Aware, and Tuning Free

abstract: Podcasts are conversational in nature and speaker changes are frequent -- requiring speaker diarization for content understanding. We propose an unsupervised technique for speaker diarization without relying on language-specific components. The algorithm is overlap-aware and does not require information about the number of speakers. Our approach shows 79% improvement on purity scores (34% on F-score) against the Google Cloud Platform solution on podcast data.


title: On the benefits of non-linear weight updates

abstract: Recent work has suggested that the generalisation performance of a DNN is related to the extent to which the Signal-to-Noise Ratio is optimised at each of the nodes. In contrast, Gradient Descent methods do not always lead to SNR-optimal weight configurations. One way to improve SNR performance is to suppress large weight updates and amplify small weight updates. Such balancing is already implicit in some common optimizers, but we propose an approach that makes this explicit. The method applies a non-linear function to gradients prior to making DNN parameter updates. We investigate the performance with such non-linear approaches. The result is an adaptation to existing optimizers that improves performance for many problem types.


title: Optimal Prior Pooling from Expert Opinions

abstract: The pooling of prior opinions is an important area of research and has been for a number of decades. The idea is to obtain a single belief probability distribution from a set of expert opinion belief distributions. The paper proposes a new way to provide a resultant prior opinion based on a minimization of information principle. This is done in the square-root density space, which is identified with the positive orthant of Hilbert unit sphere of differentiable functions. It can be shown that the optimal prior is easily identified as an extrinsic mean in the sphere. For distributions belonging to the exponential family, the necessary calculations are exact, and so can be directly applied. The idea can also be adopted for any neighbourhood of a chosen base prior and spanned by a finite set of ``contaminating" directions.


title: Nested Active-Time Scheduling

abstract: The active-time scheduling problem considers the problem of scheduling preemptible jobs with windows (release times and deadlines) on a parallel machine that can schedule up to $g$ jobs during each timestep. The goal in the active-time problem is to minimize the number of active steps, i.e., timesteps in which at least one job is scheduled. In this way, the active time models parallel scheduling when there is a fixed cost for turning the machine on at each discrete step. This paper presents a 9/5-approximation algorithm for a special case of the active-time scheduling problem in which job windows are laminar (nested). This result improves on the previous best 2-approximation for the general case.


title: Data center energy efficiency enhancement using a two-phase heat sink with ultra-high heat transfer coefficient

abstract: This paper presents the latest progress on characterization of our membrane assisted phase-change heat sink (MHS) at conditions suitable for implementation in data centers (DCs). Experiments are conducted using water as the working fluid at a vapor space pressure ($P_{vapor}$) of 16 kPa, corresponding to a saturation temperature of $\sim$ 55$^{\circ}$C. This temperature is sufficiently lower than the silicon junction temperature of ~80$^{\circ}$C. As anticipated, the overall performance of MHS at sub-atmospheric pressure is lower compared to analogous tests at atmospheric pressure. In agreement with previous studies on MHS, the critical heat flux limit (CHF) increases with enhancement of the heat transfer area ratio ($A_r$) and liquid space pressure ($P_{pool}$). We report a maximum CHF of 670 W/cm$^2$ on a surface with an enhanced area ratio of 3.45, multiple times greater than the CHF reported hitherto by a comparable two-phase heat sink in literature. Heat transfer coefficients (HTC) as high as $\sim$ 1 MW/m$^2$-K are obtained. These record performance data along with unique characteristics of the MHS promise to greatly benefit next generation highly energy efficient DCs.


title: Optimizing Empty Container Repositioning and Fleet Deployment via Configurable Semi-POMDPs

abstract: With the continuous growth of the global economy and markets, resource imbalance has risen to be one of the central issues in real logistic scenarios. In marine transportation, this trade imbalance leads to Empty Container Repositioning (ECR) problems. Once the freight has been delivered from an exporting country to an importing one, the laden will turn into empty containers that need to be repositioned to satisfy new goods requests in exporting countries. In such problems, the performance that any cooperative repositioning policy can achieve strictly depends on the routes that vessels will follow (i.e., fleet deployment). Historically, Operation Research (OR) approaches were proposed to jointly optimize the repositioning policy along with the fleet of vessels. However, the stochasticity of future supply and demand of containers, together with black-box and non-linear constraints that are present within the environment, make these approaches unsuitable for these scenarios. In this paper, we introduce a novel framework, Configurable Semi-POMDPs, to model this type of problems. Furthermore, we provide a two-stage learning algorithm, "Configure & Conquer" (CC), that first configures the environment by finding an approximation of the optimal fleet deployment strategy, and then "conquers" it by learning an ECR policy in this tuned environmental setting. We validate our approach in large and real-world instances of the problem. Our experiments highlight that CC avoids the pitfalls of OR methods and that it is successful at optimizing both the ECR policy and the fleet of vessels, leading to superior performance in world trade environments.


title: Rapid Prediction of Phonon Structure and Properties using an Atomistic Line Graph Neural Network (ALIGNN)

abstract: The phonon density-of-states (DOS) summarizes the lattice vibrational modes supported by a structure, and gives access to rich information about the material's stability, thermodynamic constants, and thermal transport coefficients. Here, we present an atomistic line graph neural network (ALIGNN) model for the prediction of the phonon density of states and the derived thermal and thermodynamic properties. The model is trained on a database of over 14,000 phonon spectra included in the JARVIS-DFT (Joint Automated Repository for Various Integrated Simulations: Density Functional Theory) database. The model predictions are shown to capture the spectral features of the phonon density-of-states, effectively categorize dynamical stability, and lead to accurate predictions of DOS-derived thermal and thermodynamic properties, including heat capacity $C_{\mathrm{V}}$, vibrational entropy $S_{\mathrm{vib}}$, and the isotopic phonon scattering rate $\tau^{-1}_{\mathrm{i}}$. The DOS-mediated ALIGNN model provides superior predictions when compared to a direct deep-learning prediction of these material properties as well as predictions based on analytic simplifications of the phonon DOS, including the Debye or Born-von Karman models. Finally, the ALIGNN model is used to predict the phonon spectra and properties for about 40,000 additional materials listed in the JARVIS-DFT database, which are validated as far as possible against other open-sourced high-throughput DFT phonon databases.


title: Reconstructing Cosmological Initial Conditions from Late-Time Structure with Convolutional Neural Networks

abstract: We present a method to reconstruct the initial linear-regime matter density field from the late-time non-linearly evolved density field in which we channel the output of standard first-order reconstruction to a convolutional neural network (CNN). Our method shows dramatic improvement over the reconstruction of either component alone. We show why CNNs are not well-suited for reconstructing the initial density directly from the late-time density: CNNs are local models, but the relationship between initial and late-time density is not local. Our method leverages standard reconstruction as a preprocessing step, which inverts bulk gravitational flows sourced over very large scales, transforming the residual reconstruction problem from long-range to local and making it ideally suited for a CNN. We develop additional techniques to account for redshift distortions, which warp the density fields measured by galaxy surveys. Our method improves the range of scales of high-fidelity reconstruction by a factor of 2 in wavenumber above standard reconstruction, corresponding to a factor of 8 increase in the number of well-reconstructed modes. In addition, our method almost completely eliminates the anisotropy caused by redshift distortions. As galaxy surveys continue to map the Universe in increasingly greater detail, our results demonstrate the opportunity offered by CNNs to untangle the non-linear clustering at intermediate scales more accurately than ever before.


title: Stellar evolution models with overshooting based on 3-equation non-local theories, II. Main-sequence models of A- and B-type stars

abstract: Convective overshoot mixing is a critical ingredient of stellar structure models, but is treated in most cases by ad hoc extensions of the mixing-length theory for convection. Advanced theories which are both more physical and numerically treatable are needed. Convective flows in stellar interiors are highly turbulent. This poses a number of numerical challenges for the modelling of convection in stellar interiors. We include an effective turbulence model into a 1D stellar evolution code in order to treat non-local effects within the same theory. We use a turbulent convection model which relies on the solution of second order moment equations. We implement this into a state of the art 1D stellar evolution code. To overcome a deficit in the original form of the model, we take the dissipation due to buoyancy waves in the overshooting zone into account. We compute stellar models of intermediate mass main-sequence stars between 1.5 and 8 $M_\odot$. Overshoot mixing from the convective core and modified temperature gradients within and above it emerge naturally as a solution of the turbulent convection model equations. For a given set of model parameters the overshooting extent determined from the turbulent convection model is comparable to other overshooting descriptions, the free parameters of which had been adjusted to match observations. The relative size of the mixed cores decreases with decreasing stellar mass without additional adjustments. We find that the dissipation by buoyancy waves constitutes a necessary and relevant extension of the turbulent convection model in use.


title: Jet-medium photons as a probe of parton dynamics

abstract: Photons resulting from jet-medium interactions offer the opportunity of studying the evolving quark distribution in a heavy ion collision. The spectra of jet-medium photons is presented within the JETSCAPE framework for two different energy loss models, MARTINI and CUJET. Jet-medium photons can contribute significantly to the spectrum of direct photons in the intermediate $p_T$ range.


title: Testing of Index-Invariant Properties in the Huge Object Model

abstract: The study of distribution testing has become ubiquitous in the area of property testing, both for its theoretical appeal, as well as for its applications in other fields of Computer Science. The original distribution testing model relies on samples drawn independently from the distribution to be tested. However, when testing distributions over the $n$-dimensional Hamming cube $\left\{0,1\right\}^{n}$ for a large $n$, even reading a few samples is infeasible. To address this, Goldreich and Ron [ITCS 2022] have defined a model called the huge object model, in which the samples may only be queried in a few places. In this work, we initiate a study of a general class of properties in the huge object model, those that are invariant under a permutation of the indices of the vectors in $\left\{0,1\right\}^{n}$, while still not being necessarily fully symmetric as per the definition used in traditional distribution testing. We prove that every index-invariant property satisfying a bounded VC-dimension restriction admits a property tester with a number of queries independent of n. To complement this result, we argue that satisfying only index-invariance or only a VC-dimension bound is insufficient to guarantee a tester whose query complexity is independent of n. Moreover, we prove that the dependency of sample and query complexities of our tester on the VC-dimension is tight. As a second part of this work, we address the question of the number of queries required for non-adaptive testing. We show that it can be at most quadratic in the number of queries required for an adaptive tester of index-invariant properties. This is in contrast with the tight exponential gap for general non-index-invariant properties. Finally, we provide an index-invariant property for which the quadratic gap between adaptive and non-adaptive query complexities for testing is almost tight.


title: A Survey on Trustworthy Recommender Systems

abstract: Recommender systems (RS), serving at the forefront of Human-centered AI, are widely deployed in almost every corner of the web and facilitate the human decision-making process. However, despite their enormous capabilities and potential, RS may also lead to undesired effects on users, items, producers, platforms, or even the society at large, such as compromised user trust due to non-transparency, unfair treatment of different consumers, or producers, privacy concerns due to extensive use of user's private data for personalization, just to name a few. All of these create an urgent need for Trustworthy Recommender Systems (TRS) so as to mitigate or avoid such adverse impacts and risks. In this survey, we will introduce techniques related to trustworthy recommendation, including but not limited to explainable recommendation, fairness in recommendation, privacy-aware recommendation, robustness in recommendation, user-controllable recommendation, as well as the relationship between these different perspectives in terms of trustworthy recommendation. Through this survey, we hope to deliver readers with a comprehensive view of the research area and raise attention to the community about the importance, existing research achievements, and future research directions on trustworthy recommendation.


title: Local and Non-local Microwave Impedance of a Three-Terminal Hybrid Device

abstract: We report microwave impedance measurements of a superconductor-semiconductor hybrid nanowire device with three terminals (3T). Our technique makes use of transmission line resonators to acquire the nine complex scattering matrix parameters (S-parameters) of the device on fast timescales and across a spectrum of frequencies spanning 0.3 - 7 GHz. Via comparison with dc-transport measurements, we examine the utility of this technique for probing the local and non-local response of 3T devices where capacitive and inductive contributions can play a role. Such measurements require careful interpretation but may be of use in discerning true Majorana zero modes from trivial states arising from disorder.


title: Scenario-based Stochastic MPC for systems with uncertain dynamics

abstract: Model Predictive Control is an extremely effective control method for systems with input and state constraints. Model Predictive Control performance heavily depends on the accuracy of the open-loop prediction. For systems with uncertainty this in turn depends on the information that is available about the properties of the model and disturbance uncertainties. Here we are interested in situations where such information is only available through realizations of the system trajectories. We propose a general scenario-based optimization framework for stochastic control of a linear system affected by additive disturbance, when the dynamics are only approximately known. The main contribution is in the derivation of an upper bound on the number of scenarios required to provide probabilistic guarantees on the quality of the solution to the deterministic scenario-based finite horizon optimal control problem. We provide a theoretical analysis of the sample complexity of the proposed method and demonstrate its performance on a simple simulation example. Since the proposed approach leverages sampling, it does not rely on the explicit knowledge of the model or disturbance distributions, making it applicable in a wide variety of contexts.


title: The Automorphism Group of the Infinite-Rank Free Group is Coarsely Bounded

abstract: We prove that the full automorphism group and the outer automorphism group of the free group of countably infinite rank are coarsely bounded. That is, these groups admit no continuous actions on a metric space with unbounded orbits, and have the quasi-isometry type of a point.


title: A Three-phase Power Flow Model and Balanced Network Analysis

abstract: First we present an approach to formulate unbalanced three-phase power flow problems for general networks that explicitly separates device models and network models. A device model consists of (i) an internal model and (ii) a conversion rule. The conversion rule relates the internal variables (voltage, current, and power) of a device to its terminal variables through a conversion matrix {\Gamma} and these terminal variables are related by network equations. Second we apply this approach to balanced three-phase networks to formalize per-phase analysis and prove its validity for general networks using the spectral property of the conversion matrix {\Gamma}.


title: 3D Lidar Reconstruction with Probabilistic Depth Completion for Robotic Navigation

abstract: Safe motion planning in robotics requires planning into space which has been verified to be free of obstacles. However, obtaining such environment representations using lidars is challenging by virtue of the sparsity of their depth measurements. We present a learning-aided 3D lidar reconstruction framework that upsamples sparse lidar depth measurements with the aid of overlapping camera images so as to generate denser reconstructions with more definitively free space than can be achieved with the raw lidar measurements alone. We use a neural network with an encoder-decoder structure to predict dense depth images along with depth uncertainty estimates which are fused using a volumetric mapping system. We conduct experiments on real-world outdoor datasets captured using a handheld sensing device and a legged robot. Using input data from a 16-beam lidar mapping a building network, our experiments showed that the amount of estimated free space was increased by more than 40% with our approach. We also show that our approach trained on a synthetic dataset generalises well to real-world outdoor scenes without additional fine-tuning. Finally, we demonstrate how motion planning tasks can benefit from these denser reconstructions.


title: Deep learning-based algorithm for assessment of knee osteoarthritis severity in radiographs matches performance of radiologists

abstract: A fully-automated deep learning algorithm matched performance of radiologists in assessment of knee osteoarthritis severity in radiographs using the Kellgren-Lawrence grading system. To develop an automated deep learning-based algorithm that jointly uses Posterior-Anterior (PA) and Lateral (LAT) views of knee radiographs to assess knee osteoarthritis severity according to the Kellgren-Lawrence grading system. We used a dataset of 9739 exams from 2802 patients from Multicenter Osteoarthritis Study (MOST). The dataset was divided into a training set of 2040 patients, a validation set of 259 patients and a test set of 503 patients. A novel deep learning-based method was utilized for assessment of knee OA in two steps: (1) localization of knee joints in the images, (2) classification according to the KL grading system. Our method used both PA and LAT views as the input to the model. The scores generated by the algorithm were compared to the grades provided in the MOST dataset for the entire test set as well as grades provided by 5 radiologists at our institution for a subset of the test set. The model obtained a multi-class accuracy of 71.90% on the entire test set when compared to the ratings provided in the MOST dataset. The quadratic weighted Kappa coefficient for this set was 0.9066. The average quadratic weighted Kappa between all pairs of radiologists from our institution who took a part of study was 0.748. The average quadratic-weighted Kappa between the algorithm and the radiologists at our institution was 0.769. The proposed model performed demonstrated equivalency of KL classification to MSK radiologists, but clearly superior reproducibility. Our model also agreed with radiologists at our institution to the same extent as the radiologists with each other. The algorithm could be used to provide reproducible assessment of knee osteoarthritis severity.


title: Exploring the Dependence of Hot Jupiter Occurrence Rates on Stellar Mass with TESS

abstract: We present estimates for the occurrence rates of hot Jupiters around dwarf stars based on data from the Transiting Exoplanet Survey Satellite (TESS) Prime Mission. We take 97 hot Jupiters orbiting 198,721 AFG dwarf stars (ranging in mass from $0.8M_{\odot}$ to $2.3M_{\odot}$) from an independent search for hot Jupiters using TESS Prime Mission data. We estimate our planet sample's false positive rates as $14\pm7\%$ for A stars, $16\pm6\%$ for F stars, and $0\%$ for G stars. We find hot Jupiter occurrence rates of $0.29 \pm 0.05\%$ for A stars, $0.36 \pm 0.06\%$ for F stars and $0.55 \pm 0.14\%$ for G stars, with a weighted average across AFG stars of $0.33\pm0.04\%$. Our results show a correlation between higher hot Jupiter abundance and lower stellar mass, and are in good agreement with occurrence rates found by Kepler. After correcting for the presence of binaries in the TESS stellar sample, we estimate a single-star hot Jupiter occurrence rate of $0.98\pm0.36\%$ for G stars. This is in agreement with results from radial velocity (RV) surveys, indicating that stellar multiplicity correction is able to resolve the discrepancy between hot Jupiter occurrence rates based on transits and RVs.


title: Obstructions to some injective oriented colourings

abstract: Each of several possible definitions of local injectivity for a homomorphism of an oriented graph $G$ to an oriented graph $H$ leads to an injective oriented colouring problem. For each case in which such a problem is solvable in polynomial time, we identify a set $\mathcal{F}$ of oriented graphs such that an oriented graph $G$ has an injective oriented colouring with the given number of colours if and only if there is no $F \in \mathcal{F}$ for which there is a locally-injective homomorphism of $F$ to $G$.


title: The Kac formula and Poincar\'{e} recurrence theorem in Riesz spaces

abstract: Riesz space (non-pointwise) generalizations for iterative processes are given for the concepts of recurrence, first recurrence and conditional ergodicity. Riesz space conditional versions of the Poincar\'{e} Recurrence Theorem and the Kac formula are developed. Under mild assumptions, it is shown that every conditional expectation preserving process is conditionally ergodic with respect to the conditional expectation generated by the Ces\`aro mean associated with the iterates of the process. Applied to processes in $L^1(\Omega,{\mathcal A},\mu)$, where $\mu$ is a probability measure, new conditional versions of the above theorems are obtained.


title: Ferroelectricity in Hafnia Controlled via Surface Electrochemical State

abstract: Ferroelectricity in binary oxides including hafnia and zirconia have riveted the attention of the scientific community due to highly unconventional physical mechanisms and the potential for integration of these materials into semiconductor workflows. Over the last decade, it has been argued that behaviors such as wake-up phenomena and an extreme sensitivity to electrode and processing conditions suggests that ferroelectricity in these materials is strongly coupled with additional mechanisms, with possible candidates including the ionic subsystem or strain. Here we argue that the properties of these materials emerge due to the interplay between the bulk competition between ferroelectric and structural instabilities, similar to that in classical antiferroelectrics, coupled with non-local screening mediated by the finite density of states at surfaces and internal interfaces. Via decoupling of electrochemical and electrostatic controls realized via environmental and ultra-high vacuum PFM, we show that these materials demonstrate a rich spectrum of ferroic behaviors including partial pressure- and temperature-induced transitions between FE and AFE behaviors. These behaviors are consistent with an antiferroionic model and suggest novel strategies for hafnia-based device optimization.


title: Complexity of injective homomorphisms to small tournaments, and of injective oriented colourings

abstract: Several possible definitions of local injectivity for a homomorphism of an oriented graph $G$ to an oriented graph $H$ are considered. In each case, we determine the complexity of deciding whether there exists such a homomorphism when $G$ is given and $H$ is a fixed tournament on three or fewer vertices. Each possible definition leads to a locally-injective oriented colouring problem. A dichotomy theorem is proved in each case.


title: Non-Gaussian modelling and statistical denoising of Planck dust polarization full-sky maps using scattering transforms

abstract: Scattering transforms have been successfully used to describe dust polarization for flat-sky images. This paper expands this framework to noisy observations on the sphere with the aim of obtaining denoised Stokes Q and U all-sky maps at 353GHz, as well as a non-Gaussian model of dust polarization, from the Planck data. To achieve this goal, we extend the computation of scattering coefficients to the Healpix pixelation and introduce cross-statistics that allow us to make use of half-mission maps as well as the correlation between dust temperature and polarization. Introducing a general framework, we develop an algorithm that uses the scattering statistics to separate dust polarization from data noise. The separation is validated on mock data, before being applied to the SRoll2 Planck maps at N_side = 256. The validation shows that the statistics of the dust emission, including its non-Gaussian properties, are recovered until l < 700, where, at high Galactic latitudes, the dust power is smaller than that of the dust by two orders of magnitude. On scales where the dust power is lower than one tenth of that of the noise, structures in the output maps have comparable statistics but are not spatially coincident with those of the input maps. Our results on \Planck\ data are significant milestones opening new perspectives for statistical studies of dust polarization and for the simulation of Galactic polarized foregrounds. The Planck denoised maps is available (see http://sroll20.ias.u-psud.fr/sroll40_353_data.html) together with results from our validation on mock data, which may be used to quantify uncertainties.


title: Switching $m$-edge-coloured graphs using non-Abelian groups

abstract: Let $G$ be a graph whose edges are each assigned one of the $m$-colours $1, 2, \ldots, m$, and let $\Gamma$ be a subgroup of $S_m$. The operation of switching at a vertex $x$ with respect $\pi \in \Gamma$ permutes the colours of the edges incident with $x$ according to $\pi$. There is a well-developed theory of switching when $\Gamma$ is Abelian. Much less is known for non-Abelian groups. In this paper we consider switching with respect to non-Abelian groups including symmetric, alternating and dihedral groups. We first consider the question of whether there is a sequence of switches using elements of $\Gamma$ that transforms an $m$-edge-coloured graph $G$ to an $m$-edge coloured graph $H$. Necessary and sufficient conditions for the existence of such a sequence are given for each of the groups being considered. We then consider the question of whether an $m$-edge coloured graph can be switched using elements of $\Gamma$ so that the transformed $m$-edge coloured graph has a vertex $k$-colouring, or a homomorphism to a fixed $m$-edge coloured graph $H$. For the groups just mentioned we establish dichotomy theorems for the complexity of these decision problems. These are the first dichotomy theorems to be established for colouring or homomorphism problems and switching with respect to any group other than $S_2$.


title: Approximate Real Symmetric Tensor Rank

abstract: We investigate the effect of an $\varepsilon$-room of perturbation tolerance on symmetric tensor decomposition. To be more precise, suppose a real symmetric $d$-tensor $f$, a norm $||.||$ on the space of symmetric $d$-tensors, and $\varepsilon >0$ are given. What is the smallest symmetric tensor rank in the $\varepsilon$-neighborhood of $f$? In other words, what is the symmetric tensor rank of $f$ after a clever $\varepsilon$-perturbation? We prove two theorems and develop three corresponding algorithms that give constructive upper bounds for this question. With expository goals in mind; we present probabilistic and convex geometric ideas behind our results, reproduce some known results, and point out open problems.

categories: math.NA cs.LG cs.NA cs.SC math.AC math.OC


title: The Study of Hydrophilicity and Optical Properties of Zn and N-doped TiO$_{2}$ Thin Films

abstract: Among the wide bandgap semiconductors, TiO$_{2}$ is the highly stable and cost-efficient semiconductor used for the different photocatalysis processes like water splitting, chemical waste degradation, anti-micro bacterial activities, and more. Materials showing high hydrophilicity (surface phenomenon) with low bandgap are required to improve photocatalysis efficiency. We report the synthesis of Zn (4 wt.%) and N (4 wt.%) doped TiO$_{2}$ thin films using the spin coating technique to improve surface wettability. The XRD pattern shows the growth of the pure anatase phase of TiO$_{2}$. UV absorption spectra show a minor increment in the bandgap of the Zn and N doped TiO$_{2}$ thin films. The water contact angle with pure TiO$_{2}$ is 33.45{\deg} and reduces to 17.94{\deg} after 4wt% doping of Zn and N. The results show the enhanced hydrophilicity in the Zn and N doped TiO$_{2}$ thin films.


title: Distant 2-Colored Components on Embeddings Part I: Connecting Faces

abstract: This is the first in a sequence of three papers in which we prove the following generalization of Thomassen's 5-choosability theorem: Let $G$ be a finite graph embedded on a surface of genus $g$. Then $G$ can be $L$-colored, where $L$ is a list-assignment for $G$ in which every vertex has a 5-list except for a collection of pairwise far-apart components, each precolored with an ordinary 2-coloring, as long as the face-width of $G$ is $2^{\Omega(g)}$ and the precolored components are of distance $2^{\Omega(g)}$ apart. This provides an affirmative answer to a generalized version of a conjecture of Thomassen and also generalizes a result from 2017 of Dvo\v{r}\'ak, Lidick\'y, Mohar, and Postle about distant precolored vertices.


title: Unveiling the dynamics of nucleosynthesis in relativistic heavy-ion collisions

abstract: Like nucleosynthesis during the early universe, light nuclei are also produced in relativistic heavy-ion collisions. Although the deuteron ($d$) yields in these collisions can be well described by the statistical hadronization model (SHM), which assumes that particle yields are fixed at a common chemical freezeout near the phase boundary between the quark-gluon plasma and the hadron gas, the recently measured triton ($^3\text{H}$) yields in Au+Au collisions at $\sqrt{s_{NN}}=7.7-200$ GeV are overestimated systematically by this model. Here, we develop a comprehensive kinetic approach to study the effects of hadronic re-scatterings, such as $\pi NN\leftrightarrow\pi d$ and $\pi NNN\leftrightarrow\pi ^3\text{H}~(^3\text{He})$, on $d$, $^3\text{H}$, and $^3\text{He}$ production in these collisions. We find that these reactions have little effects on the deuteron yield but reduce the $^3\text{H}$ and $^3\text{He}$ yields by about a factor of 1.8 from their initial values given by the SHM. This finding helps resolve the overestimation of triton production in the SHM and provides the evidence for hadronic re-scattering effects on nucleosynthesis in relativistic heavy-ion collisions.


title: Cooperative Actor-Critic via TD Error Aggregation

abstract: In decentralized cooperative multi-agent reinforcement learning, agents can aggregate information from one another to learn policies that maximize a team-average objective function. Despite the willingness to cooperate with others, the individual agents may find direct sharing of information about their local state, reward, and value function undesirable due to privacy issues. In this work, we introduce a decentralized actor-critic algorithm with TD error aggregation that does not violate privacy issues and assumes that communication channels are subject to time delays and packet dropouts. The cost we pay for making such weak assumptions is an increased communication burden for every agent as measured by the dimension of the transmitted data. Interestingly, the communication burden is only quadratic in the graph size, which renders the algorithm applicable in large networks. We provide a convergence analysis under diminishing step size to verify that the agents maximize the team-average objective function.


title: Trainability Preserving Neural Pruning

abstract: Many recent works have shown trainability plays a central role in neural network pruning -- unattended broken trainability can lead to severe under-performance and unintentionally amplify the effect of retraining learning rate, resulting in biased (or even misinterpreted) benchmark results. This paper introduces trainability preserving pruning (TPP), a scalable method to preserve network trainability against pruning, aiming for improved pruning performance and being more robust to retraining hyper-parameters (e.g., learning rate). Specifically, we propose to penalize the gram matrix of convolutional filters to decorrelate the pruned filters from the retained filters. In addition to the convolutional layers, per the spirit of preserving the trainability of the whole network, we also propose to regularize the batch normalization parameters (scale and bias). Empirical studies on linear MLP networks show that TPP can perform on par with the oracle trainability recovery scheme. On nonlinear ConvNets (ResNet56/VGG19) on CIFAR10/100, TPP outperforms the other counterpart approaches by an obvious margin. Moreover, results on ImageNet-1K with ResNets suggest that TPP consistently performs more favorably against other top-performing structured pruning approaches. Code: https://github.com/MingSun-Tse/TPP.


title: Semi-Leak: Membership Inference Attacks Against Semi-supervised Learning

abstract: Semi-supervised learning (SSL) leverages both labeled and unlabeled data to train machine learning (ML) models. State-of-the-art SSL methods can achieve comparable performance to supervised learning by leveraging much fewer labeled data. However, most existing works focus on improving the performance of SSL. In this work, we take a different angle by studying the training data privacy of SSL. Specifically, we propose the first data augmentation-based membership inference attacks against ML models trained by SSL. Given a data sample and the black-box access to a model, the goal of membership inference attack is to determine whether the data sample belongs to the training dataset of the model. Our evaluation shows that the proposed attack can consistently outperform existing membership inference attacks and achieves the best performance against the model trained by SSL. Moreover, we uncover that the reason for membership leakage in SSL is different from the commonly believed one in supervised learning, i.e., overfitting (the gap between training and testing accuracy). We observe that the SSL model is well generalized to the testing data (with almost 0 overfitting) but ''memorizes'' the training data by giving a more confident prediction regardless of its correctness. We also explore early stopping as a countermeasure to prevent membership inference attacks against SSL. The results show that early stopping can mitigate the membership inference attack, but with the cost of model's utility degradation.


title: Lumen Shape Reconstruction using a Soft Robotic Balloon Catheter and Electrical Impedance Tomography

abstract: Incorrectly sized balloon catheters can lead to increased post-surgical complications, yet even with preoperative imaging, correct selection remains a challenge. With limited feedback during surgery, it is difficult to verify correct deployment. We propose the use of integrated impedance measurements and Electrical Impedance Tomography (EIT) imaging to assess the deformation of the balloon and determine the size and shape of the surrounding lumen. Previous work using single impedance measurements, or pressure data and analytical models, whilst demonstrating high sizing accuracy, have assumed a circular cross section. Here we extend these methods by adding a multitude of electrodes to detect elliptical and occluded lumen and obtain EIT images to localise deformations. Using a 14 Fr (5.3 mm) catheter as an example, numerical simulations were performed to find the optimal electrode configuration of two rings of 8 electrodes spaced 10 mm apart. The simulations predicted that the maximum detectable aspect ratio decreased from 0.9 for a 14mm balloon to 0.5 at 30mm. The sizing and ellipticity detection results were verified experimentally. A prototype robotic balloon catheter was constructed to automatically inflate a compliant balloon while simultaneously recording EIT and pressure data. Data were collected in experiments replicating stenotic vessels with an elliptical and asymmetrical profile, and the widening of a lumen during angioplasty. After calibration, the system was able to correctly localise the occlusion and detect aspect ratios of 0.75. EIT images further localised the occlusion and visualised the dilation of the lumen during balloon inflation.


title: Live Stream Temporally Embedded 3D Human Body Pose and Shape Estimation

abstract: 3D Human body pose and shape estimation within a temporal sequence can be quite critical for understanding human behavior. Despite the significant progress in human pose estimation in the recent years, which are often based on single images or videos, human motion estimation on live stream videos is still a rarely-touched area considering its special requirements for real-time output and temporal consistency. To address this problem, we present a temporally embedded 3D human body pose and shape estimation (TePose) method to improve the accuracy and temporal consistency of pose estimation in live stream videos. TePose uses previous predictions as a bridge to feedback the error for better estimation in the current frame and to learn the correspondence between data frames and predictions in the history. A multi-scale spatio-temporal graph convolutional network is presented as the motion discriminator for adversarial training using datasets without any 3D labeling. We propose a sequential data loading strategy to meet the special start-to-end data processing requirement of live stream. We demonstrate the importance of each proposed module with extensive experiments. The results show the effectiveness of TePose on widely-used human pose benchmarks with state-of-the-art performance.


title: Bayesian tensor factorization for predicting clinical outcomes using integrated human genetics evidence

abstract: The approval success rate of drug candidates is very low with the majority of failure due to safety and efficacy. Increasingly available high dimensional information on targets, drug molecules and indications provides an opportunity for ML methods to integrate multiple data modalities and better predict clinically promising drug targets. Notably, drug targets with human genetics evidence are shown to have better odds to succeed. However, a recent tensor factorization-based approach found that additional information on targets and indications might not necessarily improve the predictive accuracy. Here we revisit this approach by integrating different types of human genetics evidence collated from publicly available sources to support each target-indication pair. We use Bayesian tensor factorization to show that models incorporating all available human genetics evidence (rare disease, gene burden, common disease) modestly improves the clinical outcome prediction over models using single line of genetics evidence. We provide additional insight into the relative predictive power of different types of human genetics evidence for predicting the success of clinical outcomes.


title: Fast Quantum Interference of a Nanoparticle via Optical Potential Control

abstract: We introduce and theoretically analyze a scheme to prepare and detect non-Gaussian quantum states of an optically levitated particle via the interaction with a light pulse that generates cubic and inverted potentials. We show that this allows operating on short time- and lengthscales, which significantly reduces the demands on decoherence rates in such experiments. Specifically, our scheme predicts the observation of interference of nanoparticles with a mass above $10^8$ atomic mass units delocalised over several nanometers, on timescales of milliseconds, when operated at vacuum levels around $10^{-10}$~mbar and at room temperature. We discuss the prospect of using this approach for coherently splitting the wavepacket of massive dielectric objects using neither projective measurements nor an internal level structure.


title: Theia : science cases and mission profiles for high precision astrometry in the future

abstract: High-precision astrometry well beyond the capacities of Gaia will provide a unique way to achieve astrophysical breakthroughs, in particular on the nature of dark matter, and a complete survey of nearby habitable exoplanets. In this contribution, we present the scientific cases that require a flexibly-pointing instrument capable of high astrometric accuracy and we review the best mission profiles that can achieve such observations with the current space technology as well as within the boundary conditions defined by space agencies. We also describe the way the differential astrometric measurement is made using reference stars within the field. We show that the ultimate accuracy can be met without drastic constrains on the telescope stability.

categories: astro-ph.IM astro-ph.CO astro-ph.EP astro-ph.GA astro-ph.SR


title: Tropical expansions and toric variety bundles

abstract: A tropical expansion is a degeneration of a toroidal embedding induced by a polyhedral subdivision of its tropicalisation. Each irreducible component of a tropical expansion admits a collapsing map down to a stratum of the original variety. We study the relative geometry of this map. We give a necessary and sufficient polyhedral criterion for the map to have the structure of a toric variety bundle, and prove that this structure always exists over the interior of the codomain. We give examples demonstrating that this is the strongest statement one can hope for in general. In addition, we provide a combinatorial recipe for constructing the toric variety bundle as a fibrewise GIT quotient of an explicit split vector bundle. Our proofs make systematic use of Artin fans as a language for globalising local toric models.


title: A Randomized Algorithm for Tensor Singular Value Decomposition using an Arbitrary Number of Passes

abstract: Efficient and fast computation of a tensor singular value decomposition (t-SVD) with a few passes over the underlying data tensor is crucial because of its many potential applications. The current/existing subspace randomized algorithms need (2q+2) passes over the data tensor to compute a t-SVD, where q is a non-negative integer number (power iteration parameter). In this paper, we propose an efficient and flexible randomized algorithm that can handle any number of passes q, which not necessary need be even. The flexibility of the proposed algorithm in using fewer passes naturally leads to lower computational and communication costs. This advantage makes it particularly appropriate when our task calls for several tensor decompositions or when the data tensors are huge. The proposed algorithm is a generalization of the methods developed for matrices to tensors. The expected/ average error bound of the proposed algorithm is derived. Extensive numerical experiments on random and real-world data sets are conducted, and the proposed algorithm is compared with some baseline algorithms. The extensive computer simulation experiments demonstrate that the proposed algorithm is practical, efficient, and in general outperforms the state of the arts algorithms. We also demonstrate how to use the proposed method to develop a fast algorithm for the tensor completion problem.


title: Pairwise sequence alignment at arbitrarily large evolutionary distance

abstract: Ancestral sequence reconstruction is a key task in computational biology. It consists in inferring a molecular sequence at an ancestral species of a known phylogeny, given descendant sequences at the tip of the tree. In addition to its many biological applications, it has played a key role in elucidating the statistical performance of phylogeny estimation methods. Here we establish a formal connection to another important bioinformatics problem, multiple sequence alignment, where one attempts to best align a collection of molecular sequences under some mismatch penalty score by inserting gaps. Our result is counter-intuitive: we show that perfect pairwise sequence alignment with high probability is possible in principle at arbitrary large evolutionary distances - provided the phylogeny is known and dense enough. We use techniques from ancestral sequence reconstruction in the taxon-rich setting together with the probabilistic analysis of sequence evolution models involving insertions and deletions.


title: End-User Puppeteering of Expressive Movements

abstract: The end-user programming of social robot behavior is usually limited by a predefined set of movements. We are proposing a puppeteering robotic interface that provides a more intuitive method of programming robot expressive movements. As the user manipulates the puppet of a robot, the actual robot replicates the movements, providing real-time visual feedback. Through this proposed interface, even with limited training, a novice user can design and program expressive movements efficiently. We present our preliminary user study results in this extended abstract.


title: $p$-DkNN: Out-of-Distribution Detection Through Statistical Testing of Deep Representations

abstract: The lack of well-calibrated confidence estimates makes neural networks inadequate in safety-critical domains such as autonomous driving or healthcare. In these settings, having the ability to abstain from making a prediction on out-of-distribution (OOD) data can be as important as correctly classifying in-distribution data. We introduce $p$-DkNN, a novel inference procedure that takes a trained deep neural network and analyzes the similarity structures of its intermediate hidden representations to compute $p$-values associated with the end-to-end model prediction. The intuition is that statistical tests performed on latent representations can serve not only as a classifier, but also offer a statistically well-founded estimation of uncertainty. $p$-DkNN is scalable and leverages the composition of representations learned by hidden layers, which makes deep representation learning successful. Our theoretical analysis builds on Neyman-Pearson classification and connects it to recent advances in selective classification (reject option). We demonstrate advantageous trade-offs between abstaining from predicting on OOD inputs and maintaining high accuracy on in-distribution inputs. We find that $p$-DkNN forces adaptive attackers crafting adversarial examples, a form of worst-case OOD inputs, to introduce semantically meaningful changes to the inputs.


title: The Bearable Lightness of Big Data: Towards Massive Public Datasets in Scientific Machine Learning

abstract: In general, large datasets enable deep learning models to perform with good accuracy and generalizability. However, massive high-fidelity simulation datasets (from molecular chemistry, astrophysics, computational fluid dynamics (CFD), etc. can be challenging to curate due to dimensionality and storage constraints. Lossy compression algorithms can help mitigate limitations from storage, as long as the overall data fidelity is preserved. To illustrate this point, we demonstrate that deep learning models, trained and tested on data from a petascale CFD simulation, are robust to errors introduced during lossy compression in a semantic segmentation problem. Our results demonstrate that lossy compression algorithms offer a realistic pathway for exposing high-fidelity scientific data to open-source data repositories for building community datasets. In this paper, we outline, construct, and evaluate the requirements for establishing a big data framework, demonstrated at https://blastnet.github.io/, for scientific machine learning.


title: The BUTTER Zone: An Empirical Study of Training Dynamics in Fully Connected Neural Networks

abstract: We present an empirical dataset surveying the deep learning phenomenon on fully-connected feed-forward multilayer perceptron neural networks. The dataset, which is now freely available online, records the per-epoch training and generalization performance of 483 thousand distinct hyperparameter choices of architectures, tasks, depths, network sizes (number of parameters), learning rates, batch sizes, and regularization penalties. Repeating each experiment an average of 24 times resulted in 11 million total training runs and 40 billion epochs recorded. Accumulating this 1.7 TB dataset utilized 11 thousand CPU core-years, 72.3 GPU-years, and 163 node-years. In surveying the dataset, we observe durable patterns persisting across tasks and topologies. We aim to spark scientific study of machine learning techniques as a catalyst for the theoretical discoveries needed to progress the field beyond energy-intensive and heuristic practices.