title: An Overview of Distant Supervision for Relation Extraction with a Focus on Denoising and Pre-training Methods

abstract: Relation Extraction (RE) is a foundational task of natural language processing. RE seeks to transform raw, unstructured text into structured knowledge by identifying relational information between entity pairs found in text. RE has numerous uses, such as knowledge graph completion, text summarization, question-answering, and search querying. The history of RE methods can be roughly organized into four phases: pattern-based RE, statistical-based RE, neural-based RE, and large language model-based RE. This survey begins with an overview of a few exemplary works in the earlier phases of RE, highlighting limitations and shortcomings to contextualize progress. Next, we review popular benchmarks and critically examine metrics used to assess RE performance. We then discuss distant supervision, a paradigm that has shaped the development of modern RE methods. Lastly, we review recent RE works focusing on denoising and pre-training methods.


title: Spatial Distribution of Solar PV Deployment: An Application of the Region-Based Convolutional Neural Network

abstract: This paper presents a comprehensive analysis of the social and environmental determinants of solar photovoltaic (PV) deployment rates in Colorado, USA. Using 652,795 satellite imagery and computer vision frameworks based on a convolutional neural network, we estimated the proportion of households with solar PV systems and the roof areas covered by solar panels. At the census block group level, 7% of Coloradan households have a rooftop PV system, and 2.5% of roof areas in Colorado are covered by solar panels as of 2021. Our machine learning models predict solar PV deployment based on 43 natural and social characteristics of neighborhoods. Using four algorithms (Random Forest, CATBoost, LightGBM, XGBoost), we find that the share of Democratic party votes, hail risks, strong wind risks, median home value, and solar PV permitting timelines are the most important predictors of solar PV count per household. In addition to the size of the houses, PV-to-roof area ratio is highly dependent on solar PV permitting timelines, proportion of renters and multifamily housing, and winter weather risks. We also find racial and ethnic disparities in rooftop solar deployment. The average marginal effects of median household income on solar deployment are lower in communities with a greater proportion of African American and Hispanic residents and are higher in communities with a greater proportion of White and Asian residents. In the ongoing energy transition, knowing the key predictors of solar deployment can better inform business and policy decision making for more efficient and equitable grid infrastructure investment and distributed energy resource management.


title: Non-Parametric Neuro-Adaptive Formation Control

abstract: We develop a learning-based algorithm for the distributed formation control of networked multi-agent systems governed by unknown, nonlinear dynamics. Most existing algorithms either assume certain parametric forms for the unknown dynamic terms or resort to unnecessarily large control inputs in order to provide theoretical guarantees. The proposed algorithm avoids these drawbacks by integrating neural network-based learning with adaptive control in a two-step procedure. In the first step of the algorithm, each agent learns a controller, represented as a neural network, using training data that correspond to a collection of formation tasks and agent parameters. These parameters and tasks are derived by varying the nominal agent parameters and a user-defined formation task to be achieved, respectively. In the second step of the algorithm, each agent incorporates the trained neural network into an online and adaptive control policy in such a way that the behavior of the multi-agent closed-loop system satisfies the user-defined formation task. Both the learning phase and the adaptive control policy are distributed, in the sense that each agent computes its own actions using only local information from its neighboring agents. The proposed algorithm does not use any a priori information on the agents' unknown dynamic terms or any approximation schemes. We provide formal theoretical guarantees on the achievement of the formation task.


title: Generation of time-frequency entangled photon pairs propagating in separate waveguides in circuit QED setup

abstract: Time-frequency entangled photons constitute an important resource for a plethora of applications across the diverse quantum technology landscape. Thus, efficient and tunable setups for the generation of entangled photons are requisite for modern quantum technologies. In this work, we propose a generic cavity QED setup designed for on-demand generation of time-frequency entangled photon pairs, with each photon propagating in a separate waveguide. We outline a potential incarnation of this setup in the microwave superconducting circuit QED architecture. We derive and numerically solve the set of equations of motion governing the evolution of the quantum state of the system, allowing us to examine the photon emission dynamics. Using the Schmidt decomposition of the joint spectral amplitude of the emitted photon pair, we compute the entanglement entropy analyzing its dependence on the system parameters. We outline the potential extension of the proposed scheme for the generation of multiphoton time-frequency entangled states.


title: Hamiltonian renormalisation VI: Parametrised field theory on the cylinder

abstract: Hamiltonian Renormalisation, as defined within this series of works, was derived from covariant Wilson renormalisation via Osterwalder-Schrader reconstruction. As such it directly applies to QFT with a true (physical) Hamiltonian bounded from below. The validity of the scheme was positively tested for free QFT in any dimension with or without Abelian gauge symmetries of Yang-Mills type. The aim of this Hamiltonian renormalisation scheme is to remove quantisation ambiguities of Hamiltonians in interacting QFT that remain even after UV and IR regulators are removed as it happens in highly non-linear QFT such as quantum gravity. While not derived for that case, the renormalisation flow formulae can without change also be applied to QFT without a single true Hamiltonian but rather an infinite number of Hamiltonian constraints. Then a central question is how the constraint algebra reacts to the renormalisation flow. This question should ultimately be addressed in quantum gravity. Before one considers this interacting, constrained QFT it is well motivated to consider a free, constrained QFT where the fixed point is explicitly known. In this paper we therefore address the case of parametrised field theory for which the quantum constraint algebra coincides simultaneously with the hypersurface deformation algebra of quantum gravity (or any other generally covariant theory) and the Virasoro algebra of free, closed, bosonic string theory or other CFT to which the results of this paper apply verbatim. The central result of our investigation is that finite resolution (discretised) constraint algebras {\it must not close} and that anomaly freeness of the continuum algebra is encoded in the convergence behaviour of the renormalisation flow.


title: Hamiltonian Renormalisation VII: Free fermions and doubler free kernels

abstract: The Hamiltonian renormalisation programme motivated by constructive QFT and Osterwalder-Schrader reconstruction which was recently launched for bosonic field theories is extended to fermions. As fermion quantisation is not in terms of measures, the scheme has to be mildly modified accordingly. We exemplify the scheme for free fermions both for compact and non-compact spatial topologies respectively (i.e. with and without IR cut-off) and demonstrate that the convenient Dirichlet or Shannon coarse graining kernels recently advertised in a companion paper lead to a manifestly doubler free flow.


title: A Spoken Drug Prescription Dataset in French for Spoken Language Understanding

abstract: Spoken medical dialogue systems are increasingly attracting interest to enhance access to healthcare services and improve quality and traceability of patient care. In this paper, we focus on medical drug prescriptions acquired on smartphones through spoken dialogue. Such systems would facilitate the traceability of care and would free clinicians' time. However, there is a lack of speech corpora to develop such systems since most of the related corpora are in text form and in English. To facilitate the research and development of spoken medical dialogue systems, we present, to the best of our knowledge, the first spoken medical drug prescriptions corpus, named PxSLU. It contains 4 hours of transcribed and annotated dialogues of drug prescriptions in French acquired through an experiment with 55 participants experts and non-experts in prescriptions. We also present some experiments that demonstrate the interest of this corpus for the evaluation and development of medical dialogue systems.


title: Delayed blow-up and enhanced diffusion by transport noise for systems of reaction-diffusion equations

abstract: This paper is concerned with the problem of regularization by noise of systems of reaction-diffusion equations with mass control. It is known that $\textit{strong}$ solutions to such systems of PDEs may blow-up in finite time. Moreover, for many systems of practical interest, establishing whether the blow-up occurs or not is an open question. Here we prove that a suitable multiplicative noise of transport type has a regularizing effect. More precisely, for sufficiently noise intensity and spectrum, the blow-up of strong solutions is delayed and an enhanced diffusion effect is also established. Global existence is shown for the case of exponentially decreasing mass. The proofs combine and extend recent developments in regularization by noise and in the $L^p(L^q)$-approach to stochastic PDEs, highlighting new connections between the two areas.


title: Renormalisation, wavelets and the Dirichlet-Shannon kernels

abstract: In constructive quantum field theory (CQFT) it is customary to first regularise the theory at finite UV and IR cut-off. Then one first removes the UV cutoff using renormalisation techniques applied to families of CQFT's labelled by finite UV resolutions and then takes the thermodynamic limit. Alternatively, one may try to work directly without IR cut-off. More recently, wavelets have been proposed to define the renormalisation flow of CQFT's which is natural as they come accompanied with a multi-resolution analysis (MRA). However, wavelets so far have been mostly studied in the non-compact case. Practically useful wavelets that display compact support and some degree of smoothness can be constructed on the real line using Fourier space techniques but explicit formulae as functions of position are rarely available. Compactly supported wavelets can be periodised by summing over period translates keeping orthogonality properties but still yield to rather complicated expressions which generically lose their smoothness and position locality properties. It transpires that a direct approach to wavelets in the compact case is desirable. In this contribution we show that the Dirichlet-Shannon kernels serve as a natural scaling function to define generalised orthonormal wavelet bases on tori or copies of real lines respectively. These generalised wavelets are smooth, are simple explicitly computable functions, display quasi-local properties close to the Haar wavelet and have compact momentum supprt. Accordingly they have a built-in cut-off both in position and momentum, making them very useful for renormalisation applications.


title: Many-body Chemical Reactions in a Quantum Degenerate Gas

abstract: Chemical reactions in the quantum degenerate regime are described by mixing of matterwave fields. Quantum coherence and bosonic enhancement are two unique features of many-body reactions involving bosonic reactants and products. Such collective reactions of chemicals, dubbed "super-chemistry", is an elusive goal in quantum chemistry research. Here we report the observation of coherent and collective reactive coupling between Bose condensed atoms and molecules near a Feshbach resonance. Starting from an atomic condensate, the reaction begins with a rapid formation of molecules, followed by oscillations of their populations in the equilibration process. Faster oscillations are observed in samples with higher densities, indicating bosonic enhancement. We present a quantum field model which describes the dynamics well and identifies three-body recombination as the dominant reaction process. Our findings exemplify the highly sought-after quantum many-body chemistry and offer a new paradigm for the control of quantum chemical reactions.


title: Clusters of Bloch waves in three-dimensional periodic media

abstract: We consider acoustic wave propagation through a periodic array of the inclusions of arbitrary shape. The inclusion size is much smaller than the array period while the wavelength is fixed. We derive and rigorously justify the dispersion relation for general frequencies and show that there are exceptional frequencies for which the solution is a cluster of waves propagating in different directions with different frequencies so that the dispersion relation cannot be defined uniquely. Examples are provided for the spherical inclusions.


title: A moving lemma for cohomology with support

abstract: For a natural class of cohomology theories with support (including \'etale or pro-\'etale cohomology with suitable coefficients), we prove a moving lemma for cohomology classes with support on smooth quasi-projective k-varieties that admit a smooth projective compactification (e.g. if char(k)=0). This has the following consequences for such k-varieties and cohomology theories: a local and global generalization of the effacement theorem of Quillen, Bloch--Ogus, and Gabber, a finite level version of the Gersten conjecture in characteristic zero, and a generalization of the injectivity property and the codimension 1 purity theorem for \'etale cohomology. Our results imply that the refined unramified cohomology groups from [Sch21b] are motivic.


title: Towards Programmable Memory Controller for Tensor Decomposition

abstract: Tensor decomposition has become an essential tool in many data science applications. Sparse Matricized Tensor Times Khatri-Rao Product (MTTKRP) is the pivotal kernel in tensor decomposition algorithms that decompose higher-order real-world large tensors into multiple matrices. Accelerating MTTKRP can speed up the tensor decomposition process immensely. Sparse MTTKRP is a challenging kernel to accelerate due to its irregular memory access characteristics. Implementing accelerators on Field Programmable Gate Array (FPGA) for kernels such as MTTKRP is attractive due to the energy efficiency and the inherent parallelism of FPGA. This paper explores the opportunities, key challenges, and an approach for designing a custom memory controller on FPGA for MTTKRP while exploring the parameter space of such a custom memory controller.


title: Non-degenerate metrics, hypersurface deformation algebra, non-anomalous representations and density weights in quantum gravity

abstract: A basic assumption in classical GR is that the metric field is nowhere degenerate in spacetime. In particular the induced metric on Cauchy surfaces must be nowhere degenerate. It is only under this assumption that one can derive the hypersurace deformation algebra between the initial value constraints which is absolutely transparent from the fact that the {\it inverse} of the induced metric is needed to close the algebra. This statement is independent of the density weight that one may want to equip the spatial metric with. Accordingly, the very definition of a non-anomalous representation of the hypersurface defomation algebra in quantum gravity has to address the issue of non-degenracy of the induced metric that is needed in the classical theory. In the Hilbert space representation employed in Loop Quantum Gravity (LQG) most emphasis has been layed to define an inverse metric operator on the dense domain of spin network states although they represent induced quantum geometries which are degenerate almost everywhere. It is no surprise that demonstration of closure of the constraint algebra on this domain meets difficulties because it is a sector of the quantum theory which is classically forbidden and which lies outside the domain of definition of the classical hypersurface deformation algebra. Various suggestions for addressing the issue such as non-standard operator topologies, dual spaces (habitats) and density weights have been propposed to address this issue with respect to the quantum dynamics of LQG. In this article we summarise these developments and argue that insisting on a dense domain of non-degenerate states within the LQG representation may provide a natural resolution of the issue thereby possibly avoiding the above mentioned non-standard constructions.


title: A Formal Power Series Approach to Multiplicative Dynamic and Static Output Feedback

abstract: The goal of the paper is two-fold. The first of which is to derive an explicit formula to compute the generating series of a closed-loop system when a plant, given in a Chen-Fliess series description is in multiplicative output feedback connection with another system given in Chen-Fliess series description. Further, the objective extends in showing that the multiplicative dynamic output feedback connection has a natural interpretation as a transformation group acting on the plant. The second of the two-part goal of this paper is same as the first part albeit when the Chen-Fliess series in the feedback is replaced by a memoryless map. The paper provides an explicit formula to compute the generating series of a closed-loop system in multiplicative static output feedback connection and shows that the static feedback has a natural interpretation as a transformation group acting on the plant.


title: Vision-based Relative Detection and Tracking for Teams of Micro Aerial Vehicles

abstract: In this paper, we address the vision-based detection and tracking problems of multiple aerial vehicles using a single camera and Inertial Measurement Unit (IMU) as well as the corresponding perception consensus problem (i.e., uniqueness and identical IDs across all observing agents). We design several vision-based decentralized Bayesian multi-tracking filtering strategies to resolve the association between the incoming unsorted measurements obtained by a visual detector algorithm and the tracked agents. We compare their accuracy in different operating conditions as well as their scalability according to the number of agents in the team. This analysis provides useful insights about the most appropriate design choice for the given task. We further show that the proposed perception and inference pipeline which includes a Deep Neural Network (DNN) as visual target detector is lightweight and capable of concurrently running control and planning with Size, Weight, and Power (SWaP) constrained robots on-board. Experimental results show the effective tracking of multiple drones in various challenging scenarios such as heavy occlusions.


title: Exact quantisation of U(1)$^3$ quantum gravity via exponentiation of the hypersurface deformation algebroid

abstract: The U(1)$^3$ model for 3+1 Euclidian signature general relativity is an interacting, generally covariant field theory with two physical polarisations that shares many features of Lorentzian general relativity. In particular, it displays a non-trivial realisation of the hypersurface deformation algebroid with non-trivial, i.e. phase space dependent structure functions rather than structure constants. In this paper we show that the model admits {\it an exact quantisation}. The quantisation rests on the observation that for this model and in the chosen representation of the canonical commutation relations the density unity hypersurface algebra {\it can be exponentiated on non-degenerate states}. These are states that represent a non-degenerate quantum metric and from a classical perspective are the relevant states on which the hypersurface algebra is representable. The representation of the algebra is exact, with no ambiguities involved and anomaly free. The quantum constraints can be exactly solved using {\it groupoid averaging} and the solutions admit a Hilbert space structure that agrees with the quantisation of a recently found reduced phase space formulation. Using the also recently found covariant action for that model, we start a path integral or spin foam formulation which, due to the Abelian character of the gauge group, is much simpler than for Lorentzian signature general relativity and provides an ideal testing ground for general spin foam models.


title: A Novel Composite Resilience Indicator for Decentralized Infrastructure Systems (CRI-DS)

abstract: Resilience is a key driver for planning adaptation strategies to mitigate risks due to both natural and anthropogenic hazards. The effectiveness of a resilience-driven decision-making strategy for adapting systems against stressors depends on how resilience is mapped to decision variables. This requires a functional resilience metric, without which it would not be possible to identify the priority needs for improvement, assess changes, or show improvement in post-adaptation resilience. In this paper, we aim to contribute to existing methodologies by proposing a novel model-based resilience assessment strategy while building on the notion of composite resilience indicators. Our proposed indicator is functional, reproducible, and is mapped to adaptation decisions. We propose a framework for integrating the developed resilience functional form into an adaptation decision-making model. To illustrate our approach, we use a case study on assessing resilience of On-Site Wastewater Treatment and Disposal Systems (OSTDS) exposed to risks due to sea-level rise.


title: HyperInvariances: Amortizing Invariance Learning

abstract: Providing invariances in a given learning task conveys a key inductive bias that can lead to sample-efficient learning and good generalisation, if correctly specified. However, the ideal invariances for many problems of interest are often not known, which has led both to a body of engineering lore as well as attempts to provide frameworks for invariance learning. However, invariance learning is expensive and data intensive for popular neural architectures. We introduce the notion of amortizing invariance learning. In an up-front learning phase, we learn a low-dimensional manifold of feature extractors spanning invariance to different transformations using a hyper-network. Then, for any problem of interest, both model and invariance learning are rapid and efficient by fitting a low-dimensional invariance descriptor an output head. Empirically, this framework can identify appropriate invariances in different downstream tasks and lead to comparable or better test performance than conventional approaches. Our HyperInvariance framework is also theoretically appealing as it enables generalisation-bounds that provide an interesting new operating point in the trade-off between model fit and complexity.


title: Effectiveness of French Language Models on Abstractive Dialogue Summarization Task

abstract: Pre-trained language models have established the state-of-the-art on various natural language processing tasks, including dialogue summarization, which allows the reader to quickly access key information from long conversations in meetings, interviews or phone calls. However, such dialogues are still difficult to handle with current models because the spontaneity of the language involves expressions that are rarely present in the corpora used for pre-training the language models. Moreover, the vast majority of the work accomplished in this field has been focused on English. In this work, we present a study on the summarization of spontaneous oral dialogues in French using several language specific pre-trained models: BARThez, and BelGPT-2, as well as multilingual pre-trained models: mBART, mBARThez, and mT5. Experiments were performed on the DECODA (Call Center) dialogue corpus whose task is to generate abstractive synopses from call center conversations between a caller and one or several agents depending on the situation. Results show that the BARThez models offer the best performance far above the previous state-of-the-art on DECODA. We further discuss the limits of such pre-trained models and the challenges that must be addressed for summarizing spontaneous dialogues.


title: Nonparametric regression with modified ReLU networks

abstract: We consider regression estimation with modified ReLU neural networks in which network weight matrices are first modified by a function $\alpha$ before being multiplied by input vectors. We give an example of continuous, piecewise linear function $\alpha$ for which the empirical risk minimizers over the classes of modified ReLU networks with $l_1$ and squared $l_2$ penalties attain, up to a logarithmic factor, the minimax rate of prediction of unknown $\beta$-smooth function.


title: An Efficient Randomized Fixed-Precision Algorithm for Tensor Singular Value Decomposition

abstract: The existing randomized algorithms need an initial estimation of the tubal rank to compute a tensor singular value decomposition. This paper proposes a new randomized fixedprecision algorithm which for a given third-order tensor and a prescribed approximation error bound, automatically finds an optimal tubal rank and the corresponding low tubal rank approximation. The algorithm is based on the random projection technique and equipped with the power iteration method for achieving a better accuracy. We conduct simulations on synthetic and real-world datasets to show the efficiency and performance of the proposed algorithm.


title: Strong asymptotics of multi-level Hermite-Pad\'e polynomials

abstract: We obtain the strong asymptotics of multiple orthogonal polynomials which arise in a mixed type Hermite-Pad\'e approximation problem defined on a Nikishin system of functions. The results obtained allow to give exact estimates of the rate of convergence of the approximating rational functions and the strong asymptotics of Cauchy biorthogonal polynomials.


title: CULT: Continual Unsupervised Learning with Typicality-Based Environment Detection

abstract: We introduce CULT (Continual Unsupervised Representation Learning with Typicality-Based Environment Detection), a new algorithm for continual unsupervised learning with variational auto-encoders. CULT uses a simple typicality metric in the latent space of a VAE to detect distributional shifts in the environment, which is used in conjunction with generative replay and an auxiliary environmental classifier to limit catastrophic forgetting in unsupervised representation learning. In our experiments, CULT significantly outperforms baseline continual unsupervised learning approaches. Code for this paper can be found here: https://github.com/oliveradk/cult


title: Phase-resolved attosecond near-threshold photoionization of molecular nitrogen

abstract: We photoionize nitrogen molecules with a train of extreme ultraviolet attosecond pulses together with a weak infrared field. We measure the phase of the two-color two-photon ionization transition (molecular phase) for different states of the ion. We observe a 0.76 $\pi$ shift for the electrons produced in the ionization channels leading to the X$^2 \Sigma_g^+$, $v'=1$ and $v'=2$ states. We relate this phase shift to the presence of a complex resonance in the continuum. By providing both a high spectral and temporal resolution, this general approach gives access to the evolution of extremely short lived states, which is hardly accessible otherwise.


title: Shrunk subspaces via operator Sinkhorn iteration

abstract: A recent breakthrough in Edmonds' problem showed that the noncommutative rank can be computed in deterministic polynomial time, and various algorithms for it were devised. However, only quite complicated algorithms are known for finding a so-called shrunk subspace, which acts as a dual certificate for the value of the noncommutative rank. In particular, the operator Sinkhorn algorithm, perhaps the simplest algorithm to compute the noncommutative rank with operator scaling, does not find a shrunk subspace. Finding a shrunk subspace plays a key role in applications, such as separation in the Brascamp-Lieb polytope, one-parameter subgroups in the null-cone membership problem, and primal-dual algorithms for matroid intersection and fractional matroid matching. In this paper, we provide a simple Sinkhorn-style algorithm to find the smallest shrunk subspace over the complex field in deterministic polynomial time. To this end, we introduce a generalization of the operator scaling problem, where the spectra of the marginals must be majorized by specified vectors. Then we design an efficient Sinkhorn-style algorithm for the generalized operator scaling problem. Applying this to the shrunk subspace problem, we show that a sufficiently long run of the algorithm also finds an approximate shrunk subspace close to the minimum exact shrunk subspace. Finally, we show that the approximate shrunk subspace can be rounded if it is sufficiently close. Along the way, we also provide a simple randomized algorithm to find the smallest shrunk subspace. As applications, we design a faster algorithm for fractional linear matroid matching and efficient weak membership and optimization algorithms for the rank-2 Brascamp-Lieb polytope.


title: A Fast, Autonomous, Bipedal Walking Behavior over Rapid Regions

abstract: In trying to build humanoid robots that perform useful tasks in a world built for humans, we address the problem of autonomous locomotion. Humanoid robot planning and control algorithms for walking over rough terrain are becoming increasingly capable. At the same time, commercially available depth cameras have been getting more accurate and GPU computing has become a primary tool in AI research. In this paper, we present a newly constructed behavior control system for achieving fast, autonomous, bipedal walking, without pauses or deliberation. We achieve this using a recently published rapid planar regions perception algorithm, a height map based body path planner, an A* footstep planner, and a momentum-based walking controller. We put these elements together to form a behavior control system supported by modern software development practices and simulation tools.


title: Exponential Mixing of Vlasov equations under the effect of Gravity and Boundary

abstract: In this paper, we study exponentially fast mixing induced/enhanced by gravity and stochastic boundary in the kinetic theory of Vlasov equations. We consider the Vlasov equations with and without a vertical magnetic field inside a horizontally-periodic 3D half-space equipped with a non-isothermal diffusive reflection boundary condition of bounded continuous boundary temperature at the bottom. We construct both stationary solutions and global-in-time dynamical solutions in $L^\infty$. We prove that moments of a dynamical fluctuation around the steady solutions decay exponentially fast in $L^\infty$. As a key of this proof, we establish a uniform bound of so-called residual measures independently of the bouncing number of stochastic characteristics, by constructing a continuous stationary outgoing boundary flux which is strictly positive almost everywhere.


title: Improving spatial cues for hearables using a parameterized binaural CDR estimator

abstract: We investigate a speech enhancement method based on the binaural coherence-to-diffuse power ratio (CDR), which preserves auditory spatial cues for maskers and a broadside target. Conventional CDR estimators typically rely on a mathematical coherence model of the desired signal and/or diffuse noise field in their formulation, which may influence their accuracy in natural environments. This work proposes a new robust and parameterized directional binaural CDR estimator. The estimator is calculated in the time-frequency domain and is based on a geometrical interpretation of the spatial coherence function between the binaural microphone signals. The binaural performance of the new CDR estimator is compared with three state-of-the-art CDR estimators in cocktail-party-like environments and has shown improvements in terms of several objective speech quality metrics such as PESQ and SRMR. We also discuss the benefits of the parameterizable CDR estimator for varying sound environments and briefly reflect on several informal subjective evaluations using a low-latency real-time framework.


title: Global well-posedness and stability of the inhomogeneous kinetic wave equation near vacuum

abstract: In this paper, we prove global in time existence, uniqueness and stability of mild solutions near vacuum for the 4-wave inhomogeneous kinetic wave equation, for Laplacian dispersion relation in dimension $d=2,3$. We also show that for non-negative initial data, the solution remains non-negative. This is achieved by connecting the inhomogeneous kinetic wave equation to the cubic part of a quantum Boltzmann-type equation with moderately hard potential and no collisional averaging.


title: Notes on degrees of relative computable categoricity

abstract: We are studying the degrees in which a computable structure is relatively computably categoricity, i.e., computably categorcial among all non-computable copies of the structure. Unlike the degrees of computable categoricity we can bound the possible degrees of relative computable categoricity by the oracle 0". In the case of rigid structures the bound is in fact 0'. These estimations are precise, in particular we can build a computable structure which is relatively computably categorical only in the degrees above 0".


title: Molecular-orbital-based Machine Learning for Open-shell and Multi-reference Systems with Kernel Addition Gaussian Process Regression

abstract: We introduce a novel machine learning strategy, kernel addition Gaussian process regression (KA-GPR), in molecular-orbital-based machine learning (MOB-ML) to learn the total correlation energies of general electronic structure theories for closed- and open-shell systems by introducing a machine learning strategy. The learning efficiency of MOB-ML (KA-GPR) is the same as the original MOB-ML method for the smallest criegee molecule, which is a closed-shell molecule with multi-reference characters. In addition, the prediction accuracies of different small free radicals could reach the chemical accuracy of 1 kcal/mol by training on one example structure. Accurate potential energy surfaces for the H10 chain (closed-shell) and water OH bond dissociation (open-shell) could also be generated by MOB-ML (KA-GPR). To explore the breadth of chemical systems that KA-GPR can describe, we further apply MOB-ML to accurately predict the large benchmark datasets for closed- (QM9, QM7b-T, GDB-13-T) and open-shell (QMSpin) molecules.


title: CCAT-prime: The Design and Characterization of the Silicon Mirrors for the Fabry-Perot Interferometer in the Epoch of Reionization Spectrometer

abstract: The Epoch of Reionization Spectrometer (EoR-Spec) is one of the instrument modules to be installed in the Prime-Cam receiver of the Fred Young Submillimeter Telescope (FYST). This six-meter aperture telescope will be built on Cerro Chajnantor in the Atacama Desert in Chile. EoR-Spec is designed to probe early star-forming regions by measuring the [CII] fine-structure lines between redshift z = 3.5 and z = 8 using the line intensity mapping technique. The module is equipped with a scanning Fabry-Perot interferometer (FPI) to achieve the spectral resolving power of about RP = 100. The FPI consists of two parallel and identical, highly reflective mirrors with a clear aperture of 14 cm, forming a resonating cavity called etalon. The mirrors are silicon-based and patterned with double-layer metamaterial anti-reflection coatings (ARC) on one side and metal mesh reflectors on the other. The double-layer ARCs ensure a low reflectance at one substrate surface and help tailor the reflectance profile over the FPI bandwidth. Here we present the design, fabrication processes, test setup, and characterization of silicon mirrors for the FPI.


title: Defect Transformer: An Efficient Hybrid Transformer Architecture for Surface Defect Detection

abstract: Surface defect detection is an extremely crucial step to ensure the quality of industrial products. Nowadays, convolutional neural networks (CNNs) based on encoder-decoder architecture have achieved tremendous success in various defect detection tasks. However, due to the intrinsic locality of convolution, they commonly exhibit a limitation in explicitly modeling long-range interactions, critical for pixel-wise defect detection in complex cases, e.g., cluttered background and illegible pseudo-defects. Recent transformers are especially skilled at learning global image dependencies but with limited local structural information necessary for detailed defect location. To overcome the above limitations, we propose an efficient hybrid transformer architecture, termed Defect Transformer (DefT), for surface defect detection, which incorporates CNN and transformer into a unified model to capture local and non-local relationships collaboratively. Specifically, in the encoder module, a convolutional stem block is firstly adopted to retain more detailed spatial information. Then, the patch aggregation blocks are used to generate multi-scale representation with four hierarchies, each of them is followed by a series of DefT blocks, which respectively include a locally position-aware block for local position encoding, a lightweight multi-pooling self-attention to model multi-scale global contextual relationships with good computational efficiency, and a convolutional feed-forward network for feature transformation and further location information learning. Finally, a simple but effective decoder module is proposed to gradually recover spatial details from the skip connections in the encoder. Extensive experiments on three datasets demonstrate the superiority and efficiency of our method compared with other CNN- and transformer-based networks.


title: GANzilla: User-Driven Direction Discovery in Generative Adversarial Networks

abstract: Generative Adversarial Network (GAN) is widely adopted in numerous application areas, such as data preprocessing, image editing, and creativity support. However, GAN's 'black box' nature prevents non-expert users from controlling what data a model generates, spawning a plethora of prior work that focused on algorithm-driven approaches to extract editing directions to control GAN. Complementarily, we propose a GANzilla: a user-driven tool that empowers a user with the classic scatter/gather technique to iteratively discover directions to meet their editing goals. In a study with 12 participants, GANzilla users were able to discover directions that (i) edited images to match provided examples (closed-ended tasks) and that (ii) met a high-level goal, e.g., making the face happier, while showing diversity across individuals (open-ended tasks).


title: Spatial von-Mises Fisher Regression for Directional Data

abstract: Spatially varying directional data are routinely observed in several modern applications such as meteorology, biology, geophysics, and engineering, etc. However, only a few approaches are available for covariate-dependent statistical analysis for such data. To address this gap, we propose a novel generalized linear model to analyze such that using a von Mises Fisher (vMF) distributed error structure. Using a novel link function that relies on the transformation between Cartesian and spherical coordinates, we regress the vMF-distributed directional data on the external covariates. This regression model enables us to quantify the impact of external factors on the observed directional data. Furthermore, we impose the spatial dependence using an autoregressive model, appropriately accounting for the directional dependence in the outcome. This novel specification renders computational efficiency and flexibility. In addition, a comprehensive Bayesian inferential toolbox is thoroughly developed and applied to our analysis. Subsequently, employing our regression model to the Alzheimer's Disease Neuroimaging Initiative (ADNI) data, we gain new insights into the relationship between cognitive impairment and the orientations of brain fibers along with examining empirical efficacy through simulation experiments.


title: Non-CM elliptic curves with infinitely many almost prime Frobenius traces

abstract: Let $E$ be an elliptic curve defined over $\mathbb{Q}$ and without complex multiplication. For a prime $p$ of good reduction for $E$, we write $\#E_p(\mathbb{F}_p) = p + 1 - a_p(E)$ for the number of $\mathbb{F}_p$-rational points of the reduction $E_p$ of $E$ modulo $p$. Under the Generalized Riemann Hypothesis (GRH), we study the primes $p$ for which the integer $|a_p(E)|$ is a prime. In particular, we prove the following results: (i) the number of primes $p < x$ for which $|a_p(E)|$ is a prime is bounded from above by $C_1(E) \frac{x}{(\log x)^2}$ for some constant $C_1(E)$; (ii) the number of primes $p < x$ for which $|a_p(E)|$ is the product of at most 4 distinct primes, counted without multiplicity, is bounded from below by $C_2(E) \frac{x}{(\log x)^2}$ for some constant $C_2(E)$; (iii) the number of primes $p < x$ for which $|a_p(E)|$ is the product of at most 5 distinct primes, counted with multiplicity, is bounded from below by $C_3(E) \frac{x}{(\log x)^2}$ for some positive constant $C_3(E) > 0$. Under GRH, we also prove the convergence of the sum of the reciprocals of the primes $p$ for which $|a_p(E)|$ is a prime. Furthermore, under GRH, together with Artin's Holomorphy Conjecture and a Pair Correlation Conjecture for Artin L-functions, we prove that the number of primes $p < x$ for which $|a_p(E)|$ is the product of at most 2 distinct primes, counted with multiplicity, is bounded from below by $C_4(E) \frac{x}{(\log x)^2}$ for some constant $C_4(E)$. The constants $C_i(E)$, $1 \leq i \leq 4$, are defined explicitly in terms of $E$ and are factors of another explicit constant $C(E)$ that appears in the conjecture that $\#\{p < x: |a_p(E)| \ \text{is prime}\} \sim C(E) \frac{x}{(\log x)^2}$.


title: PlaneSDF-based Change Detection for Long-term Dense Mapping

abstract: The ability to process environment maps across multiple sessions is critical for robots operating over extended periods of time. Specifically, it is desirable for autonomous agents to detect changes amongst maps of different sessions so as to gain a conflict-free understanding of the current environment. In this paper, we look into the problem of change detection based on a novel map representation, dubbed Plane Signed Distance Fields (PlaneSDF), where dense maps are represented as a collection of planes and their associated geometric components in SDF volumes. Given point clouds of the source and target scenes, we propose a three-step PlaneSDF-based change detection approach: (1) PlaneSDF volumes are instantiated within each scene and registered across scenes using plane poses; 2D height maps and object maps are extracted per volume via height projection and connected component analysis. (2) Height maps are compared and intersected with the object map to produce a 2D change location mask for changed object candidates in the source scene. (3) 3D geometric validation is performed using SDF-derived features per object candidate for change mask refinement. We evaluate our approach on both synthetic and real-world datasets and demonstrate its effectiveness via the task of changed object detection. Supplementary video: https://youtu.be/oh-MQPWTwZI


title: Formal balls of ${\sf Q}$-categories

abstract: The construction of the formal ball model for metric spaces due to Edalat and Heckmann was generalized to ${\sf Q}$-categories by Kostanek and Waszkiewicz. This paper concerns the influence of the structure of the quantale ${\sf Q}$ on the connection between Yoneda completeness of ${\sf Q}$-categories and directed completeness of their sets of formal balls. In the case that ${\sf Q}$ is the interval $[0,1]$ equipped with a continuous t-norm $\&$, it is shown that in order that Yoneda completeness of each ${\sf Q}$-category be equivalent to directed completeness of its set of formal balls, a necessary and sufficient condition is that the t-norm $\&$ is Archimedean.


title: Analyzing Clustered Continuous Response Variables with Ordinal Regression Models

abstract: Continuous response variables often need to be transformed to meet regression modeling assumptions; however, finding the optimal transformation is challenging and results may vary with the choice of transformation. When a continuous response variable is measured repeatedly for a subject or the continuous responses arise from clusters, it is more challenging to model the continuous response data due to correlation within clusters. We extend a widely used ordinal regression model, the cumulative probability model (CPM), to fit clustered continuous response variables based on generalized estimating equation (GEE) methods for ordinal responses. With our approach, estimates of marginal parameters, cumulative distribution functions (CDFs), expectations, and quantiles conditional on covariates can be obtained without pre-transformation of the potentially skewed continuous response data. Computational challenges arise with large numbers of distinct values of the continuous response variable, and we propose two feasible and computationally efficient approaches to fit CPMs for clustered continuous response variables with different working correlation structures. We study finite sample operating characteristics of the estimators via simulation, and illustrate their implementation with two data examples. One studies predictors of CD4:CD8 ratios in an HIV study. The other uses data from The Lung Health Study to investigate the contribution of a single nucleotide polymorphism to lung function decline.


title: Calibrating the scintillation and ionization responses of xenon recoils for high-energy dark matter searches

abstract: Liquid xenon-based direct detection dark matter experiments have recently expanded their searches to include high-energy nuclear recoil events as motivated by effective field theory dark matter and inelastic dark matter interaction models, but few xenon recoil calibrations above 100 keV are currently available. In this work, we measured the scintillation and ionization yields of xenon recoils up to 426 keV. The experiment uses 14.1 MeV neutrons to scatter off xenon in a compact liquid xenon time projection chamber and produce quasi-monoenergetic xenon recoils between 39 keV and 426 keV. We report the xenon recoil responses and their electric field-dependence for recoil energies up to 306 keV; due to the low event statistics and the relatively mild field dependence, the yield values at higher energies are reported as the average of xenon responses for electric fields between 0.2-2.0 kV/cm. This result will enable xenon-based dark matter experiments to significantly increase their high energy dark matter sensitivities by including energy regions that were previously inaccessible due to lack of calibrations.


title: Large-scale matrix optimization based multi microgrid topology design with a constrained differential evolution algorithm

abstract: Binary matrix optimization commonly arise in the real world, e.g., multi-microgrid network structure design problem (MGNSDP), which is to minimize the total length of the power supply line under certain constraints. Finding the global optimal solution for these problems faces a great challenge since such problems could be large-scale, sparse and multimodal. Traditional linear programming is time-consuming and cannot solve nonlinear problems. To address this issue, a novel improved feasibility rule based differential evolution algorithm, termed LBMDE, is proposed. To be specific, a general heuristic solution initialization method is first proposed to generate high-quality solutions. Then, a binary-matrix-based DE operator is introduced to produce offspring. To deal with the constraints, we proposed an improved feasibility rule based environmental selection strategy. The performance and searching behaviors of LBMDE are examined by a set of benchmark problems.


title: New bounds on the excess charge for atomic systems

abstract: In this manuscript, using a technique introduced by P.~T.~Nam in 2012 and the {\it Coulomb Uncertainty Principle}, we prove new bounds on the excess charge for non relativistic atomic systems, independent of the particle statistics. These new bounds are the best bounds to date for bosonic systems for all values of the atomic number $Z$ and they are also the best bounds for fermionic systems with $Z \le 26$ (i.e., up to the chemical element {\it iron})


title: Bayesian Quickest Change Detection of an Intruder in Acknowledgments for Private Remote State Estimation

abstract: For geographically separated cyber-physical systems, state estimation at a remote monitoring or control site is important to ensure stability and reliability of the system. Often for safety or commercial reasons it is necessary to ensure confidentiality of the process state and control information. A current topic of interest is the private transmission of confidential state information. Many transmission encoding schemes rely on acknowledgments, which may be susceptible to interference from an adversary. We consider a stealthy intruder that selectively blocks acknowledgments allowing an eavesdropper to obtain a reliable state estimate defeating an encoding scheme. We utilize Bayesian Quickest Change Detection techniques to quickly detect online the presence of an intruder at both the remote transmitter and receiver.


title: Nuclear excitation cross section of $^{229}$Th via inelastic electron scattering

abstract: Nuclear excitation cross section of $^{229}$Th from the ground state to the low-lying isomeric state via inelastic electron scattering is calculated, on the level of Dirac distorted wave Born approximation. With electron energies below 100 eV, inelastic scattering is very efficient in the isomeric excitation, yielding excitation cross sections on the order of 10$^{-27}$ to 10$^{-26}$ cm$^2$. Systematic analyses are presented on elements affecting the excitation cross section, including the ion-core potential, the relativistic effect, the knowledge of the reduced nuclear transition probabilities, etc.


title: Extremal Invariant Distributions of Infinite Brownian Particle Systems with Rank Dependent Drifts

abstract: Consider an infinite collection of particles on the real line moving according to independent Brownian motions and such that the $i$-th particle from the left gets the drift $g_{i-1}$. The case where $g_0=1$ and $g_{i}=0$ for all $i \in \mathbb{N}$ corresponds to the well studied infinite Atlas model. Under conditions on the drift vector $\mathbf{g} = (g_0, g_1, \ldots)'$ it is known that the Markov process corresponding to the gap sequence of the associated ranked particles has a continuum of product form stationary distributions $\{\pi_a^{\mathbf{g}}, a \in S^{\mathbf{g}}\}$ where $S^{\mathbf{g}}$ is a semi-infinite interval of the real line. In this work we show that all of these stationary distributions are extremal and ergodic. We also prove that any product form stationary distribution of this Markov process that satisfies a mild integrability condition must be $\pi_a^{\mathbf{g}}$ for some $a \in S^{\mathbf{g}}$. These results are new even for the infinite Atlas model. The work makes progress on the open problem of characterizing all the extremal invariant distributions of general competing Brownian particle systems interacting through their relative ranks. Proofs rely on synchronous and mirror coupling of Brownian particles and properties of the intersection local times of the various particles in the infinite system.


title: Quantized Consensus under Data-Rate Constraints and DoS Attacks: A Zooming-In and Holding Approach

abstract: This paper is concerned with the quantized consensus problem for uncertain nonlinear multi-agent systems under data-rate constraints and Denial-of-Service (DoS) attacks. The agents are modeled in strict-feedback form with unknown nonlinear dynamics and external disturbance. Extended state observers (ESOs) are leveraged to estimate agents' total uncertainties along with their states. To mitigate the effects of DoS attacks, a novel dynamic quantization with zooming-in and holding capabilities is proposed. The idea is to zoom-in and hold the variable to be quantized if the system is in the absence and presence of DoS attacks, respectively. The control protocol is given in terms of the outputs of the ESOs and the dynamic-quantization-based encoders and decoders. We show that, for a connected undirected network, the developed control protocol is capable of handling any DoS attacks inducing bounded consecutive packet losses with merely 3-level quantization. The application of the zooming-in and holding approach to known linear multi-agent systems is also discussed.


title: Towards the Human Global Context: Does the Vision-Language Model Really Judge Like a Human Being?

abstract: As computer vision and NLP make progress, Vision-Language(VL) is becoming an important area of research. Despite the importance, evaluation metrics of the research domain is still at a preliminary stage of development. In this paper, we propose a quantitative metric "Equivariance Score" and evaluation dataset "Human Puzzle" to assess whether a VL model is understanding an image like a human. We observed that the VL model does not interpret the overall context of an input image but instead shows biases toward a specific object or shape that forms the local context. We aim to quantitatively measure a model's performance in understanding context. To verify the current existing VL model's capability, we sliced the original input image into pieces and randomly placed them, distorting the global context of the image. Our paper discusses each VL model's level of interpretation on global context and addresses how the structural characteristics influenced the results.


title: Elko spinors revised

abstract: It is shown that c-number elko spinors obey the massless Dirac equation and are unitarily equivalent to Weyl bispinors. Therefore, they do not constitute a new spinor type with mass dimension one.


title: Concurrent Composition Theorems for Differential Privacy

abstract: We study the concurrent composition properties of interactive differentially private mechanisms, whereby an adversary can arbitrarily interleave its queries to the different mechanisms. We prove that all composition theorems for non-interactive differentially private mechanisms extend to the concurrent composition of interactive differentially private mechanisms, whenever differential privacy is measured using the hypothesis testing framework of $f$-DP, which captures standard $(\eps,\delta)$-DP as a special case. We prove the concurrent composition theorem by showing that every interactive $f$-DP mechanism can be simulated by interactive post-processing of a non-interactive $f$-DP mechanism. In concurrent and independent work, Lyu~\cite{lyu2022composition} proves a similar result to ours for $(\eps,\delta)$-DP, as well as a concurrent composition theorem for R\'enyi DP. We also provide a simple proof of Lyu's concurrent composition theorem for R\'enyi DP. Lyu leaves the general case of $f$-DP as an open problem, which we solve in this paper.


title: When Fairness Meets Privacy: Fair Classification with Semi-Private Sensitive Attributes

abstract: Machine learning models have demonstrated promising performance in many areas. However, the concerns that they can be biased against specific demographic groups hinder their adoption in high-stake applications. Thus, it is essential to ensure fairness in machine learning models. Most previous efforts require direct access to sensitive attributes for mitigating bias. Nonetheless, it is often infeasible to obtain large-scale users' sensitive attributes considering users' concerns about privacy in the data collection process. Privacy mechanisms such as local differential privacy (LDP) are widely enforced on sensitive information in the data collection stage due to legal compliance and people's increasing awareness of privacy. Therefore, a critical problem is how to make fair predictions under privacy. We study a novel and practical problem of fair classification in a semi-private setting, where most of the sensitive attributes are private and only a small amount of clean ones are available. To this end, we propose a novel framework FairSP that can achieve Fair prediction under the Semi-Private setting. First, FairSP learns to correct the noise-protected sensitive attributes by exploiting the limited clean sensitive attributes. Then, it jointly models the corrected and clean data in an adversarial way for debiasing and prediction. Theoretical analysis shows that the proposed model can ensure fairness under mild assumptions in the semi-private setting. Extensive experimental results on real-world datasets demonstrate the effectiveness of our method for making fair predictions under privacy and maintaining high accuracy.


title: Fidelity susceptibility as a diagnostic of the commensurate-incommensurate transition: A revisit of the programmable Rydberg chain

abstract: In recent years, programmable Rydberg-atom arrays have been widely used to simulate new quantum phases and phase transitions, generating great interest among theorists and experimentalists. Based on the large-scale density matrix renormalization group method, the ground-state phase diagram of one-dimensional Rydberg chains is investigated with fidelity susceptibility as an efficient diagnostic method. We find that the competition between Rydberg blockade and external detuning produces unconventional phases and phase transitions. As the Rydberg blockade radius increases, the phase transition between disordered and density-wave ordered phases changes from the standard Potts universality class to an unconventional chiral one. As the radius increases further (above Potts point but still close to the tip of the lobe), a very narrow intermediate floating-phase region begins to appear. A concise physical picture is also provided to illustrate the numerical results. Compared with previous studies, this work brings more evidence for commensurate-incommensurate quantum phase transitions in programmable quantum simulators from the perspective of quantum information, showing that fidelity susceptibility can be used to study such phase transitions.


title: MobileCodec: Neural Inter-frame Video Compression on Mobile Devices

abstract: Realizing the potential of neural video codecs on mobile devices is a big technological challenge due to the computational complexity of deep networks and the power-constrained mobile hardware. We demonstrate practical feasibility by leveraging Qualcomm's technology and innovation, bridging the gap from neural network-based codec simulations running on wall-powered workstations, to real-time operation on a mobile device powered by Snapdragon technology. We show the first-ever inter-frame neural video decoder running on a commercial mobile phone, decoding high-definition videos in real-time while maintaining a low bitrate and high visual quality.


title: Topological Phases in the Plaquette Random-Cluster Model and Potts Lattice Gauge Theory

abstract: The $i$-dimensional plaquette random-cluster model on a finite cubical complex is the random complex of $i$-plaquettes with each configuration having probability proportional to $$p^{\text{# of plaquettes}}(1-p)^{\text{# of complementary plaquettes}}q^{\mathbf{ b}_{i-1}},$$ where $q\geq 1$ is a real parameter and $\mathbf{b}_{i-1}$ denotes the rank of the $(i-1)$-homology group with coefficients in a specified coefficient field. When $q$ is prime and the coefficient field is $\mathbb{F}_q$, this model is coupled with the $(i-1)$-dimensional $q$-state Potts lattice gauge theory. We prove that the probability that an $(i-1)$-cycle in $\mathbb{Z}^d$ is null-homologous in the plaquette random-cluster model equals the expectation of the corresponding generalized Wilson loop variable. This provides the first rigorous justification for a claim of Aizenman, Chayes, Chayes, Fr\"olich, and Russo that there is an exact relationship between Wilson loop variables and the event that a loop is bounded by a surface in an interacting system of plaquettes. We also prove that the $i$-dimensional plaquette random-cluster model on the $2i$-dimensional torus exhibits a sharp phase transition at the self-dual point $p_{\mathrm{sd}} \mathrel{\vcenter{:}}= \frac{\sqrt{q}}{1+\sqrt{q}}$ in the sense of homological percolation. This implies a qualitative change in the generalized Swendsen--Wang dynamics from local to non-local behavior.


title: Extracting Densest Sub-hypergraph with Convex Edge-weight Functions

abstract: The densest subgraph problem (DSG) aiming at finding an induced subgraph such that the average edge-weights of the subgraph is maximized, is a well-studied problem. However, when the input graph is a hypergraph, the existing notion of DSG fails to capture the fact that a hyperedge partially belonging to an induced sub-hypergraph is also a part of the sub-hypergraph. To resolve the issue, we suggest a function $f_e:\mathbb{Z}_{\ge0}\rightarrow \mathbb{R}_{\ge 0}$ to represent the partial edge-weight of a hyperedge $e$ in the input hypergraph $\mathcal{H}=(V,\mathcal{E},f)$ and formulate a generalized densest sub-hypergraph problem (GDSH) as $\max_{S\subseteq V}\frac{\sum_{e\in \mathcal{E}}{f_e(|e\cap S|)}}{|S|}$. We demonstrate that, when all the edge-weight functions are non-decreasing convex, GDSH can be solved in polynomial-time by the linear program-based algorithm, the network flow-based algorithm and the greedy $\frac{1}{r}$-approximation algorithm where $r$ is the rank of the input hypergraph. Finally, we investigate the computational tractability of GDSH where some edge-weight functions are non-convex.


title: Depinning in the quenched Kardar-Parisi-Zhang class I: Mappings, simulations and algorithm

abstract: Depinning of elastic systems advancing on disordered media can usually be described by the quenched Edwards-Wilkinson equation (qEW). However, additional ingredients such as anharmonicity and forces that can not be derived from a potential energy may generate a different scaling behavior at depinning. The most experimentally relevant is the Kardar-Parisi-Zhang (KPZ) term, proportional to the square of the slope at each site, which drives the critical behavior into the so-called quenched KPZ (qKPZ) universality class. We study this universality class both numerically and analytically: by using exact mappings we show that at least for $d=1,2$ this class encompasses not only the qKPZ equation itself, but also anharmonic depinning and a well-known class of cellular automata introduced by Tang and Leschhorn. We develop scaling arguments for all critical exponents, including size and duration of avalanches. The scale is set by the confining potential strength $m^2$. This allows us to estimate numerically these exponents as well as the $m$-dependent effective force correlator $\Delta(w)$, and its correlation length $\rho:= \Delta(0)/|\Delta'(0^+)|$. Finally we present a new algorithm to numerically estimate the effective ($m$-dependent) elasticity $c$, and the effective KPZ non-linearity $\lambda$. This allows us to define a dimensionless universal KPZ amplitude ${\cal A}:=\rho \lambda /c$, which takes the value ${\cal A}=1.10(2)$ in all systems considered in $d=1$. This proves that qKPZ is the effective field theory for all these models. Our work paves the way for a deeper understanding of depinning in the qKPZ class, and in particular, for the construction of a field theory that we describe in a companion paper.


title: A Few Expert Queries Suffices for Sample-Efficient RL with Resets and Linear Value Approximation

abstract: The current paper studies sample-efficient Reinforcement Learning (RL) in settings where only the optimal value function is assumed to be linearly-realizable. It has recently been understood that, even under this seemingly strong assumption and access to a generative model, worst-case sample complexities can be prohibitively (i.e., exponentially) large. We investigate the setting where the learner additionally has access to interactive demonstrations from an expert policy, and we present a statistically and computationally efficient algorithm (Delphi) for blending exploration with expert queries. In particular, Delphi requires $\tilde{\mathcal{O}}(d)$ expert queries and a $\texttt{poly}(d,H,|\mathcal{A}|,1/\varepsilon)$ amount of exploratory samples to provably recover an $\varepsilon$-suboptimal policy. Compared to pure RL approaches, this corresponds to an exponential improvement in sample complexity with surprisingly-little expert input. Compared to prior imitation learning (IL) approaches, our required number of expert demonstrations is independent of $H$ and logarithmic in $1/\varepsilon$, whereas all prior work required at least linear factors of both in addition to the same dependence on $d$. Towards establishing the minimal amount of expert queries needed, we show that, in the same setting, any learner whose exploration budget is polynomially-bounded (in terms of $d,H,$ and $|\mathcal{A}|$) will require at least $\tilde\Omega(\sqrt{d})$ oracle calls to recover a policy competing with the expert's value function. Under the weaker assumption that the expert's policy is linear, we show that the lower bound increases to $\tilde\Omega(d)$.


title: Dispersive readout of a high-Q encapsulated micromechanical resonator

abstract: Encapsulated bulk mode microresonators in the megahertz range are used in commercial timekeeping and sensing applications but their performance is limited by the current state of the art of readout methods. We demonstrate a readout using dispersive coupling between a high-Q encapsulated bulk mode micromechanical resonator and a lumped element microwave resonator that is implemented with commercially available components and standard printed circuit board fabrication methods and operates at room temperature and pressure. A frequency domain measurement of the microwave readout system yields a displacement resolution of $522 \, \mathrm{fm/\sqrt{Hz}}$, which demonstrates an improvement over the state of the art of displacement measurement in bulk-mode encapsulated microresonators. This approach can be readily implemented in cryogenic measurements, allowing for future work characterizing the thermomechanical noise of encapsulated bulk mode resonators at cryogenic temperatures.


title: Evolving community structure in the international pesticide trade networks

abstract: The statistical properties including community structure of the international trade networks of all commodities as a whole have been studied extensively. However, the international trade networks of individual commodities often behave differently. Due to the importance of pesticides in agricultural production and food security, we investigate the evolving community structure in the international pesticide trade networks (iPTNs) of five categories from 2007 to 2018. We unveil the community structures in the undirected and directed iPTNs exhibits regional patterns. However, the regional patterns are very different for undirected and directed networks and for different categories of pesticide. Moreover, the community structure is stabler in the directed iPTNs than in the undirected iPTNs. We also extract the intrinsic community blocks for the directed international trade networks of each pesticide category. It is found that the largest intrinsic community block is the stablest that appears in every pesticide category and contains important economies (Belgium, Germany, Spain, France, United Kingdom, Italy, Netherlands, and Portugal) in Europe. Other important and stable intrinsic community blocks are Canada and the United States in North America, Argentina and Brazil in South America, and Australia and New Zealand in Oceania. These findings imply the importance of geographic distance and the complementarity of important adjacent economies in the international trade of pesticides.


title: Secure bound analysis of quantum key distribution with non-uniform random seed of privacy amplification

abstract: Precise quantum key distribution (QKD) secure bound analysis is essential for practical QKD systems. The effect of uniformity of random number seed for privacy amplification is not considered in existing secure bound analysis. In this paper, we propose and prove the quantum leftover hash lemma with non-uniform random number seeds based on the min-entropy, and we give a precise QKD secure bound analysis with non-uniform random number seeds on this basis. We take the two-decoy BB84 protocol as an example to simulate the effect of random number seed uniformity on the secure bound of a QKD system. The experimental results indicate that when the average min-entropy of the random number generator is below 0.95, the secure bound of a QKD system will be seriously affected.


title: Display of 3D Illuminations using Flying Light Specks

abstract: This paper presents techniques to display 3D illuminations using Flying Light Specks, FLSs. Each FLS is a miniature (hundreds of micrometers) sized drone with one or more light sources to generate different colors and textures with adjustable brightness. It is network enabled with a processor and local storage. Synchronized swarms of cooperating FLSs render illumination of virtual objects in a pre-specified 3D volume, an FLS display. We present techniques to display both static and motion illuminations. Our display techniques consider the limited flight time of an FLS on a fully charged battery and the duration of time to charge the FLS battery. Moreover, our techniques assume failure of FLSs is the norm rather than an exception. We present a hardware and a software architecture for an FLS-display along with a family of techniques to compute flight paths of FLSs for illuminations. With motion illuminations, one technique (ICF) minimizes the overall distance traveled by the FLSs significantly when compared with the other techniques.


title: Private Convex Optimization in General Norms

abstract: We propose a new framework for differentially private optimization of convex functions which are Lipschitz in an arbitrary norm $\|\cdot\|$. Our algorithms are based on a regularized exponential mechanism which samples from the density $\propto \exp(-k(F+\mu r))$ where $F$ is the empirical loss and $r$ is a regularizer which is strongly convex with respect to $\|\cdot\|$, generalizing a recent work of [Gopi, Lee, Liu '22] to non-Euclidean settings. We show that this mechanism satisfies Gaussian differential privacy and solves both DP-ERM (empirical risk minimization) and DP-SCO (stochastic convex optimization) by using localization tools from convex geometry. Our framework is the first to apply to private convex optimization in general normed spaces and directly recovers non-private SCO rates achieved by mirror descent as the privacy parameter $\epsilon \to \infty$. As applications, for Lipschitz optimization in $\ell_p$ norms for all $p \in (1, 2)$, we obtain the first optimal privacy-utility tradeoffs; for $p = 1$, we improve tradeoffs obtained by the recent works [Asi, Feldman, Koren, Talwar '21, Bassily, Guzman, Nandi '21] by at least a logarithmic factor. Our $\ell_p$ norm and Schatten-$p$ norm optimization frameworks are complemented with polynomial-time samplers whose query complexity we explicitly bound.


title: Fast Swimming Robots Based on Elastic Instability

abstract: Inspired by the snap-through action of a steel hairclip, we propose a design method for in-plane prestressed mechanisms that exhibit biomimetic morphing and high locomotion performance. Compliant bistable flapping mechanisms are fabricated using this method and are mounted on our untethered soft robotic fish. Using this mechanism, we achieve life-like undulation with a Strouhal number (1) of St = 0.28 and a velocity of 2.03 body lengths per second (43.6 cm/s), a three-fold improvement over past compliant fish robots. A tethered pneumatic version indicates that this mechanism is compatible with soft actuators. We study the mechanism both computationally and experimentally and suggest that elastic instability may offer a path to overcome the speed challenge of soft and compliant robots.


title: Retweet-BERT: Political Leaning Detection Using Language Features and Information Diffusion on Social Networks

abstract: Estimating the political leanings of social media users is a challenging and ever more pressing problem given the increase in social media consumption. We introduce Retweet-BERT, a simple and scalable model to estimate the political leanings of Twitter users. Retweet-BERT leverages the retweet network structure and the language used in users' profile descriptions. Our assumptions stem from patterns of networks and linguistics homophily among people who share similar ideologies. Retweet-BERT demonstrates competitive performance against other state-of-the-art baselines, achieving 96%-97% macro-F1 on two recent Twitter datasets (a COVID-19 dataset and a 2020 United States presidential elections dataset). We also perform manual validation to validate the performance of Retweet-BERT on users not in the training data. Finally, in a case study of COVID-19, we illustrate the presence of political echo chambers on Twitter and show that it exists primarily among right-leaning users. Our code is open-sourced and our data is publicly available.


title: Towards Understanding The Semidefinite Relaxations of Truncated Least-Squares in Robust Rotation Search

abstract: The rotation search problem aims to find a 3D rotation that best aligns a given number of point pairs. To induce robustness against outliers for rotation search, prior work considers truncated least-squares (TLS), which is a non-convex optimization problem, and its semidefinite relaxation (SDR) as a tractable alternative. Whether this SDR is theoretically tight in the presence of noise, outliers, or both has remained largely unexplored. We derive conditions that characterize the tightness of this SDR, showing that the tightness depends on the noise level, the truncation parameters of TLS, and the outlier distribution (random or clustered). In particular, we give a short proof for the tightness in the noiseless and outlier-free case, as opposed to the lengthy analysis of prior work.


title: SepLUT: Separable Image-adaptive Lookup Tables for Real-time Image Enhancement

abstract: Image-adaptive lookup tables (LUTs) have achieved great success in real-time image enhancement tasks due to their high efficiency for modeling color transforms. However, they embed the complete transform, including the color component-independent and the component-correlated parts, into only a single type of LUTs, either 1D or 3D, in a coupled manner. This scheme raises a dilemma of improving model expressiveness or efficiency due to two factors. On the one hand, the 1D LUTs provide high computational efficiency but lack the critical capability of color components interaction. On the other, the 3D LUTs present enhanced component-correlated transform capability but suffer from heavy memory footprint, high training difficulty, and limited cell utilization. Inspired by the conventional divide-and-conquer practice in the image signal processor, we present SepLUT (separable image-adaptive lookup table) to tackle the above limitations. Specifically, we separate a single color transform into a cascade of component-independent and component-correlated sub-transforms instantiated as 1D and 3D LUTs, respectively. In this way, the capabilities of two sub-transforms can facilitate each other, where the 3D LUT complements the ability to mix up color components, and the 1D LUT redistributes the input colors to increase the cell utilization of the 3D LUT and thus enable the use of a more lightweight 3D LUT. Experiments demonstrate that the proposed method presents enhanced performance on photo retouching benchmark datasets than the current state-of-the-art and achieves real-time processing on both GPUs and CPUs.


title: Show Me What I Like: Detecting User-Specific Video Highlights Using Content-Based Multi-Head Attention

abstract: We propose a method to detect individualized highlights for users on given target videos based on their preferred highlight clips marked on previous videos they have watched. Our method explicitly leverages the contents of both the preferred clips and the target videos using pre-trained features for the objects and the human activities. We design a multi-head attention mechanism to adaptively weigh the preferred clips based on their object- and human-activity-based contents, and fuse them using these weights into a single feature representation for each user. We compute similarities between these per-user feature representations and the per-frame features computed from the desired target videos to estimate the user-specific highlight clips from the target videos. We test our method on a large-scale highlight detection dataset containing the annotated highlights of individual users. Compared to current baselines, we observe an absolute improvement of 2-4% in the mean average precision of the detected highlights. We also perform extensive ablation experiments on the number of preferred highlight clips associated with each user as well as on the object- and human-activity-based feature representations to validate that our method is indeed both content-based and user-specific.


title: R\'{e}nyi entanglement entropy after a quantum quench starting from insulating states in a free boson system

abstract: We investigate the time-dependent R\'{e}nyi entanglement entropy after a quantum quench starting from the Mott-insulating and charge-density-wave states in a one-dimensional free boson system. The second R\'{e}nyi entanglement entropy is found to be the negative of the logarithm of the permanent of a matrix consisting of time-dependent single-particle correlation functions. From this relation and a permanent inequality, we obtain rigorous conditions for satisfying the volume-law entanglement growth. We also succeed in calculating the time evolution of the R\'{e}nyi entanglement entropy in unprecedentedly large systems by brute-force computations of the permanent. We discuss possible applications of our findings to the real-time dynamics of noninteracting bosonic systems.

categories: quant-ph cond-mat.quant-gas math-ph math.MP


title: Integration of Bicomplex Valued Function along Hyperbolic Curve

abstract: In this paper, we have defined bicomplex valued functions of bounded variations and rectifiable hyperbolic path. We have studied the integration of product-type bicomplex functions over rectifiable hyperbolic path. Also we have established bicomplex analogue of the Fundamental Theorem of Calculus for line integral.


title: Flows into de Sitter space from anisotropic initial conditions: An effective field theory approach

abstract: For decades, physicists have analyzed various versions of a ``cosmic no-hair" conjecture, to understand under what conditions a spacetime that is initially spatially anisotropic and/or inhomogeneous will flow into an isotropic and homogeneous state. Wald's theorem, in particular, established that homogeneous but anisotropic spacetimes, if filled with a positive cosmological constant plus additional matter sources that satisfy specific energy conditions, will necessarily flow toward an (isotropic) de Sitter state at late times. In this paper we study the flow of homogeneous but anisotropic spacetimes toward isotropic states under conditions more general than those to which Wald's theorem applies. We construct an effective field theory (EFT) treatment for generic ``single-clock" systems in anisotropic spacetimes -- which are not limited to realizations compatible with scalar-field constructions -- and identify fixed points in the resulting phase space. We identify regions of this phase space that flow to isotropic fixed points -- including a de Sitter fixed point -- even in the absence of a bare cosmological constant, and for matter sources that do not obey the energy conditions required for Wald's theorem. Such flows into de Sitter reveal the emergence of an effective cosmological constant.


title: Learning Knowledge Representation with Meta Knowledge Distillation for Single Image Super-Resolution

abstract: Knowledge distillation (KD), which can efficiently transfer knowledge from a cumbersome network (teacher) to a compact network (student), has demonstrated its advantages in some computer vision applications. The representation of knowledge is vital for knowledge transferring and student learning, which is generally defined in hand-crafted manners or uses the intermediate features directly. In this paper, we propose a model-agnostic meta knowledge distillation method under the teacher-student architecture for the single image super-resolution task. It provides a more flexible and accurate way to help the teachers transmit knowledge in accordance with the abilities of students via knowledge representation networks (KRNets) with learnable parameters. In order to improve the perception ability of knowledge representation to students' requirements, we propose to solve the transformation process from intermediate outputs to transferred knowledge by employing the student features and the correlation between teacher and student in the KRNets. Specifically, the texture-aware dynamic kernels are generated and then extract texture features to be improved and the corresponding teacher guidance so as to decompose the distillation problem into texture-wise supervision for further promoting the recovery quality of high-frequency details. In addition, the KRNets are optimized in a meta-learning manner to ensure the knowledge transferring and the student learning are beneficial to improving the reconstructed quality of the student. Experiments conducted on various single image super-resolution datasets demonstrate that our proposed method outperforms existing defined knowledge representation related distillation methods, and can help super-resolution algorithms achieve better reconstruction quality without introducing any inference complexity.


title: Greatly Enhanced Emission from Spin Defects in Hexagonal Boron Nitride Enabled by a Low-Loss Plasmonic Nano-Cavity

abstract: Two-dimensional hexagonal boron nitride (hBN) has been known to host a variety of quantum emitters with properties suitable for a broad range of quantum photonic applications. Among them, the negatively charged boron vacancy (VB-) defect with optically addressable spin states has emerged recently due to its potential use in quantum sensing. Compared to spin defects in bulk crystals, VB- preserves its spin coherence properties when placed at nanometer-scale distances from the hBN surface, enabling nanometer-scale quantum sensing. On the other hand, the low quantum efficiency of VB- has hindered its use in practical applications. Several studies have reported improving the overall quantum efficiency of VB- defects using plasmonic effects; however, the overall enhancements of up to 17 times reported to date are relatively modest. In this study, we explore and demonstrate much higher emission enhancements of VB- with ultralow-loss nano-patch antenna (NPA) structures. An overall intensity enhancement of up to 250 times is observed for NPA-coupled VB- defects. Since the laser spot exceeds the area of the NPA, where the enhancement occurs, the actual enhancement provided by the NPA is calculated to be ~1685 times, representing a significant increase over the previously reported results. Importantly, the optically detected magnetic resonance (ODMR) contrast is preserved at such exceptionally strong enhancement. Our results not only establish NPA-coupled VB- defects as high-resolution magnetic field sensors operating at weak laser powers, but also provide a promising approach to obtaining single VB- defects.


title: Rigorous justification of the wave kinetic theory

abstract: The main purpose of this expository note is to give a short account of the recent developments in mathematical wave kinetic theory. After reviewing the physical theory, we explain the importance of the notion of a scaling law, which dictates the relation between the asymptotic parameters as the kinetic limit is taken. This sets some natural limitations on the kinetic approximation that were not precisely understood in the literature as far as we know. We then describe our recent and upcoming works that give the first full, mathematically rigorous, derivation of the wave kinetic theory at the natural kinetic timescale. The key new ingredient is a delicate analysis of the diagrammatic expansion that allows to a) uncover highly elaborate cancellations at arbitrary large order of diagrams, and b) overcome difficulties coming from factorial divergences in the expansion and the criticality of the problem. The results mentioned in this note appear in our recent works [16, 17] as well as an upcoming one in [18].


title: Estimates on the Kodaira dimension for fibrations over abelian varieties

abstract: We give estimates on the Kodaira dimension for fibrations over abelian varieties, and give some applications. One of the results strengthens the subadditivity of Kodaira dimension of fibrations over abelian varieties.


title: Minimal length of nonsimple closed geodesics on hyperbolic surfaces

abstract: In the present paper, we show that the minimal length of closed geodesics on finite-type hyperbolic surfaces with self-intersection number $k$ has order $2\log k$ as $k$ gets large.


title: Explosion mechanism of core-collapse supernovae: role of the Si/O interface

abstract: We present a simple criterion to predict the explodability of massive stars based on the density and entropy profiles before collapse. If a pronounced density jump is present near the Si/Si-O interface, the star will likely explode. We develop a quantitative criterion by using $\sim 1300$ 1D simulations where $\nu$-driven turbulence is included via time-dependent mixing-length theory. This criterion correctly identifies the outcome of the supernova more than $90 \%$ of the time. We also find no difference in how this criterion performs on two different sets of progenitors, evolved using two different stellar evolution codes: FRANEC and KEPLER. The explodability as a function of mass of the two sets of progenitors is very different, showing: (i) that uncertainties in the stellar evolution prescriptions influence the predictions of supernova explosions; (ii) the most important properties of the pre-collapse progenitor that influence the explodability are its density and entropy profiles. We highlight the importance that $\nu$-driven turbulence plays in the explosion by comparing our results to previous works.


title: Optimization of stochastic switching buffer network via DC programming

abstract: This letter deals with the optimization problems of stochastic switching buffer networks, where the switching law is governed by Markov process. The dynamical buffer network is introduced, and its application in modeling the car-sharing network is also presented. To address the nonconvexity for getting a solution as close-to-the-global-optimal as possible of the optimization problem, we adopt a succinct but effective nonconvex optimization method called \emph{ DC (difference of convex functions) programming}. By resorting to the log-log convexity of a class of nonlinear functions called posynomials, the optimization problems can be reduced to DC programming problems. Finally, we verify the effectiveness of our results by simulation experiments.


title: Latent-Domain Predictive Neural Speech Coding

abstract: Neural audio/speech coding has recently demonstrated its capability to deliver high quality at much lower bitrates than traditional methods. However, existing neural audio/speech codecs employ either acoustic features or learned blind features with a convolutional neural network for encoding, by which there are still temporal redundancies within encoded features. This paper introduces latent-domain predictive coding into the VQ-VAE framework to fully remove such redundancies and proposes the TF-Codec for low-latency neural speech coding in an end-to-end manner. Specifically, the extracted features are encoded conditioned on a prediction from past quantized latent frames so that temporal correlations are further removed. Moreover, we introduce a learnable compression on the time-frequency input to adaptively adjust the attention paid to main frequencies and details at different bitrates. A differentiable vector quantization scheme based on distance-to-soft mapping and Gumbel-Softmax is proposed to better model the latent distributions with rate constraint. Subjective results on multilingual speech datasets show that, with low latency, the proposed TF-Codec at 1 kbps achieves significantly better quality than Opus at 9 kbps, and TF-Codec at 3 kbps outperforms both EVS at 9.6 kbps and Opus at 12 kbps. Numerous studies are conducted to demonstrate the effectiveness of these techniques.


title: One-Step Hydrothermal Synthesis of Sb 2 WO 6 Nanoparticle towards Excellent LED Light Driven Photocatalytic Dye Degradation

abstract: Pristine Antimony tungstate nanoparticles prepared via a simple hydrothermal process showcase interesting photocatalytic efficiency, degrading Methylene Blue (MB) completely in 180 min under visible light. In this study, the impact on crystalline quality and related optical properties as well as photocatalytic efficiency of antimony tungstate due to temperature variation during hydrothermal synthesis are explored. While X-ray diffraction (XRD) shows the polycrystalline nature of all synthesized samples, however a systematic increase in crystallite size is revealed by analysing the XRD peak broadening. XRD spectra are further examined by Rietveld analysis showing a change in unit cell volume. Additionally, the overall changes in the corresponding grain size and micro-strain developed in the crystals are determined using the Williamson-Hall plot. Moreover, significant variations in few Raman modes are observed with increasing synthesis temperature. A notable modification in the optical band gap as determined from the absorbance of the UV-Vis spectra is perceived with the change in synthesis temperature within the range of ~2.38-2.57 eV. Further, the photoluminescence measurement indicates that the synthesized antimony tungstate is weak luminescent material with a band-to-band emission at ~468 nm. Finally, photocatalytic efficiencies of the samples are ascertained to change with the synthesis parameter, estimated by decomposing methylene blue (MB), highest degradation rate constant (k) value is observed as 0.015 min -1 for the sample prepared at 180 o C. While the sample with the highest efficiency is also applied for degrading the Rhodamine B (RhB) and Potassium Dichromate (K 2 Cr 2 O 7 ) under visible light irradiation.


title: CausNet : Generational orderings based search for optimal Bayesian networks via dynamic programming with parent set constraints

abstract: Finding a globally optimal Bayesian Network using exhaustive search is a problem with super-exponential complexity, which severely restricts the number of variables that it can work for. We implement a dynamic programming based algorithm with built-in dimensionality reduction and parent set identification. This reduces the search space drastically and can be applied to large-dimensional data. We use what we call generational orderings based search for optimal networks, which is a novel way to efficiently search the space of possible networks given the possible parent sets. The algorithm supports both continuous and categorical data, and categorical as well as survival outcomes. We demonstrate the efficacy of our algorithm on both synthetic and real data. In simulations, our algorithm performs better than three state-of-art algorithms that are currently used extensively. We then apply it to an Ovarian Cancer gene expression dataset with 513 genes and a survival outcome. Our algorithm is able to find an optimal network describing the disease pathway consisting of 6 genes leading to the outcome node in a few minutes on a basic computer. Our generational orderings based search for optimal networks, is both efficient and highly scalable approach to finding optimal Bayesian Networks, that can be applied to 1000s of variables. Using specifiable parameters - correlation, FDR cutoffs, and in-degree - one can increase or decrease the number of nodes and density of the networks. Availability of two scoring option-BIC and Bge-and implementation of survival outcomes and mixed data types makes our algorithm very suitable for many types of high dimensional biomedical data to find disease pathways.


title: NMR diffusion in restricted environment approached by a fractional Langevin model

abstract: The diffusion motion of spin-bearing molecules is considerably affected in confined environments. In Nuclear Magnetic Resonance (NMR) experiments, under the presence of magnetic field gradients, this movement can be encoded in spin phase and the NMR signal attenuation due to diffusion can be evaluated. This paper considered this effect in both normal and anomalous diffusion by means of the Langevin stochastic model within the Gaussian phase approximation (GPA) for a constant gradient temporal profile. The phenomenological approach illustrates the emergence of fractional order exponential decay in the NMR signal and retrieves the classical result from Hanh echo.


title: Protecting Global Properties of Datasets with Distribution Privacy Mechanisms

abstract: We consider the problem of ensuring confidentiality of dataset properties aggregated over many records of a dataset. Such properties can encode sensitive information, such as trade secrets or demographic data, while involving a notion of data protection different to the privacy of individual records typically discussed in the literature. In this work, we demonstrate how a distribution privacy framework can be applied to formalize such data confidentiality. We extend the Wasserstein Mechanism from Pufferfish privacy and the Gaussian Mechanism from attribute privacy to this framework, then analyze their underlying data assumptions and how they can be relaxed. We then empirically evaluate the privacy-utility tradeoffs of these mechanisms and apply them against a practical property inference attack which targets global properties of datasets. The results show that our mechanisms can indeed reduce the effectiveness of the attack while providing utility substantially greater than a crude group differential privacy baseline. Our work thus provides groundwork for theoretical mechanisms for protecting global properties of datasets along with their evaluation in practice.


title: A Derivative-Hilbert operator Acting on Dirichlet spaces

abstract: Let $\mu$ be a positive Borel measure on the interval $[0,1)$. The Hankel matrix $\mathcal{H}_{\mu}=(\mu_{n,k})_{n,k\geq 0}$ with entries $\mu_{n,k}=\mu_{n+k}$, where $\mu_{n}=\int_{[0,1)}t^nd\mu(t)$, induces formally the operator as $$\mathcal{DH}_\mu(f)(z)=\sum_{n=0}^\infty\left(\sum_{k=0}^\infty \mu_{n,k}a_k\right)(n+1)z^n , z\in \mathbb{D},$$ where $f(z)=\sum_{n=0}^{\infty}a_nz^n$ is an analytic function in $\mathbb{D}$. In this paper, we characterize those positive Borel measures on $[0, 1)$ for which $\mathcal{DH}_\mu$ is bounded (resp. compact) from Dirichlet spaces $\mathcal{D}_\alpha ( 0<\alpha\leq2 )$ into $\mathcal{D}_\beta ( 2\leq\beta<4 )$.


title: PerfCE: Performance Debugging on Databases with Chaos Engineering-Enhanced Causality Analysis

abstract: Debugging performance anomalies in real-world databases is challenging. Causal inference techniques enable qualitative and quantitative root cause analysis of performance downgrade. Nevertheless, causality analysis is practically challenging, particularly due to limited observability. Recently, chaos engineering has been applied to test complex real-world software systems. Chaos frameworks like Chaos Mesh mutate a set of chaos variables to inject catastrophic events (e.g., network slowdowns) to "stress" software systems. The systems under chaos stress are then tested using methods like differential testing to check if they retain their normal functionality (e.g., SQL query output is always correct under stress). Despite its ubiquity in the industry, chaos engineering is now employed mostly to aid software testing rather for performance debugging. This paper identifies novel usage of chaos engineering on helping developers diagnose performance anomalies in databases. Our presented framework, PERFCE, comprises an offline phase and an online phase. The offline phase learns the statistical models of the target database system, whilst the online phase diagnoses the root cause of monitored performance anomalies on the fly. During the offline phase, PERFCE leverages both passive observations and proactive chaos experiments to constitute accurate causal graphs and structural equation models (SEMs). When observing performance anomalies during the online phase, causal graphs enable qualitative root cause identification (e.g., high CPU usage) and SEMs enable quantitative counterfactual analysis (e.g., determining "when CPU usage is reduced to 45\%, performance returns to normal"). PERFCE notably outperforms prior works on common synthetic datasets, and our evaluation on real-world databases, MySQL and TiDB, shows that PERFCE is highly accurate and moderately expensive.