title: Characterizing Urban Lifestyle Signatures Using Motif Properties in Network of Places

abstract: The lifestyles of urban dwellers could reveal important insights regarding the dynamics and complexity of cities. Despite growing research on analysis of lifestyle patterns in cities, little is known about the characteristics of people's lifestyles patterns at urban scale. This limitation is primarily due to challenges in characterizing lifestyle patterns when human movement data is aggregated to protect the privacy of users. In this study, we model cities based on aggregated human visitation data to construct a network of places. We then examine the subgraph signatures in the networks of places to map and characterize lifestyle patterns at city scale. Location-based data from Harris County, Dallas County, New York County, and Broward County in the United States were examined to reveal lifestyle signatures in cities. For the motif analysis, two-node, three-node, and four-node motifs without location attributes were extracted from human visitation networks. Second, homogenized nodes in motifs were encoded with location categories from NAICS codes. Multiple statistical measures, including network metrics and motif properties, were quantified to characterize lifestyle signatures. The results show that: people's lifestyles in urban environments can be well depicted and quantified based on distribution and attributes of motifs in networks of places; motifs in networks of places show stability in quantity and distance as well as periodicity on weekends and weekdays indicating the stability of lifestyle patterns in cities; human visitation networks and lifestyle patterns show similarities across different metropolitan areas implying the universality of lifestyle signatures across cities. The findings provide deeper insights into urban lifestyles signatures in urban studies and provide important insights for data-informed urban planning and management.


title: Near-Infrared Spectroscopy Of The Nucleus Of Low-Activity Comet P/2016 BA$_{14}$ During Its 2016 Close Approach

abstract: The Near-Earth Comet P/2016 BA$_{14}$ (PanSTARRS) is a slow-rotatating nearly-dormant object, a likely dynamical twin of 252P/LINEAR, and was recently shown to have a mid-infrared spectrum very dissimilar to other comets. BA$_{14}$ also recently selected one of the back-up targets for the ESA's \textit{Comet Interceptor}, so a clearer understanding of BA$_{14}$'s modern properties would not just improve our understanding of how comets go dormant, but could also aid planning for a potential spacecraft visit. We present observations of BA$_{14}$ taken on two dates during its 2016 Earth close approach with the NASA Infrared Telescope Facility, both of which are consistent with direct observations of its nucleus. The reflectance spectrum of BA$_{14}$ is similar to 67P/Churyumov-Gerasimenko, albeit highly phase-reddened. Thermal emission contaminates the reflectance spectrum at longer wavelengths, which we correct with a new Markov Chain Monte Carlo thermal modeling code. The models suggest $BA_{14}$'s visible geometric albedo is $p_V=0.01-0.03$, consistent with radar observations, its beaming parameter is typical for NEOs observed in its geometry, and its reflectrance spectrum is red and linear throughout H and K band. It appears very much like a "normal" comet nucleus, despite its mid-infrared oddities. A slow loss of fine grains as the object's activity diminished might help to reconcile some of the lines of evidence, and we discuss other possibilities. A spacecraft flyby past BA$_{14}$ could get closer to the nucleus than with a more active target, and we highlight some science questions that could be addressed with a visit to a (nearly-)dormant comet.


title: Better Lattice Quantizers Constructed from Complex Integers

abstract: This paper investigates low-dimensional quantizers from the perspective of complex lattices. We adopt Eisenstein integers and Gaussian integers to define checkerboard lattices $\mathcal{E}_{m}$ and $\mathcal{G}_{m}$. By explicitly linking their lattice bases to various forms of $\mathcal{E}_{m}$ and $\mathcal{G}_{m}$ cosets, we discover the $\mathcal{E}_{m,2}^+$ lattices, based on which we report the best known lattice quantizers in dimensions $14$, $15$, $18$, $19$, $22$ and $23$. Fast quantization algorithms of the generalized checkerboard lattices are proposed to enable evaluating the normalized second moment (NSM) through Monte Carlo integration.


title: Harmonic forms on asymptotically AdS metrics

abstract: In this paper we study the rotationally invariant harmonic cohomology of a 2-parameter family of Einstein metrics $g$ which admits a cohomogeneity one action of $SU (2) \times U (1) $ and has AdS asymptotics. Depending on the values of the parameters, $g$ is either of NUT type, if the fixed-point locus of the $U (1) $ action is 0-dimensional, or of bolt type, if it is 2-dimensional. We find that if $g$ is of NUT type then the space of $SU (2) $-invariant harmonic 2-forms is 3-dimensional and consists entirely of self-dual forms; if $g$ is of bolt type it is 4-dimensional. In both cases we explicitly determine a basis. The pair $(g,F)$ for $F$ a self-dual harmonic 2-form is also a solution of the bosonic sector of $4D $ supergravity. We determine for which choices it is a supersymmetric solution and the amount of preserved supersymmetry.


title: Adaptive Stochastic MPC under Unknown Noise Distribution

abstract: In this paper, we address the stochastic MPC (SMPC) problem for linear systems, subject to chance state constraints and hard input constraints, under unknown noise distribution. First, we reformulate the chance state constraints as deterministic constraints depending only on explicit noise statistics. Based on these reformulated constraints, we design a distributionally robust and robustly stable benchmark SMPC algorithm for the ideal setting of known noise statistics. Then, we employ this benchmark controller to derive a novel robustly stable adaptive SMPC scheme that learns the necessary noise statistics online, while guaranteeing time-uniform satisfaction of the unknown reformulated state constraints with high probability. The latter is achieved through the use of confidence intervals which rely on the empirical noise statistics and are valid uniformly over time. Moreover, control performance is improved over time as more noise samples are gathered and better estimates of the noise statistics are obtained, given the online adaptation of the estimated reformulated constraints. Additionally, in tracking problems with multiple successive targets our approach leads to an online-enlarged domain of attraction compared to robust tube-based MPC. A numerical simulation of a DC-DC converter is used to demonstrate the effectiveness of the developed methodology.


title: Adjusting for Bias with Procedural Data

abstract: 3D softwares are now capable of producing highly realistic images that look nearly indistinguishable from the real images. This raises the question: can real datasets be enhanced with 3D rendered data? We investigate this question. In this paper we demonstrate the use of 3D rendered data, procedural, data for the adjustment of bias in image datasets. We perform error analysis of images of animals which shows that the misclassification of some animal breeds is largely a data issue. We then create procedural images of the poorly classified breeds and that model further trained on procedural data can better classify poorly performing breeds on real data. We believe that this approach can be used for the enhancement of visual data for any underrepresented group, including rare diseases, or any data bias potentially improving the accuracy and fairness of models. We find that the resulting representations rival or even out-perform those learned directly from real data, but that good performance requires care in the 3D rendered procedural data generation. 3D image dataset can be viewed as a compressed and organized copy of a real dataset, and we envision a future where more and more procedural data proliferate while datasets become increasingly unwieldy, missing, or private. This paper suggests several techniques for dealing with visual representation learning in such a future.


title: Large signal of $h \rightarrow \mu \tau$ within the constraints of $e_i \rightarrow e_j\gamma$ decays in the 3-3-1 model with neutral leptons

abstract: In the framework of the 3-3-1 model with neutral leptons, we have investigated the lepton-flavor-violating sources based on the Higgs mass spectrum which has two neutral Higgses identitied with corresponding ones in the Two-Higgs-Doublet model (THDM). On the $13~\mathrm{TeV}$ scale of the LHC, we point out the parameter space regions where the experimental limits of $e_i \rightarrow e_j\gamma$ decays are satisfied. These regions depend heavily on the mixing of exotic leptons but are predicted to have large $h^0_1\rightarrow \mu \tau$ signals. We also show that $\mathrm{Br}(h^0_1\rightarrow \mu \tau)$ can reach a value of $10^{-4}$.


title: Probability and Non-Probability Samples: Improving Regression Modeling by Using Data from Different Sources

abstract: Non-probability sampling, for example in the form of online panels, has become a fast and cheap method to collect data. While reliable inference tools are available for classical probability samples, non-probability samples can yield strongly biased estimates since the selection mechanism is typically unknown. We propose a general method how to improve statistical inference when in addition to a probability sample data from other sources, which have to be considered non-probability samples, are available. The method uses specifically tailored regression residuals to enlarge the original data set by including observations from other sources that can be considered as stemming from the target population. Measures of accuracy of estimates are obtained by adapted bootstrap techniques. It is demonstrated that the method can improve estimates in a wide range of scenarios. For illustrative purposes, the proposed method is applied to two data sets.


title: Control of a qubit state by a soliton propagating through a Heisenberg spin chain

abstract: We demonstrate that nonlinear magnetic solitary excitations (solitons) traveling through a Heisenberg spin chain may be used as a robust tool capable of coherent control of the qubit's state. The physical problem is described by a Hamiltonian involving the interaction between the soliton and the qubit. We show that under certain conditions the generic Hamiltonian may be mapped on that of a qubit two-level system with matrix elements depending on the soliton parameters. We considered the action of a bright and a dark solitons depending on the driving nonlinear wave function. We considered a local interaction restricted the closest to the qubit spin in the chain. We computed the expressions of the physical quantities of interest for all cases and analyzed their behavior in some special limits.


title: Geometrical optics of large deviations of fractional Brownian motion

abstract: It has been shown recently that the optimal fluctuation method -- essentially geometrical optics -- provides a valuable insight into large deviations of Brownian motion. Here we extend the geometrical optics formalism to two-sided, $-\infty<t<\infty$, fractional Brownian motion (fBM) on the line, which is "pushed" to a large deviation regime by imposed constraints. We test the formalism on three examples where exact solutions are available: the two- and three-point probability distributions of the fBm and the distribution of the area under the fBm on a specified time interval. Then we apply the formalism to several previously unsolved problems by evaluating large-deviation tails of the following distributions: (i) of the first-passage time, (ii) of the maximum of, and (iii) of the area under, fractional Brownian bridge and fractional Brownian excursion, and (iv) of the first-passage area distribution of the fBm. An intrinsic part of a geometrical optics calculation is determination of the optimal path -- the most likely realization of the process which dominates the probability distribution of the conditioned process. Due to the non-Markovian nature of the fBm, the optimal paths of a fBm, subject to constraints on a finite interval $0<t\leq T$, involve both the past $-\infty<t<0$ and the future $T<t<\infty$.


title: Spectral estimation for Hamiltonians: a comparison between classical imaginary-time evolution and quantum real-time evolution

abstract: We present a classical Monte Carlo (MC) scheme which efficiently estimates an imaginary-time, decaying signal for stoquastic (i.e. sign-problem-free) local Hamiltonians. The decay rates in this signal correspond to Hamiltonian eigenvalues (with associated eigenstates present in an input state) and can be classically extracted using a classical signal processing method like ESPRIT. We compare the efficiency of this MC scheme to its quantum counterpart in which one extracts eigenvalues of a general local Hamiltonian from a real-time, oscillatory signal obtained through quantum phase estimation circuits, again using the ESPRIT method. We prove that the ESPRIT method can resolve S = poly(n) eigenvalues, assuming a 1/poly(n) gap between them, with poly(n) quantum and classical effort through the quantum phase estimation circuits, assuming efficient preparation of the input state. We prove that our Monte Carlo scheme plus the ESPRIT method can resolve S = O(1) eigenvalues, assuming a 1/poly(n) gap between them, with poly(n) purely classical effort for stoquastic Hamiltonians, requiring some access structure to the input state. However, we also show that under these assumptions, i.e. S = O(1) eigenvalues, assuming a 1/poly(n) gap between them and some access structure to the input state, one can achieve this with poly(n) purely classical effort for general local Hamiltonians. These results thus quantify some opportunities and limitations of classical Monte Carlo methods for spectral estimation of Hamiltonians. We numerically compare the MC eigenvalue estimation scheme (for stoquastic Hamiltonians) and the QPE eigenvalue estimation scheme by implementing them for an archetypal stoquastic Hamiltonian system: the transverse field Ising chain.


title: Symmetric Molecular Dynamics

abstract: We derive a formulation of molecular dynamics that generates only symmetric configurations. We implement it for all 2D planar and 3D space groups. An atlas of 2D Lennard-Jones crystals under all planar groups is created with symmetric molecular dynamics.


title: On incorporating social speaker characteristics in synthetic speech

abstract: In our previous work, we derived the acoustic features, that contribute to the perception of warmth and competence in synthetic speech. As an extension, in our current work, we investigate the impact of the derived vocal features in the generation of the desired characteristics. The acoustic features, spectral flux, F1 mean and F2 mean and their convex combinations were explored for the generation of higher warmth in female speech. The voiced slope, spectral flux, and their convex combinations were investigated for the generation of higher competence in female speech. We have employed a feature quantization approach in the traditional end-to-end tacotron based speech synthesis model. The listening tests have shown that the convex combination of acoustic features displays higher Mean Opinion Scores of warmth and competence when compared to that of individual features.


title: Optimal navigation of microswimmers in complex and noisy environments

abstract: We design new navigation strategies for travel time optimization of microscopic self-propelled particles in complex and noisy environments. In contrast to strategies relying on the results of optimal control theory, these protocols allow for semi-autonomous navigation as they do not require control over the microswimmer motion via external feedback loops. Although the strategies we propose rely on simple principles, they show arrival time statistics strikingly similar to those obtained from stochastic optimal control theory, as well as performances that are robust to environmental changes and strong fluctuations. These features, as well as their applicability to more general optimization problems, make these strategies promising candidates for the realization of optimized semi-autonomous navigation.


title: UrbanFlow: Designing Comfortable Outdoor Areas

abstract: Design decisions in urban planning have to be made with particular carefulness as the resulting constraints are binding for the whole architectural design that follows. In this context, investigating and optimizing the airflow in urban environments is critical to design comfortable outdoor areas as unwanted effects such as windy areas and the formation of heat pockets have to be avoided. Our UrbanFlow framework enables interactive architectural design allowing for decision making based on simulating urban flow. Compared to real-time fluid flow simulation, enabling interactive architecture design poses an even higher computational efficiency challenge as evaluating a design by simulation usually requires hundreds of time steps. This is addressed based on a highly efficient Eulerian fluid simulator in which we incorporate a unified porosity model which is devised to encode digital urban models containing objects such as buildings and trees. UrbanFlow is equipped with an optimization routine enabling the direct computation of design adaptations improving livability and comfort for given parameterized architectural designs. To ensure convergence of the optimization process, instead of the classical Navier-Stokes equations, the Reynolds-averaged Navier-Stokes equations are solved as this can be done on a relatively coarse grid and allows for the decoupling of the effects of turbulent eddies which are taken into account using a separate turbulence model. As we demonstrate on a real-world example taken from an ongoing architectural competition, this results in a fast convergence of the optimization process which computes a design adaptation avoiding heat pockets as well as uncomfortable windy areas.


title: An introduction to composition operators in Sobolev spaces

abstract: We propose a survey on composition operators in classical Sobolev spaces. We mention results obtained in 2019, on the continuity of such operators.


title: Fitting an immersed submanifold to data via Sussmann's orbit theorem

abstract: This paper describes an approach for fitting an immersed submanifold of a finite-dimensional Euclidean space to random samples. The reconstruction mapping from the ambient space to the desired submanifold is implemented as a composition of an encoder that maps each point to a tuple of (positive or negative) times and a decoder given by a composition of flows along finitely many vector fields starting from a fixed initial point. The encoder supplies the times for the flows. The encoder-decoder map is obtained by empirical risk minimization, and a high-probability bound is given on the excess risk relative to the minimum expected reconstruction error over a given class of encoder-decoder maps. The proposed approach makes fundamental use of Sussmann's orbit theorem, which guarantees that the image of the reconstruction map is indeed contained in an immersed submanifold.


title: Learning-Augmented Mechanism Design: Leveraging Predictions for Facility Location

abstract: In this work we introduce an alternative model for the design and analysis of strategyproof mechanisms that is motivated by the recent surge of work in "learning-augmented algorithms". Aiming to complement the traditional approach in computer science, which analyzes the performance of algorithms based on worst-case instances, this line of work has focused on the design and analysis of algorithms that are enhanced with machine-learned predictions regarding the optimal solution. The algorithms can use the predictions as a guide to inform their decisions, and the goal is to achieve much stronger performance guarantees when these predictions are accurate (consistency), while also maintaining near-optimal worst-case guarantees, even if these predictions are very inaccurate (robustness). So far, these results have been limited to algorithms, but in this work we argue that another fertile ground for this framework is in mechanism design. We initiate the design and analysis of strategyproof mechanisms that are augmented with predictions regarding the private information of the participating agents. To exhibit the important benefits of this approach, we revisit the canonical problem of facility location with strategic agents in the two-dimensional Euclidean space. We study both the egalitarian and utilitarian social cost functions, and we propose new strategyproof mechanisms that leverage predictions to guarantee an optimal trade-off between consistency and robustness guarantees. This provides the designer with a menu of mechanism options to choose from, depending on her confidence regarding the prediction accuracy. Furthermore, we also prove parameterized approximation results as a function of the prediction error, showing that our mechanisms perform well even when the predictions are not fully accurate.


title: Solvability of the Gleason problem on a class of bounded pseudoconvex domains

abstract: We show that if a bounded pseudoconvex domain satisfies the solvability of the bounded $\bar{\partial}$ problem, then the ideal of bounded holomorphic functions vanishing at a point in the domain is finitely generated. We also prove a smooth analog of the main result for bounded pseudoconvex domains with a sufficiently smooth boundary and also consider the Bergman space case.


title: Yet another Freiheitssatz: Mating finite groups with locally indicable ones

abstract: The main result includes as special cases on the one hand, the Gerstenhaber--Rothaus theorem (1962) and its generalisation due to Nitsche and Thom (2022) and, on the other hand, the Brodskii--Howie--Short theorem (1980--1984) generalising Magnus's Freiheitssatz (1930).


title: Masses and Thermodynamic Quantities of Quarkonia in Nonrelativistic Quark Model

abstract: The temperature dependent energy, mass and some of thermodynamic quantities of charmonium and bottomonium have been calculated by solving the radial Schr{\"{o}}dinger equation with the extended Cornell potential at finite temperature using the Nikiforov-Uvarov method. Obtained results accord with experimental data and theoretical results of the previous studies. We have found the spectrum of quarkonia mass strictly decreases at high values of temperature.


title: Measurements of one-point statistics in 21 cm intensity maps via foreground avoidance strategy

abstract: Measurements of the one-point probability distribution function and higher-order moments (variance, skewness, and kurtosis) of the high-redshift 21 cm fluctuations are among the most direct statistical probes of the non-Gaussian nature of structure formation and evolution during reionization. However, contamination from astrophysical foregrounds and instrument systematics pose significant challenges in measuring these statistics in real observations. In this work, we use forward modelling to investigate the feasibility of measuring 21 cm one-point statistics through a foreground avoidance strategy. Leveraging the characteristic wedge-shape of the foregrounds in k-space, we apply a wedge-cut filter that removes the foreground contaminated modes from a mock data set based on the Hydrogen Epoch of Reionization Array (HERA) instrument, and measure the one-point statistics from the image-space representation of the remaining non-contaminated modes. We experiment with varying degrees of wedge-cutting over different frequency bandwidths and find that the centre of the band is the least susceptible to bias from wedge-cutting. Based on this finding, we introduce a rolling filter method that allows reconstruction of an optimal wedge-cut 21~cm intensity map over the full bandwidth using outputs from wedge-cutting over multiple sub-bands. We perform Monte Carlo simulations to show that HERA should be able to measure the rise in skewness and kurtosis near the end of reionization with the rolling wedge-cut method if foreground leakage from the Fourier transform window function can be controlled.


title: An introduction to KMS weights

abstract: ' The theory of KMS weights is based on a theorem of Combes and a theorem of Kustermans. In applications to KMS states for flows on a unital $C^*$-algebra the relation to KMS weights of the stabilized algebra has proved useful and this relation hinges on a theorem of Laca and Neshveyev. The first three chapters present proofs of these fundamental results that require a minimum of prerequisites; in particular, they do not depend on the modular theory of von Neumann algebras. In contrast, starting with chapter four the presented material draws heavily on the modular theory of von Neumann algebras. Most results are known from the work of N. V. Pedersen, J. Quaegebeur, J. Verding, J. Kustermans, S. Vaes, A. Kishimoto, A. Kumjian and J. Christensen, but new ones begin to surface. In chapter nine and the Appendices D and E the reader can find a presentation of results obtained recently by the author, partly in collaboration with G. A. Elliott and Y. Sato. This material is a natural culmination of methods developed around 1980 by Bratteli, Elliott, Herman and Kishimoto. Finally, in chapter ten there is a short presentation of the notion of factor types for KMS weights and states.


title: A System for Interactive Examination of Learned Security Policies

abstract: We present a system for interactive examination of learned security policies. It allows a user to traverse episodes of Markov decision processes in a controlled manner and to track the actions triggered by security policies. Similar to a software debugger, a user can continue or or halt an episode at any time step and inspect parameters and probability distributions of interest. The system enables insight into the structure of a given policy and in the behavior of a policy in edge cases. We demonstrate the system with a network intrusion use case. We examine the evolution of an IT infrastructure's state and the actions prescribed by security policies while an attack occurs. The policies for the demonstration have been obtained through a reinforcement learning approach that includes a simulation system where policies are incrementally learned and an emulation system that produces statistics that drive the simulation runs.


title: Bayesian estimation of topological features of persistence diagrams

abstract: Persistent homology is a common technique in topological data analysis providing geometrical and topological information about the sample space. All this information, known as topological features, is summarized in persistence diagrams, and the main interest is in identifying the most persisting ones since they correspond to the Betti number values. Given the randomness inherent in the sampling process, and the complex structure of the space where persistence diagrams take values, estimation of Betti numbers is not straightforward. The approach followed in this work makes use of features' lifetimes and provides a full Bayesian clustering model, based on random partitions, in order to estimate Betti numbers. A simulation study is also presented.


title: Reflective obstructions of unitary modular varieties

abstract: To prove that a modular variety is of general type, there are three types of obstructions: reflective, cusp and elliptic obstructions. In this paper, we give a quantitative estimate of the reflective obstructions for the unitary case. This shows in particular that the reflective obstructions are small enough in higher dimension, say greater than $138$. Our result reduces the study of the Kodaira dimension of unitary modular varieties to the construction of a cusp form of small weight in a quantitative manner. As a byproduct, we formulate and partially prove the finiteness of Hermitian lattices admitting reflective modular forms, which is a unitary analog of the conjecture by Gritsenko-Nikulin in the orthogonal case. Our estimate of the reflective obstructions uses Prasad's volume formula.


title: Bernstein algebras that are algebraic and the Kurosh problem

abstract: We study the class of Bernstein algebras that are algebraic, in the sense that each element generates a finite-dimensional subalgebra. Every Bernstein algebra has a maximal algebraic ideal, and the quotient algebra is a zero-multiplication algebra. Several equivalent conditions for a Bernstein algebra to be algebraic are given. In particular, known characterizations of train Bernstein algebras in terms of nilpotency are generalized to the case of locally train algebras. Along the way, we show that if a Banach Bernstein algebra is algebraic (respectively, locally train), then it is of bounded degree (respectively, train). Then we investigate the Kurosh problem for Bernstein algebras: whether a finitely generated Bernstein algebra which is algebraic of bounded degree is finite-dimensional. This problem turns out to have a closed link with a question about associative algebras. In particular, when the barideal is nil, the Kurosh problem asks whether a finitely generated Bernstein-train algebra is finite-dimensional. We prove that the answer is positive for some specific cases and for low degrees, and construct counter-examples in the general case. By results of Yagzhev, the Jacobian conjecture is equivalent to a certain statement about Engel and nilpotence identities of multioperator algebras. We show that the generalized Jacobian conjecture for quadratic mappings holds for Bernstein algebras.


title: On dark radiation from string moduli decay to ALPs

abstract: We examine the issue of dark radiation (DR) from string moduli decay into axion-like particles (ALPs). In KKLT-type models of moduli stabilization, the axionlike phases of moduli fields are expected to decouple whilst in LVS-type moduli stabilization some can remain light and may constitute dark radiation. We evaluate modulus decay to Minimal Supersymmetric Standard Model (MSSM) particles and dark radiation for more general compactifications. In spite of tightening error bars on \Delta N_{eff}, we find only mild constraints on modulus-ALP couplings due to the somewhat suppressed modulus branching fraction to DR owing to the large number of MSSM decay modes. We anticipate that future CMB experiments with greater precision on \Delta N_{eff} may still turn up evidence for DR if the ALP associated with the lightest modulus field is indeed light.


title: Efficient and Accurate Candidate Generation for Grasp Pose Detection in SE(3)

abstract: Grasp detection of novel objects in unstructured environments is a key capability in robotic manipulation. For 2D grasp detection problems where grasps are assumed to lie in the plane, it is common to design a fully convolutional neural network that predicts grasps over an entire image in one step. However, this is not possible for grasp pose detection where grasp poses are assumed to exist in SE(3). In this case, it is common to approach the problem in two steps: grasp candidate generation and candidate classification. Since grasp candidate classification is typically expensive, the problem becomes one of efficiently identifying high quality candidate grasps. This paper proposes a new grasp candidate generation method that significantly outperforms major 3D grasp detection baselines. Supplementary material is available at https://atenpas.github.io/psn/.


title: Exact Privacy Guarantees for Markov Chain Implementations of the Exponential Mechanism with Artificial Atoms

abstract: Implementations of the exponential mechanism in differential privacy often require sampling from intractable distributions. When approximate procedures like Markov chain Monte Carlo (MCMC) are used, the end result incurs costs to both privacy and accuracy. Existing work has examined these effects asymptotically, but implementable finite sample results are needed in practice so that users can specify privacy budgets in advance and implement samplers with exact privacy guarantees. In this paper, we use tools from ergodic theory and perfect simulation to design exact finite runtime sampling algorithms for the exponential mechanism by introducing an intermediate modified target distribution using artificial atoms. We propose an additional modification of this sampling algorithm that maintains its $\epsilon$-DP guarantee and has improved runtime at the cost of some utility. We then compare these methods in scenarios where we can explicitly calculate a $\delta$ cost (as in $(\epsilon, \delta)$-DP) incurred when using standard MCMC techniques. Much as there is a well known trade-off between privacy and utility, we demonstrate that there is also a trade-off between privacy guarantees and runtime.


title: Evaluation of finite difference based asynchronous partial differential equations solver for reacting flows

abstract: Next-generation exascale machines with extreme levels of parallelism will provide massive computing resources for large scale numerical simulations of complex physical systems at unprecedented parameter ranges. However, novel numerical methods, scalable algorithms and re-design of current state-of-the art numerical solvers are required for scaling to these machines with minimal overheads. One such approach for partial differential equations based solvers involves computation of spatial derivatives with possibly delayed or asynchronous data using high-order asynchrony-tolerant (AT) schemes to facilitate mitigation of communication and synchronization bottlenecks without affecting the numerical accuracy. In the present study, an effective methodology of implementing temporal discretization using a multi-stage Runge-Kutta method with AT schemes is presented. Together these schemes are used to perform asynchronous simulations of canonical reacting flow problems, demonstrated in one-dimension including auto-ignition of a premixture, premixed flame propagation and non-premixed autoignition. Simulation results show that the AT schemes incur very small numerical errors in all key quantities of interest including stiff intermediate species despite delayed data at processing element (PE) boundaries. For simulations of supersonic flows, the degraded numerical accuracy of well-known shock-resolving WENO (weighted essentially non-oscillatory) schemes when used with relaxed synchronization is also discussed. To overcome this loss of accuracy, high-order AT-WENO schemes are derived and tested on linear and non-linear equations. Finally the novel AT-WENO schemes are demonstrated in the propagation of a detonation wave with delays at PE boundaries.


title: Control Co-design of a Hydrokinetic Turbine with Open-loop Optimal Control

abstract: This paper introduces a control co-design (CCD) framework to simultaneously explore the physical parameters and control spaces for a hydro-kinetic turbine (HKT) rotor optimization. The optimization formulation incorporates a coupled dynamic-hydrodynamic model to maximize the rotor power efficiency for various time-variant flow profiles. The open-loop optimal control is applied for maximum power tracking, and the blade element momentum theory (BEMT) is used to model the hydrodynamics. Case studies with different control constraints are investigated for CCD. Sensitivity analyses were conducted with respect to different flow profiles and initial geometries. Comparisons are made between CCD and the sequential process, with physical design followed by a control design process under the same conditions. The results demonstrate the benefits of CCD and reveal that, with control constraints, CCD leads to increased energy production compared to the design obtained from the sequential design process.


title: Annular structures in perturbed low mass disc-shaped gaseous nebulae I : general and standard models

abstract: Abstract This is the first of two papers where we study analytical solutions of a bidimensional low mass gaseous disc slowly rotating around a central mass and submitted to small radial periodic perturbations. Hydrodynamics equations are solved for the equilibrium and perturbed configurations. A wave-like equation for the gas perturbed specific mass is deduced and solved analytically for several cases of exponents of the power law distributions of the unperturbed specific mass and sound speed. It is found that, first, the gas perturbed specific mass displays exponentially spaced maxima, corresponding to zeros of the radial perturbed velocity; second, the distance ratio of successive maxima of the perturbed specific mass is a constant depending on disc characteristics and, following the model, also on the perturbation's frequency; and, third, inward and outward gas flows are induced from zones of minima toward zones of maxima of perturbed specific mass, leading eventually to the possible formation of gaseous annular structures in the disc. The results presented may be applied in various astrophysical contexts to slowly rotating thin gaseous discs of negligible relative mass, submitted to small radial periodic perturbations.

categories: astro-ph.EP astro-ph.GA astro-ph.SR physics.flu-dyn


title: Multiple Charged Meson Production in Exclusive $B_{c}$ Decays: $K+4\pi,$$KK+3\pi$, $7\pi$ Cases

abstract: Theoretical analysis of three exclusive decays, $B_{c}\to J/\psi+\mathcal{R},$where $\mathcal{R}=K+4\pi,$$KK+3\pi$, or $7\pi$, is given. Using the factorization method and the resonance approximation (methods proved to be very useful in the analysis of some other similar decays), we have obtained analytical expressions of the required amplitudes and created distributions over some interesting mass combinations. Presented results could be used for comparison with forthcoming experimental data and better understanding of the nature of heavy quarkonia.


title: Near infrared and optical emission of WASP-5 b

abstract: CONTEXT: Thermal emission from extrasolar planets makes it possible to study important physical processes in their atmospheres and derive more precise orbital elements. AIMS: By using new near infrared and optical data, we examine how these data constrain the orbital eccentricity and the thermal properties of the planet atmosphere. METHODS: The full light curves acquired by the TESS satellite from two sectors are used to put upper limit on the amplitude of the planet's phase variation and estimate the occultation depth. Two, already published and one, yet unpublished followup observations in the 2MASS K (Ks) band are employed to derive a more precise occultation light curve in this near infrared waveband. RESULTS: The merged occultation light curve in the Ks band comprises 4515 data points. The data confirm the results of the earlier eccentricity estimates, suggesting circular orbit: e=0.005+/-0.015. The high value of the flux depression of (2.70+/-0.14) ppt in the Ks band excludes simple black body emission at the 10 sigma level and disagrees also with current atmospheric models at the (4-7) sigma level. From the analysis of the TESS data, in the visual band we found tentative evidence for a near noise level detection of the secondary eclipse, and placed constraints on the associated amplitude of the planet's phase variation. A formal box fit yields an occultation depth of (0.157+/-0.056) ppt. This implies a relatively high geometric albedo of Ag=0.43+/-0.15 for fully efficient atmospheric circulation and Ag=0.29+/-0.15 for no circulation at all. No preference can be seen either for the oxygen-enhanced, or for the carbon-enhanced atmosphere models.


title: Geometric Thermodynamics of Strain-Induced Crystallization in Polymers

abstract: Going beyond the classical Gaussian approximation of Einstein's fluctuation theory, Ruppeiner gave it a Riemannian geometric structure with an entropic metric. This yielded a fundamental quantity - the Riemannian curvature, which was used to extract information on the nature of interactions between molecules in fluids, ideal gases and other open systems. In this article, we examine the implications of this curvature in a non-equilibrium thermodynamic system where relaxation is sufficiently slow so as not to invalidate the local equilibrium hypothesis. The non-equilibrium system comprises of a rubbery polymer undergoing strain induced crystallization. The curvature is found to impart information on a spurious isochoric energy arising from the conformational stretching of already crystallized segments. This unphysical component perhaps arises as the crystallized manifold is considered Euclidean with the stretch measures defined via the Euclidean metric. The thermodynamic state associated with curvature is the key to determine the isochoric stretch and hence the spurious energy. We determine this stretch and propose a form for the spurious free energy that must be removed from the total energy in order that the correct stresses are recovered.


title: BNV-Fusion: Dense 3D Reconstruction using Bi-level Neural Volume Fusion

abstract: Dense 3D reconstruction from a stream of depth images is the key to many mixed reality and robotic applications. Although methods based on Truncated Signed Distance Function (TSDF) Fusion have advanced the field over the years, the TSDF volume representation is confronted with striking a balance between the robustness to noisy measurements and maintaining the level of detail. We present Bi-level Neural Volume Fusion (BNV-Fusion), which leverages recent advances in neural implicit representations and neural rendering for dense 3D reconstruction. In order to incrementally integrate new depth maps into a global neural implicit representation, we propose a novel bi-level fusion strategy that considers both efficiency and reconstruction quality by design. We evaluate the proposed method on multiple datasets quantitatively and qualitatively, demonstrating a significant improvement over existing methods.


title: Deformations of Vaisman manifolds

abstract: We construct a type of transverse deformations of a Vaisman manifold, which preserves the canonical foliation. For this construction we only need a basic 1-form with certain properties. We show that such basic 1-forms exist in abundance.


title: Neutrino Condensate Dark Energy from TeV Scale Extra Dimensions

abstract: We propose a new scenario of incorporating neutrino masses in models of TeV scale gravity and large extra dimensions, which can explain the dark energy problem through formation of neutrino condensates. The smallness of the neutrino masses and the scale of dark energy is protected to be small by the lepton number symmetry, which is broken in a distant brane, such that all lepton number violating effects are suppressed by the distance factor in the extra dimensions. The interactions of any bulk scalar particles are also suppressed by the distance factor. A lepton number violating soft-term is also induced from the distant brane, providing us a light pseudo-Nambu-Goldstone boson which becomes the mediator of the attractive force that forms the condensates.


title: Proceedings of TDA: Applications of Topological Data Analysis to Data Science, Artificial Intelligence, and Machine Learning Workshop at SDM 2022

abstract: Topological Data Analysis (TDA) is a rigorous framework that borrows techniques from geometric and algebraic topology, category theory, and combinatorics in order to study the "shape" of such complex high-dimensional data. Research in this area has grown significantly over the last several years bringing a deeply rooted theory to bear on practical applications in areas such as genomics, natural language processing, medicine, cybersecurity, energy, and climate change. Within some of these areas, TDA has also been used to augment AI and ML techniques. We believe there is further utility to be gained in this space that can be facilitated by a workshop bringing together experts (both theorists and practitioners) and non-experts. Currently there is an active community of pure mathematicians with research interests in developing and exploring the theoretical and computational aspects of TDA. Applied mathematicians and other practitioners are also present in community but do not represent a majority. This speaks to the primary aim of this workshop which is to grow a wider community of interest in TDA. By fostering meaningful exchanges between these groups, from across the government, academia, and industry, we hope to create new synergies that can only come through building a mutual comprehensive awareness of the problem and solution spaces.


title: Periods And Real Numbers

abstract: The purpose of this book is to provide an introduction to period theory and then to place it within the matrix of recursive function theory.


title: Spin and polarization: a new direction in relativistic heavy ion physics

abstract: Since the first evidence of a global polarization of $\Lambda$ hyperons in relativistic nuclear collisions in 2017, spin has opened a new window in the field, both at experimental and theoretical level, and an exciting perspective. The current state of the field is reviewed with regard to the theoretical understanding of the data, reporting on the most recent achievements and envisioning possible developments. The intriguing connections of spin physics in relativistic matter with fundamental questions in quantum field theory and applications in the non-relativistic domain are discussed.


title: Direct visualization of ultrafast lattice ordering triggered by an electron-hole plasma in 2D perovskites

abstract: Direct visualization of ultrafast coupling between charge carriers and lattice degrees of freedom in photo-excited semiconductors has remained a long-standing challenge and is critical for understanding the light-induced physical behavior of materials under extreme non-equilibrium conditions. Here, by monitoring the evolution of the wave-vector resolved ultrafast electron diffraction intensity following above-bandgap photo-excitation, we obtain a direct visual of the structural dynamics in monocrystalline 2D perovskites. Analysis reveals a surprising, light-induced ultrafast lattice ordering resulting from a strong interaction between hot-carriers and the perovskite lattice, which induces an in-plane octahedra rotation, towards a more symmetric phase. Correlated ultrafast spectroscopy performed at the same carrier density as ultrafast electron diffraction reveals that the creation of a hot and dense electron-hole plasma triggers lattice ordering at short timescales by modulating the crystal cohesive energy. Finally, we show that the interaction between the carrier gas and the lattice can be altered by tailoring the rigidity of the 2D perovskite by choosing the appropriate organic spacer layer.


title: Proactive Anomaly Detection for Robot Navigation with Multi-Sensor Fusion

abstract: Despite the rapid advancement of navigation algorithms, mobile robots often produce anomalous behaviors that can lead to navigation failures. The ability to detect such anomalous behaviors is a key component in modern robots to achieve high-levels of autonomy. Reactive anomaly detection methods identify anomalous task executions based on the current robot state and thus lack the ability to alert the robot before an actual failure occurs. Such an alert delay is undesirable due to the potential damage to both the robot and the surrounding objects. We propose a proactive anomaly detection network (PAAD) for robot navigation in unstructured and uncertain environments. PAAD predicts the probability of future failure based on the planned motions from the predictive controller and the current observation from the perception module. Multi-sensor signals are fused effectively to provide robust anomaly detection in the presence of sensor occlusion as seen in field environments. Our experiments on field robot data demonstrates superior failure identification performance than previous methods, and that our model can capture anomalous behaviors in real-time while maintaining a low false detection rate in cluttered fields. Code, dataset, and video are available at https://github.com/tianchenji/PAAD


title: Continuous Jumping for Legged Robots on Stepping Stones via Trajectory Optimization and Model Predictive Control

abstract: Performing highly agile dynamic motions, such as jumping or running on uneven stepping stones has remained a challenging problem in legged robot locomotion. This paper presents a framework that combines trajectory optimization and model predictive control to perform robust and consecutive jumping on stepping stones. In our approach, we first utilize trajectory optimization based on full-nonlinear dynamics of the robot to generate periodic jumping trajectories for various jumping distances. A jumping controller based on a model predictive control is then designed for realizing smooth jumping transitions, enabling the robot to achieve continuous jumps on stepping stones. Thanks to the incorporation of MPC as a real-time feedback controller, the proposed framework is also validated to be robust to uneven platforms with unknown height perturbations and model uncertainty on the robot dynamics.


title: Data-based Control of Feedback Linearizable Systems

abstract: We present an extension of Willems' Fundamental Lemma to the class of multi-input multi-output discrete-time feedback linearizable nonlinear systems, thus providing a data-based representation of their input-output trajectories. Two sources of uncertainty are considered. First, the unknown linearizing input is inexactly approximated by a set of basis functions. Second, the measured output data is contaminated by additive noise. Further, we propose an approach to approximate the solution of the data-based simulation and output matching problems, and show that the difference from the true solution is bounded. Finally, the results are illustrated on an example of a fully-actuated double inverted pendulum.


title: Singular limit for the compressible Navier--Stokes equations with the hard sphere pressure law on expanding domains

abstract: The article is devoted to the asymptotic limit of the compressible Navier-Stokes system with a pressure obeying a hard--sphere equation of state on a domain expanding to the whole physical space $R^3$. Under the assumptions that acoustic waves generated in the case of ill-prepared data do not reach the boundary of the expanding domain in the given time interval and a certain relation between the Reynolds and Mach numbers and the radius of the expanding domain, we prove that the target system is the incompressible Euler system on $R^3$. We also provide an estimate of the rate of convergence expressed in terms of characteristic numbers and the radius of domains.


title: Practical exponential stability of a robust data-driven nonlinear predictive control scheme

abstract: We provide theoretical guarantees for recursive feasibility and practical exponential stability of the closed-loop system of a feedback linearizable nonlinear system when controlled by a robust data-driven nonlinear predictive control scheme. This technical report serves as a supplementary material to our recent paper "Data-driven Nonlinear Predictive Control for Feedback Linearizable Systems". The arguments shown in this report follow similar steps to those for the LTI case, since feedback linearizable systems are linear in transformed coordinates. However, the proof was suitably adapted to match the nonlinear setting under consideration, and the differences are emphasized throughout the proof.


title: Quantum Euler class and virtual Tevelev degrees of Fano complete intersections

abstract: We compute the quantum Euler class of Fano complete intersections X in a projective space. In particular, we prove a recent conjecture of A. Buch and R. Pandharipande. Finally we apply our result to obtain formulas for the virtual Tevelev degrees of X. An algorithm computing all genus 0 two-point Hyperplane Gromov Witten invariants of X is illustrated along the way.


title: Intelligent Reflective Surface Deployment in 6G: A Comprehensive Survey

abstract: Intelligent reflecting surfaces (IRSs) are considered a promising technology that can smartly reconfigure the wireless environment to enhance the performance of future wireless networks. However, the deployment of IRSs still faces challenges due to highly dynamic and mobile unmanned aerial vehicle (UAV) enabled wireless environments to achieve higher capacity. This paper sheds light on the different deployment strategies for IRSs in future terrestrial and non-terrestrial networks. Specifically, in this paper, we introduce key theoretical concepts underlying the IRS paradigm and discuss the design aspects related to the deployment of IRSs in 6G networks. We also explore optimization-based IRS deployment techniques to improve system performance in terrestrial and aerial IRSs. Furthermore, we survey model-free reinforcement learning (RL) techniques from the deployment aspect to address the challenges of achieving higher capacity in complex and mobile IRS-assisted UAV wireless systems. Finally, we highlight challenges and future research directions from the deployment aspect of IRSs for improving system performance for the future 6G network.


title: On the sequence $n! \bmod p$

abstract: We prove, that the sequence $1!, 2!, 3!, \dots$ produces at least $(\sqrt{2} + o(1))\sqrt{p}$ distinct residues modulo prime $p$. Moreover, factorials on an interval $\mathcal{I} \subseteq \{0, 1, \dots, p - 1\}$ of length $N > p^{7/8 + \varepsilon}$ produce at least $(1 + o(1))\sqrt{p}$ distinct residues modulo $p$. As a corollary, we prove that every non-zero residue class can be expressed as a product of seven factorials $n_1! \dots n_7!$ modulo $p$, where $n_i = O(p^{6/7+\varepsilon})$ for all $i=1,\dots,7$, which provides a polynomial improvement upon the preceding results.


title: Indoor Navigation Assistance for Visually Impaired People via Dynamic SLAM and Panoptic Segmentation with an RGB-D Sensor

abstract: Exploring an unfamiliar indoor environment and avoiding obstacles is challenging for visually impaired people. Currently, several approaches achieve the avoidance of static obstacles based on the mapping of indoor scenes. To solve the issue of distinguishing dynamic obstacles, we propose an assistive system with an RGB-D sensor to detect dynamic information of a scene. Once the system captures an image, panoptic segmentation is performed to obtain the prior dynamic object information. With sparse feature points extracted from images and the depth information, poses of the user can be estimated. After the ego-motion estimation, the dynamic object can be identified and tracked. Then, poses and speed of tracked dynamic objects can be estimated, which are passed to the users through acoustic feedback.


title: Byzantine-Robust Federated Linear Bandits

abstract: In this paper, we study a linear bandit optimization problem in a federated setting where a large collection of distributed agents collaboratively learn a common linear bandit model. Standard federated learning algorithms applied to this setting are vulnerable to Byzantine attacks on even a small fraction of agents. We propose a novel algorithm with a robust aggregation oracle that utilizes the geometric median. We prove that our proposed algorithm is robust to Byzantine attacks on fewer than half of agents and achieves a sublinear $\tilde{\mathcal{O}}({T^{3/4}})$ regret with $\mathcal{O}(\sqrt{T})$ steps of communication in $T$ steps. Moreover, we make our algorithm differentially private via a tree-based mechanism. Finally, if the level of corruption is known to be small, we show that using the geometric median of mean oracle for robust aggregation further improves the regret bound.


title: Switched Max-Plus Linear-Dual Inequalities: Application in Scheduling of Multi-Product Processing Networks

abstract: P-time event graphs are discrete event systems suitable for modeling processes in which tasks must be executed in predefined time windows. Their dynamics can be represented by systems of linear dynamical inequalities in the max-plus algebra and its dual, the min-plus algebra, referred to as max-plus linear-dual inequalities (LDIs). We define a new class of models called switched LDIs (SLDIs), which allow to switch between different modes of operations, each corresponding to an LDI, according to an infinite sequence of modes called schedule. In this paper, we focus on the analysis of SLDIs when the schedule is fixed and periodic. We show that SLDIs can model single-robot multi-product processing networks, in which every product has different processing requirements and corresponds to a specific mode of operation. Based on the analysis of SLDIs, we propose an algorithm to compute minimum and maximum cycle times for these processes that improves the time complexity of other existing approaches.


title: Scattering for the Equivariant U(1) Problem

abstract: Extending our previous works on the Cauchy problem for the $2+1$ equivariant Einstein-wave map system, we prove that the linear part dominates the nonlinear part of the wave maps equation coupled to the full set of the Einstein equations, for small data. A key ingredient in the proof is a nonlinear Morawetz estimate for the fully coupled equivariant Einstein-wave maps. The $2+1$ dimensional Einstein-wave map system occurs naturally in the U(1) symmetric $3+1$ dimensional vacuum Einstein equations of general relativity.


title: An Algebraic Hypergraph Regularity Lemma

abstract: Szemer\'edi's regularity lemma is a powerful tool in graph theory. It states that for every large enough graph, there exists a partition of the edge set with bounded size such that most induced subgraphs are quasirandom. When the graph is a definable set $\phi(x, y)$ in a finite field $F_q$, Tao's algebraic graph regularity lemma shows that there is a partition of the graph $\phi(x, y)$ such that all induced subgraphs are quasirandom and the error bound on quasirandomness is $O(q^{-1/4})$. In this work we prove an algebraic hypergraph regularity lemma for definable sets in finite fields, thus answering a question of Tao. We also extend the algebraic regularity lemma to definable sets in the difference fields $(F_q^{alg}, x^q)$ and we offer a new point of view on the geometric content of the algebraic regularity lemma.


title: Shape-Pose Disentanglement using SE(3)-equivariant Vector Neurons

abstract: We introduce an unsupervised technique for encoding point clouds into a canonical shape representation, by disentangling shape and pose. Our encoder is stable and consistent, meaning that the shape encoding is purely pose-invariant, while the extracted rotation and translation are able to semantically align different input shapes of the same class to a common canonical pose. Specifically, we design an auto-encoder based on Vector Neuron Networks, a rotation-equivariant neural network, whose layers we extend to provide translation-equivariance in addition to rotation-equivariance only. The resulting encoder produces pose-invariant shape encoding by construction, enabling our approach to focus on learning a consistent canonical pose for a class of objects. Quantitative and qualitative experiments validate the superior stability and consistency of our approach.


title: Best-Response Bayesian Reinforcement Learning with Bayes-adaptive POMDPs for Centaurs

abstract: Centaurs are half-human, half-AI decision-makers where the AI's goal is to complement the human. To do so, the AI must be able to recognize the goals and constraints of the human and have the means to help them. We present a novel formulation of the interaction between the human and the AI as a sequential game where the agents are modelled using Bayesian best-response models. We show that in this case the AI's problem of helping bounded-rational humans make better decisions reduces to a Bayes-adaptive POMDP. In our simulated experiments, we consider an instantiation of our framework for humans who are subjectively optimistic about the AI's future behaviour. Our results show that when equipped with a model of the human, the AI can infer the human's bounds and nudge them towards better decisions. We discuss ways in which the machine can learn to improve upon its own limitations as well with the help of the human. We identify a novel trade-off for centaurs in partially observable tasks: for the AI's actions to be acceptable to the human, the machine must make sure their beliefs are sufficiently aligned, but aligning beliefs might be costly. We present a preliminary theoretical analysis of this trade-off and its dependence on task structure.


title: A Modern Theory for High-dimensional Cox Regression Models

abstract: The proportional hazards model has been extensively used in many fields such as biomedicine to estimate and perform statistical significance testing on the effects of covariates influencing the survival time of patients. The classical theory of maximum partial-likelihood estimation (MPLE) is used by most software packages to produce inference, e.g., the coxph function in R and the PHREG procedure in SAS. In this paper, we investigate the asymptotic behavior of the MPLE in the regime in which the number of parameters p is of the same order as the number of samples n. The main results are (i) existence of the MPLE undergoes a sharp 'phase transition'; (ii) the classical MPLE theory leads to invalid inference in the high-dimensional regime. We show that the asymptotic behavior of the MPLE is governed by a new asymptotic theory. These findings are further corroborated through numerical studies. The main technical tool in our proofs is the Convex Gaussian Min-max Theorem (CGMT), which has not been previously used in the analysis of partial likelihood. Our results thus extend the scope of CGMT and shed new light on the use of CGMT for examining the existence of MPLE and non-separable objective functions.


title: Amenable covers of right-angled Artin groups

abstract: Let $A_L$ be the right-angled Artin group associated to a finite flag complex $L$. We show that the amenable category of $A_L$ equals the virtual cohomological dimension of the right-angled Coxeter group $W_L$. In particular, right-angled Artin groups satisfy a question of Capovilla--L\"oh--Moraschini proposing an inequality between the amenable category and Farber's topological complexity.


title: Inclusive jet and hadron suppression in a multistage approach

abstract: We present a new study of jet interactions in the quark-gluon plasma created in high-energy heavy-ion collisions, using a multistage event generator within the JETSCAPE framework. We focus on medium-induced modifications in the rate of inclusive jets and high transverse momentum (high-$p_{\mathrm{T}}$) hadrons. Scattering-induced jet energy loss is calculated in two stages: A high virtuality stage based on the MATTER model, in which scattering of highly virtual partons modifies the vacuum radiation pattern, and a second stage at lower jet virtuality based on the LBT model, in which leading partons gain and lose virtuality by scattering and radiation. Coherence effects that reduce the medium-induced emission rate in the MATTER phase are also included. The TRENTo model is used for initial conditions, and the (2+1)dimensional VISHNU model is used for viscous hydrodynamic evolution. Jet interactions with the medium are modeled via 2-to-2 scattering with Debye screened potentials, in which the recoiling partons are tracked, hadronized, and included in the jet clustering. Holes left in the medium are also tracked and subtracted to conserve transverse momentum. Calculations of the nuclear modification factor ($R_{\mathrm{AA}}$) for inclusive jets and high-$p_{\mathrm{T}}$ hadrons are compared to experimental measurements at the BNL Relativistic Heavy Ion Collider (RHIC) and the CERN Large Hadron Collider (LHC). Within this framework, we find that with one extra parameter which codifies the transition between stages of jet modification -- along with the typical parameters such as the coupling in the medium, the start and stop criteria etc. -- we can describe these data at all energies for central and semicentral collisions without a rescaling of the jet transport coefficient $\hat{q}$.


title: Seemo: A new tool for early design window view satisfaction evaluation in residential buildings

abstract: People spend approximately 90% of their lives indoors, and thus arguably, the indoor space design can significantly influence occupant well-being. Adequate views to the outside are one of the most cited indoor qualities related to occupant well-being. However, due to urbanization and densification trends, designers may have difficulties in providing vistas and views to the outside with an assortment of content, which can support the needs of their occupants. To better understand occupant view satisfaction and provide reliable design feedback to architects, existing view satisfaction data must be expanded to capture a wider variety of view scenarios and occupants. Most related research remains challenging in architectural practice due to a lack of easy-to-use early-design analysis tools. However, early assessment of view can be advantageous as design decisions in early design, such as building orientation, plan layout, and facade design, can improve the view quality. This paper, hence, presents results from a 181 participant view satisfaction survey with 590 window views. The survey data is used to train a tree-regression model to predict view satisfaction. The prediction performance was compared to an existing view assessment framework through case studies. The result showed that the new prediction is more accurate to the surveyed result than the framework. Further, the prediction performance was generally high for most responses, verifying the reliability. To facilitate view analysis in early design, this paper describes integrating the satisfaction prediction model and a ray-casting tool to compute view parameters in the CAD environment.


title: Holomorphic Yukawa Couplings in Heterotic String Theory

abstract: This thesis is concerned with heterotic E8 x E8 string models that can produce quasirealistic N = 1 supersymmetric extensions of the Standard Model in the low-energy limit. We start rather generally by deriving the four-dimensional spectrum and Lagrangian terms from the ten-dimensional theory, through a process of compactification over six-dimensional Calabi-Yau manifolds, upon which holomorphic poly-stable vector bundles are defined. We then specialise to a class of heterotic string models for which the vector bundle is split into a sum of line bundles and the Calabi-Yau manifold is defined as a complete intersection in projective ambient spaces. We develop a method for calculating holomorphic Yukawa couplings for such models, by relating bundle-valued forms on the Calabi-Yau manifold to their ambient space counterparts, so that the relevant integrals can be evaluated over projective spaces. The method is applicable for any of the 7890 CICY manifolds known in the literature, and we show that it can be related to earlier algebraic techniques to compute holomorphic Yukawa couplings. We provide explicit calculations of the holomorphic Yukawa couplings for models compactified on the tetra-quadric and on a co-dimension two CICY. A vanishing theorem is formulated, showing that in some cases, topology rather than symmetry is responsible for the absence of certain trilinear couplings. In addition, some Yukawa matrices are found to be dependent on the complex structure moduli and their rank is reduced in certain regions of the moduli space. In the final part, we focus on a method to evaluate the matter field Kahler potential without knowing the Ricci-flat Calabi-Yau metric. This is possible for large internal gauge fluxes, for which the normalisation integral localises around a point on the compactification manifold.


title: Pragmatic constraints and pronoun reference disambiguation: the possible and the impossible

abstract: Pronoun disambiguation in understanding text and discourse often requires the application of both general pragmatic knowledge and context-specific information. In AI and linguistics research, this has mostly been studied in cases where the referent is explicitly stated in the preceding text nearby. However, pronouns in natural text often refer to entities, collections, or events that are only implicitly mentioned previously; in those cases the need to use pragmatic knowledge to disambiguate becomes much more acute and the characterization of the knowledge becomes much more difficult. Extended literary texts at times employ both extremely complex patterns of reference and extremely rich and subtle forms of knowledge. Indeed, it is occasionally possible to have a pronoun that is far separated from its referent in a text. In the opposite direction, pronoun use is affected by considerations of focus of attention and by formal constraints such as a preference for parallel syntactic structures; these can be so strong that no pragmatic knowledge suffices to overrule them.


title: Neutrino electromagnetic properties in a Leptoquark model

abstract: The neutrino magnetic dipole moment is studied in a simple extension of the SM augmented with a scalar Leptoquark with quantum numbers $(\bar{\boldsymbol{3}},\boldsymbol{1},1/3)$. In order to reach a sizeable neutrino magnetic moment, we include in the framework the contribution of right-handed neutrinos and analytical result for the one-loop contribution of a scalar LQ is presented. The allowed parameter space is found through recent restrictions on the muon $(g-2)$, the $\tau \to \mu \gamma$ and the $B_c \to \tau^- \bar \nu$ decay. It is shown that exist a region of the parameter space where the recent anomaly reported by the XENON collaboration can be accommodated.


title: Few Shot Protein Generation

abstract: We present the MSA-to-protein transformer, a generative model of protein sequences conditioned on protein families represented by multiple sequence alignments (MSAs). Unlike existing approaches to learning generative models of protein families, the MSA-to-protein transformer conditions sequence generation directly on a learned encoding of the multiple sequence alignment, circumventing the need for fitting dedicated family models. By training on a large set of well-curated multiple sequence alignments in Pfam, our MSA-to-protein transformer generalizes well to protein families not observed during training and outperforms conventional family modeling approaches, especially when MSAs are small. Our generative approach accurately models epistasis and indels and allows for exact inference and efficient sampling unlike other approaches. We demonstrate the protein sequence modeling capabilities of our MSA-to-protein transformer and compare it with alternative sequence modeling approaches in comprehensive benchmark experiments.


title: Identifiability and dependence structure in factor models through monomial assignments in determinantal decompositions

abstract: Motivated by the investigation of algebraic approaches to study identifiability and ambiguity in factor modelling, we introduce a method to explore the properties of a factor of interest, in particular its dependence structure and sensitivity to deformations, under partial observability described by a pattern matrix. The proposal is based on deformations of matrix factorisations under the condition that the terms of their determinantal decompositions are monomials. We identify a trivial class of monomial assignments compatible with determinantal constraints and find minimal conditions on the pattern matrix, which correspond to forbidden configurations for graph planarity, guaranteeing that only such trivial assignments are valid. Counterexamples are provided in which these conditions do not hold. This allows us to connect with relevant notions for reasoning about model uncertainty, including factor indeterminacy, non-additivity of set functions, and the application of the counterexamples to represent non-Bayesian preferences in choice theory.


title: The inviscid limit of viscous Burgers at nondegenerate shock formation

abstract: We study the vanishing viscosity limit of the one-dimensional Burgers equation near nondegenerate shock formation. We develop a matched asymptotic expansion that describes small-viscosity solutions to arbitrary order up to the moment the first shock forms. The inner part of this expansion has a novel structure based on a fractional spacetime Taylor series for the inviscid solution. We obtain sharp vanishing viscosity rates in a variety of norms, including $L^\infty$. Comparable prior results break down in the vicinity of shock formation. We partially fill this gap.


title: Why Exposure Bias Matters: An Imitation Learning Perspective of Error Accumulation in Language Generation

abstract: Current language generation models suffer from issues such as repetition, incoherence, and hallucinations. An often-repeated hypothesis is that this brittleness of generation models is caused by the training and the generation procedure mismatch, also referred to as exposure bias. In this paper, we verify this hypothesis by analyzing exposure bias from an imitation learning perspective. We show that exposure bias leads to an accumulation of errors, analyze why perplexity fails to capture this accumulation, and empirically show that this accumulation results in poor generation quality. Source code to reproduce these experiments is available at https://github.com/kushalarora/quantifying_exposure_bias


title: PERFECT: Prompt-free and Efficient Few-shot Learning with Language Models

abstract: Current methods for few-shot fine-tuning of pretrained masked language models (PLMs) require carefully engineered prompts and verbalizers for each new task to convert examples into a cloze-format that the PLM can score. In this work, we propose PERFECT, a simple and efficient method for few-shot fine-tuning of PLMs without relying on any such handcrafting, which is highly effective given as few as 32 data points. PERFECT makes two key design choices: First, we show that manually engineered task prompts can be replaced with task-specific adapters that enable sample-efficient fine-tuning and reduce memory and storage costs by roughly factors of 5 and 100, respectively. Second, instead of using handcrafted verbalizers, we learn new multi-token label embeddings during fine-tuning, which are not tied to the model vocabulary and which allow us to avoid complex auto-regressive decoding. These embeddings are not only learnable from limited data but also enable nearly 100x faster training and inference. Experiments on a wide range of few-shot NLP tasks demonstrate that PERFECT, while being simple and efficient, also outperforms existing state-of-the-art few-shot learning methods. Our code is publicly available at https://github.com/facebookresearch/perfect.git.


title: Compact-to-Dendritic Transition in the Reactive Deposition of Brownian Particles

abstract: When Brownian particles (such as ions, colloids, or misfolded proteins) deposit onto a reactive cluster, the cluster undergoes a transition from a compact to a dendritic morphology. Continuum modeling reveals that the critical radius for this compact-to-dendritic (CTD) transition should be proportional to the particle diffusivity divided by the surface reaction rate. However, previous studies have had limited success verifying that the same scaling arises in the continuum limit of a particle-based deposition model. This discrepancy suggests that the continuum model may be missing part of the microscopic dendrite formation mechanism, a concerning hypothesis given that similar models are commonly used to study dendritic growth in electrodeposition and lithium metal batteries. To clarify the accuracy of such models, we reexamine the particle-based CTD transition using larger system sizes, up to hundreds of millions of particles in some cases, and an improved paradigm for the surface reaction. Specifically, this paradigm allows us to converge our simulations and to work in terms of experimentally accessible parameters. With these methods, we show that in both two and three dimensions, the behavior of the critical radius is consistent with the scaling of the continuum model. Our results help unify the particle-based and continuum views of the CTD transition. In each of these cases, dendrites emerge when particles can no longer diffuse around the cluster within the characteristic reaction timescale. Consequently, this work implies that continuum methods can effectively capture the microscopic physics of dendritic deposition.


title: CR embeddings of CR manifolds

abstract: We improve results of Baouendi, Rothschild and Treves and of Hill and Nacinovich by finding a much weaker sufficient condition for a CR manifold of type $(n,k)$ to admit a local CR embedding into a CR manifold of type $(n+\ell,k-\ell)$. While their results require the existence of a finite dimensional solvable transverse Lie algebra of vector fields; we require only a finite dimensional extension.


title: A Part-of-Speech Tagger for Yiddish

abstract: We describe the construction and evaluation of a part-of-speech tagger for Yiddish. This is the first step in a larger project of automatically assigning part-of-speech tags and syntactic structure to Yiddish text for purposes of linguistic research. We combine two resources for the current work - an 80K-word subset of the Penn Parsed Corpus of Historical Yiddish (PPCHY) and 650 million words of OCR'd Yiddish text from the Yiddish Book Center (YBC). Yiddish orthography in the YBC corpus has many spelling inconsistencies, and we present some evidence that even simple non-contextualized embeddings trained on YBC are able to capture the relationships among spelling variants without the need to first "standardize" the corpus. We also use YBC for continued pretraining of contexualized embeddings, which are then integrated into a tagger model trained and evaluated on the PPCHY. We evaluate the tagger performance on a 10-fold cross-validation split, showing that the use of the YBC text for the contextualized embeddings improves tagger performance. We conclude by discussing some next steps, including the need for additional annotated training and test data.


title: Analyzing Voting Power in Decentralized Governance: Who controls DAOs?

abstract: We empirically study the state of three prominent DAO governance systems on the Ethereum blockchain: Compound, Uniswap and ENS. In particular, we examine how the voting power is distributed in these systems. Using a comprehensive dataset of all governance token holders, delegates, proposals and votes, we analyze who holds the voting rights and how they are used to influence governance decisions.


title: A product picture for quantum electrodynamics

abstract: We present a short account of our work to provide quantum electrodynamics with a 'product picture'. It aims to complement the longer exposition in a recent paper in 'Foundations of Physics' and to help to make that work more accessible. The product picture is a formulation of QED, equivalent to standard Coulomb gauge QED, but in which the Hilbert space arises as (a certain physical subspace of) a product of a Hilbert space for the electromagnetic field and a Hilbert space for charged matter (i.e. the Dirac field) and in which the Hamiltonian arises as the sum of an electromagnetic Hamiltonian and a charged matter Hamiltonian and an interaction term. (The Coulomb gauge formulation of QED is not a product picture because, in it, the longitudinal part of the electromagnetic field is made out of charged matter operators.) We also recall a 'Contradictory Commutator Theorem' for QED which exposes flaws in previous attempts at temporal gauge quantization of QED and we explain how our product picture appears to offer a way to overcome those flaws. Additionally, we discuss the extent to which that theorem generalizes to Yang-Mills fields. We also develop a product picture for nonrelativistic charged particles in interaction with the electromagnetic field and point out how this leads to a novel way of thinking about the theory of many nonrelativistic electrically charged particles with Coulomb interactions. We explain how the provision of a product picture for QED gives hope that one will be able likewise to have a product picture for (Yang Mills and) quantum gravity -- the latter being needed to make sense of the author's 'matter-gravity entanglement hypothesis'. In an afterword, we briefly discuss similarities and differences between that hypothesis and its predictions and ideas of Roger Penrose related to a possible role of gravity in quantum state reduction and to cosmological entropy.


title: Key directions for research and development of superconducting radio frequency cavities

abstract: Radio frequency superconductivity is a cornerstone technology for many future HEP particle accelerators and experiments from colliders to proton drivers for neutrino facilities to searches for dark matter. While the performance of superconducting RF (SRF) cavities has improved significantly over the last decades, and the SRF technology has enabled new applications, the proposed HEP facilities and experiments pose new challenges. To address these challenges, the field continues to generate new ideas and there seems to be a vast room for improvements. In this paper we discuss the key research directions that are aligned with and address the future HEP needs.


title: The Cauchy problem for a quasilinear system of equations with coupling in the linearization

abstract: The Cauchy problem for a quasilinear system of hyperbolic-parabolic equations is addressed with the method of linearization and fixed point. Coupling between the hyperbolic and parabolic variables is allowed in the linearization and we do not assume the Friedrich's symmetrizability of the system. This coupling results in linear energy estimates that prevent the application of Banach's contraction principle. A metric fixed point theorem is developed in order to conclude the local existence and uniqueness of solutions. We show that the boundedness in the high norm and contraction in the low norm can be incorporated into the formulation of the fixed point by introducing the notion of a closed extension of the solution map. We apply our results to the Cattaneo-Christov system for viscous compressible fluid flow, a system of equations whose inviscid part is not hyperbolic.


title: Effective treatment of U(1) gauge field and charged particles in axion inflation

abstract: The axionic inflaton with the Chern-Simons coupling may generate U(1) gauge fields and charged particles simultaneously. In order to incorporate the backreaction from the charged particles on the gauge fields, we develop a procedure to obtain an equilibrium solution for the gauge fields by treating the induced current as effective electric and magnetic conductivities. Introducing mean field approximation, and numerically solving self-consistency equations, we find that the gauge field amplitudes are drastically suppressed. Interestingly, as the production becomes more efficient, the charged particles gain a larger part of the transferred energy from the inflaton and eventually dominate it. Our formalism offers a basis to connect this class of inflationary models to a rich phenomenology such as baryogenesis and magnetogenesis.


title: Fabrication of high-quality PMMA/SiO$_x$ spaced planar microcavities for strong coupling of light with monolayer WS$_2$ excitons

abstract: Exciton polaritons in atomically-thin transition metal dichalcogenide crystals (monolayer TMDCs) have emerged as a promising candidate to enable topological transport, ultra-efficient laser technologies, and collective quantum phenomena such as polariton condensation and superfluidity at room temperature. However, integrating monolayer TMDCs into high-quality planar microcavities to achieve the required strong coupling between the cavity photons and the TMDC excitons (bound electron-hole pairs) has proven challenging. Previous approaches to integration had to compromise between various adverse effects on the strength of light-matter interactions in the monolayer, the cavity photon lifetime, and the lateral size of the microcavity. Here, we demonstrate a scalable approach to fabricating high-quality planar microcavities with an integrated monolayer WS$_2$ layer-by-layer by using polymethyl methacrylate/silicon oxide (PMMA/SiO$_x$) as a cavity spacer. Because the exciton oscillator strength is well protected against the required processing steps by the PMMA layer, the microcavities investigated in this work, which have quality factors of above $10^3$, can operate in the strong light-matter coupling regime at room temperature. This is an important step towards fabricating wafer-scale and patterned microcavities for engineering the exciton-polariton potential landscape, which is essential for enabling many proposed technologies.


title: Curiosity as filling, compressing, and reconfiguring knowledge networks

abstract: Due to the significant role that curiosity plays in our lives, several theoretical constructs, such as the information gap theory and compression progress theory, have sought to explain how we engage in its practice. According to the former, curiosity is the drive to acquire information that is missing from our understanding of the world. According to the latter, curiosity is the drive to construct an increasingly parsimonious mental model of the world. To complement the densification processes inherent to these theories, we propose the conformational change theory, wherein we posit that curiosity results in mental models with marked conceptual flexibility. We formalize curiosity as the process of building a growing knowledge network to quantitatively investigate information gap theory, compression progress theory, and the conformational change theory of curiosity. In knowledge networks, gaps can be identified as topological cavities, compression progress can be quantified using network compressibility, and flexibility can be measured as the number of conformational degrees of freedom. We leverage data acquired from the online encyclopedia Wikipedia to determine the degree to which each theory explains the growth of knowledge networks built by individuals and by collectives. Our findings lend support to a pluralistic view of curiosity, wherein intrinsically motivated information acquisition fills knowledge gaps and simultaneously leads to increasingly compressible and flexible knowledge networks. Across individuals and collectives, we determine the contexts in which each theoretical account may be explanatory, thereby clarifying their complementary and distinct explanations of curiosity. Our findings offer a novel network theoretical perspective on intrinsically motivated information acquisition that may harmonize with or compel an expansion of the traditional taxonomy of curiosity.


title: Cluster Structures with Machine Learning Support in Neutron Star M-R relations

abstract: Neutron stars (NS) are compact objects with strong gravitational fields, and a matter composition subject to extreme physical conditions. The properties of strongly interacting matter at ultra-high densities and temperatures impose a big challenge to our understanding and modelling tools. Some difficulties are critical, since one cannot reproduce such conditions in our laboratories or assess them purely from astronomical observations. The information we have about neutron star interiors are often extracted indirectly, e.g., from the star mass-radius relation. The mass and radius are global quantities and still have a significant uncertainty, which leads to great variability in studying the micro-physics of the neutron star interior. This leaves open many questions in nuclear astrophysics and the suitable equation of state (EoS) of NS. Recently, new observations appear to constrain the mass-radius and consequently has helped to close some open questions. In this work, utilizing modern machine learning techniques, we analyze the NS mass-radius (M-R) relationship for a set of EoS containing a variety of physical models. Our objective is to determine patterns through the M-R data analysis and develop tools to understand the EoS of neutron stars in forthcoming works.


title: Exploiting Temporal Relations on Radar Perception for Autonomous Driving

abstract: We consider the object recognition problem in autonomous driving using automotive radar sensors. Comparing to Lidar sensors, radar is cost-effective and robust in all-weather conditions for perception in autonomous driving. However, radar signals suffer from low angular resolution and precision in recognizing surrounding objects. To enhance the capacity of automotive radar, in this work, we exploit the temporal information from successive ego-centric bird-eye-view radar image frames for radar object recognition. We leverage the consistency of an object's existence and attributes (size, orientation, etc.), and propose a temporal relational layer to explicitly model the relations between objects within successive radar images. In both object detection and multiple object tracking, we show the superiority of our method compared to several baseline approaches.


title: Wasserstein Hamiltonian flow with common noise on graph

abstract: We study the Wasserstein Hamiltonian flow with a common noise on the density manifold of a finite graph. Under the framework of stochastic variational principle, we first develop the formulation of stochastic Wasserstein Hamiltonian flow and show the local existence of a unique solution. We also establish a sufficient condition for the global existence of the solution. Consequently, we obtain the global well-posedness for the nonlinear Schr\"odinger equations with common noise on graph. In addition, using Wong-Zakai approximation of common noise, we prove the existence of the minimizer for an optimal control problem with common noise. We show that its minimizer satisfies the stochastic Wasserstein Hamiltonian flow on graph as well.


title: Revisiting a kNN-based Image Classification System with High-capacity Storage

abstract: In existing image classification systems that use deep neural networks, the knowledge needed for image classification is implicitly stored in model parameters. If users want to update this knowledge, then they need to fine-tune the model parameters. Moreover, users cannot verify the validity of inference results or evaluate the contribution of knowledge to the results. In this paper, we investigate a system that stores knowledge for image classification, such as image feature maps, labels, and original images, not in model parameters but in external high-capacity storage. Our system refers to the storage like a database when classifying input images. To increase knowledge, our system updates the database instead of fine-tuning model parameters, which avoids catastrophic forgetting in incremental learning scenarios. We revisit a kNN (k-Nearest Neighbor) classifier and employ it in our system. By analyzing the neighborhood samples referred by the kNN algorithm, we can interpret how knowledge learned in the past is used for inference results. Our system achieves 79.8% top-1 accuracy on the ImageNet dataset without fine-tuning model parameters after pretraining, and 90.8% accuracy on the Split CIFAR-100 dataset in the task incremental learning setting.


title: Ab Initio Nuclear Reaction Theory with Applications to Astrophysics

abstract: We present an introduction to ab initio nuclear theory with a focus on nuclear reactions. After a high-level overview of ab initio approaches in nuclear physics, we give a more detailed description of the no-core shell model technique equivalent to a large extent to configuration-interaction methods applied in quantum chemistry. We then introduce the no-core shell model with continuum approach that provides a quantum many-body description of nuclear reactions. After a brief review of nuclear reactions important for astrophysics, we present examples of results of ab initio calculations of radiative capture and transfer reactions in light nuclei.


title: Revisiting Sliced Wasserstein on Images: From Vectorization to Convolution

abstract: The conventional sliced Wasserstein is defined between two probability measures that have realizations as vectors. When comparing two probability measures over images, practitioners first need to vectorize images and then project them to one-dimensional space by using matrix multiplication between the sample matrix and the projection matrix. After that, the sliced Wasserstein is evaluated by averaging the two corresponding one-dimensional projected probability measures. However, this approach has two limitations. The first limitation is that the spatial structure of images is not captured efficiently by the vectorization step; therefore, the later slicing process becomes harder to gather the discrepancy information. The second limitation is memory inefficiency since each slicing direction is a vector that has the same dimension as the images. To address these limitations, we propose novel slicing methods for sliced Wasserstein between probability measures over images that are based on the convolution operators. We derive convolution sliced Wasserstein (CSW) and its variants via incorporating stride, dilation, and non-linear activation function into the convolution operators. We investigate the metricity of CSW as well as its sample complexity, its computational complexity, and its connection to conventional sliced Wasserstein distances. Finally, we demonstrate the favorable performance of CSW over the conventional sliced Wasserstein in comparing probability measures over images and in training deep generative modeling on images.


title: The moduli Space of nonnegatively curved metrics on quotients of $S^2\times S^3$ by involutions

abstract: We show that for an orientable non-spin manifold with fundamental group $\mathbb{Z}_2$ and universal cover $S^2\times S^3,$ the moduli space of metrics of nonnegative sectional curvature has infinitely many path components. The representatives of the components are quotients of the standard metric on $S^3\times S^3$ or metrics on Brieskorn varieties previously constructed using cohomogeneity one actions. The components are distinguished using the relative $\eta$ invariant of the spin$^c$ Dirac operator computed by means of a Lefschetz fixed point theorem.


title: Quantum spatial superpositions and the possibility of superluminal signaling

abstract: A recently proposed gedankenexperiment involving the (gravitational or electromagnetic) interaction between two objects--one placed in a state of quantum superposition of two locations--seems to allow for faster-than-light communication. However, it has been argued that, if the mediating fields are endowed with quantum properties, then the possibility for superluminal signaling is fully avoided. Moreover, in the gravitational case, this conclusion has been used to argue for the view that the gravitational field must be quantized. In this work, we clarify and complement some aspects of the discussion. In particular, by focusing on the way in which entanglement spreads across the components of the system, we offer some insights into the fundamental quantum features behind the impossibility of superluminal signaling and we provide a more general proof of such an impossibility in this and related protocols.


title: First-order variational analysis of non-amenable composite functions

abstract: This paper is devoted to studying the first-order variational analysis of non-convex and non-differentiable functions that may not be subdifferentially regular. To achieve this goal, we entirely rely on two concepts of directional derivatives known as subderivative and semi-derivative. We establish the exact chain and sum rules for this class of functions via these directional derivatives. These calculus rules provide an implementable auto-differentiation process such as back-propagation in composite functions. The latter calculus rules can be used to identify the directional stationary points defined by the subderivative. We show that the distance function of a geometrically derivable constraint set is semi-differentiable, which opens the door for designing first-order algorithms for non-Clarke regular constrained optimization problems. We propose a first-order algorithm to find a directional stationary point of non-Clarke regular and perhaps non-Lipschitz functions. We introduce a descent property under which we establish the non-asymptotic convergence of our method with rate $O(\varepsilon^{-2})$, akin to gradient descent for smooth minimization. We show that the latter descent property holds for free in some interesting non-amenable composite functions, in particular, it holds for the Moreau envelope of any bounded-below function.


title: Large-scale asymmetry in galaxy spin directions -- analysis of galaxies with spectra in DES, SDSS, and DESI Legacy Survey

abstract: Multiple previous studies using several different probes have shown considerable evidence for the existence of cosmological-scale anisotropy and a Hubble-scale axis. One of the probes that show such evidence is the distribution of the directions toward which galaxies spin. The advantage of the analysis of the distribution of galaxy spin directions compared to the CMB anisotropy is that the ratio of galaxy spin directions is a relative measurement, and therefore less sensitive to background contamination such as Milky Way obstruction. Another advantage is that many spiral galaxies have spectra, and therefore allow to analyze the location of such axis relative to Earth. This paper shows an analysis of the distribution of the spin directions of over 90K galaxies with spectra. That analysis is also compared to previous analyses using the Earth-based SDSS, Pan-STARRS, and DESI Legacy Survey, as well as space-based data collected by HST. The results show very good agreement between the distribution patterns observed with the different telescopes. The dipole or quadrupole axes formed by the spin directions of the galaxies with spectra do not necessarily go directly through Earth.