title: Resurgence, Conformal Blocks, and the Sum over Geometries in Quantum Gravity

abstract: In two dimensional conformal field theories the limit of large central charge plays the role of a semi-classical limit. Certain universal observables, such as conformal blocks involving the exchange of the identity operator, can be expanded around this classical limit in powers of the central charge $c$. This expansion is an asymptotic series, so - via the same resurgence analysis familiar from quantum mechanics - necessitates the existence of non-perturbative effects. In the case of identity conformal blocks, these new effects have a simple interpretation: the CFT must possess new primary operators with dimension of order the central charge. This constrains the data of CFTs with large central charge in a way that is similar to (but distinct from) the conformal bootstrap. We study this phenomenon in three ways: numerically, analytically using Zamolodchikov's recursion relations, and by considering non-unitary minimal models with large (negative) central charge. In the holographic dual to a CFT$_2$, the expansion in powers of $c$ is the perturbative loop expansion in powers of $\hbar$. So our results imply that the graviton loop expansion is an asymptotic series, whose cure requires the inclusion of new saddle points in the gravitational path integral. In certain cases these saddle points have a simple interpretation: they are conical excesses, particle-like states with negative mass which are not in the physical spectrum but nevertheless appear as non-manifold saddle points that control the asymptotic behaviour of the loop expansion. This phenomenon also has an interpretation in $SL(2,{\mathbb R})$ Chern-Simons theory, where the non-perturbative effects are associated with the non-Teichm\"uller component of the moduli space of flat connections.


title: Slow-fast dynamics in a neurotransmitter release model: delayed response to a time-dependent input signal

abstract: We propose a generalization of the neurotransmitter release model proposed in \emph{Rodrigues et al. (PNAS, 2016)}. We increase the complexity of the underlying slow-fast system by considering a degree-four polynomial as parametrization of the critical manifold. We focus on the possible transient and asymptotic dynamics, exploiting the so-called entry-exit function to describe slow parts of the dynamics. We provide extensive numerical simulations, complemented by numerical bifurcation analysis.


title: Toric 2-group anomalies via cobordism

abstract: 2-group symmetries arise in physics when a 0-form symmetry $G^{[0]}$ and a 1-form symmetry $H^{[1]}$ intertwine, forming a generalised group-like structure. Specialising to the case where both $G^{[0]}$ and $H^{[1]}$ are compact, connected, abelian groups (i.e. tori), we analyse anomalies in such `toric 2-group symmetries' using the cobordism classification. As a warm up example, we use cobordism to study various 't Hooft anomalies (and the phases to which they are dual) in Maxwell theory defined on non-spin manifolds. For our main example, we compute the 5th spin bordism group of $B|\mathbb{G}|$ where $\mathbb{G}$ is any 2-group whose 0-form and 1-form symmetry parts are both $\mathrm{U}(1)$, and $|\mathbb{G}|$ is the geometric realisation of the nerve of the 2-group $\mathbb{G}$. By leveraging a variety of algebraic methods, we show that $\Omega^{\mathrm{Spin}}_5(B|\mathbb{G}|) \cong \mathbb{Z}/m$ where $m$ is the modulus of the Postnikov class for $\mathbb{G}$, and we reproduce the expected physics result for anomalies in 2-group symmetries that appear in 4d QED. Moving down two dimensions, we recap that any (anomalous) $\mathrm{U}(1)$ global symmetry in 2d can be enhanced to a toric 2-group symmetry, before showing that its associated local anomaly reduces to at most an order 2 anomaly, when the theory is defined with a spin structure.


title: The Micro-Paper: Towards cheaper, citable research ideas and conversations

abstract: Academic, peer-reviewed short papers are a common way to present a late-breaking work to the academic community that outlines preliminary findings, research ideas, and novel conversations. By comparison, blogging or writing posts on social media are an unstructured and open way to discuss ideas and start new conversations. Both have limitations in the proliferation of research ideas. The short paper format relies on the conference and journal submission process while blogging does not operate within a structured format or set of expectations at all. However, at times the demand exists for late-breaking ideas and conversations to arise in a raw form or with urgency but should still be archived and recorded in a way that promotes citational honesty and integrity. To address this, I present: The Micro-Paper, as a micro-paper itself. The Micro-Paper is a small, cheap, accessible, digital document that is self-published and archived, akin to a pre-print of a short paper. This meta micro-paper discusses the context, goals, and considerations of micro-paper authoring.


title: Improved Bounds for Permutation Arrays Under Chebyshev Distance

abstract: Permutation arrays under the Chebyshev metric have been considered for error correction in noisy channels. Let $P(n,d)$ denote the maximum size of any array of permutations on $n$ symbols with pairwise Chebyshev distance $d$. We give new techniques and improved upper and lower bounds on $P(n,d)$, including a precise formula for $P(n,2)$.


title: Machine Learning based prediction of Glucose Levels in Type 1 Diabetes Patients with the use of Continuous Glucose Monitoring Data

abstract: A task of vital clinical importance, within Diabetes management, is the prevention of hypo/hyperglycemic events. Increasingly adopted Continuous Glucose Monitoring (CGM) devices offer detailed, non-intrusive and real time insights into a patient's blood glucose concentrations. Leveraging advanced Machine Learning (ML) Models as methods of prediction of future glucose levels, gives rise to substantial quality of life improvements, as well as providing a vital tool for monitoring diabetes. A regression based prediction approach is implemented recursively, with a series of Machine Learning Models: Linear Regression, Hidden Markov Model, Long-Short Term Memory Network. By exploiting a patient's past 11 hours of blood glucose (BG) concentration measurements, a prediction of the 60 minutes is made. Results will be assessed using performance metrics including: Root Mean Squared Error (RMSE), normalised energy of the second-order differences (ESOD) and F1 score. Research of past and current approaches, as well as available dataset, led to the establishment of an optimal training methodology for the CITY dataset, which may be leveraged by future model development. Performance was aligned with similar state-of-art ML models, with LSTM having RMSE of 28.55, however no significant advantage was observed over classical Auto-regressive AR models. Compelling insights into LSTM prediction behaviour could increase public and legislative trust and understanding, progressing the certification of ML models in Artificial Pancreas Systems (APS).


title: An application of Grothendieck theorem to the theory of multicorrelation sequences, multiple recurrence and partition regularity of quadratic equations

abstract: We use Grothendieck theorem to prove a structure theorem for multicorrelation sequences of length two, associated with two (not necessarily commuting) measure preserving actions on a probability space. We use this to deduce a multiple recurrence result concerning products of linear terms, and a partition regularity result of certain systems of quadratic equations, building on the work of Frantzikinakis and Host.


title: Vacuum Entanglement Harvesting in the Ising Model

abstract: The low-energy states of quantum many body systems, such as spin chains, are entangled. Using tensor network computations, we demonstrate a protocol that distills Bell pairs out of the ground state of the prototypical transverse-field Ising model. We explore the behavior of rate of entanglement distillation in various phases, and possible optimizations of the protocol. Finally, we comment on the protocol as we approach quantum criticality defining a continuum field theory.


title: The Pioneer Venus Orbiter Catalog of Gamma-Ray Bursts

abstract: The Pioneer Venus Orbiter (PVO) Gamma-ray burst experiment detected 318 gamma-ray bursts over about 14 years between 1978 and 1992 with near $4\pi$ coverage. This data set complements BATSE by determining the properties of the brightest gamma-ray bursts. PVO places a constrains on the slope of the bright end of the Log N-Log P distribution. The slope is -1.52$\pm 0.15$.


title: On the algebraicity of germs of meromorphic functions

abstract: In this article we prove that every germ of analytic meromorphic function at $(\mathbb{C}^{2},0)$ is equivalent, under the right composition by a germ of biholomorphism, to a germ of algebraic meromorphic function. An analogous result is also true for real analytic meromorphic functions.


title: Quark mass dependence of the low-lying charmed mesons at one loop in HH$\chi$PT

abstract: We study the light and heavy quark mass dependence of the low-lying charmed mesons in the framework of one-loop HH$\chi$PT. The low energy constants are determined by analyzing the available lattice data from different LQCD simulations. Model selection tools are implemented to determine the relevant parameters as required by data with a higher precision. Discretization and other effects due to the charm quark mass setting are discussed.


title: FLINT: A Platform for Federated Learning Integration

abstract: Cross-device federated learning (FL) has been well-studied from algorithmic, system scalability, and training speed perspectives. Nonetheless, moving from centralized training to cross-device FL for millions or billions of devices presents many risks, including performance loss, developer inertia, poor user experience, and unexpected application failures. In addition, the corresponding infrastructure, development costs, and return on investment are difficult to estimate. In this paper, we present a device-cloud collaborative FL platform that integrates with an existing machine learning platform, providing tools to measure real-world constraints, assess infrastructure capabilities, evaluate model training performance, and estimate system resource requirements to responsibly bring FL into production. We also present a decision workflow that leverages the FL-integrated platform to comprehensively evaluate the trade-offs of cross-device FL and share our empirical evaluations of business-critical machine learning applications that impact hundreds of millions of users.


title: RLSS: Real-time, Decentralized, Cooperative, Networkless Multi-Robot Trajectory Planning using Linear Spatial Separations

abstract: Trajectory planning for multiple robots in shared environments is a challenging problem especially when there is limited communication available or no central entity. In this article, we present Real-time planning using Linear Spatial Separations, or RLSS: a real-time decentralized trajectory planning algorithm for cooperative multi-robot teams in static environments. The algorithm requires relatively few robot capabilities, namely sensing the positions of robots and obstacles without higher-order derivatives and the ability of distinguishing robots from obstacles. There is no communication requirement and the robots' dynamic limits are taken into account. RLSS generates and solves convex quadratic optimization problems that are kinematically feasible and guarantees collision avoidance if the resulting problems are feasible. We demonstrate the algorithm's performance in real-time in simulations and on physical robots. We compare RLSS to two state-of-the-art planners and show empirically that RLSS does avoid deadlocks and collisions in forest-like and maze-like environments, significantly improving prior work, which result in collisions and deadlocks in such environments.


title: A Data-Driven Polynomial Chaos Expansion-Based Method for Microgrid Ramping Support Capability Assessment and Enhancement

abstract: Microgrids (MGs) are regarded as effective solutions to provide ramping support to the main grid during heavy-load periods. Nevertheless, the uncertain renewable energy sources (RES) and electric vehicles (EVs) integrated into an MG may affect the ramping support capability (RSC) of an MG. To address the challenge, this paper develops a data-driven sparse polynomial chaos expansion (DDSPCE)-based method to accurately and efficiently evaluate the hour-by-hour RSC of an MG. The DDSPCE model is further exploited to identify the most influential random inputs, based on which a scheduling method of BESS is developed to enhance the RSC of an MG. Simulation results in the modified IEEE 33-bus MG shows that the proposed method takes less than 3 minutes for evaluating and enhancing the hourly RSC.


title: Density of generic metric spaces in the Gromov--Hausdorff class

abstract: In this paper we prove that generic metric spaces are everywhere dense in the proper class of all metric spaces endowed with the Gromov-Hausdorff distance.


title: Permutation tests for assessing potential non-linear associations between treatment use and multivariate clinical outcomes

abstract: In many psychometric applications, the relationship between the mean of an outcome and a quantitative covariate is too complex to be described by simple parametric functions; instead, flexible nonlinear relationships can be incorporated using penalized splines. Penalized splines can be conveniently represented as a linear mixed effects model (LMM), where the coefficients of the spline basis functions are random effects. The LMM representation of penalized splines makes the extension to multivariate outcomes relatively straightforward. In the LMM, no effect of the quantitative covariate on the outcome corresponds to the null hypothesis that a fixed effect and a variance component are both zero. Under the null, the usual asymptotic chi-square distribution of the likelihood ratio test for the variance component does not hold. Therefore, we propose three permutation tests for the likelihood ratio test statistic: one based on permuting the quantitative covariate, the other two based on permuting residuals. We compare via simulation the Type I error rate and power of the three permutation tests obtained from joint models for multiple outcomes, as well as a commonly used parametric test. The tests are illustrated using data from a stimulant use disorder psychosocial clinical trial.


title: On homomorphic encryption using abelian groups: Classical security analysis

abstract: In [15], Leonardi and Ruiz-Lopez propose an additively homomorphic public key encryption scheme whose security is expected to depend on the hardness of the learning homomorphism with noise problem (LHN). Choosing parameters for their primitive requires choosing three groups $G$, $H$, and $K$. In their paper, Leonardi and Ruiz-Lopez claim that, when $G$, $H$, and $K$ are abelian, then their public key cryptosystem is not quantum secure. In this paper, we study security for finite abelian groups $G$, $H$, and $K$ in the classical case. Moreover, we study quantum attacks on instantiations with solvable groups.


title: Stiffness matrix method for modelling wave propagation in arbitrary multilayers

abstract: Natural and engineered media usually involve combinations of solid, fluid and porous layers, and accurate and stable modelling of wave propagation in such complex multilayered media is fundamental to evaluating their properties with wave-based methods. Here we present a general stiffness matrix method for modelling waves in arbitrary multilayers. The method first formulates stiffness matrices for individual layers based on the governing wave equations for fluids and solids, and the Biot theory for porous materials. Then it utilises the boundary conditions considered at layer interfaces to assemble the layer matrices into a global system of equations, to obtain solutions for reflection and transmission coefficients at any incidence. Its advantage over existing methods is manifested by its unconditional computational stability, and its validity is proved by experimental validations on single solid sheets, porous layers, and porous-solid-porous battery electrodes. This establishes a powerful theoretical platform that allows us to develop advanced wave-based methods to quantitatively characterise properties of the layers, especially for layers of porous materials.


title: On critical thresholds for hyperbolic balance law systems

abstract: We review the theoretical development in the study of critical thresholds for hyperbolic balance laws. The emphasis is on two classes of systems: Euler-Poisson-alignment (EPA) systems and hyperbolic relaxation systems. We start with an introduction to the `Critical Threshold Phenomena' and study some nonlocal PDE systems, which are important from modeling point of view.


title: Epimorphic quantum subgroups and coalgebra codominions

abstract: We prove a number of results concerning monomorphisms, epimorphisms, dominions and codominions in categories of coalgebras. Examples include: (a) representation-theoretic characterizations of monomorphisms in all of these categories that when the Hopf algebras in question are commutative specialize back to the familiar necessary and sufficient conditions (due to Bien-Borel) that a linear algebraic subgroup be epimorphically embedded; (b) the fact that a morphism in the category of (cocommutative) coalgebras, (cocommutative) bialgebras, and a host of categories of Hopf algebras has the same codominion in any of these categories which contain it; (c) the invariance of the Hopf algebra or bialgebra (co)dominion construction under field extension, again mimicking the well-known corresponding algebraic-group result; (d) the fact that surjections of coalgebras, bialgebras or Hopf algebras are regular epimorphisms (i.e. coequalizers) provided the codomain is cosemisimple; (e) in particular, the fact that embeddings of compact quantum groups are equalizers in the category thereof, generalizing analogous results on (plain) compact groups; (f) coalgebra-limit preservation results for scalar-extension functors (e.g. extending scalars along a field extension $\Bbbk\le \Bbbk'$ is a right adjoint on the category of $\Bbbk$-coalgebras).


title: Derivation of the Weizs\"acker Density Functional from Probability Theory

abstract: We demonstrate that the Weizs\"acker potential is an exact term in the universal functional in density functional theory (DFT) for the ground state of a system with $N$ electrons. This proof uses no approximations or physical arguments, and follows from the form of kinetic energy of the ground state and probability theory. We also examine the form of the other terms in the kinetic energy.


title: Comparisons of two-stage models for flood mitigation of electrical substations

abstract: We compare stochastic programming and robust optimization decision models for informing the deployment of ad hoc flood mitigation measures to protect electrical substations prior to an imminent and uncertain hurricane. In our models, the first stage captures the deployment of a fixed quantity of flood mitigation resources, and the second stage captures the operation of a potentially degraded power grid with the primary goal of minimizing load shed. To model grid operation, we introduce adaptations of the DC and LPAC power flow approximation models that feature relatively complete recourse by way of an indicator variable. We apply our models to a pair of geographically realistic flooding case studies, one based on Hurricane Harvey and the other on Tropical Storm Imelda. We investigate the effect of the mitigation budget, the choice of power flow model, and the uncertainty perspective on the optimal mitigation strategy. Our results indicate the mitigation budget and uncertainty perspective are impactful whereas choosing between the DC and LPAC power flow models is of little to no consequence. To validate our models, we assess the performance of the mitigation solutions they prescribe in an AC power flow model.


title: Probabilistic Trajectory Planning for Static and Interaction-aware Dynamic Obstacle Avoidance

abstract: Collision-free mobile robot navigation is an important problem for many robotics applications, especially in cluttered environments. In such environments, obstacles can be static or dynamic. Dynamic obstacles can additionally be interactive, i.e. changing their behavior according to the behavior of other entities. The perception and prediction modules of robotic systems create probabilistic representations and predictions of such environments. In this paper, we propose a novel prediction representation for interactive behaviors of dynamic obstacles. Then, we propose a real-time trajectory planning algorithm that probabilistically avoids collisions against static and interactive dynamic obstacles, and produces dynamically feasible trajectories. During decision making, our planner simulates the interactive behavior of dynamic obstacles in response to the actions planning robot takes. We explicitly minimize collision probabilities against static and dynamic obstacles using a multi-objective search formulation. Then, we formulate a quadratic program to safely fit a smooth trajectory to the search result while attempting to preserve the collision probabilities computed during search. We evaluate our algorithm extensively in simulations to show its performance under different environments and configurations using 78000 randomly generated cases. We compare its performance to a state-of-the-art trajectory planning algorithm for static and dynamic obstacle avoidance using 4500 randomly generated cases. We show that our algorithm achieves up to 3.8x success rate using as low as 0.18x time the baseline uses. We implement our algorithm for physical quadrotors, and show its feasibility in the real world.


title: A Novel Approach to Participant-Level Influence Calculation in Viral Cascades

abstract: Efforts to model viral cascades provide a vital view into how they form and spread. A range of methods, such as Multivariate Hawkes Processes or network inference algorithms, attempt to decompose cascades into constituent components via inference -- by constructing an underlying network of influence, or by generating direct pairwise influence measures between cascade participants. While these approaches provide detailed models of the generative mechanics underlying event sequences, their sophistication often comes at a steep computational cost that prevents them from being applied to large-scale datasets. This is particularly the case for Multivariate Hawkes Processes. In this work, we propose a novel, scalable method for generating individual-level influence measures across a set of cascades. Across real-world datasets, we demonstrate the alignment of this approach's calculations with the influence inferred by established methods, as well as the computational scalability of this method.


title: Thermodynamics and logarithmic corrections of symmergent black holes

abstract: In this paper, we study quantum gravity effect on the symmergent black hole which is derived from quadratic-curvature gravity. To do so, we use the Klein-Gordon equation which is modified by generalized uncertainty principle (GUP). After solving the field equations, we examine the symmergent black hole's tunneling and Hawking temperature. We explore the graphs of the temperature through the outer horizon to check the GUP influenced conditions of symmergent black hole stability. We also explain how symmergent black holes behave physically when influenced by quantum gravity. The impacts of thermal fluctuations on the thermodynamics of a symmergent black holes spacetime are examined. We first evaluate the model under consideration's thermodynamic properties, such as its Hawking temperature, angular velocity, entropy, and electric potential. We evaluate the logarithmic correction terms for entropy around the equilibrium state in order to examine the impacts of thermal fluctuations. In the presence of these correction terms, we also examine the viability of the first law of thermodynamics. Finally, we evaluate the system's stability using the Hessian matrix and heat capacity. It is determined that a stable model is generated by logarithmic corrections arising from thermal fluctuations.


title: Chemical abundances in Seyfert galaxies X. Sulphur abundance estimates

abstract: For the first time, the sulphur abundance relative to hydrogen (S/H) in the Narrow Line Regions of a sample of Seyfert 2 nuclei (Sy 2s) has been derived via direct estimation of the electron temperature. Narrow emission line intensities from the SDSS DR17 [in the wavelength range 3000 < $\lambda$ < 9100] and from the literature for a sample of 45 nearby ($z$ < 0.08) Sy 2s were considered. Our direct estimates indicate that Sy 2s have similar temperatures in the gas region where most of the S+ ions are located in comparison with that of star-forming regions (SFs). However, Sy 2s present higher temperature values ($\sim$10000 K) in the region where most of the S++ ions are located relative to that of SFs. We derive the total sulphur abundance in the range of 6.2 < 12 + log(S/H) < 7.5, corresponding to 0.1-1.8 times the solar value. These sulphur abundance values are lower by $\sim$0.4 dex than those derived in SFs with similar metallicity, indicating a distinct chemical enrichment of the ISM for these object classes. The S/O values for our Sy 2 sample present an abrupt ($\sim$0.5 dex) decrease with increasing O/H for the high metallicity regime [12 + log(O/H) > 8.7)], what is not seen for the SFs. However, when our Sy 2 estimates are combined with those from a large sample of star-forming regions, we did not find any dependence between S/O and O/H.


title: Rigorous computation of solutions of semi-linear PDEs on unbounded domains via spectral methods

abstract: In this article we present a general method to rigorously prove existence of strong solutions to a large class of autonomous semi-linear PDEs in a Hilbert space $H^{l}\subset H^{s}(\mathbb{R}^{m})$ ($s\geq1$) via computer-assisted proofs. Our approach is fully spectral and uses Fourier series to approximate functions in $H^{l}$ as well as bounded linear operators from $L^{2}$ to $H^{l}$. In particular, we construct approximate inverses of differential operators via Fourier series approximations. Combining this construction with a Newton-Kantorovich approach, we develop a numerical method to prove existence of strong solutions. To do so, we introduce a finite-dimensional trace theorem from which we build smooth functions with support on a hypercube. The method is then generalized to systems of PDEs with extra equations/parameters such as eigenvalue problems. As an application, we prove the existence of a traveling wave (soliton) in the Kawahara equation in $H^{4}(\mathbb{R})$ as well as eigenpairs of the linearization about the soliton. These results allow us to prove the stability of the aforementioned traveling wave.


title: Causal quartets: Different ways to attain the same average treatment effect

abstract: The average causal effect can often be best understood in the context of its variation. We demonstrate with two sets of four graphs, all of which represent the same average effect but with much different patterns of heterogeneity. As with the famous correlation quartet of Anscombe (1973), these graphs dramatize the way in which real-world variation can be more complex than simple numerical summaries. The graphs also give insight into why the average effect is often much smaller than anticipated.


title: autofz: Automated Fuzzer Composition at Runtime

abstract: Fuzzing has gained in popularity for software vulnerability detection by virtue of the tremendous effort to develop a diverse set of fuzzers. Thanks to various fuzzing techniques, most of the fuzzers have been able to demonstrate great performance on their selected targets. However, paradoxically, this diversity in fuzzers also made it difficult to select fuzzers that are best suitable for complex real-world programs, which we call selection burden. Communities attempted to address this problem by creating a set of standard benchmarks to compare and contrast the performance of fuzzers for a wide range of applications, but the result was always a suboptimal decision - the best-performing fuzzer on average does not guarantee the best outcome for the target of a user's interest. To overcome this problem, we propose an automated, yet non-intrusive meta-fuzzer, called autofz, to maximize the benefits of existing state-of-the-art fuzzers via dynamic composition. To an end user, this means that, instead of spending time on selecting which fuzzer to adopt, one can simply put all of the available fuzzers to autofz, and achieve the best, optimal result. The key idea is to monitor the runtime progress of the fuzzers, called trends (similar in concept to gradient descent), and make a fine-grained adjustment of resource allocation. This is a stark contrast to existing approaches - autofz deduces a suitable set of fuzzers of the active workload in a fine-grained manner at runtime. Our evaluation shows that autofz outperforms any best-performing individual fuzzers in 11 out of 12 available benchmarks and beats the best, collaborative fuzzing approaches in 19 out of 20 benchmarks. Moreover, on average, autofz found 152% more bugs than individual fuzzers, and 415% more bugs than collaborative fuzzing.


title: A proof using B\"ohme's Lemma that no Petersen family graph has a flat embedding

abstract: Sachs and Conway-Gordon used linking number and a beautiful counting argument to prove that every graph in the Petersen family is intrinsically linked (have a pair of disjoint cycles that form a nonsplit link in every spatial embedding) and thus each family member has no flat spatial embedding (an embedding for which every cycle bounds a disk with interior disjoint from the graph). We give an alternate proof that every Petersen family graph has no flat embedding by applying B\"{o}hme's Lemma and the Jordan-Brouwer Separation Theorem.


title: Denoising diffusion algorithm for inverse design of microstructures with fine-tuned nonlinear material properties

abstract: In this paper, we introduce a denoising diffusion algorithm to discover microstructures with nonlinear fine-tuned properties. Denoising diffusion probabilistic models are generative models that use diffusion-based dynamics to gradually denoise images and generate realistic synthetic samples. By learning the reverse of a Markov diffusion process, we design an artificial intelligence to efficiently manipulate the topology of microstructures to generate a massive number of prototypes that exhibit constitutive responses sufficiently close to designated nonlinear constitutive responses. To identify the subset of microstructures with sufficiently precise fine-tuned properties, a convolutional neural network surrogate is trained to replace high-fidelity finite element simulations to filter out prototypes outside the admissible range. The results of this study indicate that the denoising diffusion process is capable of creating microstructures of fine-tuned nonlinear material properties within the latent space of the training data. More importantly, the resulting algorithm can be easily extended to incorporate additional topological and geometric modifications by introducing high-dimensional structures embedded in the latent space. The algorithm is tested on the open-source mechanical MNIST data set. Consequently, this algorithm is not only capable of performing inverse design of nonlinear effective media but also learns the nonlinear structure-property map to quantitatively understand the multiscale interplay among the geometry and topology and their effective macroscopic properties.


title: Entanglement Wedge Cross Section Growth During Thermalization

abstract: Motivated by exploring the thermalization process in relativistic and non-relativistic holographic field theories after a non-local quench, we investigate some features in the time evolution of the entanglement wedge cross section (EWCS). This quantity is a possible holographic dual to some non-local information measures such as entanglement of purification. In particular, we focus on the time dependence of EWCS during black hole formation in D+2 dimensional AdS spacetime as well as geometries with Lifshitz and hyperscaling violating exponents. A combination of analytic and numerical results for large symmetric strip shaped boundary subregions shows that the scaling of EWCS at early times only depends on the Lifshitz exponent. In addition, this early growth regime is followed by a linear growth regime whose velocity depends on the dimensions of spacetime, the Lifshitz exponent, and the hyperscaling parameter. This velocity is the same as the entanglement velocity and for nontrivial dynamical exponent depends on the temperature of the final equilibrium state.


title: 3D Surface Reconstruction in the Wild by Deforming Shape Priors from Synthetic Data

abstract: Reconstructing the underlying 3D surface of an object from a single image is a challenging problem that has received extensive attention from the computer vision community. Many learning-based approaches tackle this problem by learning a 3D shape prior from either ground truth 3D data or multi-view observations. To achieve state-of-the-art results, these methods assume that the objects are specified with respect to a fixed canonical coordinate frame, where instances of the same category are perfectly aligned. In this work, we present a new method for joint category-specific 3D reconstruction and object pose estimation from a single image. We show that one can leverage shape priors learned on purely synthetic 3D data together with a point cloud pose canonicalization method to achieve high-quality 3D reconstruction in the wild. Given a single depth image at test time, we first transform this partial point cloud into a learned canonical frame. Then, we use a neural deformation field to reconstruct the 3D surface of the object. Finally, we jointly optimize object pose and 3D shape to fit the partial depth observation. Our approach achieves state-of-the-art reconstruction performance across several real-world datasets, even when trained only on synthetic data. We further show that our method generalizes to different input modalities, from dense depth images to sparse and noisy LIDAR scans.


title: Moving Target Detection via Multi-IRS-Aided OFDM Radar

abstract: An intelligent reflecting surface (IRS) consists of passive reflective elements capable of altering impinging waveforms. The IRS-aided radar systems have recently been shown to improve detection and estimation performance by exploiting the target information collected via non-line-of-sight paths. However, the waveform design problem for an IRS-aided radar has remained relatively unexplored. In this paper, we consider a multi-IRS-aided orthogonal frequency-division multiplexing (OFDM) radar and study the theoretically achievable accuracy of target detection. In addition, we jointly design the OFDM signal and IRS phase-shifts to optimize the target detection performance via an alternating optimization approach. To this end, we formulate the IRS phase-shift design problem as a unimodular bi-quadratic program which is tackled by a computationally cost-effective approach based on power-method-like iterations. Numerical experiments illustrate that our proposed joint design of IRS phase-shifts and the OFDM code improves the detection performance in comparison with conventional OFDM radar.


title: Prospects of Searches for Anomalous Hadronic Higgs Boson Decays at the LHeC

abstract: The future Large Hadron Electron Collider (LHeC) would enable collisions of an intense electron beam with either protons or heavy ions at the High Luminosity-Large Hadron Collider (HL- LHC). With a center of mass energy greater than a TeV and a high luminosity, the LHeC would be a new-generation collider for deep-inelastic scattering (DIS) and a significant facility for precise Higgs physics, complementing pp and electron-positron colliders. Anomalous hadronic decay signatures of the Higgs Boson, such as those into three or more partons, are challenging to detect at the LHC due to high background rates, but they may be observable at the LHeC. This paper presents the expected sensitivity of the LHeC for the decay channels $H \rightarrow 3jets$ and $H \rightarrow 4jets$, assuming an integrated luminosity of 1 ab$^{-1}$. Our analysis indicates that upper limits on the branching ratio of the Higgs Boson of 0.35 and 0.17 at 95% confidence limit for these processes are possible.


title: Quantum Electromagnetic Rate Theory of the Electron and the Meaning of the Fine-Structure Constant

abstract: In a previous work, the meaning of the Planck constant $h = \left( e^2 / 2 \alpha \right) \sqrt{\mu_0 / \epsilon_0}$, accomplished by solving Maxwell's electrodynamics laws with specific electric $1 / \tau_C = 1 / R_q C_q$ and magnetic $1/ \tau_L = R_q / L_q$ quantum rates for the ground-state dynamics, was reinterpreted. $R_q$, $C_q$ and $L_q$ are the resistance, capacitance and inductance quantum of the ground-state dynamics, respectively. Based on this quantum electromagnetic rate approach, here it is demonstrated that the intrinsic massless character that complies with Dirac quantum electrodynamics of the electron in its ground-state energy level is a consequence of a quantum electromagnetic phase coherence between $\tau_C$ and $\tau_L$ time constants of the oscillatory motion. The quantum mechanical uncertainties associated with $h$ are interpreted to be a consequence of perturbing the inherent electromagnetic phase coherence of the ground state with the loss of half of a byte of electromagnetic information per ``experimental'' perturbation, with the fine-structure constant $\alpha = \sqrt{\pi / 2 \left( \tau_L / \tau_C \right)} \sim 1/137$ playing a prominent role in the phenomenon.


title: Quantum Rate as a Spectroscopic Methodology for Measuring the Electronic Structure of Quantum Dots

abstract: The electronic structure of nanoscale moieties (such as molecules and quantum dots) governs the properties and performance of the bottom-up fabricated devices based on their assemblies. Accordingly, simple and faster experimental methods that permit to resolve the electronic density of states of these nanoscale materials (of which quantum dots are a particular example) are of great importance for the development of man-made nanoscale interfaces and nanoelectronics. In the present work, we propose the quantum rate spectroscopy methodology (and introduce the fundamental physical basis of this technique) as a tool for resolving the electronic structure of zero-dimensional (quantum dot) structures at room temperature and environmental pressure conditions. This method is simpler than the traditional methods based on scanning tunneling microscopy. This spectroscopic approach based on the quantum rate theory was demonstrated for CdTe quantum dots, and was used to measure a spectrum that provides discrete energy levels that are consistent with those obtained by tunneling microscopy measurements.


title: Elliptic PDE learning is provably data-efficient

abstract: PDE learning is an emerging field that combines physics and machine learning to recover unknown physical systems from experimental data. While deep learning models traditionally require copious amounts of training data, recent PDE learning techniques achieve spectacular results with limited data availability. Still, these results are empirical. Our work provides theoretical guarantees on the number of input-output training pairs required in PDE learning. Specifically, we exploit randomized numerical linear algebra and PDE theory to derive a provably data-efficient algorithm that recovers solution operators of 3D uniformly elliptic PDEs from input-output data and achieves an exponential convergence rate of the error with respect to the size of the training dataset with an exceptionally high probability of success.


title: Using the Julia framework to teach quantum entanglement

abstract: Entanglement, a phenomenon that has puzzled scientists since its discovery, has been extensively studied by many researchers through both theoretical and experimental aspect of both quantum information processing (QIP) and quantum mechanics (QM). But how can entanglement be most effectively taught to computer science students compared to applied physics students?. in this educational pursuit, we propose using Yao.jl, a quantum computing framework written in Julia for teaching entanglement to graduate computer science students attending a quantum computing class at Johns Hopkins University. David Mermin's just enough QM for them to understand and develop algorithms in quantum computation [Mer98, Mer03] idea aligns with the purpose of this work. Additionally, the authors of the study Improving students understanding of QM via the Stern-Gerlach experiment (SGE) argue that this experiment should be a key part of any QM education. Here, we explore the concept of entanglement and it's quantification in various quantum information processing experiments, including one inequality-free form of Bell's theorem: (1) Superposition via the Hadamard, (2) Bell-state generation and (3) GHZ state generation. The utilisation of circuit diagrams and code fragmentsis a central theme in this work's philosophy.


title: Edge-Based Detection and Localization of Adversarial Oscillatory Load Attacks Orchestrated By Compromised EV Charging Stations

abstract: In this paper, we investigate an edge-based approach for the detection and localization of coordinated oscillatory load attacks initiated by exploited EV charging stations against the power grid. We rely on the behavioral characteristics of the power grid in the presence of interconnected EVCS while combining cyber and physical layer features to implement deep learning algorithms for the effective detection of oscillatory load attacks at the EVCS. We evaluate the proposed detection approach by building a real-time test bed to synthesize benign and malicious data, which was generated by analyzing real-life EV charging data collected during recent years. The results demonstrate the effectiveness of the implemented approach with the Convolutional Long-Short Term Memory model producing optimal classification accuracy (99.4\%). Moreover, our analysis results shed light on the impact of such detection mechanisms towards building resiliency into different levels of the EV charging ecosystem while allowing power grid operators to localize attacks and take further mitigation measures. Specifically, we managed to decentralize the detection mechanism of oscillatory load attacks and create an effective alternative for operator-centric mechanisms to mitigate multi-operator and MitM oscillatory load attacks against the power grid. Finally, we leverage the created test bed to evaluate a distributed mitigation technique, which can be deployed on public/private charging stations to average out the impact of oscillatory load attacks while allowing the power system to recover smoothly within 1 second with minimal overhead.


title: On the Extraction of Amicable Pairs Between Ibn Sina-al-Baghdadi and al-Kashi

abstract: In this note, we briefly analyse the works on the extractions of amicable pairs in some medieval Arabic literature. In this note, we briefly analyse the works Ibn Sina (c.980-1037), al-Baghdadi (c.980-1037) and al-Kashi (d. c. 1429) on the extraction of amicable pairs. We compare these works in the view of the well-known Thabit ibn Qurra's rule. Contrary to the belief that these authors are merely stating variations of the famous Thabit ibn Qurra's (d. 901) rule in different manners, we show that their statements are different. We prove that the statements of both ibn Sina and al-Baghdadi led to an unsolved conjecture, while al-Kashi's statement led to the wrong amicable pair (2024, 2296). The conjecture implied by ibn Sina and al-Baghdadi statements requires testing big primes corresponding to the known 51 Mersenne primes, and we show that no counterexamples yet exist.


title: Collisional- and photo-excitations of Ca IV including strong 3.2 $\mu$m emission line

abstract: We report a detailed study of features of electron-impact excitation (EIE) of Ca IV for the first time using the relativistic Breit-Pauli R-Matrix method with a large close coupling wavefunction expansion of 54 fine structure levels belonging to n=2,3,4 complexes. Our study predicts presence of a strong 3.2 $\mu$m emission line in IR. The EIE collision strength ($\Omega$) shows extensive resonances with enhanced background resulting in an effective collision strength ($\gamma$) of 2.2 at about 10,000 K that increases to 9.66 around 300,000 K. The present results include collision strength of all 1431 excitations among the 54 levels and effective collision strength for a limited number of transitions of possible interest. We have found extensive resonances in the low energy region, convergence of the resonances, and of the partial waves with the 54 levels wavefunction. At higher energy, the collision strength decreases beyond the resonance region for forbidden transitions, is almost constant or decreases slowly for dipole-allowed transitions with low oscillator strengths, and rises with Bethe-Coulomb behavior of ln(E)to almost a plateau for transitions with high f-values.


title: Don't be fooled: label leakage in explanation methods and the importance of their quantitative evaluation

abstract: Feature attribution methods identify which features of an input most influence a model's output. Most widely-used feature attribution methods (such as SHAP, LIME, and Grad-CAM) are "class-dependent" methods in that they generate a feature attribution vector as a function of class. In this work, we demonstrate that class-dependent methods can "leak" information about the selected class, making that class appear more likely than it is. Thus, an end user runs the risk of drawing false conclusions when interpreting an explanation generated by a class-dependent method. In contrast, we introduce "distribution-aware" methods, which favor explanations that keep the label's distribution close to its distribution given all features of the input. We introduce SHAP-KL and FastSHAP-KL, two baseline distribution-aware methods that compute Shapley values. Finally, we perform a comprehensive evaluation of seven class-dependent and three distribution-aware methods on three clinical datasets of different high-dimensional data types: images, biosignals, and text.


title: Multiple Imputation for Non-Monotone Missing Not at Random Binary Data using the No Self-Censoring Model

abstract: Although approaches for handling missing data from longitudinal studies are well-developed when the patterns of missingness are monotone, fewer methods are available for non-monotone missingness. Moreover, the conventional missing at random (MAR) assumption -- a natural benchmark for monotone missingness -- does not model realistic beliefs about non-monotone missingness processes (Robins and Gill, 1997). This has provided the impetus for alternative non-monotone missing not at random (MNAR) mechanisms. The "no self-censoring" (NSC) model is such a mechanism and assumes the probability an outcome variable is missing is independent of its value when conditioning on all other possibly missing outcome variables and their missingness indicators. As an alternative to "weighting" methods that become computationally demanding with increasing number of outcome variables, we propose a multiple imputation approach under NSC. We focus on the case of binary outcomes and present results of simulation and asymptotic studies to investigate the performance of the proposed imputation approach. We describe a related approach to sensitivity analysis to departure from NSC. Finally, we discuss the relationship between MAR and NSC and prove that one is not a special case of the other. The proposed methods are illustrated with application to a substance use disorder clinical trial.


title: Maximizing Miner Revenue in Transaction Fee Mechanism Design

abstract: Transaction fee mechanism design is a new decentralized mechanism design problem where users bid for space on the blockchain. Several recent works showed that the transaction fee mechanism design fundamentally departs from classical mechanism design. They then systematically explored the mathematical landscape of this new decentralized mechanism design problem in two settings: in the plain setting where no cryptography is employed, and in a cryptography-assisted setting where the rules of the mechanism are enforced by a multi-party computation protocol. Unfortunately, in both settings, prior works showed that if we want the mechanism to incentivize honest behavior for both users as well as miners (possibly colluding with users), then the miner revenue has to be zero. Although adopting a relaxed, approximate notion of incentive compatibility gets around this zero miner-revenue limitation, the scaling of the miner revenue is nonetheless poor. In this paper, we show that if we make a mildly stronger reasonable-world assumption than prior works, we can circumvent the known limitations on miner revenue, and design auctions that generate optimal miner revenue. We also systematically explore the mathematical landscape of transaction fee mechanism design under the new reasonable-world and demonstrate how such assumptions can alter the feasibility and infeasibility landscape.


title: AGN STORM 2. III. A NICER view of the variable X-ray obscurer in Mrk 817

abstract: The AGN STORM 2 collaboration targeted the Seyfert 1 galaxy Mrk 817 for a year-long multiwavelength, coordinated reverberation mapping campaign including HST, Swift, XMM-Newton, NICER, and ground-based observatories. Early observations with NICER and XMM revealed an X-ray state ten times fainter than historical observations, consistent with the presence of a new dust-free, ionized obscurer. The following analysis of NICER spectra attributes variability in the observed X-ray flux to changes in both the column density of the obscurer by at least one order of magnitude ($N_\mathrm{H}$ ranges from $2.85\substack{+0.48\\ -0.33} \times 10^{22}\text{ cm}^{-2}$ to $25.6\substack{+3.0\\ -3.5} \times 10^{22} \text{ cm}^{-2}$) and the intrinsic continuum brightness (the unobscured flux ranges from $10^{-11.8}$ to $10^{-10.5}$ erg s$^{-1}$ cm$^{-2}$ ). While the X-ray flux generally remains in a faint state, there is one large flare during which Mrk 817 returns to its historical mean flux. The obscuring gas is still present at lower column density during the flare but it also becomes highly ionized, increasing its transparency. Correlation between the column density of the X-ray obscurer and the strength of UV broad absorption lines suggests that the X-ray and UV continua are both affected by the same obscuration, consistent with a clumpy disk wind launched from the inner broad line region.


title: Neutron Star Mergers and the Quark Matter Equation of State

abstract: As neutron stars merge they can approach very high nuclear density. Here, we summarized recent results for the evolution and gravitational wave emission from binary neutron star mergers using a a variety of nuclear equations of state with and without a crossover transition to quark matter. We discuss how the late time gravitational wave emission from binary neutron star mergers may possibly reveal the existence of a crossover transition to quark matter.


title: Measurement of decay-time-dependent $\textit{CP}$ violation in $B^0 \to J/\psi K^0_S$ decays using 2019-2021 Belle II data

abstract: We report a measurement of the mixing-induced and direct $\textit{CP}$ violation parameters $S_{\text{CP}}$ and $A_{\text{CP}}$ from $B^0 \to J/\psi K^0_S$ decays reconstructed by the Belle II experiment at the SuperKEKB asymmetric-energy electron-positron collider. The data, collected at the center-of-mass energy of the $\Upsilon(4S)$ resonance, correspond to $190\text{fb}^{-1}$ of integrated luminosity. We measure ${S_{\text{CP}} = 0.720\pm0.062\pm0.016}$ and $A_{\text{CP}} = 0.094\pm0.044^{+0.042}_{-0.017}$, where the first uncertainties are statistical and the second systematic. In the Standard Model, $S_{\text{CP}}$ equals $\sin(2\phi_1)$ to a good approximation.


title: Multi-Agent Reinforcement Learning with Common Policy for Antenna Tilt Optimization

abstract: This paper presents a method for optimizing wireless networks by adjusting cell parameters that affect both the performance of the cell being optimized and the surrounding cells. The method uses multiple reinforcement learning agents that share a common policy and take into account information from neighboring cells to determine the state and reward. In order to avoid impairing network performance during the initial stages of learning, agents are pre-trained in an earlier phase of offline learning. During this phase, an initial policy is obtained using feedback from a static network simulator and considering a wide variety of scenarios. Finally, agents can intelligently tune the cell parameters of a test network by suggesting small incremental changes, slowly guiding the network toward an optimal configuration. The agents propose optimal changes using the experience gained with the simulator in the pre-training phase, but they can also continue to learn from current network readings after each change. The results show how the proposed approach significantly improves the performance gains already provided by expert system-based methods when applied to remote antenna tilt optimization. The significant gains of this approach have truly been observed when compared with a similar method in which the state and reward do not incorporate information from neighboring cells.


title: Simultaneous Sizing of a Rocket Family with Embedded Trajectory Optimization

abstract: A sizing procedure for a rocket family capable of fulfilling multiple missions considering the commonality is presented. The procedure aims to take full advantage of sharing a common part across multiple rockets whose payload capability differs entirely, ultimately leading to cost savings in designing a rocket family. As the foundation of the proposed rocket family design method, an integrated sizing method with trajectory optimization for a single rocket is first formulated as a single optimal control problem. This formulation can find the optimal sizing along with trajectory results in a tractable manner. Building upon this formulation, the proposed rocket family design method is developed to (1) determine the feasible design space of the rocket family design problem (i.e., commonality check); and (2) if a feasible design space is determined to exist, minimize the cost function within that feasible space by solving an optimization problem in which the optimal control problem is embedded as subproblems. A case study is carried out on a rocket family composed of expendable and reusable launchers to demonstrate the novelty of the proposed procedure.


title: A deep learning approach for patchless estimation of ultrasound quantitative parametric image with uncertainty measurement

abstract: Quantitative ultrasound (QUS) aims to find properties of scatterers which are related to the tissue microstructure. Among different QUS parameters, scatterer number density has been found to be a reliable biomarker for detecting different abnormalities. The homodyned K-distribution (HK-distribution) is a model for the probability density function of the ultrasound echo amplitude that can model different scattering scenarios but requires a large number of samples to be estimated reliably. Parametric images of HK-distribution parameters can be formed by dividing the envelope data into small overlapping patches and estimating parameters within the patches independently. This approach imposes two limiting constraints, the HK-distribution parameters are assumed to be constant within each patch, and each patch requires enough independent samples. In order to mitigate those problems, we employ a deep learning approach to estimate parametric images of scatterer number density (related to HK-distribution shape parameter) without patching. Furthermore, an uncertainty map of the network's prediction is quantified to provide insight about the confidence of the network about the estimated HK parameter values.


title: The Dormant Neuron Phenomenon in Deep Reinforcement Learning

abstract: In this work we identify the dormant neuron phenomenon in deep reinforcement learning, where an agent's network suffers from an increasing number of inactive neurons, thereby affecting network expressivity. We demonstrate the presence of this phenomenon across a variety of algorithms and environments, and highlight its effect on learning. To address this issue, we propose a simple and effective method (ReDo) that Recycles Dormant neurons throughout training. Our experiments demonstrate that ReDo maintains the expressive power of networks by reducing the number of dormant neurons and results in improved performance.


title: NoPPA: Non-Parametric Pairwise Attention Random Walk Model for Sentence Representation

abstract: We propose a novel non-parametric/un-trainable language model, named Non-Parametric Pairwise Attention Random Walk Model (NoPPA), to generate sentence embedding only with pre-trained word embedding and pre-counted word frequency. To the best we know, this study is the first successful attempt to break the constraint on bag-of-words assumption with a non-parametric attention mechanism. We evaluate our method on eight different downstream classification tasks. The experiment results show that NoPPA outperforms all kinds of bag-of-words-based methods in each dataset and provides a comparable or better performance than the state-of-the-art non-parametric methods on average. Furthermore, visualization supports that NoPPA can understand contextual topics, common phrases, and word causalities. Our model is available at https://github.com/JacksonWuxs/NoPPA.


title: Underdetermined elliptic PDE on asymptotically Euclidean manifolds, and generalizations

abstract: We study underdetermined elliptic linear partial differential operators $P$ on asymptotically Euclidean manifolds, such as the divergence operator on 1-forms or symmetric 2-tensors. Suitably interpreted, these are instances of (weighted) totally characteristic differential operators on a compact manifold with boundary whose principal symbols are surjective but not injective. We study the equation $P u=f$ when $f$ has a generalized Taylor expansion at $r=\infty$, that is, a full asymptotic expansion into terms with radial dependence $r^{-i z}(\log r)^k$ with $(z,k)\in\mathbb{C}\times\mathbb{N}_0$ up to rapidly decaying remainders. We construct a solution $u$ whose asymptotic behavior at $r=\infty$ is optimal in that the index set of exponents $(z,k)$ arising in its asymptotic expansion is as small as possible. On the flipside, we show that there is an infinite-dimensional nullspace of $P$ consisting of smooth tensors whose expansions at $r=\infty$ contain nonzero terms $r^{-i z}(\log r)^k$ for any desired index set of $(z,k)\in\mathbb{C}\times\mathbb{N}_0$. Applications include sharp solvability results for the divergence equation on 1-forms or symmetric 2-tensors on asymptotically Euclidean spaces, as well as a regularity improvement in a gluing construction for the constraint equations in general relativity recently introduced by the author.


title: Model structures, n-Gorenstein flat modules and PGF dimensions

abstract: Given a non-negative integer $n$ and a ring $R$ with identity, we construct an abelian model structure on the category of left $R$-modules where the class of cofibrant objects coincides with $\GF_n(R)$ the class of left $R$-modules with Gorenstein flat dimension less than $n$, the class of fibrant objects coincides with $\flat_n(R)^\perp$ the right $\Ext$-orthogonal class of left $R$-modules with flat dimension less than $n$, and the class of trivial objects coincides with $\PGF(R)^\perp$ the right $\Ext$-orthogonal class of PGF left $R$-modules recently introduced by \v{S}aroch and \v{S}\v{t}ov\'{\i}\v{c}ek. The homotopy category of this model structure is triangulated equivalent to the stable category $\underline{\GF(R)\cap\cot(R)}$ modulo flat-cotorsion modules and it is compactly generated when $R$ has finite global Gorenstein projective dimension. The second part of this paper deals with the PGF dimension of modules and rings. Our results suggest that this dimension could serve as an alternative definition of the Gorenstein projective dimension. We show, among other things, that ($n$-)perfect rings can be characterized in terms of Gorenstein homological dimensions, similar to the classical ones, and the global Gorenstein projective dimension coincides with the global PGF dimension.


title: Generative Invertible Quantum Neural Networks

abstract: Invertible Neural Networks (INN) have become established tools for the simulation and generation of highly complex data. We propose a quantum-gate algorithm for a Quantum Invertible Neural Network (QINN) and apply it to the LHC data of jet-associated production of a Z-boson that decays into leptons, a standard candle process for particle collider precision measurements. We compare the QINN's performance for different loss functions and training scenarios. For this task, we find that a hybrid QINN matches the performance of a significantly larger purely classical INN in learning and generating complex data.


title: Linking Streets in OpenStreetMap to Persons in Wikidata

abstract: Geographic web sources such as OpenStreetMap (OSM) and knowledge graphs such as Wikidata are often unconnected. An example connection that can be established between these sources are links between streets in OSM to the persons in Wikidata they were named after. This paper presents StreetToPerson, an approach for connecting streets in OSM to persons in a knowledge graph based on relations in the knowledge graph and spatial dependencies. Our evaluation shows that we outperform existing approaches by 26 percentage points. In addition, we apply StreetToPerson on all OSM streets in Germany, for which we identify more than 180,000 links between streets and persons.


title: Monochromatic arithmetic progressions in automatic sequences with group structure

abstract: We determine asymptotic growth rates for lengths of monochromatic arithmetic progressions in certain automatic sequences. In particular, we look at (one-sided) fixed points of aperiodic, primitive, bijective substitutions and spin substitutions, which are generalisations of the Thue--Morse and Rudin--Shapiro substitutions, respectively. For such infinite words, we show that there exists a subsequence $\left\{d_n\right\}$ of differences along which the maximum length $A(d_n)$ of a monochromatic arithmetic progression (with fixed difference $d_n$) grows at least polynomially in $d_n$. Explicit upper and lower bounds for the growth exponent can be derived from a finite group associated to the substitution. As an application, we obtain bounds for a van der Waerden-type number for a class of colourings parametrised by the size of the alphabet and the length of the substitution.


title: Differentially Private Algorithms for the Stochastic Saddle Point Problem with Optimal Rates for the Strong Gap

abstract: We show that convex-concave Lipschitz stochastic saddle point problems (also known as stochastic minimax optimization) can be solved under the constraint of $(\epsilon,\delta)$-differential privacy with \emph{strong (primal-dual) gap} rate of $\tilde O\big(\frac{1}{\sqrt{n}} + \frac{\sqrt{d}}{n\epsilon}\big)$, where $n$ is the dataset size and $d$ is the dimension of the problem. This rate is nearly optimal, based on existing lower bounds in differentially private stochastic optimization. Specifically, we prove a tight upper bound on the strong gap via novel implementation and analysis of the recursive regularization technique repurposed for saddle point problems. We show that this rate can be attained with $O\big(\min\big\{\frac{n^2\epsilon^{1.5}}{\sqrt{d}}, n^{3/2}\big\}\big)$ gradient complexity, and $\tilde{O}(n)$ gradient complexity if the loss function is smooth. As a byproduct of our method, we develop a general algorithm that, given a black-box access to a subroutine satisfying a certain $\alpha$ primal-dual accuracy guarantee with respect to the empirical objective, gives a solution to the stochastic saddle point problem with a strong gap of $\tilde{O}(\alpha+\frac{1}{\sqrt{n}})$. We show that this $\alpha$-accuracy condition is satisfied by standard algorithms for the empirical saddle point problem such as the proximal point method and the stochastic gradient descent ascent algorithm. Further, we show that even for simple problems it is possible for an algorithm to have zero weak gap and suffer from $\Omega(1)$ strong gap. We also show that there exists a fundamental tradeoff between stability and accuracy. Specifically, we show that any $\Delta$-stable algorithm has empirical gap $\Omega\big(\frac{1}{\Delta n}\big)$, and that this bound is tight. This result also holds also more specifically for empirical risk minimization problems and may be of independent interest.


title: Imputing Knowledge Tracing Data with Subject-Based Training via LSTM Variational Autoencoders Frameworks

abstract: The issue of missing data poses a great challenge on boosting performance and application of deep learning models in the {\em Knowledge Tracing} (KT) problem. However, there has been the lack of understanding on the issue in the literature. %are not sufficient studies tackling this problem. In this work, to address this challenge, we adopt a subject-based training method to split and impute data by student IDs instead of row number splitting which we call non-subject based training. The benefit of subject-based training can retain the complete sequence for each student and hence achieve efficient training. Further, we leverage two existing deep generative frameworks, namely variational Autoencoders (VAE) and Longitudinal Variational Autoencoders (LVAE) frameworks and build LSTM kernels into them to form LSTM-VAE and LSTM LVAE (noted as VAE and LVAE for simplicity) models to generate quality data. In LVAE, a Gaussian Process (GP) model is trained to disentangle the correlation between the subject (i.e., student) descriptor information (e.g., age, gender) and the latent space. The paper finally compare the model performance between training the original data and training the data imputed with generated data from non-subject based model VAE-NS and subject-based training models (i.e., VAE and LVAE). We demonstrate that the generated data from LSTM-VAE and LSTM-LVAE can boost the original model performance by about 50%. Moreover, the original model just needs 10% more student data to surpass the original performance if the prediction model is small and 50\% more data if the prediction model is large with our proposed frameworks.


title: CMB constraints on the early universe independent of late time cosmology

abstract: The CMB is a powerful probe of early-universe physics but is only observed after passing through large-scale structure, which changes the observed spectra in important model-dependent ways. This is of particular concern given recent claims of significant discrepancies with low redshift data sets when a standard $\Lambda$CDM model is assumed. By using empirical measurements of the CMB lensing reconstruction, combined with weak priors on the smoothness of the lensing spectrum, foregrounds, and shape of any additional integrated Sachs-Wolfe effect, we show how the early-universe parameters can be constrained from CMB observations almost independently of the late-time evolution. This provides a way to test new models for early-universe physics, and measure early-universe parameters, independently of late-time cosmology. Using the empirical measurement of lensing keeps the size of the effect of late-time modelling uncertainty under control, leading to only modest increases in error bars of most early-universe parameters compared to assuming a full evolution model. We provide robust constraints on early-$\Lambda$CDM model parameters using the latest Planck PR4 data and show that with future data marginalizing over a single lensing amplitude parameter is sufficient to remove sensitivity to late-time cosmological model only if the spectral shape matches predictions.


title: A generalized conditional gradient method for multiobjective composite optimization problems

abstract: This article deals with multiobjective composite optimization problems that consist of simultaneously minimizing several objective functions, each of which is composed of a combination of smooth and non-smooth functions. To tackle these problems, we propose a generalized version of the conditional gradient method, also known as Frank-Wolfe method. The method is analyzed with three step size strategies, including Armijo-type, adaptive, and diminishing step sizes. We establish asymptotic convergence properties and iteration-complexity bounds, with and without convexity assumptions on the objective functions. Numerical experiments illustrating the practical behavior of the methods are presented.


title: Spiral Galaxies

abstract: Our vision of galaxies has changed significantly since the era of large galaxy surveys like the Sloan, which gave us extensive statistics with millions of galaxies. The Hubble sequence classification described in Chapter 1 still remains very widely used but has been enriched with broad categories based on color that indicate the recent formation of stars: the red sequence of passive galaxies, consisting solely of old stars, and the blue cloud of galaxies with active star formation. Chapter 3 focused on galaxies with a dominant spheroid, which are generally found on the red sequence. One of the key questions about the evolution of galaxies that remain to be answered is to understand how a galaxy can suddenly pass from one category to another. This is a graduate-student level lecture, not a review article.


title: Vizing's edge-recoloring conjecture holds

abstract: In 1964 Vizing proved that starting from any k-edge-coloring of a graph G one can reach, using only Kempe swaps, a ($\Delta$ + 1)-edge-coloring of G where $\Delta$ is the maximum degree of G. One year later he conjectured that one can also reach a $\Delta$-edge-coloring of G if there exists one. Bonamy et. al proved that the conjecture is true for the case of triangle-free graphs. In this paper we prove the conjecture for all graphs.


title: Semantic Mechanical Search with Large Vision and Language Models

abstract: Moving objects to find a fully-occluded target object, known as mechanical search, is a challenging problem in robotics. As objects are often organized semantically, we conjecture that semantic information about object relationships can facilitate mechanical search and reduce search time. Large pretrained vision and language models (VLMs and LLMs) have shown promise in generalizing to uncommon objects and previously unseen real-world environments. In this work, we propose a novel framework called Semantic Mechanical Search (SMS). SMS conducts scene understanding and generates a semantic occupancy distribution explicitly using LLMs. Compared to methods that rely on visual similarities offered by CLIP embeddings, SMS leverages the deep reasoning capabilities of LLMs. Unlike prior work that uses VLMs and LLMs as end-to-end planners, which may not integrate well with specialized geometric planners, SMS can serve as a plug-in semantic module for downstream manipulation or navigation policies. For mechanical search in closed-world settings such as shelves, we compare with a geometric-based planner and show that SMS improves mechanical search performance by 24% across the pharmacy, kitchen, and office domains in simulation and 47.1% in physical experiments. For open-world real environments, SMS can produce better semantic distributions compared to CLIP-based methods, with the potential to be integrated with downstream navigation policies to improve object navigation tasks. Code, data, videos, and the appendix are available: https://sites.google.com/view/semantic-mechanical-search


title: Millikelvin measurements of permittivity and loss tangent of lithium niobate

abstract: Lithium Niobate is an electro-optic material with many applications in microwave signal processing, communication, quantum sensing, and quantum computing. In this letter, we present findings on evaluating the complex electromagnetic permittivity of lithium niobate at millikelvin temperatures. Measurements are carried out using a resonant-type method with a superconducting radio-frequency (SRF) cavity operating at 7 GHz and designed to characterize anisotropic dielectrics. The relative permittivity tensor and loss tangent are measured at 50 mK with unprecedented accuracy.


title: Galactic bulge-black hole co-evolution, feeding and feedback of AGNs

abstract: Since the 1990s, we have known that there is a super-massive black hole in every galaxy, and that its mass is proportional to the mass of the bulge. To better understand how these black holes were formed, in symbiosis with their galaxies, we will look at their demography, the scaling relations between properties of black holes and host galaxies, and their evolution in a Hubble time. Observations at high angular resolution now allow us to enter the black hole sphere of influence, to see the molecular tori evoked in the AGN unification paradigm, and to understand the feeding processes of black holes. These are often accompanied by feedback processes, which moderate the formation of galaxies. This is a graduate-student level lecture, not a review article.


title: Deep Graph Stream SVDD: Anomaly Detection in Cyber-Physical Systems

abstract: Our work focuses on anomaly detection in cyber-physical systems. Prior literature has three limitations: (1) Failing to capture long-delayed patterns in system anomalies; (2) Ignoring dynamic changes in sensor connections; (3) The curse of high-dimensional data samples. These limit the detection performance and usefulness of existing works. To address them, we propose a new approach called deep graph stream support vector data description (SVDD) for anomaly detection. Specifically, we first use a transformer to preserve both short and long temporal patterns of monitoring data in temporal embeddings. Then we cluster these embeddings according to sensor type and utilize them to estimate the change in connectivity between various sensors to construct a new weighted graph. The temporal embeddings are mapped to the new graph as node attributes to form weighted attributed graph. We input the graph into a variational graph auto-encoder model to learn final spatio-temporal representation. Finally, we learn a hypersphere that encompasses normal embeddings and predict the system status by calculating the distances between the hypersphere and data samples. Extensive experiments validate the superiority of our model, which improves F1-score by 35.87%, AUC by 19.32%, while being 32 times faster than the best baseline at training and inference.


title: A fully packaged multi-channel cryogenic module for optical quantum memories

abstract: Realizing a quantum network will require long-lived quantum memories with optical interfaces incorporated into a scalable architecture. Color centers quantum emitters in diamond have emerged as a promising memory modality due to their optical properties and compatibility with scalable integration. However, developing a scalable color center emitter module requires significant advances in the areas of heterogeneous integration and cryogenically compatible packaging. Here we report on a cryogenically stable and network compatible quantum-emitter module for memory use. This quantum-emitter module is a significant development towards advanced quantum networking applications such as distributed sensing and processing.


title: On Waring's problem: beyond Freiman's theorem

abstract: Let $k_i\in \mathbb N$ $(i\ge 1)$ satisfy $2\le k_1\le k_2\le \ldots $. Freiman's theorem shows that when $j\in \mathbb N$, there exists $s=s(j)\in \mathbb N$ such that all large integers $n$ are represented in the form $n=x_1^{k_j}+x_2^{k_{j+1}}+\ldots +x_s^{k_{j+s-1}}$, with $x_i\in \mathbb N$, if and only if $\sum k_i^{-1}$ diverges. We make this theorem effective by showing that, for each fixed $j$, it suffices to impose the condition \[ \sum_{i=j}^\infty k_i^{-1}\ge 2\log k_j +4.71. \] More is established when the sequence of exponents forms an arithmetic progression. Thus, for example, when $k\in \mathbb N$ and $s\ge 100(k+1)^2$, all large integers $n$ are represented in the form $n=x_1^k+x_2^{k+1}+\ldots +x_s^{k+s-1}$, with $x_i\in \mathbb N$.


title: Pre-Finetuning for Few-Shot Emotional Speech Recognition

abstract: Speech models have long been known to overfit individual speakers for many classification tasks. This leads to poor generalization in settings where the speakers are out-of-domain or out-of-distribution, as is common in production environments. We view speaker adaptation as a few-shot learning problem and propose investigating transfer learning approaches inspired by recent success with pre-trained models in natural language tasks. We propose pre-finetuning speech models on difficult tasks to distill knowledge into few-shot downstream classification objectives. We pre-finetune Wav2Vec2.0 on every permutation of four multiclass emotional speech recognition corpora and evaluate our pre-finetuned models through 33,600 few-shot fine-tuning trials on the Emotional Speech Dataset.


title: Automatic and quantitative measurement of spectrometer aberrations

abstract: The performance of electron energy-loss spectrometers can often be limited by their electron-optical aberrations. Due to recent developments in high energy-resolution and momentum-resolved electron energy loss spectroscopy (EELS), there is renewed interest in optimizing the performance of such spectrometers. For example, the "{\omega}-q" mode of momentum-resolved EELS, which uses a small convergence angle and requires aligning diffraction spots with a slot aperture, presents a challenge for realigning the spectrometer after adjusting the projection lenses. Automated and robust alignment can greatly benefit such a process. The first step towards this goal is automatic and quantitative measurement of spectrometer aberrations. Here we demonstrate the measurement of geometric aberrations and distortions in EELS within a monochromated scanning transmission electron microscope(STEM). To better understand the results, we present a wave mechanical simulation of the experiment. Using the measured aberration and distortion coefficients as inputs to the simulation, we find a good match between the simulation and experiment, verifying the approach used in the simulation, allowing us to assess the accuracy of the measurements. Understanding the errors and inaccuracies in the procedure can guide further progress in aberration measurement and correction for new spectrometer developments.


title: Automatic Classification of Symmetry of Hemithoraces in Canine and Feline Radiographs

abstract: Purpose: Thoracic radiographs are commonly used to evaluate patients with confirmed or suspected thoracic pathology. Proper patient positioning is more challenging in canine and feline radiography than in humans due to less patient cooperation and body shape variation. Improper patient positioning during radiograph acquisition has the potential to lead to a misdiagnosis. Asymmetrical hemithoraces are one of the indications of obliquity for which we propose an automatic classification method. Approach: We propose a hemithoraces segmentation method based on Convolutional Neural Networks (CNNs) and active contours. We utilized the U-Net model to segment the ribs and spine and then utilized active contours to find left and right hemithoraces. We then extracted features from the left and right hemithoraces to train an ensemble classifier which includes Support Vector Machine, Gradient Boosting and Multi-Layer Perceptron. Five-fold cross-validation was used, thorax segmentation was evaluated by Intersection over Union (IoU), and symmetry classification was evaluated using Precision, Recall, Area under Curve and F1 score. Results: Classification of symmetry for 900 radiographs reported an F1 score of 82.8% . To test the robustness of the proposed thorax segmentation method to underexposure and overexposure, we synthetically corrupted properly exposed radiographs and evaluated results using IoU. The results showed that the models IoU for underexposure and overexposure dropped by 2.1% and 1.2%, respectively. Conclusions: Our results indicate that the proposed thorax segmentation method is robust to poor exposure radiographs. The proposed thorax segmentation method can be applied to human radiography with minimal changes.


title: A Bouncing Cosmology from VECROs

abstract: We argue that, in the same way that in a black hole space-time VECROs will form in order to cancel the gravitational effects of a collapsing mass shell and prevent the formation of a singularity, in a contracting universe a gas of VECROs will form to hold up the contraction, prevent a Big Crunch singularity, and lead to a nonsingular cosmological bounce.


title: Finite volume effects in the extended linear sigma model via low momentum cutoff

abstract: Contrary to field theoretical calculations in the thermodynamic limit where the volume is assumed to be infinitely large, the heavy-ion collisions always carry the effects of finite size. A sufficiently small system size is expected to affect the thermodynamic quantities and the phase diagram of the strongly interacting matter. To study these effects one can take into account the finite spatial extent of the system within the framework of an effective model too, via the restriction of the momentum integrals using discretization or in a simplified case using a low momentum cutoff. We investigated the effects of the finite volume in a vector meson extended Polyakov quark-meson model and found a remarkable change in the thermodynamics and the phase transition, especially in the location of the critical endpoint.


title: Map-and-Conquer: Energy-Efficient Mapping of Dynamic Neural Nets onto Heterogeneous MPSoCs

abstract: Heterogeneous MPSoCs comprise diverse processing units of varying compute capabilities. To date, the mapping strategies of neural networks (NNs) onto such systems are yet to exploit the full potential of processing parallelism, made possible through both the intrinsic NNs' structure and underlying hardware composition. In this paper, we propose a novel framework to effectively map NNs onto heterogeneous MPSoCs in a manner that enables them to leverage the underlying processing concurrency. Specifically, our approach identifies an optimal partitioning scheme of the NN along its `width' dimension, which facilitates deployment of concurrent NN blocks onto different hardware computing units. Additionally, our approach contributes a novel scheme to deploy partitioned NNs onto the MPSoC as dynamic multi-exit networks for additional performance gains. Our experiments on a standard MPSoC platform have yielded dynamic mapping configurations that are 2.1x more energy-efficient than the GPU-only mapping while incurring 1.7x less latency than DLA-only mapping.


title: Robot Behavior-Tree-Based Task Generation with Large Language Models

abstract: Nowadays, the behavior tree is gaining popularity as a representation for robot tasks due to its modularity and reusability. Designing behavior-tree tasks manually is time-consuming for robot end-users, thus there is a need for investigating automatic behavior-tree-based task generation. Prior behavior-tree-based task generation approaches focus on fixed primitive tasks and lack generalizability to new task domains. To cope with this issue, we propose a novel behavior-tree-based task generation approach that utilizes state-of-the-art large language models. We propose a Phase-Step prompt design that enables a hierarchical-structured robot task generation and further integrate it with behavior-tree-embedding-based search to set up the appropriate prompt. In this way, we enable an automatic and cross-domain behavior-tree task generation. Our behavior-tree-based task generation approach does not require a set of pre-defined primitive tasks. End-users only need to describe an abstract desired task and our proposed approach can swiftly generate the corresponding behavior tree. A full-process case study is provided to demonstrate our proposed approach. An ablation study is conducted to evaluate the effectiveness of our Phase-Step prompts. Assessment on Phase-Step prompts and the limitation of large language models are presented and discussed.


title: Proximity-induced charge density wave in a metallic system

abstract: Non-local quasiparticles in correlated quantum materials can exhibit the proximity effect. For instance, in metal superconductor hybrid systems, the leaking of cooper pairs to the metallic region induces superconducting correlations in a standard metal. This paper explores the proximity effects of charge density wave (CDW) on metal using the attractive Hubbard model, which harbors CDW state at half-filling. Our fully self-consistent calculations demonstrate that periodic charge modulations develop in a metal due to the tunneling of finite momentum particle-hole pairs from the CDW region. Upon doping the normal region, the commensurate CDW changes to an incommensurate one by incorporating regular phase shifts. Furthermore, the induced CDW produces a soft gap in the density of states and thus can be detected in tunneling experiments. We discuss our results in light of recent reports of such proximity-induced charge order in different two-dimensional heterostructures.


title: Diagonally Square Root Integrable Kernels in System Identification

abstract: In recent years, the reproducing kernel Hilbert space (RKHS) theory has played a crucial role in linear system identification. The core of a RKHS is the associated kernel characterizing its properties. Accordingly, this work studies the class of diagonally square root integrable (DSRI) kernels. We demonstrate that various well-known stable kernels introduced in system identification belong to this category. Moreover, it is shown that any DSRI kernel is also stable and integrable. We look into certain topological features of the RKHSs associated with DSRI kernels, particularly the continuity of linear operators defined on the respective RKHSs. For the stability of a Gaussian process centered at a stable impulse response, we show that the necessary and sufficient condition is the diagonally square root integrability of the corresponding kernel. Furthermore, we elaborate on this result by providing proper interpretations.


title: A Riemann--Hilbert approach to computing the inverse spectral map for measures supported on disjoint intervals

abstract: We develop a numerical method for computing with orthogonal polynomials that are orthogonal on multiple, disjoint intervals for which analytical formulae are currently unknown. Our approach exploits the Fokas--Its--Kitaev Riemann--Hilbert representation of the orthogonal polynomials to produce an $\mathrm{O}(N)$ method to compute the first $N$ recurrence coefficients. The method can also be used for pointwise evaluation of the polynomials and their Cauchy transforms throughout the complex plane. The method encodes the singularity behavior of weight functions using weighted Cauchy integrals of Chebyshev polynomials. This greatly improves the efficiency of the method, outperforming other available techniques. We demonstrate the fast convergence of our method and present applications to integrable systems and approximation theory.


title: CATNIPS: Collision Avoidance Through Neural Implicit Probabilistic Scenes

abstract: We introduce a transformation of a Neural Radiance Field (NeRF) to an equivalent Poisson Point Process (PPP). This PPP transformation allows for rigorous quantification of uncertainty in NeRFs, in particular, for computing collision probabilities for a robot navigating through a NeRF environment. The PPP is a generalization of a probabilistic occupancy grid to the continuous volume and is fundamental to the volumetric ray-tracing model underlying radiance fields. Building upon this PPP representation, we present a chance-constrained trajectory optimization method for safe robot navigation in NeRFs. Our method relies on a voxel representation called the Probabilistic Unsafe Robot Region (PURR) that spatially fuses the chance constraint with the NeRF model to facilitate fast trajectory optimization. We then combine a graph-based search with a spline-based trajectory optimization to yield robot trajectories through the NeRF that are guaranteed to satisfy a user-specific collision probability. We validate our chance constrained planning method through simulations and hardware experiments, showing superior performance compared to prior works on trajectory planning in NeRF environments.


title: Simulation toolkits at the molecular scale for trans-scale thermal signaling

abstract: Thermogenesis is a physiological activity of releasing heat that originates from intracellular biochemical reactions. Recent experimental studies discovered that externally applied heat changes intracellular signaling locally, resulting in global changes in cell morphology and signaling. Therefore, we hypothesize an inevitable contribution of thermogenesis in modulating biological system functions throughout the spatial scales from molecules to individual organisms. One key issue examining the hypothesis, namely, the "trans-scale thermal signaling," resides at the molecular scale on the amount of heat released via individual reactions and by which mechanism the heat is employed for cellular function operations. This review introduces atomistic simulation tool kits for studying the mechanisms of thermal signaling processes at the molecular scale that even state-of-the-art experimental methodologies of today are hardly accessible. We consider biological processes and biomolecules as potential heat sources in cells, such as ATP/GTP hydrolysis and multiple biopolymer complex formation and disassembly. Microscopic heat release could be related to mesoscopic processes via thermal conductivity and thermal conductance. Additionally, theoretical simulations to estimate these thermal properties in biological membranes and proteins are introduced. Finally, we envisage the future direction of this research field.


title: Some remarks on the projective properties of Menger and Hurewicz

abstract: It is known that both the Menger and Hurewicz property of a Tychonoff space $X$ can be described by the way $X$ is placed in its \v{C}ech-Stone compactification $\beta X$. We provide analogous characterizations for the projective versions of the properties of Menger and Hurewicz.


title: Distribution of $\delta$-connected components of self-affine sponge of Lalley-Gatzouras type

abstract: Let $(E, \rho)$ be a metric space and let $h_E\left( \delta \right)$ be the cardinality of the set of $\delta$-connected components of $E$. In literature, in case of that $E$ is a self-conformal set satisfying the open set condition or $E$ is a self-affine Sierpi\'nski sponge, necessary and sufficient condition is given for the validity of the relation $ h_E(\delta)\asymp \delta^{-\dim_B E}, \text{ when }\delta\to 0. $ In this paper, we generalize the above result to self-affine sponges of Lalley-Gatzouras type; actually in this case, we show that there exists a Bernoulli measure $\mu$ such that for any cylinder $R$, it holds that $ h_R(\delta)\asymp \mu(R) \delta^{-\dim_B E}, \text{ when }\delta\to 0. $


title: Visual Privacy: Current and Emerging Regulations Around Unconsented Video Analytics in Retail

abstract: Video analytics is the practice of combining digital video data with machine learning models to infer various characteristics from that video. This capability has been used for years to detect objects, movement, and the number of customers in physical retail stores, but more complex machine learning models combined with more powerful computing power has unlocked new levels of possibility. Researchers claim it is now possible to infer a whole host of characteristics about an individual using video analytics, such as specific age, ethnicity, health status and emotional state. Moreover, an individuals visual identity can be augmented with information from other data providers to build out a detailed profile, all with the individual unknowingly contributing their physical presence in front of a retail store camera. Some retailers have begun to experiment with this new technology as a way to better know their customers. However, those same early adopters are caught in an evolving legal landscape around privacy and data ownership. This research looks into the current legal landscape and legislation currently in progress around the use of video analytics, specifically in the retail store setting. Because the ethical and legal norms around individualized video analytics are still heavily in flux, retailers are urged to adopt a wait and see approach or potentially incur costly legal expenses and risk damage to their brand.


title: Educators' Perspectives of Using (or Not Using) Online Exam Proctoring

abstract: The onset of the COVID-19 pandemic changed the landscape of education and led to increased usage of remote proctoring tools that are designed to monitor students when they take assessments outside the classroom. While prior work has explored students' privacy and security concerns regarding online proctoring tools, the perspective of educators is under explored. Notably, educators are the decision makers in the classrooms and choose which remote proctoring services and the level of observations they deem appropriate. To explore how educators balance the security and privacy of their students with the requirements of remote exams, we sent survey requests to over 3,400 instructors at a large private university that taught online classes during the 2020/21 academic year. We had n=125 responses: 21% of the educators surveyed used online exam proctoring services during the remote learning period, and of those, 35% plan to continue using the tools even when there is a full return to in-person learning. Educators who use exam proctoring services are often comfortable with their monitoring capabilities. However, educators are concerned about students sharing certain types of information with exam proctoring companies, particularly when proctoring services collect identifiable information to validate students' identities. Our results suggest that many educators developed alternative assessments that did not require online proctoring and that those who did use online proctoring services often considered the tradeoffs between the potential risks to student privacy and the utility or necessity of exam proctoring services.


title: Constraint Optimization over Semirings

abstract: Interpretations of logical formulas over semirings have applications in various areas of computer science including logic, AI, databases, and security. Such interpretations provide richer information beyond the truth or falsity of a statement. Examples of such semirings include Viterbi semiring, min-max or access control semiring, tropical semiring, and fuzzy semiring. The present work investigates the complexity of constraint optimization problems over semirings. The generic optimization problem we study is the following: Given a propositional formula $\varphi$ over $n$ variable and a semiring $(K,+,\cdot,0,1)$, find the maximum value over all possible interpretations of $\varphi$ over $K$. This can be seen as a generalization of the well-known satisfiability problem. A related problem is to find an interpretation that achieves the maximum value. In this work, we first focus on these optimization problems over the Viterbi semiring, which we call optConfVal and optConf. We show that for general propositional formulas in negation normal form, optConfVal and optConf are in ${\mathrm{FP}}^{\mathrm{NP}}$. We investigate optConf when the input formula $\varphi$ is represented as a CNF. For CNF formulae, we first derive an upper bound on optConfVal as a function of the number of maximum satisfiable clauses. In particular, we show that if $r$ is the maximum number of satisfiable clauses in a CNF formula with $m$ clauses, then its optConfVal is at most $1/4^{m-r}$. Building on this we establish that optConfVal for CNF formulae is hard for the complexity class ${\mathrm{FP}}^{\mathrm{NP}[\log]}$. We also design polynomial-time approximation algorithms and establish an inapproximability for optConfVal. We establish similar complexity results for these optimization problems over other semirings including tropical, fuzzy, and access control semirings.