title: Integer Complexity Generalizations in Various Rings

abstract: In this paper, we investigate generalizations of the Mahler-Popkens complexity of integers. Specifically, we generalize to $k$-th roots of unity, polynomials over the naturals, and the integers mod $m$. In cyclotomic rings, we establish upper and lower bounds for integer complexity, investigate the complexity of roots of unity using cyclotomic polynomials, and introduce a concept of "minimality.'' In polynomials over the naturals, we establish bounds on the sizes of complexity classes and establish a trivial but useful upper bound. In the integers mod $m$, we introduce the concepts of "inefficiency'', "resilience'', and "modified complexity.'' In hopes of improving the upper bound on the complexity of the most complex element mod $m$, we also use graphs to visualize complexity in these finite rings.


title: Analysis of photometric and spectroscopic variability of red supergiant Betelgeuse

abstract: Betelgeuse is a pulsating red supergiant whose brightness is semi periodically variable and in February 2020 reached a historical minimum, the Great Dimming. The aims of this study are to characterize Betelgeuse's variability based on available archival data and to study possible causes of light variability. Many spectra, from ultraviolet and optical regions, were evaluated for spectral analysis. The spectra were used primarily to determine radial velocities from different layers of atmosphere and their long{-}term evolution. Additionally, photometric data were analyzed in different filters as well, to construct light curves and to determine periods of the variability. Spectroscopic and photometric variability are compared to each other and given into a context with the Great Dimming. The two most dominant photometric periods are $ P_{1} = 2190 \pm 270 \: \rm d $ and $ P_{2} = 417 \pm 17 \: \rm d $, while the dominant optical radial velocity periods are $ P_{1, v_{\rm r}} = 2510 \pm 440 \: \rm d $ and $ P_{2, v_{\rm r}} = 415 \pm 11 \: \rm d $. In the same time, the radial velocity determined from ultraviolet spectra also shows variability and is distinctively different from the variability of photospheric velocity, undergoing longer periods of variability. We attribute these velocities to the velocities at the base of outflowing wind. We also report a maximum of stellar wind velocity during the Great Dimming, accompanied by the previously reported minimum of brightness and the maximum of photospheric radial velocity. After the Dimming, Betelgeuse mode of variability has fundamentally changed and is now instead following a shorter period of $ \sim 200 \: \rm d $.


title: Self-buckling and self-writhing of semi-flexible microorganisms

abstract: The twisting and writhing of a cell body and associated mechanical stresses is an underappreciated constraint on microbial self-propulsion. Multi-flagellated bacteria can even buckle and writhe under their own activity as they swim through a viscous fluid. New equilibrium configurations and steady-state dynamics then emerge which depend on the organism's mechanical properties and on the oriented distribution of flagella along its surface. Modeling the cell body as a semi-flexible Kirchhoff rod and coupling the mechanics to a dynamically evolving flagellar orientation field, we derive the Euler-Poincar{\'e} equations governing dynamics of the system, and rationalize experimental observations of buckling and writhing of elongated swarmer cells of the bacterium {\it Proteus mirabilis}. A sequence of bifurcations is identified as the body is made more compliant, due to both buckling and torsional instabilities. These studies highlight a practical requirement for the stiffness of bacteria below which self-buckling occurs and cell motility becomes ineffective.


title: Supersymmetric quantum mechanics and the Riemann hypothesis

abstract: We construct a supersymmetric quantum mechanical model in which the energy eigenvalues of the Hamiltonians are the products of Riemann zeta functions. We show that the trivial and nontrivial zeros of the Riemann zeta function naturally correspond to the vanishing ground state energies in this model. The model provides a natural form of supersymmetry.


title: Connecting $b\to s\ell\ell$ with $b\to s\nu\bar\nu$ and $s\to d\nu\bar\nu$

abstract: We discuss the consequences of deviations from the Standard Model observed in $b\to s\mu^+\mu^-$ transitions for flavour-changing neutral-current processes involving down-type quarks and neutrinos. We work within an effective field theory approach respecting the SM gauge symmetry, including right-handed currents, a flavour structure based on approximate U(2) symmetry, and assuming only SM-like light neutrinos. We discuss correlations among $B\to h_s\nu\bar\nu$ ($h_s=K,K^*,X_s$), $K^+\to\pi^+\nu\bar\nu$ and $K_L\to\pi^0\nu\bar\nu$ branching ratios in the case of linear Minimal Flavour Violation and in a more general framework.


title: The ALICE experiment -- A journey through QCD

abstract: The ALICE experiment was proposed in 1993, to study strongly interacting matter at extreme energy densities via a comprehensive investigation of nuclear collisions at the LHC. Its physics programme initially focused on the determination of the properties of the Quark-Gluon Plasma (QGP), a deconfined state of quarks and gluons and was extended along the years, covering a diverse ensemble of observables related to Quantum Chromodynamics (QCD), the theory of strong interactions. The experiment has studied Pb-Pb, Xe-Xe, p-Pb and pp collisions in the multi-TeV energy range, during the Run 1 and Run 2 data taking periods at the LHC (2009-2018). The aim of this review article is to gather and summarise a selection of ALICE physics results and to discuss their implications on the current understanding of the macroscopic and microscopic properties of strongly interacting matter at the highest temperature reached in the laboratory. It will be shown that it is possible to have a quantitative description of the properties of the QGP produced in Pb--Pb collisions. We also show that various features, commonly ascribed to QGP formation, are detected for a wide range of interacting system sizes. Precision measurements of QCD-related observables not directly connected to the study of the QGP will also be discussed. Prospects for future measurements with the ALICE detector and its foreseen upgrades will also be briefly described.


title: Why we couldn't prove SETH hardness of the Closest Vector Problem for even norms!

abstract: Recent work [BGS17,ABGS19] has shown SETH hardness of CVP in the $\ell_p$ norm for any $p$ that is not an even integer. This result was shown by giving a Karp reduction from $k$-SAT on $n$ variables to CVP on a lattice of rank $n$. In this work, we show a barrier towards proving a similar result for CVP in the $\ell_p$ norm where $p$ is an even integer. We show that for any $c>0$, if for every $k > 0$, there exists an efficient reduction that maps a $k$-SAT instance on $n$ variables to a CVP instance for a lattice of rank at most $n^{c}$ in the Euclidean norm, then $\mathsf{coNP} \subset \mathsf{NP/Poly}$. We prove a similar result for CVP for all even norms under a mild additional promise that the ratio of the distance of the target from the lattice and the shortest non-zero vector in the lattice is bounded by $exp(n^{O(1)})$. Furthermore, we show that for any $c> 0$, and any even integer $p$, if for every $k > 0$, there exists an efficient reduction that maps a $k$-SAT instance on $n$ variables to a $SVP_p$ instance for a lattice of rank at most $n^{c}$, then $\mathsf{coNP} \subset \mathsf{NP/Poly}$. The result for SVP does not require any additional promise. While prior results have indicated that lattice problems in the $\ell_2$ norm (Euclidean norm) are easier than lattice problems in other norms, this is the first result that shows a separation between these problems. We achieve this by using a result by Dell and van Melkebeek [JACM, 2014] on the impossibility of the existence of a reduction that compresses an arbitrary $k$-SAT instance into a string of length $\mathcal{O}(n^{k-\epsilon})$ for any $\epsilon>0$. In addition to CVP, we also show that the same result holds for the Subset-Sum problem using similar techniques.


title: Quick-Look Pipeline Light Curves for 5.7 Million Stars Observed Over the Second Year of TESS' First Extended Mission

abstract: We present High-Level Science Products (HLSPs) containing light curves from MIT's Quick-Look Pipeline (QLP) from the second year of TESS' first Extended Mission (Sectors 40 - 55; 2021 July - 2022 September). In total, 12.2 million per-sector light curves for 5.7 million unique stars were extracted from 10-minute cadence Full-Frame Images (FFIs) and are made available to the community. As in previous deliveries, QLP HLSPs include both raw and detrended flux time series for all observed stars brighter than TESS magnitude T = 13.5 mag. Starting in Sector 41, QLP also produces light curves for select fainter M dwarfs. QLP has provided the community with one of the largest sources of FFI-extracted light curves to date since the start of the TESS mission.


title: QLP Data Release Notes 002: Improved Detrending Algorithm

abstract: Light curves feature many kinds of variability, including instrumental systematics, intrinsic stellar variability such as pulsations, and flux changes caused by transiting exoplanets or eclipsing binary stars. Detrending is a key pre-planet-search data processing step that aims to remove variability not due to transits. This data release note describes improvements to the Quick-Look Pipeline's detrending algorithm via the inclusion of quaternion data to remove short-timescale systematics. We describe updates to our procedure, intermediate data products outputted by the algorithm, and improvements to light curve precision.


title: Profit Shifting Frictions and the Geography of Multinational Activity

abstract: We develop a quantitative general equilibrium model of multinational activity embedding corporate taxation and profit shifting. In addition to trade and investment frictions, our model shows that profit-shifting frictions shape the geography of multinational production. Key to our model is the distinction between the corporate tax elasticity of real activity and profit shifting. The quantification of our model requires estimates of shifted profits flows. We provide a new, model-consistent methodology to calibrate bilateral profit-shifting frictions based on accounting identities. We simulate various tax reforms aimed at curbing tax-dodging practices of multinationals and their impact on a range of outcomes, including tax revenues and production. Our results show that the effects of the international relocation of firms across countries are of comparable magnitude as the direct gains in taxable income.


title: Torsion homology growth of polynomially growing free-by-cyclic groups

abstract: We show that the homology torsion growth of a free-by-cyclic group with polynomially growing monodromy vanishes in every dimension independently of the choice of Farber chain. It follows that the integral torsion $\rho^\mathbb{Z}$ equals the $\ell^2$-torsion $\rho^{(2)}$ verifying a conjecture of L\"uck for these groups.


title: Diffractive di-hadron production at NLO within the shockwave formalism

abstract: We compute the next-leading-order cross-sections for diffractive electro- or photoproduction of a pair of hadrons with large $p_T$, out of a nucleus or a nucleon. A hybrid factorization is used, mixing collinear and small-$x$ factorizations, more precisely shockwave formalism. We demonstrate the cancellation of divergences and extract the finite parts of the differential cross-section in general kinematics.


title: EVs and ERCOT: Future Adoption Scenarios and Grid Implications

abstract: Electric vehicles (EVs) are becoming more commonplace in Texas, mainly due to their increasing attractiveness to consumers and pushes from the state's governing bodies to incentivize further adoption. Meanwhile, service from Texas's electric grid, ERCOT, has been seeing increases in power demand due to a growing population, increased air conditioning use, and pushes for electrification across other industries. The electrification of vehicles will only add to this demand increase. This paper focuses on evaluating different EV adoption, charging management, and policy scenarios, and how they will be expected to impact ERCOT, particularly with respect to peak demand increases. A strong increase in the peak demand can lead to challenges to keep the electrical grid's reliability, making it an important consideration for electrification in any sector. The anticipated impacts of EV adoption on peak demand are quantified using ERCOT's data on past generation and planned installations, the approximated effectiveness of EV incentives, EV charging profiles, and travel patterns. The results showcase the fact that the achievement of ambitious EV market share goals will be manageable on a statewide level regarding electricity supply into 2030, but will eventually necessitate ambitious charging management strategies in order to limit the EV fleet's potentially heavy impact on peak demand looking forward into 2050 and beyond.


title: Reduced Order Probabilistic Emulation for Physics-Based Thermosphere Models

abstract: The geospace environment is volatile and highly driven. Space weather has effects on Earth's magnetosphere that cause a dynamic and enigmatic response in the thermosphere, particularly on the evolution of neutral mass density. Many models exist that use space weather drivers to produce a density response, but these models are typically computationally expensive or inaccurate for certain space weather conditions. In response, this work aims to employ a probabilistic machine learning (ML) method to create an efficient surrogate for the Thermosphere Ionosphere Electrodynamics General Circulation Model (TIE-GCM), a physics-based thermosphere model. Our method leverages principal component analysis to reduce the dimensionality of TIE-GCM and recurrent neural networks to model the dynamic behavior of the thermosphere much quicker than the numerical model. The newly developed reduced order probabilistic emulator (ROPE) uses Long-Short Term Memory neural networks to perform time-series forecasting in the reduced state and provide distributions for future density. We show that across the available data, TIE-GCM ROPE has similar error to previous linear approaches while improving storm-time modeling. We also conduct a satellite propagation study for the significant November 2003 storm which shows that TIE-GCM ROPE can capture the position resulting from TIE-GCM density with < 5 km bias. Simultaneously, linear approaches provide point estimates that can result in biases of 7 - 18 km.


title: Normalization Perturbation: A Simple Domain Generalization Method for Real-World Domain Shifts

abstract: Improving model's generalizability against domain shifts is crucial, especially for safety-critical applications such as autonomous driving. Real-world domain styles can vary substantially due to environment changes and sensor noises, but deep models only know the training domain style. Such domain style gap impedes model generalization on diverse real-world domains. Our proposed Normalization Perturbation (NP) can effectively overcome this domain style overfitting problem. We observe that this problem is mainly caused by the biased distribution of low-level features learned in shallow CNN layers. Thus, we propose to perturb the channel statistics of source domain features to synthesize various latent styles, so that the trained deep model can perceive diverse potential domains and generalizes well even without observations of target domain data in training. We further explore the style-sensitive channels for effective style synthesis. Normalization Perturbation only relies on a single source domain and is surprisingly effective and extremely easy to implement. Extensive experiments verify the effectiveness of our method for generalizing models under real-world domain shifts.


title: Left-right symmetry of finite finitistic dimension

abstract: We show that the finitistic dimension conjecture holds for all finite dimensional algebras if and only if, for all finite dimensional algebras, the finitistic dimension of an algebra being finite implies that the finitistic dimension of its opposite algebra is also finite. We also prove the equivalent statement for injective generation.


title: Expressing linear equality constraints in feedforward neural networks

abstract: We seek to impose linear, equality constraints in feedforward neural networks. As top layer predictors are usually nonlinear, this is a difficult task if we seek to deploy standard convex optimization methods and strong duality. To overcome this, we introduce a new saddle-point Lagrangian with auxiliary predictor variables on which constraints are imposed. Elimination of the auxiliary variables leads to a dual minimization problem on the Lagrange multipliers introduced to satisfy the linear constraints. This minimization problem is combined with the standard learning problem on the weight matrices. From this theoretical line of development, we obtain the surprising interpretation of Lagrange parameters as additional, penultimate layer hidden units with fixed weights stemming from the constraints. Consequently, standard minimization approaches can be used despite the inclusion of Lagrange parameters -- a very satisfying, albeit unexpected, discovery. Examples ranging from multi-label classification to constrained autoencoders are envisaged in the future. The code has been made available at https://github.com/anandrajan0/smartalec


title: The Refined Humbert Invariant for Imprimitive Ternary Forms

abstract: In this paper, we discuss the refined Humbert invariant for abelian product surfaces with complex multiplication. More precisely, we give the classification of quadratic forms which are equivalent to some refined Humber invariant $q_{(A,\theta)},$ where $A$ is isogenous to $E\times E,$ where $E$ has complex multiplication, and $q_{(A,\theta)}$ is an imprimitive form. To give this classification, we use and derive some results in the theory of integral ternary and binary quadratic forms.


title: One-loop Matching for the Seesaw Model

abstract: In this talk, we present the results of the complete one-loop matching of the seesaw model onto its low-energy effective theory by integrating out three right-handed neutrinos at the one-loop level. We find that there are 31 independent dimension-6 (dim-6) operators (barring flavor structures and Hermitian conjugates) in the Warsaw basis, and the standard-model couplings and the Wilson coefficient of the Weinberg operator acquire threshold corrections at the one-loop level. The complete Lagrangian up to dim-6 at the one-loop level is derived, which is indispensable for consistent explorations of the impact of heavy right-handed neutrinos at low energies.


title: Unexpected Long-Term Variability in Jupiter's Tropospheric Temperatures

abstract: An essential component of planetary climatology is knowledge of the tropospheric temperature field and its variability. Previous studies of Jupiter hinted at periodic behavior that was non-seasonal, as well as dynamical relationships between tropospheric and stratospheric temperatures. However, these observations were made over time frames shorter than Jupiter's orbit or they used sparse sampling. We derived upper-tropospheric (300-mbar) temperatures over 40 years, extending those studies to cover several orbits of Jupiter, revealing unexpected results. Periodicities of 4, 7 8-9 and 10-14 years were discovered that involved different latitude bands and seem disconnected from seasonal changes in solar heating. Anti-correlations of variability in opposite hemispheres were particularly striking at 16, 22 and 30 degrees from the equator. Equatorial temperature variations are also anticorrelated with those 60-70 km above. Such behavior suggests a top-down control of equatorial tropospheric temperatures from stratospheric dynamics. Realistic future global climate models must address the origins of these variations in preparation for their extension to a wider array of gas-giant exoplanets.


title: Stability estimates for the expected utility in Bayesian optimal experimental design

abstract: We study stability properties of the expected utility function in Bayesian optimal experimental design. We provide a framework for this problem in a non-parametric setting and prove a convergence rate of the expected utility with respect to a likelihood perturbation. This rate is uniform over the design space and its sharpness in the general setting is demonstrated by proving a lower bound in a special case. To make the problem more concrete we proceed by considering non-linear Bayesian inverse problems with Gaussian likelihood and prove that the assumptions set out for the general case are satisfied and regain the stability of the expected utility with respect to perturbations to the observation map. Theoretical convergence rates are demonstrated numerically in three different examples.


title: A time-dependent regularization of the Redfield equation

abstract: We introduce a new regularization of the Redfield equation based on a replacement of the Kossakowski matrix with its closest positive semidefinite neighbor. Unlike most of the existing approaches, this procedure is capable of retaining the time dependence of the Kossakowski matrix, leading to a completely positive divisible quantum process. Using the dynamics of an exactly-solvable three-level open system as a reference, we show that our approach performs better during the transient evolution, if compared to other approaches like the partial secular master equation or the universal Lindblad equation. To make the comparison between different regularization schemes independent from the initial states, we introduce a new quantitative approach based on the Choi-Jamiolkowski isomorphism.


title: Automated CFD shape optimization of stator blades for the PediaFlow pediatric ventricular assist device

abstract: PediaFlow is a miniature mixed-flow ventricular assist device for neonates and toddlers. PediaFlow has a fully magnetically levitated rotor which improves biocompatibility, but the increased length of the rotor creates a long annular passage where fluid energy is lost. Therefore, a set of helical stator blades was proposed immediately after the impeller stage to remove the swirling flow and recover the dynamic head as static pressure. Automated computational fluid dynamics (CFD) shape optimization of the stator blades was performed to maximize pressure recovery at the operating point of 1.5 LPM and 16,000 RPM. Additionally, the effect on hemolysis and thrombogenicity was assessed using numerical modeling. The optimization algorithm favored fewer blades of greater length over a larger number of short blades. The ratio of wrap angle to axial length emerged as a key constraint to ensure the viability of a design. The best design had 2 blades and generated 73 mmHg of pressure recovery in an isolated stage. When re-introduced to the CFD simulation of the complete flow path, the added stator stage increased the pump head by 46% and improved the pump efficiency from 21.9% to 25.7% at the selected operating point. Automated CFD shape optimization combined with in silico evaluation of hemocompatibility can be an effective tool for exploring design choices and informing early development process.


title: Summation Problem Revisited -- More Robust Computation

abstract: Numerical data processing is a key task across different fields of computer technology use. However, even simple summation of values is not precise due to the floating point representation use. This paper presents a practical algorithm for summation of values convenient for medium and large data sets. The proposed algorithm is simple, easy to implement. Its computational complexity is O(N) in the contrary of the Exact Sign Summation Algorithm (ESSA) approach with O(N^2) run-time complexity. The proposed algorithm is especially convenient for cases when exponent data differ significantly and many small values are summed with higher values


title: Neutrino mass and leptogenesis in a hybrid seesaw model with a spontaneously broken CP

abstract: We introduce a novel hybrid framework combining type I and type II seesaw models for neutrino mass where a complex vacuum expectation value of a singlet scalar field breaks CP spontaneously. Using pragmatic organizing symmetries we demonstrate that such a model can simultaneously explain the neutrino oscillation data and generate observed baryon asymmetry through leptogenesis. Interestingly, natural choice of parameters leads to a mixed leptogenesis scenario driven by nearly degenerate scalar triplet and right handed singlet neutrino fields for which we present a detailed quantitative analysis.


title: An Energy-Based Lengthscale for Reduced Order Models of Turbulent Flows

abstract: In this paper, we propose a novel reduced order model (ROM) lengthscale that is constructed by using energy distribution arguments. The new energy-based ROM lengthscale is fundamentally different from the current ROM lengthscales, which are built by using dimensional arguments. To assess the novel, energy-based ROM lengthscale, we compare it with a standard, dimensionality-based ROM lengthscale in two fundamentally different types of models: (i) the mixing-length ROM (ML-ROM), which is a ROM closure model; and (ii) the evolve-filter-relax ROM (EFR-ROM), which is a regularized ROM. We test the four combinations (i.e., ML-ROM and EFR-ROM equipped with the energy-based and dimensionality-based lengthscales) in the numerical simulation of the turbulent channel flow at $Re_{\tau} = 395$. The numerical investigation yields the following conclusions: (i) The new energy-based ROM lengthscale is significantly (almost two orders of magnitude) larger than the standard dimensionality-based ROM lengthscale. As a result, the energy-based lengthscale yields more stable ML-ROMs and EFR-ROMs than the dimensionality-based lengthscale. (ii) The energy-based lengthscale displays the correct asymptotic behavior with respect to the ROM dimension, whereas the dimensionality-based lengthscale does not. (iii) The energy-based lengthscale yields ML-ROMs and (when significant filtering is effected) EFR-ROMs whose parameters are less sensitive (i.e., more robust) than the parameters of the ML-ROMs and EFR-ROMs based on the dimensionality-based lengthscale. The novel energy-based lengthscale could enable the development of better scale-aware ROM strategies for flow-specific applications and is expected to have long term applications in nuclear reactor thermal-hydraulics.


title: Automated detection of coronaL MAss ejecta origiNs for space weather AppliCations (ALMANAC)

abstract: Alerts of potentially hazardous coronal mass ejections (CME) are based on the detection of rapid changes in remote observations of the solar atmosphere. This paper presents a method that detects and estimates the central coordinates of CME eruptions in Extreme Ultraviolet (EUV) data, with the dual aim of providing an early alert, and giving an initial estimate of the CME direction of propagation to a CME geometrical model. In particular, we plan to link the ALMANAC method to the CME detection and characterisation module of the Space Weather Empirical Ensemble Package (SWEEP), which is a fully automated modular software package for operational space weather capability currently being developed for the UK Meteorological Office. In this work, ALMANAC is applied to observations by the Atmospheric Imaging Assembly (AIA) aboard the Solar Dynamics Observatory (SDO). As well as presenting the method, a proof of concept test is made on a limited set of data associated with twenty halo CMEs recorded by the Coordinated Data Analysis Workshop (CDAW) catalogue near the activity maximum of solar cycle 24. SDO/AIA data for each event is processed at 6 minute cadence to identify the on-disk location and time of each CME. The absolute mean deviance between the ALMANAC and CDAW source event coordinates are within 37.05 +- 29.71 minutes and 11.01 +- 10.39 degrees. These promising results give a solid foundation for future work, and will provide initial constraints to an automated CME alert and forecasting system.


title: Multiple Packing: Lower and Upper Bounds

abstract: We study the problem of high-dimensional multiple packing in Euclidean space. Multiple packing is a natural generalization of sphere packing and is defined as follows. Let $ N>0 $ and $ L\in\mathbb{Z}_{\ge2} $. A multiple packing is a set $\mathcal{C}$ of points in $ \mathbb{R}^n $ such that any point in $ \mathbb{R}^n $ lies in the intersection of at most $ L-1 $ balls of radius $ \sqrt{nN} $ around points in $ \mathcal{C} $. We study the multiple packing problem for both bounded point sets whose points have norm at most $\sqrt{nP}$ for some constant $P>0$ and unbounded point sets whose points are allowed to be anywhere in $ \mathbb{R}^n $. Given a well-known connection with coding theory, multiple packings can be viewed as the Euclidean analog of list-decodable codes, which are well-studied for finite fields. In this paper, we derive various bounds on the largest possible density of a multiple packing in both bounded and unbounded settings. A related notion called average-radius multiple packing is also studied. Some of our lower bounds exactly pin down the asymptotics of certain ensembles of average-radius list-decodable codes, e.g., (expurgated) Gaussian codes and (expurgated) spherical codes. In particular, our lower bound obtained from spherical codes is the best known lower bound on the optimal multiple packing density and is the first lower bound that approaches the known large $L$ limit under the average-radius notion of multiple packing. To derive these results, we apply tools from high-dimensional geometry and large deviation theory.


title: Multiple Packing: Lower Bounds via Infinite Constellations

abstract: We study the problem of high-dimensional multiple packing in Euclidean space. Multiple packing is a natural generalization of sphere packing and is defined as follows. Let $ N>0 $ and $ L\in\mathbb{Z}_{\ge2} $. A multiple packing is a set $\mathcal{C}$ of points in $ \mathbb{R}^n $ such that any point in $ \mathbb{R}^n $ lies in the intersection of at most $ L-1 $ balls of radius $ \sqrt{nN} $ around points in $ \mathcal{C} $. Given a well-known connection with coding theory, multiple packings can be viewed as the Euclidean analog of list-decodable codes, which are well-studied for finite fields. In this paper, we derive the best known lower bounds on the optimal density of list-decodable infinite constellations for constant $L$ under a stronger notion called average-radius multiple packing. To this end, we apply tools from high-dimensional geometry and large deviation theory.


title: Multiple Packing: Lower Bounds via Error Exponents

abstract: We derive lower bounds on the maximal rates for multiple packings in high-dimensional Euclidean spaces. Multiple packing is a natural generalization of the sphere packing problem. For any $ N>0 $ and $ L\in\mathbb{Z}_{\ge2} $, a multiple packing is a set $\mathcal{C}$ of points in $ \mathbb{R}^n $ such that any point in $ \mathbb{R}^n $ lies in the intersection of at most $ L-1 $ balls of radius $ \sqrt{nN} $ around points in $ \mathcal{C} $. We study this problem for both bounded point sets whose points have norm at most $\sqrt{nP}$ for some constant $P>0$ and unbounded point sets whose points are allowed to be anywhere in $ \mathbb{R}^n $. Given a well-known connection with coding theory, multiple packings can be viewed as the Euclidean analog of list-decodable codes, which are well-studied for finite fields. We derive the best known lower bounds on the optimal multiple packing density. This is accomplished by establishing a curious inequality which relates the list-decoding error exponent for additive white Gaussian noise channels, a quantity of average-case nature, to the list-decoding radius, a quantity of worst-case nature. We also derive various bounds on the list-decoding error exponent in both bounded and unbounded settings which are of independent interest beyond multiple packing.


title: Individualized and Global Feature Attributions for Gradient Boosted Trees in the Presence of $\ell_2$ Regularization

abstract: While $\ell_2$ regularization is widely used in training gradient boosted trees, popular individualized feature attribution methods for trees such as Saabas and TreeSHAP overlook the training procedure. We propose Prediction Decomposition Attribution (PreDecomp), a novel individualized feature attribution for gradient boosted trees when they are trained with $\ell_2$ regularization. Theoretical analysis shows that the inner product between PreDecomp and labels on in-sample data is essentially the total gain of a tree, and that it can faithfully recover additive models in the population case when features are independent. Inspired by the connection between PreDecomp and total gain, we also propose TreeInner, a family of debiased global feature attributions defined in terms of the inner product between any individualized feature attribution and labels on out-sample data for each tree. Numerical experiments on a simulated dataset and a genomic ChIP dataset show that TreeInner has state-of-the-art feature selection performance. Code reproducing experiments is available at https://github.com/nalzok/TreeInner .


title: Vertex algebra of extended operators in 4d N=2 superconformal field theories

abstract: We construct a class of extended operators in the cohomology of a pair of twisted Schur supercharges of 4d N=2 SCFTs. The extended operators are constructed from the local operators in this cohomology -- the Schur operators -- by a version of topological descent. They are line, surface, and domain wall world volume integrals of certain super descendants of Schur operators. Their world volumes extend in directions transverse to a spatial plane in Minkowski space-time. As operators in the cohomology of these twisted Schur supercharges, their correlators are (locally) meromorphic functions only of the positions where they intersect this plane. This implies the extended operators enlarge the vertex operator algebra of the Schur operators. We illustrate this enlarged vertex algebra by computing some extended-operator product expansions within a subalgebra of it for the free hypermultiplet SCFT.


title: Motif-guided Time Series Counterfactual Explanations

abstract: With the rising need of interpretable machine learning methods, there is a necessity for a rise in human effort to provide diverse explanations of the influencing factors of the model decisions. To improve the trust and transparency of AI-based systems, the EXplainable Artificial Intelligence (XAI) field has emerged. The XAI paradigm is bifurcated into two main categories: feature attribution and counterfactual explanation methods. While feature attribution methods are based on explaining the reason behind a model decision, counterfactual explanation methods discover the smallest input changes that will result in a different decision. In this paper, we aim at building trust and transparency in time series models by using motifs to generate counterfactual explanations. We propose Motif-Guided Counterfactual Explanation (MG-CF), a novel model that generates intuitive post-hoc counterfactual explanations that make full use of important motifs to provide interpretive information in decision-making processes. To the best of our knowledge, this is the first effort that leverages motifs to guide the counterfactual explanation generation. We validated our model using five real-world time-series datasets from the UCR repository. Our experimental results show the superiority of MG-CF in balancing all the desirable counterfactual explanations properties in comparison with other competing state-of-the-art baselines.


title: Carnot-Caratheodory and Koranyi-Geodesics in the Heisenberg Group

abstract: This paper is part of an undergraduate research project. We discuss the Heisenberg group H1, the three-dimensional space R3 equipped with one of two equivalent metrics, the Koranyi- and Carnot- Caratheodory metric. We show that the notion of length of curves for both metrics coincide, and that shortest curves, so-called geodesics, exist.


title: Formation of metal-free binaries: Impact of H$_{2}$ line cooling and CIE cooling

abstract: During primordial star formation, the main cooling channel is provided by H$_{2}$ and super-molecules, such as H$_{2}$ or H$_{2}$, at sufficiently high densities. When the latter form at $n_{\rm H}$ $\geq$ $10^{14}$~cm$^{-3}$, collision-induced emission (CIE) provides efficient gas cooling. We investigate how CIE cooling affects the formation of metal-free binaries comparing simulations with and without this process. Irrespective of the cooling mechanism, we find a typical protostellar mass range between 0.01 to 100 M$_{\odot}$. However, models with only H$_{2}$ line cooling produce a greater number of low-mass protostars which exhibit stronger variations in their radial velocities than the high-mass protostars. Similarly, in models with both H$_{2}$ cooling and CIE cooling, significant variations in the radial velocities are found for protostars in the intermediate mass range. The initial number of fragments $N_{\rm max}$ decreases with increasing strength of turbulence. Cooling via super-molecules lets the most massive protobinaries (MMPBs) efficiently accrete mass. The maximum mass accretion rate $\dot M_{\rm max}$ for the MMPBs is more than an order of magnitude higher in the presence of CIE cooling than for pure H$_{2}$ line cooling. As a result, compact binaries with a semi-major axis as small as 3.57 au may form through the H$_{2}$ $-$ H$_{2}$ cooling channel. Our results indicate that in addition to the MMPBs most population III (Pop. III) binaries should be in eccentric i.e. non-circular orbits. This provides an important connection to the eccentric binaries reported in previous studies, which were found to exhibit rich temporal accretion signals during their evolution.


title: Stability of homogeneous chiral phases against inhomogeneous perturbations in 2+1 dimensions

abstract: In this work, inhomogeneous chiral phases are studied in a variety of Four-Fermion and Yukawa models in $2+1$ dimensions at zero and non-zero temperature and chemical potentials. Employing the mean-field approximation, we do not find indications for an inhomogeneous phase in any of the studied models. We show that the homogeneous phases are stable against inhomogeneous perturbations. At zero temperature, full analytic results are presented.


title: A Single-Photon-compatible Telecom-C-Band Quantum Memory in a Hot Atomic Gas

abstract: The efficient storage and on-demand retrieval of quantum optical states that are compatible with the telecommunications C-band is a requirement for future terrestrial-based quantum optical networking. Spectrum in the C-band minimises optical fiber-propagation losses, and broad optical bandwidth facilitates high-speed networking protocols. Here we report on a telecommunication wavelength and bandwidth compatible quantum memory. Using the Off-Resonant Cascaded Absorption protocol in hot $^{87}$Rb vapour, we demonstrate a total memory efficiency of $20.90(1)\,\%$ with a Doppler-limited storage time of $1.10(2)\,$ns. We characterise the memory performance with weak coherent states, demonstrating signal-to-noise ratios greater than unity for mean photon number inputs above $4.5(6)\times10^{-6}$ per pulse.


title: Time-dependent moments from partial differential equations and the time-dependent set of atoms

abstract: We study the time-dependent moments and associated polynomials arising from the partial differential equation $\partial_t f = \nu\Delta f + g\cdot\nabla f + h\cdot f$, and consider in detail the dual equation. For the heat equation we find that several non-negative polynomials which are not sums of squares become sums of squares under the heat equation in finite time. We show that every non-negative polynomial in $\mathbb{R}[x,y,z]_{\leq 4}$ becomes a sum of squares in finite time under the heat equation. We solve the problem of moving atoms under the equation $\partial_t f = g\cdot\nabla f + h\cdot f$ with $f_0 = \mu_0$ being a finitely atomic measure. The time evolution $\mu_t = \sum_{i=1}^k c_i(t)\cdot \delta_{x_i(t)}$ of the atom positions $x_i(t)$ are described by the transport term $g\cdot\nabla$ and the time-dependent coefficients $c_i(t)$ have an explicit solution depending on $x_i(t)$, $h$, and $\mathrm{div}\, g$.


title: nBIIG: A Neural BI Insights Generation System for Table Reporting

abstract: We present nBIIG, a neural Business Intelligence (BI) Insights Generation system. Given a table, our system applies various analyses to create corresponding RDF representations, and then uses a neural model to generate fluent textual insights out of these representations. The generated insights can be used by an analyst, via a human-in-the-loop paradigm, to enhance the task of creating compelling table reports. The underlying generative neural model is trained over large and carefully distilled data, curated from multiple BI domains. Thus, the system can generate faithful and fluent insights over open-domain tables, making it practical and useful.


title: Commissioning, Characterisation and Temperature Stabilisation of a 22000 Channel SiPM-on-Tile Hadron Calorimeter System

abstract: With the successful construction and operation of a highly granular hadron calorimeter system, featuring approx. 22000 individually read out SiPM-on-tile channels, the CALICE collaboration has set the next milestone in proving the scalability of the concept for a future high energy linear collider experiment. For this large sample of photosensors a new approach of quality control was required to sufficiently characterise and monitor device parameters for both, test bench and in-situ beam test data. In the presence of temperature fluctuations during operation, it was possible to stabilise the SiPM responses with a fully automated adjustment of the bias voltage based on frequent temperature measurements, thanks to the excellent parameter uniformity of the devices. This contribution presents the results of SiPM parameter studies during the construction and commissioning phase and reports about the system performance and the experience of automated temperature compensation at system level during operation.


title: Electron Diffraction of Water in No Man's Land

abstract: A generally accepted understanding of the anomalous properties of water will only emerge if it becomes possible to systematically characterize water in the deeply supercooled regime, from where the anomalies appear to emanate. This has largely remained elusive because water crystallizes rapidly between 160 K and 232 K. Here, we present an experimental approach to rapidly prepare deeply supercooled water at a well-defined temperature and probe it with electron diffraction before crystallization occurs. We show that as water is cooled from room temperature to cryogenic temperature, its structure evolves smoothly, approaching that of amorphous ice just below 200 K. Our experiments narrow down the range of possible explanations of the origin for the water anomalies and open up new avenues for studying supercooled water.


title: Computational indistinguishability and boson sampling

abstract: We introduce a computational problem of distinguishing between the output of an ideal coarse-grained boson sampler and the output of a true random number generator, as a resource for cryptographic schemes, which are secure against computationally unbounded adversaries. Moreover, we define a cryptographic setting for the implementation of such schemes, including message encryption and authentication, as well as entity authentication.


title: Effective Diffusion and transport coherence in presence of inhomogeneous temeprature: Piecewise linear potential

abstract: We compute the effective diffusion coefficient of a Brownian particle in a piece-wise linear periodic potential and subject of spatially inhomogeneous temperature, otherwise known as the B{\"u}ttiker-Landauer motor. We obtain analytical expressions for the current and diffusion coefficients and compare with numerical results.


title: Black Box Lie Group Preconditioners for SGD

abstract: A matrix free and a low rank approximation preconditioner are proposed to accelerate the convergence of stochastic gradient descent (SGD) by exploiting curvature information sampled from Hessian-vector products or finite differences of parameters and gradients similar to the BFGS algorithm. Both preconditioners are fitted with an online updating manner minimizing a criterion that is free of line search and robust to stochastic gradient noise, and further constrained to be on certain connected Lie groups to preserve their corresponding symmetry or invariance, e.g., orientation of coordinates by the connected general linear group with positive determinants. The Lie group's equivariance property facilitates preconditioner fitting, and its invariance property saves any need of damping, which is common in second-order optimizers, but difficult to tune. The learning rate for parameter updating and step size for preconditioner fitting are naturally normalized, and their default values work well in most situations.


title: The Interaction of Supernova 2018evt with a Substantial Amount of Circumstellar Matter -- An SN1997cy-like Event

abstract: A rare class of supernovae (SNe) is characterized by strong interaction between the ejecta and several solar masses of circumstellar matter (CSM) as evidenced by strong Balmer-line emission. Within the first few weeks after the explosion, they may display spectral features similar to overluminous Type Ia SNe, while at later phase their observation properties exhibit remarkable similarities with some extreme case of Type IIn SNe that show strong Balmer lines years after the explosion. We present polarimetric observations of SN2018evt obtained by the ESO Very Large Telescope from 172 to 219 days after the estimated time of peak luminosity to study the geometry of the CSM. The nonzero continuum polarization decreases over time, suggesting that the mass loss of the progenitor star is aspherical. The prominent H$\alpha$ emission can be decomposed into a broad, time-evolving component and an intermediate-width, static component. The former shows polarized signals, and it is likely to arise from a cold dense shell (CDS) within the region between the forward and reverse shocks. The latter is significantly unpolarized, and it is likely to arise from shocked, fragmented gas clouds in the H-rich CSM. We infer that SN2018evt exploded inside a massive and aspherical circumstellar cloud. The symmetry axes of the CSM and the SN appear to be similar. SN\,2018evt shows observational properties common to events that display strong interaction between the ejecta and CSM, implying that they share similar circumstellar configurations. Our preliminary estimate also suggests that the circumstellar environment of SN2018evt has been significantly enriched at a rate of $\sim0.1$ M$_\odot$ yr$^{-1}$ over a period of $>100$ yr.


title: A note on ideal spaces of Mautner groups

abstract: The Mautner groups are the 5-dimensional solvable Lie groups that have non-type-I factor representations. We show that their corresponding group $C^*$-algebras are quasi-standard and we describe the topology of their spaces of minimal primal ideals and Glimm ideals.


title: Quantum state purity versus average phonon number for characterization of mechanical oscillators in cavity optomechanics

abstract: Quantum oscillators in Gaussian states are often characterized by average occupation numbers that refer to a basis of eigenstates of the non-interacting oscillator Hamiltonian. We argue that quantum state purity is a more appropriate characteristic of such states, which can be applied to oscillators of any dimensionality. For a one-dimensional oscillator, the state purity is directly related to a thermal occupation number defined with respect to the number state basis in which the oscillator's quantum state is thermal. Thus, it naturally introduces a more versatile definition of an average occupation number. We study optomechanical sideband cooling of one- and two-dimensional mechanical oscillators in particular, and derive exact analytical expressions for the maximal mechanical state purity achievable in the quantum backaction limit. In the case of a one-dimensional oscillator, we show that the thermal occupation number related to purity can be well approximated by the average phonon number in the weak-coupling regime, but that the two differ in the regime of ultrastrong optomechanical coupling or in cases where the oscillator's resonance frequency is strongly renormalized.


title: Time-efficient, High Resolution 3T Whole Brain Quantitative Relaxometry using 3D-QALAS with Wave-CAIPI Readouts

abstract: Purpose: Volumetric, high-resolution, quantitative mapping of brain tissue relaxation properties is hindered by long acquisition times and signal-to-noise (SNR) challenges. This study, for the first time, combines the time-efficient wave-CAIPI readouts into the 3D-quantification using an interleaved Look-Locker acquisition sequence with a T2 preparation pulse (3D-QALAS) acquisition scheme, enabling full brain quantitative T1, T2 and proton density (PD) maps at 1.15 mm3 isotropic voxels in only 3 minutes. Methods: Wave-CAIPI readouts were embedded in the standard 3D-QALAS encoding scheme, enabling full brain quantitative parameter maps (T1, T2, and PD) at acceleration factors of R=3x2 with minimum SNR loss due to g-factor penalties. The quantitative parameter maps were estimated using a dictionary-based mapping algorithm incorporating inversion efficiency and B1 field inhomogeneity. The quantitative maps using the accelerated protocol were quantitatively compared against those obtained from conventional 3D-QALAS sequence using GRAPPA acceleration of R=2 in the ISMRM NIST phantom, and ten healthy volunteers. Results: When tested in both the ISMRM/NIST phantom and ten healthy volunteers, the quantitative maps using the accelerated protocol showed excellent agreement against those obtained from conventional 3D-QALAS at RGRAPPA=2. Conclusion: 3D-QALAS enhanced with wave-CAIPI readouts enables time-efficient, full brain quantitative T1, T2, and PD mapping at 1.15 mm3 in 3 minutes at R=3x2 acceleration. When tested on the NIST phantom and ten healthy volunteers, the quantitative maps obtained from the accelerated wave-CAIPI 3D-QALAS protocol showed very similar values to those obtained from the standard 3D-QALAS (R=2) protocol, alluding to the robustness and reliability of the proposed methods.


title: Word Order Matters when you Increase Masking

abstract: Word order, an essential property of natural languages, is injected in Transformer-based neural language models using position encoding. However, recent experiments have shown that explicit position encoding is not always useful, since some models without such feature managed to achieve state-of-the art performance on some tasks. To understand better this phenomenon, we examine the effect of removing position encodings on the pre-training objective itself (i.e., masked language modelling), to test whether models can reconstruct position information from co-occurrences alone. We do so by controlling the amount of masked tokens in the input sentence, as a proxy to affect the importance of position information for the task. We find that the necessity of position information increases with the amount of masking, and that masked language models without position encodings are not able to reconstruct this information on the task. These findings point towards a direct relationship between the amount of masking and the ability of Transformers to capture order-sensitive aspects of language using position encoding.


title: Review of coreference resolution in English and Persian

abstract: Coreference resolution (CR) is one of the most challenging areas of natural language processing. This task seeks to identify all textual references to the same real-world entity. Research in this field is divided into coreference resolution and anaphora resolution. Due to its application in textual comprehension and its utility in other tasks such as information extraction systems, document summarization, and machine translation, this field has attracted considerable interest. Consequently, it has a significant effect on the quality of these systems. This article reviews the existing corpora and evaluation metrics in this field. Then, an overview of the coreference algorithms, from rule-based methods to the latest deep learning techniques, is provided. Finally, coreference resolution and pronoun resolution systems in Persian are investigated.


title: A half-century of global collaboration in science and the 'Shrinking World'

abstract: Recent decades have witnessed a dramatic shift in the cross-border collaboration mode of researchers, with countries increasingly cooperating and competing with one another. It is crucial for leaders in academia and policy to understand the full extent of international research collaboration, their country's position within it, and its evolution over time. However, evidence for such world-scale dynamism is still scarce. This paper provides unique evidence of how international collaboration clusters have formed and evolved over the past 50 years across various scientific publications, using data from OpenAlex, a large-scale Open Bibliometrics platform launched in 2022. We first examine how the global presence of top-tier countries has changed in 15 natural science disciplines over time, as measured by publication volumes and international collaboration rates. Notably, we observe that the US and China have been rapidly moving closer together for decades but began moving apart after 2019. We then perform a hierarchical clustering to analyse and visualise the international collaboration clusters for each discipline and period. Finally, we provide quantitative evidence of a `Shrinking World' of research collaboration at a global scale over the past half-century. Our results provide valuable insights into the big picture of past, present and future international collaboration.

categories: cs.DL cs.CY cs.SI physics.data-an physics.soc-ph


title: Bounded Guaranteed Algorithms for Concave Impurity Minimization Via Maximum Likelihood

abstract: Partitioning algorithms play a key role in many scientific and engineering disciplines. A partitioning algorithm divides a set into a number of disjoint subsets or partitions. Often, the quality of the resulted partitions is measured by the amount of impurity in each partition, the smaller impurity the higher quality of the partitions. In general, for a given impurity measure specified by a function of the partitions, finding the minimum impurity partitions is an NP-hard problem. Let $M$ be the number of $N$-dimensional elements in a set and $K$ be the number of desired partitions, then an exhaustive search over all the possible partitions to find a minimum partition has the complexity of $O(K^M)$ which quickly becomes impractical for many applications with modest values of $K$ and $M$. Thus, many approximate algorithms with polynomial time complexity have been proposed, but few provide bounded guarantee. In this paper, an upper bound and a lower bound for a class of impurity functions are constructed. Based on these bounds, we propose a low-complexity partitioning algorithm with bounded guarantee based on the maximum likelihood principle. The theoretical analyses on the bounded guarantee of the algorithms are given for two well-known impurity functions Gini index and entropy. When $K \geq N$, the proposed algorithm achieves state-of-the-art results in terms of lowest approximations and polynomial time complexity $O(NM)$. In addition, a heuristic greedy-merge algorithm having the time complexity of $O((N-K)N^2+NM)$ is proposed for $K<N$. Although the greedy-merge algorithm does not provide a bounded guarantee, its performance is comparable to that of the state-of-the-art methods. Our results also generalize some well-known information-theoretic bounds such as Fano's inequality and Boyd-Chiang's bound.


title: Virtues of a symmetric-structure double copy

abstract: We demonstrate a physical motivation for extending color-dual or BCJ double-copy construction to include theories with kinematic numerators that obey the same algebraic relations as symmetric structure constants, $d^{abc}=\text{Tr}[\{T^{a},T^{b}\}T^c]$. We verify that $U(N_c)$ nonlinear sigma model (NLSM) pions, long known to be color-dual in terms of antisymmetric adjoint factors, $f^{abc}$, are also color-dual in the sense of symmetric color structures, $d^{abc}$, explicitly through six-point scattering. This reframing of NLSM pion amplitudes complements our compositional construction of $d^{abc}$ color-dual higher derivative gauge operators. With adjoint and symmetric color-dual kinematics, we can span all four-point effective photon operators via a double-copy construction using amplitudes from physical theories. We further comment on a tension between locality and adjoint effective numerators, and the implications for spanning gravitational effective operators with non-adjoint kinematics.


title: Continuous Isotropic-Nematic transition in compressed rod-like based nanocolloid

abstract: Landau - de Gennes mean field model predicts the discontinuous transition for the Isotropic - Nematic transition, associated with uniaxial and quadrupolar order parameter in three dimensions. This report shows pressure-related dielectric studies for rod-like nematogenic pentylcyanobiphenyl (5CB) and its nanocolloids with BaTiO3 nanoparticles. The scan of dielectric constant revealed the continuous I-N transition in a compressed nanocolloid with a tiny amount of nanoparticles (x=0.1%). For the nematic phase in 5CB and its x=1% nanocolloid the enormous values of dielectric constant and the bending-type long-range pretransitional behavior were detected. The 'shaping' influence of pretransitional fluctuations was also detected for the ionic-related contribution to dielectric permittivity in the isotropic phase. For the high-frequency relaxation domain, this impact was tested for the primary relaxation time and the translational-orientaional decoupling.

categories: cond-mat.soft cond-mat.mtrl-sci physics.atm-clus physics.chem-ph


title: A study on the ephemeral nature of knowledge shared within multiagent systems

abstract: Achieving knowledge sharing within an artificial swarm system could lead to significant development in autonomous multiagent and robotic systems research and realize collective intelligence. However, this is difficult to achieve since there is no generic framework to transfer skills between agents other than a query-response-based approach. Moreover, natural living systems have a "forgetfulness" property for everything they learn. Analyzing such ephemeral nature (temporal memory properties of new knowledge gained) in artificial systems has never been studied in the literature. We propose a behavior tree-based framework to realize a query-response mechanism for transferring skills encoded as the condition-action control sub-flow of that portion of the knowledge between agents to fill this gap. We simulate a multiagent group with different initial knowledge on a foraging mission. While performing basic operations, each robot queries other robots to respond to an unknown condition. The responding robot shares the control actions by sharing a portion of the behavior tree that addresses the queries. Specifically, we investigate the ephemeral nature of the new knowledge gained through such a framework, where the knowledge gained by the agent is either limited due to memory or is forgotten over time. Our investigations show that knowledge grows proportionally with the duration of remembrance, which is trivial. However, we found minimal impact on knowledge growth due to memory. We compare these cases against a baseline that involved full knowledge pre-coded on all agents. We found that knowledge-sharing strived to match the baseline condition by sharing and achieving knowledge growth as a collective system.


title: Non-singlet quark helicity PDFs of the nucleon from pseudo-distributions

abstract: The non-singlet helicity quark parton distribution functions (PDFs) of the nucleon are determined from lattice QCD, by jointly leveraging pseudo-distributions and the distillation spatial smearing paradigm. A Lorentz decomposition of appropriately isolated space-like matrix elements reveals pseudo-distributions that contain information on the leading-twist helicity PDFs, as well as an invariant amplitude that induces an additional $z^2$ contamination of the leading-twist signal. An analysis of the short-distance behavior of the space-like matrix elements using matching coefficients computed to next-to-leading order (NLO) exposes the desired PDF up to this additional $z^2$ contamination. Due to the non-conservation of the axial current, we elect to isolate the helicity PDFs normalized by the nucleon axial charge at the same scale $\mu^2$. The leading-twist helicity PDFs as well as several sources of systematic error, including higher-twist effects, discretization errors, and the aforementioned $z^2$ contaminating amplitude are jointly determined by characterizing the computed pseudo-distribution in a basis of Jacobi polynomials. The Akaike Information Criterion is exploited to effectively average over distinct model parameterizations and cuts on the pseudo-distribution. Encouraging agreement is observed with recent global analyses of each non-singlet quark helicity PDF, notably a rather small non-singlet anti-quark helicity PDF for all quark momentum fractions.


title: On Strong Law of Large Numbers for pairwise independent random variables

abstract: A new version of a Strong Law of Large Numbers is proposed in this note for pairwise independent random variables. The main goal is to relax the assumption on a finite expectation for each term.


title: Mod-Poisson approximation schemes: Applications to credit risk

abstract: We introduce a new numerical approximation method for functionals of factor credit portfolio models based on the theory of mod-$\phi$ convergence and mod-$\phi$ approximation schemes. The method can be understood as providing correction terms to the classic Poisson approximation, where higher order corrections lead to asymptotically better approximations as the number of obligors increases. We test the model empirically on two tasks: the estimation of risk measures ($\mathrm{VaR}$ and $\mathrm{ES}$) and the computation of CDO tranche prices. We compare it to other commonly used methods -- such as the recursive method, the large deviations approximation, the Chen--Stein method and the Monte Carlo simulation technique (with and without importance sampling) -- and we show that it leads to more accurate estimates while requiring less computational time.


title: Experimental Characterization of the Energetics of Low-temperature Surface Reactions

abstract: Astrochemical surface reactions are thought to be responsible for the formation of complex organic molecules, which are of potential importance for the origin of life. In a situation, when the chemical composition of dust surfaces is not precisely known, the fundamental knowledge concerning such reactions gains significance. We describe an experimental technique, which can be used to measure the energy released in reactions of a single pair of reactants. These data can be directly compared with the results of quantum chemical computations leading to unequivocal conclusions regarding the reaction pathways and the presence of energy barriers. It allows for predicting the outcomes of astrochemical surface reactions with higher accuracy compared to that achieved based on gas-phase studies. However, for the highest accuracy, some understanding of the catalytic influence of specific surfaces on the reactions is required. The new method was applied to study the reactions of C atoms with H2, O2, and C2H2. The formation of HCH, CO + O, and triplet cyclic-C3H2 products has been revealed, correspondingly.


title: Identification of suspicious behaviour through anomalies in the tracking data of fishing vessels

abstract: Automated positioning devices can generate large datasets with information on the movement of humans, animals and objects, revealing patterns of movement, hot spots and overlaps among others. This information is obtained after cleaning the data from errors of different natures. However, in the case of Automated Information Systems (AIS), attached to vessels, these errors can come from intentional manipulation of the electronic device. Thus, the analysis of anomalies can provide valuable information on suspicious behaviour. Here, we analyse anomalies of fishing vessel trajectories obtained with the Automatic Identification System. The map of silence anomalies, those occurring when positioning data is absent for more than 24 h, shows that they occur more likely closer to land, observing 94.9% of the anomalies at less than 100 km from the shore. This behaviour suggests the potential of identifying silence anomalies as a proxy for illegal activities. With the increasing availability of high-resolution positioning of vessels and the development of powerful statistical analytical tools, we provide hints on the automatic detection of illegal activities that may help optimise monitoring, control and surveillance measures.


title: Sampling from convex sets with a cold start using multiscale decompositions

abstract: Running a random walk in a convex body $K\subseteq\mathbb{R}^n$ is a standard approach to sample approximately uniformly from the body. The requirement is that from a suitable initial distribution, the distribution of the walk comes close to the uniform distribution $\pi_K$ on $K$ after a number of steps polynomial in $n$ and the aspect ratio $R/r$ (i.e., when $rB_2 \subseteq K \subseteq RB_{2}$). Proofs of rapid mixing of such walks often require the probability density $\eta_0$ of the initial distribution with respect to $\pi_K$ to be at most $\mathrm{poly}(n)$: this is called a "warm start". Achieving a warm start often requires non-trivial pre-processing before starting the random walk. This motivates proving rapid mixing from a "cold start", wherein $\eta_0$ can be as high as $\exp(\mathrm{poly}(n))$. Unlike warm starts, a cold start is usually trivial to achieve. However, a random walk need not mix rapidly from a cold start: an example being the well-known "ball walk". On the other hand, Lov\'asz and Vempala proved that the "hit-and-run" random walk mixes rapidly from a cold start. For the related coordinate hit-and-run (CHR) walk, which has been found to be promising in computational experiments, rapid mixing from a warm start was proved only recently but the question of rapid mixing from a cold start remained open. We construct a family of random walks inspired by classical decompositions of subsets of $\mathbb{R}^n$ into countably many axis-aligned dyadic cubes. We show that even with a cold start, the mixing times of these walks are bounded by a polynomial in $n$ and the aspect ratio. Our main technical ingredient is an isoperimetric inequality for $K$ for a metric that magnifies distances between points close to the boundary of $K$. As a corollary, we show that the CHR walk also mixes rapidly both from a cold start and from a point not too close to the boundary of $K$.


title: Bouncing Universe in Loop Quantum Gravity: full theory calculation

abstract: In Loop Quantum Gravity mathematically rigorous models of full quantum gravity were proposed. In this paper we study a cosmological sector of one of the models describing quantum gravity with positive cosmological constant coupled to massless scalar field. In our previous research we introduced a method to reduce the model to homogeneous-isotropic sector at the quantum level. In this paper we propose a method to restrict to the spatially flat sector. After this restriction the number of degrees of freedom gets substantially reduced. This allows us to make numerical calculations. Remarkably, the resulting model shares some structural similarities with the Loop Quantum Cosmological models and therefore sheds some new light on the relation between Loop Quantum Gravity and Loop Quantum Cosmology. According to our model the evolution of the Universe is periodic. The quantum gravity effects resolve the Big Bang singularity leading to a Big Bounce and cause the Universe to contract after a classical expansion phase (Big Crunch).


title: Double-copy towards supergravity inflation with $\alpha$-attractor models

abstract: Key to the simplicity of supergravity $\alpha$-attractor models of inflation are Volkov-Akulov fermions, often in the form of nilpotent superfields. Here we explore the possibility of using the double-copy to construct theories of Dirac-Born-Infeld-Volkov-Akulov (DBIVA) coupled to supergravity. A color-dual bootstrap admits scattering amplitudes involving pions and vectors through five-point tree-level order by order in mass-dimension, but requires the introduction of a $\text{Tr}(F^3)$ operator. Gauge theories with this operator were recently found to require a tower of higher-derivative operators to be compatible with color-kinematics duality. Adjoint-type double-copy construction at its most conservative seems to require the UV completion of DBIVA + pure Poincar\'{e} supergravity scattering amplitudes to a family of theories involving DBIVA-like particles coupled to Weyl-Einstein supergravity. We also point out an alternative solution to color-dual gauged pions that allows adjoint double-copy without a tower of higher derivative corrections but at the cost of exchange symmetry between scalars.


title: Algorithmic Bias in Machine Learning Based Delirium Prediction

abstract: Although prediction models for delirium, a commonly occurring condition during general hospitalization or post-surgery, have not gained huge popularity, their algorithmic bias evaluation is crucial due to the existing association between social determinants of health and delirium risk. In this context, using MIMIC-III and another academic hospital dataset, we present some initial experimental evidence showing how sociodemographic features such as sex and race can impact the model performance across subgroups. With this work, our intent is to initiate a discussion about the intersectionality effects of old age, race and socioeconomic factors on the early-stage detection and prevention of delirium using ML.


title: Developing a data fusion concept for radar and optical ground based SST station

abstract: As part of the Portuguese Space Surveillance and Tracking (SST) program, a tracking radar and a double Wide Field of View Telescope system (4.3{\deg} x 2.3{\deg}) are being installed at the Pampilhosa da Serra Space Observatory (PASO) in the centre of continental Portugal, complementing an already installed deployable optical sensor for MEO and GEO surveillance. The tracking radar will track space debris in Low Earth Orbit (LEO) up to 1000 km and at the same time the telescope will also have LEO tracking capabilities. This article intends to discuss possible ways to take advantage of having these two sensors at the same location. Using both types of sensors takes advantage of the radar measurements which give precise radial velocity and distance to the objects, while the telescope gives better sky coordinates measurements. With the installation of radar and optical sensors, PASO can extend observation time of space debris and correlate information from optical and radar provenances in real time. During twilight periods both sensors can be used simultaneously to rapidly compute new TLEs for LEO objects, eliminating the time delays involved in data exchange between sites in a large SST network. This concept will not replace the need for a SST network with sensors in multiple locations around the globe, but will provide a more complete set of measurements from a given object passage, and therefore increase the added value for initial orbit determination, or monitoring of reentry campaigns of a given location. PASO will contribute to the development of new solutions to better characterize the objects improving the overall SST capabilities and constitute a perfect site for the development and testing of new radar and optical data fusion algorithms and techniques for space debris monitoring.


title: A Local Search-Based Approach for Set Covering

abstract: In the Set Cover problem, we are given a set system with each set having a weight, and we want to find a collection of sets that cover the universe, whilst having low total weight. There are several approaches known (based on greedy approaches, relax-and-round, and dual-fitting) that achieve a $H_k \approx \ln k + O(1)$ approximation for this problem, where the size of each set is bounded by $k$. Moreover, getting a $\ln k - O(\ln \ln k)$ approximation is hard. Where does the truth lie? Can we close the gap between the upper and lower bounds? An improvement would be particularly interesting for small values of $k$, which are often used in reductions between Set Cover and other combinatorial optimization problems. We consider a non-oblivious local-search approach: to the best of our knowledge this gives the first $H_k$-approximation for Set Cover using an approach based on local-search. Our proof fits in one page, and gives a integrality gap result as well. Refining our approach by considering larger moves and an optimized potential function gives an $(H_k - \Omega(\log^2 k)/k)$-approximation, improving on the previous bound of $(H_k - \Omega(1/k^8))$ (\emph{R.\ Hassin and A.\ Levin, SICOMP '05}) based on a modified greedy algorithm.


title: Physics-Constrained Backdoor Attacks on Power System Fault Localization

abstract: The advances in deep learning (DL) techniques have the potential to deliver transformative technological breakthroughs to numerous complex tasks in modern power systems that suffer from increasing uncertainty and nonlinearity. However, the vulnerability of DL has yet to be thoroughly explored in power system tasks under various physical constraints. This work, for the first time, proposes a novel physics-constrained backdoor poisoning attack, which embeds the undetectable attack signal into the learned model and only performs the attack when it encounters the corresponding signal. The paper illustrates the proposed attack on the real-time fault line localization application. Furthermore, the simulation results on the 68-bus power system demonstrate that DL-based fault line localization methods are not robust to our proposed attack, indicating that backdoor poisoning attacks pose real threats to DL implementations in power systems. The proposed attack pipeline can be easily generalized to other power system tasks.


title: Private Set Generation with Discriminative Information

abstract: Differentially private data generation techniques have become a promising solution to the data privacy challenge -- it enables sharing of data while complying with rigorous privacy guarantees, which is essential for scientific progress in sensitive domains. Unfortunately, restricted by the inherent complexity of modeling high-dimensional distributions, existing private generative models are struggling with the utility of synthetic samples. In contrast to existing works that aim at fitting the complete data distribution, we directly optimize for a small set of samples that are representative of the distribution under the supervision of discriminative information from downstream tasks, which is generally an easier task and more suitable for private training. Our work provides an alternative view for differentially private generation of high-dimensional data and introduces a simple yet effective method that greatly improves the sample utility of state-of-the-art approaches.


title: A Specific $M|G|\infty$ Queue System Busy Period and Busy Cycle Distributions and Parameters

abstract: Solving a Riccati equation, induced by the study of the transient behaviour of the MGInf queue system, a collection of service times distributions is determined. For the MGInf queue, which service time distribution is a member of that collection, the busy period and busy cycle probabilistic studies are performed. In extra, the properties of that distributions collection are deduced and presented.


title: A review of TinyML

abstract: In this current technological world, the application of machine learning is becoming ubiquitous. Incorporating machine learning algorithms on extremely low-power and inexpensive embedded devices at the edge level is now possible due to the combination of the Internet of Things (IoT) and edge computing. To estimate an outcome, traditional machine learning demands vast amounts of resources. The TinyML concept for embedded machine learning attempts to push such diversity from usual high-end approaches to low-end applications. TinyML is a rapidly expanding interdisciplinary topic at the convergence of machine learning, software, and hardware centered on deploying deep neural network models on embedded (micro-controller-driven) systems. TinyML will pave the way for novel edge-level services and applications that survive on distributed edge inferring and independent decision-making rather than server computation. In this paper, we explore TinyML's methodology, how TinyML can benefit a few specific industrial fields, its obstacles, and its future scope.


title: Fairness-aware Regression Robust to Adversarial Attacks

abstract: In this paper, we take a first step towards answering the question of how to design fair machine learning algorithms that are robust to adversarial attacks. Using a minimax framework, we aim to design an adversarially robust fair regression model that achieves optimal performance in the presence of an attacker who is able to add a carefully designed adversarial data point to the dataset or perform a rank-one attack on the dataset. By solving the proposed nonsmooth nonconvex-nonconcave minimax problem, the optimal adversary as well as the robust fairness-aware regression model are obtained. For both synthetic data and real-world datasets, numerical results illustrate that the proposed adversarially robust fair models have better performance on poisoned datasets than other fair machine learning models in both prediction accuracy and group-based fairness measure.


title: Existence of Solutions of Functional-Difference Equations with Proportional Delay on Deformed Generalized Fibonacci Polynomials via Successive Approximation and Bell Polynomials

abstract: In this paper, we study the existence of solutions of the functional difference equations with proportional delay on deformed generalized Fibonacci polynomials via successive approximation method and Bell polynomials. First, we introduce the deformed generalized Fibonacci polynomials and show that the $q$-numbers can be viewed as "bifurcation" of deformed $(s,t)$-numbers. These deformations are closely related to proportional delay. Second, a differential and integral calculus on deformed generalized Fibonacci polynomials is introduced. The main reason for introducing this calculation is to have a framework for solving proportional functional equations and thus obtain the Pell calculus, Jacobsthal calculus, Chebysheff calculus, and Mersenne calculus, among others. We study the convergence of $(s,t)$-exponential type series and its dependence on the deformation parameter. We define the deformed $(s,t)$-exponential functions and we give its analytic and algebraic properties. In addition, we study the $(1,u)$-deformed $(s,t)$-exponential function and use it to prove the existence of functional difference equations with proportional delay. The solution is not unique when it is related to $q$-periodic functions.


title: Avoiding Monotone Arithmetic Progressions in Permutations of Integers

abstract: A permutation of the integers avoiding monotone arithmetic progressions of length $6$ was constructed in (Geneson, 2018). We construct a permutation of the integers avoiding monotone arithmetic progressions of length $5$. We also construct permutations such that $\beta_{\mathbb{Z^+}}(4)=1$, $\beta_{\mathbb{Z}}(3)\geq\frac{3}{10}$, $\beta_{\mathbb{Z}}(4)\geq\frac{2}{3}$ and $\alpha_{\mathbb{Z}}(4)=1$. In (Davis et al, 1977) they constructed a doubly infinite permutation of the positive integers that avoids monotone arithmetic progressions of length $4$. We construct a doubly infinite permutation of the integers avoiding monotone arithmetic progressions of length $5$. A permutation of the positive integers that avoided monotone arithmetic progressions of length $4$ with odd common difference was constructed in (LeSaulnier and Vijay, 2011). We generalise this result and show that for each $k\geq 1$, there exists a permutation of the integers that avoids monotone arithmetic progressions of length $4$ with common difference not divisible by $2^k$. In addition, we also specify the structure of permutations of $[1,n]$ that avoid length $3$ monotone arithmetic progressions mod $n$ as defined in (Davis et al, 1977) and provide a multiplicative result on permutations that avoid length $k$ monotone arithmetic progressions mod $n$.


title: Lightshow: a Python package for generating computational x-ray absorption spectroscopy input files

abstract: First-principles computational spectroscopy is a critical tool for interpreting experiment, performing structure refinement, and developing new physical understanding. Systematically setting up input files for different simulation codes and a diverse class of materials is a challenging task with a very high barrier-to-entry, given the complexities and nuances of each individual simulation package. This task is non-trivial even for experts in the electronic structure field and nearly formidable for non-expert researchers. Lightshow solves this problem by providing a uniform abstraction for writing computational x-ray spectroscopy input files for multiple popular codes, including FEFF, VASP, OCEAN, EXCITING and XSPECTRA. Its extendable framework will also allow the community to easily add new functions and to incorporate new simulation codes.


title: Automated discovery of generalized standard material models with EUCLID

abstract: We extend the scope of our approach for unsupervised automated discovery of material laws (EUCLID) to the case of a material belonging to an unknown class of behavior. To this end, we leverage the theory of generalized standard materials, which encompasses a plethora of important constitutive classes. We show that, based only on full-field kinematic measurements and net reaction forces, EUCLID is able to automatically discover the two scalar thermodynamic potentials, namely, the Helmholtz free energy and the dissipation potential, which completely define the behavior of generalized standard materials. The a priori enforced constraint of convexity on these potentials guarantees by construction stability and thermodynamic consistency of the discovered model; balance of linear momentum acts as a fundamental constraint to replace the availability of stress-strain labeled pairs; sparsity promoting regularization enables the automatic selection of a small subset from a possibly large number of candidate model features and thus leads to a parsimonious, i.e., simple and interpretable, model. Importantly, since model features go hand in hand with the correspondingly active internal variables, sparse regression automatically induces a parsimonious selection of the few internal variables needed for an accurate but simple description of the material behavior. A fully automatic procedure leads to the selection of the hyperparameter controlling the weight of the sparsity promoting regularization term, in order to strike a user-defined balance between model accuracy and simplicity. By testing the method on synthetic data including artificial noise, we demonstrate that EUCLID is able to automatically discover the true hidden material model from a large catalog of constitutive classes, including elasticity, viscoelasticity, elastoplasticity, viscoplasticity, isotropic and kinematic hardening.


title: SLATE: A Sequence Labeling Approach for Task Extraction from Free-form Inked Content

abstract: We present SLATE, a sequence labeling approach for extracting tasks from free-form content such as digitally handwritten (or "inked") notes on a virtual whiteboard. Our approach allows us to create a single, low-latency model to simultaneously perform sentence segmentation and classification of these sentences into task/non-task sentences. SLATE greatly outperforms a baseline two-model (sentence segmentation followed by classification model) approach, achieving a task F1 score of 84.4%, a sentence segmentation (boundary similarity) score of 88.4% and three times lower latency compared to the baseline. Furthermore, we provide insights into tackling challenges of performing NLP on the inking domain. We release both our code and dataset for this novel task.


title: Microprocessor Design with Dynamic Clock Source and Multi-Width Instructions

abstract: This paper introduces a novel 32-bit microprocessor, based on the RISC-V instruction set architecture, is designed,utilising a dynamic clock source to achieve high efficiency, overcoming the limitations of hardware delays. In addition, the microprocessor is also aimed to operate with both base (32-bit) instructions and 16-bit compressed instructions. The testing of the design is carried out using ModelSim with an ideal result.


title: Quantum Risk Analysis: Beyond (Conditional) Value-at-Risk

abstract: Risk measures are important key figures to measure the adequacy of the reserves of a company. The most common risk measures in practice are Value-at-Risk (VaR) and Conditional Value-at-Risk (CVaR). Recently, quantum-based algorithms are introduced to calculate them. These procedures are based on the so-called quantum amplitude estimation algorithm which lead to a quadratic speed up compared to classical Monte-Carlo based methods. Based on these ideas, we construct quantum-based algorithms to calculate alternatives for VaR and CVaR, namely the Expectile Value-at-Risk (EVaR) and the Range Value-at-Risk (RVaR). We construct quantum algorithms to calculate them. These algorithms are based on quantum amplitude estimation. In a case study, we compare their performance with the quantum-based algorithms for VaR and CVaR. We find that all of the algorithms perform sufficiently well on a quantum simulator. Further, the calculations of EVaR and VaR are robust against noise on a real quantum device. This is not the case for CVaR and RVaR.


title: All electromagnetic scattering bodies are matrix-valued oscillators

abstract: In this article, we introduce a new viewpoint on electromagnetic scattering. Tailoring spectral electromagnetic response underpins important applications ranging from sensing to energy conversion, and is flourishing with new ideas from non-Hermitian physics. There exist excellent theoretical tools for modeling such responses, particularly coupled-mode theories and quasinormal-mode expansions. Yet these approaches offer little insight into the outer limits of what is possible when broadband light interacts with any designable nanophotonic pattern. We show that a special scattering matrix, the "$\mathbb{T}$" matrix, can always be decomposed into a set of fictitious Drude--Lorentz oscillators with matrix-valued (spatially nonlocal) coefficients. For any application and any scatterer, the only designable degrees of freedom are these matrix coefficients, implying strong constraints on lineshapes and response functions that had previously been "hidden." To demonstrate the power of this approach, we apply it to near-field radiative heat transfer, where there has been a long-standing gap between the best known designs and theoretical limits to maximum energy exchange. Our new framework identifies upper bounds that come quite close to the current state-of-the-art, and explains why unconventional plasmonic materials should be superior to conventional plasmonic materials. More generally, this approach can be seamlessly applied to high-interest applications across nanophotonics -- including for metasurfaces, imaging, and photovoltaics -- and may be generalizable to unique challenges that arise in acoustic and/or quantum scattering theory.


title: Computing Square Colorings on Bounded-Treewidth and Planar Graphs

abstract: A square coloring of a graph $G$ is a coloring of the square $G^2$ of $G$, that is, a coloring of the vertices of $G$ such that any two vertices that are at distance at most $2$ in $G$ receive different colors. We investigate the complexity of finding a square coloring with a given number of $q$ colors. We show that the problem is polynomial-time solvable on graphs of bounded treewidth by presenting an algorithm with running time $n^{2^{\operatorname{tw} + 4}+O(1)}$ for graphs of treewidth at most $\operatorname{tw}$. The somewhat unusual exponent $2^{\operatorname{tw}}$ in the running time is essentially optimal: we show that for any $\epsilon>0$, there is no algorithm with running time $f(\operatorname{tw})n^{(2-\epsilon)^{\operatorname{tw}}}$ unless the Exponential-Time Hypothesis (ETH) fails. We also show that the square coloring problem is NP-hard on planar graphs for any fixed number $q \ge 4$ of colors. Our main algorithmic result is showing that the problem (when the number of colors $q$ is part of the input) can be solved in subexponential time $2^{O(n^{2/3}\log n)}$ on planar graphs. The result follows from the combination of two algorithms. If the number $q$ of colors is small ($\le n^{1/3}$), then we can exploit a treewidth bound on the square of the graph to solve the problem in time $2^{O(\sqrt{qn}\log n)}$. If the number of colors is large ($\ge n^{1/3}$), then an algorithm based on protrusion decompositions and building on our result for the bounded-treewidth case solves the problem in time $2^{O(n\log n/q)}$.


title: flexBART: Flexible Bayesian regression trees with categorical predictors

abstract: Most implementations of Bayesian additive regression trees (BART) one-hot encode categorical predictors, replacing each one with several binary indicators, one for every level or category. Regression trees built with these indicators partition the discrete set of categorical levels by repeatedly removing one level at a time. Unfortunately, the vast majority of partitions cannot be built with this strategy, severely limiting BART's ability to partially pool data across groups of levels. Motivated by analyses of baseball data and neighborhood-level crime dynamics, we overcame this limitation by re-implementing BART with regression trees that can assign multiple levels to both branches of a decision tree node. To model spatial data aggregated into small regions, we further proposed a new decision rule prior that creates spatially contiguous regions by deleting a random edge from a random spanning tree of a suitably defined network. Our re-implementation, which is available in the flexBART package, often yields improved out-of-sample predictive performance and scales better to larger datasets than existing implementations of BART.


title: Hidden Hearts of Neutrino Active Galaxies

abstract: Recent multimessenger studies have provided evidence for high-energy neutrino sources that are opaque to GeV-TeV gamma rays. We present model-independent studies on the connection between neutrinos and gamma rays in the active galaxy NGC 1068, and find that the neutrinos most likely come from regions within about 30-100 Schwarzschild radii. This is especially the case if neutrinos are produced via the photomeson production process, although the constraints could be alleviated if hadronuclear interactions are dominant. We consider the most favorable neutrino production regions, and discuss coronae, jets, winds, and their interactions with dense material. The results strengthen the importance of understanding dissipation mechanisms near the coronal region and the outflow base. There could be a connection between active galactic nuclei with near-Eddington accretion and tidal disruptions events, in that neutrinos are produced in the obscured vicinity of supermassive black holes.


title: Lower-Form Symmetries

abstract: When gauging a $(d-1)$-form symmetry in $d$ spacetime dimensions, one formally expects the gauged theory to carry a dual $-1$-form symmetry. This work focuses on the study of such symmetries, in particular via the spacetime-filling topological operators that implement them, in two-dimensional field theory (with an eye towards general quantum field theory). As theories with $(d-1)$-form symmetries are known to be equivalent to direct sums of local theories, we review how gauging a $(d-1)$-form symmetry projects onto a single component in this sum, and explain how gauging the resulting $-1$-form symmetry restores the direct sum.


title: Hyperbolic Centroid Calculations for Text Classification

abstract: A new development in NLP is the construction of hyperbolic word embeddings. As opposed to their Euclidean counterparts, hyperbolic embeddings are represented not by vectors, but by points in hyperbolic space. This makes the most common basic scheme for constructing document representations, namely the averaging of word vectors, meaningless in the hyperbolic setting. We reinterpret the vector mean as the centroid of the points represented by the vectors, and investigate various hyperbolic centroid schemes and their effectiveness at text classification.


title: Triple evolution: an important channel in the formation of type Ia supernovae

abstract: Type Ia supernovae (SNe Ia) are thought to be the result of thermonuclear explosions in white dwarfs (WDs). Commonly considered formation pathways include two merging WDs (the double degenerate channel), and a single WD accreting material from a H or He donor (the single degenerate channel). Since the predicted SNe Ia rates from WD in binaries are thought to be insufficient to explain the observed SNe Ia rate, it is important to study similar interactions in higher-order multiple star systems such as triple systems. We use the evolutionary population synthesis code Multiple Stellar Evolution (MSE) to study stellar evolution, binary interactions and gravitational dynamics of the triple-star systems. Also, unlike previous studies, prescriptions are included to simultaneously take into account the single and double degenerate channels, and we consider triples across the entire parameter space (including those with tight inner binaries). We explore the impact of typically ignored or uncertain physics such as fly-bys and CE prescription parameters on our results. The majority of systems undergo circular mergers to explode as SNe Ia, while eccentric collisions contribute to $0.4-4$ per cent of SNe Ia events. The time-integrated SNe Ia rate from the triple channel is found to be $(3.60 \pm 0.04) \times {10^{-4}}\,\mathrm{M_{\odot}}^{-1}$ which is, surprisingly, similar to that of the isolated binary channel where the SNe Ia rate is $(3.2 \pm 0.1) \times {10^{-4}}\,\mathrm{M_{\odot}}^{-1}$. This implies that triples, when considering their entire parameter space, yield an important contribution to the overall SNe Ia rate.


title: The symmetric monoidal 2-category of permutative categories

abstract: We define a tensor product for permutative categories and prove a number of key properties. We show that this product makes the 2-category of permutative categories closed symmetric monoidal as a bicategory.


title: Quantum Persistent Homology for Time Series

abstract: Persistent homology, a powerful mathematical tool for data analysis, summarizes the shape of data through tracking topological features across changes in different scales. Classical algorithms for persistent homology are often constrained by running times and memory requirements that grow exponentially on the number of data points. To surpass this problem, two quantum algorithms of persistent homology have been developed based on two different approaches. However, both of these quantum algorithms consider a data set in the form of a point cloud, which can be restrictive considering that many data sets come in the form of time series. In this paper, we alleviate this issue by establishing a quantum Takens's delay embedding algorithm, which turns a time series into a point cloud by considering a pertinent embedding into a higher dimensional space. Having this quantum transformation of time series to point clouds, then one may use a quantum persistent homology algorithm to extract the topological features from the point cloud associated with the original times series.


title: The strong Feller property of the open KPZ equation

abstract: We prove that the semigroup generated by the open KPZ equation on a bounded spatial interval with Neumann boundary conditions parametrized by real parameters u and v enjoys the strong Feller property. From this we conclude that for u+v>0, min(u,v)>-1 the stationary measure constructed in Corwin and Knizel (arXiv:2103.12253) is the unique stationary measure for the equation. It is expected that the same conclusion holds for all values of u and v.


title: A Panorama Of Physical Mathematics c. 2022

abstract: What follows is a broad-brush overview of the recent synergistic interactions between mathematics and theoretical physics of quantum field theory and string theory. The discussion is forward-looking, suggesting potentially useful and fruitful directions and problems, some old, some new, for further development of the subject. This paper is a much extended version of the Snowmass whitepaper on physical mathematics [1].