title: Orientability of space from electromagnetic quantum fluctuations

abstract: Whether the space where we live is a globally orientable manifold $M_3$, and whether the local laws of physics require that $M_3$ be equipped with a canonical orientation, are among the unsettled questions in cosmology and quantum field theory. It is often assumed that a test for spatial orientability requires a global journey across the whole $3-$space. Since such a global expedition is not feasible, theoretical arguments are usually offered to support the choice of time orientation for the spacetime manifold $M_4$, and space orientation for $M_3$. Theoretical arguments can certainly be used, but one would expect that the ultimate answer to the orientability question should rely on observations or local experiments, or can come from a topological fundamental theory in physics. In a recent paper we have argued that it is potentially possible to locally access the $3-$space orientability of Minkowski spacetime through effects involving 'point-like charged particles' under quantum electromagnetic fluctuations. Specifically, we studied the stochastic motions of a charged particle and an electric dipole subjected to these fluctuations in Minkowski spacetime, with either an orientable or a non-orientable $3-$space topology, and derived expressions for a statistical orientability indicator in these two flat topologically inequivalent manifolds. For the dipole we found that a characteristic inversion pattern exhibited by the curves of the orientability indicator is a signature of non-orientability, making it possible to locally probe the orientability of the $3-$space. Here, to shed some additional light on the spatial orientability, we briefly review these results, and also discuss some of its features and consequences. The results might open the way to a conceivable experiment involving quantum fluctuations to look into the spatial orientability of Minkowski empty spacetime.


title: Chemical-state analyses of Ni, Zn, and W ions in NiWO$_4$-ZnWO$_4$ solid solutions by X-ray photoelectron spectroscopy

abstract: The chemical states of Ni, Zn, and W in microcrystalline NiWO$_4$-ZnWO$_4$ solid solutions were studied by X-ray photoelectron spectroscopy. The recorded spectra of the Ni 2p, Zn 2p, and W 4f photoelectron lines and Ni L$_2$M$_{23}$M$_{45}$, Zn L$_3$M$_{45}$M$_{45}$, and W N$_4$N$_{67}$N$_{7}$ Auger-transition lines show pronounced changes with increasing Zn concentration. The positions of the resolved photoelectron and Auger-transition lines were combined to construct so-called chemical-state plots (Wagner or Auger-parameter plots) for metal ions in solid solutions. With increasing Zn concentration, the Auger parameter increases for Ni and decreases for W, thus evidencing a lowering and an increase of the electronic polarizability around core-ionized Ni and W ions, respectively. At the same time, the character of Zn-O bonds and the local structure around Zn ions do not change. It is concluded that the dilution of NiWO$_4$ with Zn ions is accompanied by an increase of the Ni-O bond ionicity and an increase of the W-O bond covalency. These changes are attributed to the charge redistribution among [NiO$_6$] and [WO$_6$] structural units. We show that a careful in-depth analysis of XPS data obtained with a laboratory-based X-ray photoelectron spectroscopy system can give chemically sensitive, qualitative information on the changes in the first coordination spheres of each metal ion. This information is otherwise accessible only by synchrotron-based techniques (such as X-ray absorption spectroscopy).


title: Quantitative Resilience of Generalized Integrators

abstract: To design critical systems engineers must be able to prove that their system can continue with its mission even after losing control authority over some of its actuators. Such a malfunction results in actuators producing possibly undesirable inputs over which the controller has real-time readings but no control. By definition, a system is resilient if it can still reach a target after a partial loss of control authority. However, after such a malfunction, a resilient system might be significantly slower to reach a target compared to its initial capabilities. To quantify this loss of performance we introduce the notion of quantitative resilience as the maximal ratio of the minimal times required to reach any target for the initial and malfunctioning systems. Naive computation of quantitative resilience directly from the definition is a complex task as it requires solving four nested, possibly nonlinear, optimization problems. The main technical contribution of this work is to provide an efficient method to compute quantitative resilience of control systems with multiple integrators and nonsymmetric input sets. Relying on control theory and on two novel geometric results we reduce the computation of quantitative resilience to a linear optimization problem. We illustrate our method on two numerical examples: a trajectory controller for low-thrust spacecrafts and a UAV with eight propellers.


title: Minimal mechanism for cyclic templating of length-controlled copolymers under isothermal conditions

abstract: The production of sequence-specific copolymers using copolymer templates is fundamental to the synthesis of complex biological molecules and is a promising framework for the synthesis of synthetic chemical complexes. Unlike the superficially similar process of self-assembly, however, the development of synthetic systems that implement templated copying of copolymers under constant environmental conditions has been challenging. The main difficulty has been overcoming product inhibition, or the tendency of products to adhere strongly to their templates - an effect that gets exponentially stronger with template length. We develop coarse-grained models of copolymerisation on a finite-length template and analyse them through stochastic simulation. We use these models first to demonstrate that product inhibition prevents reliable template copying, and then ask how this problem can be overcome to achieve cyclic production of polymer copies of the right length and sequence in an autonomous and chemically-driven context. We find that a simple addition to the model is sufficient to generate far longer polymer products that initially form on, and then separate from, the template. In this approach, some of the free energy of polymerisation is diverted into disrupting copy-template bonds behind the leading edge of the growing copy copolymer. By additionally weakening the final copy-template bond at the end of the template, the model predicts that reliable copying with a high yield of full-length, sequence-matched products is possible over large ranges of parameter space, opening the way to the engineering of synthetic copying systems that operate autonomously.


title: On the Limits of Design: What Are the Conceptual Constraints on Designing Artificial Intelligence for Social Good?

abstract: Artificial intelligence AI can bring substantial benefits to society by helping to reduce costs, increase efficiency and enable new solutions to complex problems. Using Floridi's notion of how to design the 'infosphere' as a starting point, in this chapter I consider the question: what are the limits of design, i.e. what are the conceptual constraints on designing AI for social good? The main argument of this chapter is that while design is a useful conceptual tool to shape technologies and societies, collective efforts towards designing future societies are constrained by both internal and external factors. Internal constraints on design are discussed by evoking Hardin's thought experiment regarding 'the Tragedy of the Commons'. Further, Hayek's classical distinction between 'cosmos' and 'taxis' is used to demarcate external constraints on design. Finally, five design principles are presented which are aimed at helping policymakers manage the internal and external constraints on design. A successful approach to designing future societies needs to account for the emergent properties of complex systems by allowing space for serendipity and socio-technological coevolution.


title: Irreducible polynomials from a cubic transformation

abstract: Let $R(x)=g(x)/h(x)$ be a rational expression of degree three over the finite field $\mathbb{F}_q$. We count the irreducible polynomials in $\mathbb{F}_q[x]$, of a given degree, which have the form $h(x)^{\mathrm{deg}\, f}\cdot f\bigl(R(x)\bigr)$ for some $f(x)\in\mathbb{F}_q[x]$. As an application, we recover the number of irreducible transformation shift registers of order three, previously computed by Jiang and Yang.


title: Exact computation of growth-rate fluctuations in random environment

abstract: We consider a general class of Markovian models describing the growth in a randomly fluctuating environment of a clonal biological population having several phenotypes related by stochastic switching. Phenotypes differ e.g. by the level of gene expression for a population of bacteria. The time-averaged growth rate of the population, $\Lambda$, is self-averaging in the limit of infinite times; it may be understood as the fitness of the population in a context of Darwinian evolution. The observation time $T$ being however typically finite, the growth rate fluctuates. For $T$ finite but large, we obtain the variance of the time-averaged growth rate as the maximum of a functional based on the stationary probability distribution for the phenotypes. This formula is general. In the case of two states, the stationary probability was computed by Hufton, Lin and Galla \cite{HufLin2}, allowing for an explicit expression which can be checked numerically.


title: On-line computing challenges: detector and readout requirements

abstract: The operation at the Z-pole of the FCC-ee machine will deliver the highest possible instantaneous luminosities with the goal of collecting the largest Z boson datasets (Tera-Z), and enable a programme of Standard Model physics studies with unprecedented precision. The data acquisition and trigger systems of the FCC-ee experiments must be designed to be as unbiased and robust as possible, with the goal of containing the systematic uncertainties associated with these datasets at the smallest possible level, in order to not compromise the extremely small statistical uncertainties. In designing these experiments, we are confronted by questions on detector readout speeds with an extremely tight material and power budget, trigger systems with a first hardware level or implemented exclusively on software, impact of background sources on event sizes, ultimate precision luminosity monitoring (to the $10^{-5} - 10^{-4}$ level), and sensitivity to a broad range of non-conventional exotic signatures, such as long-lived non-relativistic particles. We will review the various challenges on online selection for the most demanding Tera-Z running scenario and the constraints they pose on the design of FCC-ee detectors.


title: Estimating Phosphorescent Emission Energies in Ir(III) Complexes using Large-Scale Quantum Computing Simulations

abstract: Quantum chemistry simulations that accurately predict the properties of materials are among the most highly anticipated applications of quantum computing. It is widely believed that simulations running on quantum computers will allow for higher accuracy, but there has not yet been a convincing demonstration that quantum methods are competitive with existing classical methods at scale. Here we apply the iterative qubit coupled cluster (iQCC) method on classical hardware to the calculation of the $T_1 \to S_0$ transition energies in nine phosphorescent iridium complexes, to determine if quantum simulations have any advantage over traditional computing methods. Phosphorescent iridium complexes are integral to the widespread commercialization of organic light-emitting diode (OLED) technology, yet accurate computational prediction of their emission energies remains a challenge. Our simulations would require a gate-based quantum computer with a minimum of 72 fully-connected and error-corrected logical qubits. Since such devices do not yet exist, we demonstrate the iQCC quantum method using a special purpose quantum simulator on classical hardware. The results are compared to a selection of common density-functional theory (DFT) functionals (B3LYP, CAM-B3LYP, LC-wHPBE), ab initio methods (HF and MP2), and experimental data. The iQCC quantum method is found to match the accuracy of the fine-tuned DFT functionals, has a better Pearson correlation coefficient, and still has considerable potential for systematic improvement. Based on these results, we anticipate that the iQCC quantum method will have the required accuracy to design organometallic complexes when deployed on emerging quantum hardware.


title: Periodic Solutions in $\mathbb R^n$ for Stationary Anisotropic Stokes and Navier-Stokes Systems

abstract: First, the solution uniqueness and existence of a stationary anisotropic (linear) Stokes system with constant viscosity coefficients in a compressible framework on $n$-dimensional flat torus are analysed in a range of periodic Sobolev (Bessel-potential) spaces. By employing the Leray-Schauder fixed point theorem, the linear results are employed to show existence of solution to the stationary anisotropic (non-linear) Navier-Stokes incompressible system on torus in a periodic Sobolev space. Then the solution regularity results for stationary anisotropic Navier-Stokes system on torus are established.


title: Copartitions

abstract: We develop the theory of copartitions, which are a generalization of partitions with connections to many classical topics in partition theory, including Rogers-Ramanujan partitions, theta functions, mock theta functions, partitions with parts separated by parity, and crank statistics. Using both analytic and combinatorial methods, we give two forms of the three-parameter generating function, and we study several special cases that demonstrate the potential broader impact the study of copartitions may have.


title: The Wrong Kind of Information

abstract: Agents, some with a bias, decide between undertaking a risky project and a safe alternative based on information about the project's efficiency. Only a part of that information is verifiable. Unbiased agents want to undertake only efficient projects, while biased agents want to undertake any project. If the project causes harm, a court examines the verifiable information, forms a belief about the agent's type, and decides the punishment. Tension arises between deterring inefficient projects and a chilling effect on using the unverifiable information. Improving the unverifiable information always increases overall efficiency, but improving the verifiable information may reduce efficiency.


title: Energy-constrained LOCC-assisted quantum capacity of bosonic dephasing channel

abstract: We study the LOCC-assisted quantum capacity of bosonic dephasing channel with energy constraint on input states. We start our analysis by focusing on the energy-constrained squashed entanglement of the channel, which is an upper bound for the energy-constrained LOCC-assisted quantum capacity. As computing energy-constrained squashed entanglement of the channel is challenging due to a double optimization (over the set of density matrices and the isometric extensions of a squashing channel), we first derive an upper bound for it, and then we discuss how tight that bound is for energy-constrained LOCC-assisted quantum capacity of bosonic dephasing channel. We prove that the optimal input state is diagonal in the Fock basis. Furthermore, we prove that for a generic channel, the optimal squashing channel belongs to the set of symmetric quantum Markov chain inducer (SQMCI) channels of the channel system-environment output, provided that such a set is non-empty. With supporting arguments, we conjecture that this is instead the case for the bosonic dephasing channel. Hence, for it we analyze two explicit examples of squashing channels which are not SQMCI, but are symmetric. Through them, we derive explicit upper and lower bounds for the energy-constrained LOCC-assisted quantum capacity of the bosonic dephasing channel in terms of its quantum capacity with different noise parameters. As the difference between upper and lower bounds is at most of the order $10^{-1}$, we conclude that the bounds are tight. Hence we provide a very good estimation of the LOCC-assisted quantum capacity of the bosonic dephasing channel.


title: Prediction of cognitive decline for enrichment of Alzheimer's disease clinical trials

abstract: A key issue to Alzheimer's disease clinical trial failures is poor participant selection. Participants have heterogeneous cognitive trajectories and many do not decline during trials, which reduces a study's power to detect treatment effects. Trials need enrichment strategies to enroll individuals who will decline. We developed machine learning models to predict cognitive trajectories in participants with early Alzheimer's disease (n=1342) and presymptomatic individuals (n=756) over 24 and 48 months respectively. Baseline magnetic resonance imaging, cognitive tests, demographics, and APOE genotype were used to classify decliners, measured by an increase in CDR-Sum of Boxes, and non-decliners with up to 79% area under the curve (cross-validated and out-of-sample). Using these prognostic models to recruit enriched cohorts of decliners can reduce required sample sizes by as much as 51%, while maintaining the same detection power, and thus may improve trial quality, derisk endpoint failures, and accelerate therapeutic development in Alzheimer's disease.


title: A Survey of Wireless Networks for Future Aerial COMmunications (FACOM)

abstract: Electrification turned over a new leaf in aviation by introducing new types of aerial vehicles along with new means of transportation. Addressing a plethora of use cases, drones are gaining attention and increasingly appear in the sky. Emerging concepts of flying taxi enable passengers to be transported over several tens of kilometers. Therefore, unmanned traffic management systems are under development to cope with the complexity of future airspace, thereby resulting in unprecedented communication needs. Moreover, the increase in the number of commercial airplanes pushes the limits of voice-oriented communications, and future options such as single-pilot operations demand robust connectivity. In this survey, we provide a comprehensive review and vision for enabling the connectivity applications of aerial vehicles utilizing current and future communication technologies. We begin by categorizing the connectivity use cases per aerial vehicle and analyzing their connectivity requirements. By reviewing more than 500 related studies, we aim for a comprehensive approach to cover wireless communication technologies, and provide an overview of recent findings from the literature toward the possibilities and challenges of employing the wireless communication standards. After analyzing the network architectures, we list the open-source testbed platforms to facilitate future investigations. This study helped us observe that while numerous works focused on cellular technologies for aerial platforms, a single wireless technology is not sufficient to meet the stringent connectivity demands of the aerial use cases. We identified the need of further investigations on multi-technology network architectures to enable robust connectivity in the sky. Future works should consider suitable technology combinations to develop unified aerial networks that can meet the diverse quality of service demands.


title: The Fekete--Szeg\"{o} problem and filtration of generators

abstract: In this paper we study an interpolation problem involving the Fekete--Szeg\"{o} functional. It turns out that this problem links to the so-called filtration of infinitesimal generators. We introduce new filtration classes using the non-linear differential operator \[\alpha\frac{f(z)}{z}+\beta\frac{zf'(z)}{f(z)}+(1-\alpha-\beta)\left(1+\frac{zf''(z)}{f'(z)}\right)\] and establish certain properties of these classes. Sharp upper bounds of the modulus of the Fekete--Szeg\"{o} functional over some filtration classes are found. We also present open problems for further study.


title: Solution to a Monotone Inclusion Problem using the Relaxed Peaceman-Rachford Splitting Method: Convergence and its Rates

abstract: We consider the convergence behavior using the relaxed Peaceman-Rachford splitting method to solve the monotone inclusion problem $0 \in (A + B)(u)$, where $A, B: \Re^n \rightrightarrows \Re^n$ are maximal $\beta$-strongly monotone operators, $n \geq 1$ and $\beta > 0$. Under a technical assumption, convergence of iterates using the method on the problem is proved when either $A$ or $B$ is single-valued, and the fixed relaxation parameter $\theta$ lies in the interval $(2 + \beta, 2 + \beta + \min \{ \beta, 1/\beta \})$. With this convergence result, we address an open problem that is not settled in [20] on the convergence of these iterates for $\theta \in (2 + \beta, 2 + \beta + \min \{ \beta, 1/\beta\})$. Pointwise convergence rate results and $R$-linear convergence rate results when $\theta$ lies in the interval $[2 + \beta, 2 + \beta + \min \{ \beta, 1/\beta\})$ are also provided in the paper. Our analysis to achieve these results is atypical and hence novel. Numerical experiments are conducted on the weighted Lasso minimization problem to test the validity of the assumption .


title: Towards convergence to Nash equilibria in two-team zero-sum games

abstract: Contemporary applications of machine learning in two-team e-sports and the superior expressivity of multi-agent generative adversarial networks raise important and overlooked theoretical questions regarding optimization in two-team games. Formally, two-team zero-sum games are defined as multi-player games where players are split into two competing sets of agents, each experiencing a utility identical to that of their teammates and opposite to that of the opposing team. We focus on the solution concept of Nash equilibria (NE). We first show that computing NE for this class of games is $\textit{hard}$ for the complexity class ${\mathrm{CLS}}$. To further examine the capabilities of online learning algorithms in games with full-information feedback, we propose a benchmark of a simple -- yet nontrivial -- family of such games. These games do not enjoy the properties used to prove convergence for relevant algorithms. In particular, we use a dynamical systems perspective to demonstrate that gradient descent-ascent, its optimistic variant, optimistic multiplicative weights update, and extra gradient fail to converge (even locally) to a Nash equilibrium. On a brighter note, we propose a first-order method that leverages control theory techniques and under some conditions enjoys last-iterate local convergence to a Nash equilibrium. We also believe our proposed method is of independent interest for general min-max optimization.


title: The eXtreme Mesh deformation approach (X-MESH) for the Stefan phase-change model

abstract: The eXtreme Mesh deformation approach (X-MESH) is a new paradigm to follow sharp interfaces without remeshing and without changing the mesh topology. Even though the mesh does not change its topology, it can follow interfaces that do change their topology (nucleation, coalescence, splitting). To make this possible, the key X-MESH idea is to allow elements to reach zero measure. This permits interface relaying between nodes as well as interface annihilation and seeding in a time continuous manner. The paper targets the Stefan phase change model in which the interface (front) is at a given temperature. Several examples demonstrate the capability of the approach.


title: Tridiagonal shifts as compact + isometry

abstract: Let $\{a_n\}_{n\geq 0}$ and $\{b_n\}_{n\geq 0}$ be sequences of scalars. Suppose $a_n \neq 0$ for all $n \geq 0$. We consider the tridiagonal kernel (also known as band kernel with bandwidth one) as \[ k(z, w) = \sum_{n=0}^\infty ((a_n + b_n z)z^n) \overline{(({a}_n + {b}_n {w}) {w}^n)} \qquad (z, w \in \mathbb{D}), \] where $\mathbb{D} = \{z \in \mathbb{C}: |z| < 1\}$. Denote by $M_z$ the multiplication operator on the reproducing kernel Hilbert space corresponding to the kernel $k$. Assume that $M_z$ is left-invertible. We prove that $M_z =$ compact $+$ isometry if and only if $|\frac{b_n}{a_n}-\frac{b_{n+1}}{a_{n+1}}|\rightarrow 0$ and $|\frac{a_n}{a_{n+1}}| \rightarrow 1$.


title: Interactive Error Correcting Codes Over Binary Erasure Channels Resilient to $>\frac12$ Adversarial Corruption

abstract: An error correcting code ($\mathsf{ECC}$) allows a sender to send a message to a receiver such that even if a constant fraction of the communicated bits are corrupted, the receiver can still learn the message correctly. Due to their importance and fundamental nature, $\mathsf{ECC}$s have been extensively studied, one of the main goals being to maximize the fraction of errors that the $\mathsf{ECC}$ is resilient to. For adversarial erasure errors (over a binary channel) the maximal error resilience of an $\mathsf{ECC}$ is $\frac12$ of the communicated bits. In this work, we break this $\frac12$ barrier by introducing the notion of an interactive error correcting code ($\mathsf{iECC}$) and constructing an $\mathsf{iECC}$ that is resilient to adversarial erasure of $\frac35$ of the total communicated bits. We emphasize that the adversary can corrupt both the sending party and the receiving party, and that both parties' rounds contribute to the adversary's budget. We also prove an impossibility (upper) bound of $\frac23$ on the maximal resilience of any binary $\mathsf{iECC}$ to adversarial erasures. In the bit flip setting, we prove an impossibility bound of $\frac27$.


title: Parallel Nearest Neighbors in Low Dimensions with Batch Updates

abstract: We present a set of parallel algorithms for computing exact k-nearest neighbors in low dimensions. Many k-nearest neighbor algorithms use either a kd-tree or the Morton ordering of the point set; our algorithms combine these approaches using a data structure we call the \textit{zd-tree}. We show that this combination is both theoretically efficient under common assumptions, and fast in practice. For point sets of size $n$ with bounded expansion constant and bounded ratio, the zd-tree can be built in $O(n)$ work with $O(n^{\epsilon})$ span for constant $\epsilon<1$, and searching for the $k$-nearest neighbors of a point takes expected $O(k\log k)$ time. We benchmark our k-nearest neighbor algorithms against existing parallel k-nearest neighbor algorithms, showing that our implementations are generally faster than the state of the art as well as achieving 75x speedup on 144 hyperthreads. Furthermore, the zd-tree supports parallel batch-dynamic insertions and deletions; to our knowledge, it is the first k-nearest neighbor data structure to support such updates. On point sets with bounded expansion constant and bounded ratio, a batch-dynamic update of size $k$ requires $O(k \log n/k)$ work with $O(k^{\epsilon} + \text{polylog}(n))$ span.


title: Asymptotics for the twisted eta-product and applications to sign changes in partitions

abstract: We prove asymptotic formulas for the complex coefficients of $(\zeta q;q)_\infty^{-1}$, where $\zeta$ is a root of unity, and apply our results to determine secondary terms in the asymptotics for $p(a,b,n)$, the number of integer partitions of $n$ with largest part congruent $a$ modulo $b$. Our results imply that, as $n \to \infty$, the difference $p(a_1,b,n)-p(a_2,b,n)$ for $a_1 \neq a_2$ oscillates like a cosine, when renormalized by elementary functions. Moreover, we give asymptotic formulas for arbitrary linear combinations of $\{p(a,b,n)\}_{1 \leq a \leq b}$.


title: Analytification, localization and homotopy epimorphisms

abstract: We study the interaction between various analytification functors, and a class of morphisms of rings, called homotopy epimorphisms. An analytification functor assigns to a simplicial commutative algebra over a ring $R$, along with a choice of Banach structure on $R$, a commutative monoid in the monoidal model category of simplicial ind-Banach $R$-modules. We show that several analytifications relevant to analytic geometry - such as Tate, overconvergent, Stein analytification, and formal completion - are homotopy epimorphisms. Another class of examples arises from Weierstrass, Laurent and rational localisations in derived analytic geometry. As applications of this result, we prove that Hochschild homology and the cotangent complex are computable for analytic rings, and the computation relies only on known computations of Hochschild homology for polynomial rings. We show that in various senses, Hochschild homology as we define it commutes with localizations, analytifications and completions.


title: CoughTrigger: Earbuds IMU Based Cough Detection Activator Using An Energy-efficient Sensitivity-prioritized Time Series Classifier

abstract: Persistent coughs are a major symptom of respiratory-related diseases. Increasing research attention has been paid to detecting coughs using wearables, especially during the COVID-19 pandemic. Among all types of sensors utilized, microphone is most widely used to detect coughs. However, the intense power consumption needed to process audio signals hinders continuous audio-based cough detection on battery-limited commercial wearable products, such as earbuds. We present CoughTrigger, which utilizes a lower-power sensor, an inertial measurement unit (IMU), in earbuds as a cough detection activator to trigger a higher-power sensor for audio processing and classification. It is able to run all-the-time as a standby service with minimal battery consumption and trigger the audio-based cough detection when a candidate cough is detected from IMU. Besides, the use of IMU brings the benefit of improved specificity of cough detection. Experiments are conducted on 45 subjects and our IMU-based model achieved 0.77 AUC score under leave one subject out evaluation. We also validated its effectiveness on free-living data and through on-device implementation.


title: A correctly scaling rigorously spin-adapted and spin-complete open-shell CCSD implementation for arbitrary high-spin states

abstract: In this paper, we report on a correctly scaling novel coupled cluster singles and doubles (CCSD) implementation for arbitrary high-spin open-shell states. The chosen cluster operator is completely spin-free, i.e. employs spatial substitutions only. It is composed of our recently developed L\"owdin-type operators (doi: 10.1063/5.0026762), which ensure (1) spin completeness and (2) spin adaption i.e. spin purity of the CC wave function. In contrast to the proof-of-concept matrix-representation-based implementation presented there, the present implementation relies on second quantization and factorized tensor contractions. The generated singles and doubles operators are embedded in an equation generation engine. In the latter, Wick's theorem is used to derive prefactors arising from spin integration directly from the spin-free full contraction patterns. The obtained Wick terms composed of products of Kronecker deltas are represented by special non-antisymmetrized Goldstone diagrams. Identical (redundant) diagrams are identified by solving the underlying graph isomorphism problem. All non-redundant graphs are then automatically translated to locally -- one term at a time -- factorized tensor contractions. Finally, the spin-adapted and spin-complete (SASC) CCS and CCSD variants are applied to a set of small molecular test systems. Both correlation energies and amplitude norms hint towards a reasonable convergence of the SASC-CCSD method for a BCH series truncation of order four. In comparison to spin orbital CCSD, SASC-CCSD leads to slightly improved correlation energies with differences of up to 0.886 mE_H (0.98% w.r.t. spin orbital CCSD(T)).


title: Gibbsian dynamics and the generalized Langevin equation

abstract: We study the statistically invariant structures of the nonlinear generalized Langevin equation (GLE) with a power-law memory kernel. For a broad class of memory kernels, including those in the subdiffusive regime, we construct solutions of the GLE using a Gibbsian framework, which does not rely on existing Markovian approximations. Moreover, we provide conditions on the decay of the memory to ensure uniqueness of statistically steady states, generalizing previous known results for the GLE under particular kernels as a sum of exponentials.


title: Nontrivial isometric embeddings for flat spaces

abstract: Nontrivial isometric embeddings for flat metrics (i.e., those which are not just planes in the ambient space) can serve as useful tools in the description of gravity in the embedding gravity approach. Such embeddings can additionally be required to have the same symmetry as the metric. On the other hand, it is possible to require the embedding to be unfolded so that the surface in the ambient space would occupy the subspace of the maximum possible dimension. In the weak gravitational field limit, such a requirement together with a large enough dimension of the ambient space makes embedding gravity equivalent to General Relativity, while at lower dimensions it guarantees the linearizability of the equations of motion. We discuss symmetric embeddings for the metrics of flat Euclidean three-dimensional space and Minkowski space. We propose the method of sequential surface deformations for the construction of unfolded embeddings. We use it to construct such embeddings of flat Euclidean three-dimensional space and Minkowski space, which can be used to analyze the equations of motion of embedding gravity.


title: Convergence analysis of two-level methods with general coarse solvers

abstract: Multilevel methods are among the most efficient numerical methods for solving large-scale linear systems that arise from discretized partial differential equations. The fundamental module of such methods is a two-level procedure, which consists of compatible relaxation and coarse-level correction. Regarding two-level convergence theory, most previous works focus on the case of exact (Galerkin) coarse solver. In practice, however, it is often too costly to solve the Galerkin coarse-level system exactly when its size is relatively large. Compared with the exact case, the convergence theory of inexact two-level methods is of more practical significance, while it is still less developed in the literature, especially when nonlinear coarse solvers are used. In this paper, we establish a general framework for analyzing the convergence of inexact two-level methods, in which the coarse-level system is solved approximately by an inner iterative procedure. The framework allows us to use various (linear, nonlinear, deterministic, randomized, or hybrid) solvers in the inner iterations, as long as the corresponding accuracy estimates are available.


title: VizAI : Selecting Accurate Visualizations of Numerical Data

abstract: A good data visualization is not only a distortion-free graphical representation of data but also a way to reveal underlying statistical properties of the data. Despite its common use across various stages of data analysis, selecting a good visualization often is a manual process involving many iterations. Recently there has been interest in reducing this effort by developing models that can recommend visualizations, but they are of limited use since they require large training samples (data and visualization pairs) and focus primarily on the design aspects rather than on assessing the effectiveness of the selected visualization. In this paper, we present VizAI, a generative-discriminative framework that first generates various statistical properties of the data from a number of alternative visualizations of the data. It is linked to a discriminative model that selects the visualization that best matches the true statistics of the data being visualized. VizAI can easily be trained with minimal supervision and adapts to settings with varying degrees of supervision easily. Using crowd-sourced judgements and a large repository of publicly available visualizations, we demonstrate that VizAI outperforms the state of the art methods that learn to recommend visualizations.


title: Impact of gigahertz and terahertz transport regimes on spin propagation and conversion in the antiferromagnet IrMn

abstract: Control over spin transport in antiferromagnetic systems is essential for future spintronic applications with operational speeds extending to ultrafast time scales. Here, we study the transition from the gigahertz (GHz) to terahertz (THz) regime of spin transport and spin-to-charge current conversion (S2C) in the prototypical antiferromagnet IrMn by employing spin pumping and THz spectroscopy techniques. We reveal a factor of 4 shorter characteristic propagation lengths of the spin current at THz frequencies (~ 0.5 nm) as compared to the GHz regime (~ 2 nm) which may be attributed to the ballistic and diffusive nature of electronic spin transport, respectively. The conclusion is supported by an extraction of sub-picosecond temporal dynamics of the THz spin current. We also report on a significant impact of the S2C originating from the IrMn/non-magnetic metal interface which is much more pronounced in the THz regime and opens the door for optimization of the spin control at ultrafast time scales.


title: Partial randomized benchmarking

abstract: In randomized benchmarking of quantum logical gates, partial twirling can be used for simpler implementation, better scaling, and higher accuracy and reliability. For instance, for two-qubit gates, single-qubit twirling is easier to realize than full averaging. We analyze such simplified, partial twirling and demonstrate that, unlike for the standard randomized benchmarking, the measured decay of fidelity is a linear combination of exponentials with different decay rates (3 for two qubits and single-bit twirling). The evolution with the sequence length is governed by an iteration matrix, whose spectrum gives the decay rates. For generic two-qubit gates one slowest exponential dominates and characterizes gate errors in three channels. Its decay rate is close, but different from that in the standard randomized benchmarking, and we find the leading correction. Using relations to the local invariants of two-qubit gates we identify all exceptional gates with several slow exponentials and analyze possibilities to extract their decay rates from the measured curves.


title: Machine-in-the-Loop Rewriting for Creative Image Captioning

abstract: Machine-in-the-loop writing aims to enable humans to collaborate with models to complete their writing tasks more effectively. Prior work has found that providing humans a machine-written draft or sentence-level continuations has limited success since the generated text tends to deviate from humans' intention. To allow the user to retain control over the content, we train a rewriting model that, when prompted, modifies specified spans of text within the user's original draft to introduce descriptive and figurative elements locally in the text. We evaluate the model on its ability to collaborate with humans on the task of creative image captioning. On a user study through Amazon Mechanical Turk, our model is rated to be more helpful than a baseline infilling language model. In addition, third-party evaluation shows that users write more descriptive and figurative captions when collaborating with our model compared to completing the task alone.


title: Retrieving Speaker Information from Personalized Acoustic Models for Speech Recognition

abstract: The widespread of powerful personal devices capable of collecting voice of their users has opened the opportunity to build speaker adapted speech recognition system (ASR) or to participate to collaborative learning of ASR. In both cases, personalized acoustic models (AM), i.e. fine-tuned AM with specific speaker data, can be built. A question that naturally arises is whether the dissemination of personalized acoustic models can leak personal information. In this paper, we show that it is possible to retrieve the gender of the speaker, but also his identity, by just exploiting the weight matrix changes of a neural acoustic model locally adapted to this speaker. Incidentally we observe phenomena that may be useful towards explainability of deep neural networks in the context of speech processing. Gender can be identified almost surely using only the first layers and speaker verification performs well when using middle-up layers. Our experimental study on the TED-LIUM 3 dataset with HMM/TDNN models shows an accuracy of 95% for gender detection, and an Equal Error Rate of 9.07% for a speaker verification task by only exploiting the weights from personalized models that could be exchanged instead of user data.


title: The Berezinskii Kosterlitz Thouless phase transition is of second-order in the microcanonical ensemble

abstract: A paradigmatic example of a phase transition taking place in the absence of symmetry-breaking is provided by the Berezinkii-Kosterlitz-Thouless (BKT) transition in the two-dimensional XY model. In the framework of canonical ensemble, this phase transition is defined as an infinite-order one. To the contrary, by tackling the transitional behavior of the two dimensional XY model in the microcanonical ensemble, we show that the BKT phase transition is of second order. This provides a new example of statistical ensemble inequivalence that could apply to a broad class of systems undergoing BKT phase transitions.


title: Engineering Non-Hermitian Skin Effect with Band Topology in Ultracold Gases

abstract: Non-Hermitian skin effect(NHSE) describes a unique non-Hermitian phenomenon that all eigen-modes are localized near the boundary, and has profound impact on a wide range of bulk properties. In particular, topological systems with NHSE have stimulated extensive research interests recently, given the fresh theoretical and experimental challenges therein. Here we propose a readily implementable scheme for achieving NHSE with band topology in ultracold gases. Specifically, the scheme realizes the one-dimensional optical Raman lattice with two types of spin-orbit coupling (SOC) and an additional laser-induced dissipation. By tuning the dissipation and the SOC strengths, NHSE and band topology can be individually controlled such that they can coexist in a considerable parameter regime. To identify the topological phase in the presence of NHSE, we have restored the bulk-boundary correspondence by invoking the non-Bloch band theory, and discussed the dynamic signals for detection. Our work serves as a guideline for engineering topological lattices with NHSE in the highly tunable environment of cold atoms, paving the way for future studies of exotic non-Hermitian physics in a genuine quantum many-body setting.


title: Equivalences of biprojective almost perfect nonlinear functions

abstract: Two important problems on almost perfect nonlinear (APN) functions are the enumeration and equivalence problems. In this paper, we solve these two problems for any biprojective APN function family by introducing a strong group theoretic method for those functions. Roughly half of the known APN families of functions on even dimensions are biprojective. By our method, we settle the equivalence problem for all known biprojective APN functions. Furthermore, we give a new family of biprojective APN functions. Using our method, we count the number of inequivalent APN functions in all known biprojective APN families and show that the new family found in this paper gives exponentially many new inequivalent APN functions. Quite recently, the Taniguchi family of APN functions was shown to contain an exponential number of inequivalent APN functions by Kaspers and Zhou (J. Cryptol. 34 (1), 2021) which improved their previous count (J. Comb. Th. A 186, 2022) for the Zhou-Pott family. Our group theoretic method substantially simplifies the work required for proving those results and provides a generic natural method for every family in the large super-class of biprojective APN functions that contains these two family along with many others.


title: TaCL: Improving BERT Pre-training with Token-aware Contrastive Learning

abstract: Masked language models (MLMs) such as BERT and RoBERTa have revolutionized the field of Natural Language Understanding in the past few years. However, existing pre-trained MLMs often output an anisotropic distribution of token representations that occupies a narrow subset of the entire representation space. Such token representations are not ideal, especially for tasks that demand discriminative semantic meanings of distinct tokens. In this work, we propose TaCL (Token-aware Contrastive Learning), a novel continual pre-training approach that encourages BERT to learn an isotropic and discriminative distribution of token representations. TaCL is fully unsupervised and requires no additional data. We extensively test our approach on a wide range of English and Chinese benchmarks. The results show that TaCL brings consistent and notable improvements over the original BERT model. Furthermore, we conduct detailed analysis to reveal the merits and inner-workings of our approach.


title: Proteins Evolution Upon Point Mutations

abstract: The primary aim of this work is to explore how proteins point mutations impact their marginal stability and, hence, their evolvability. With this purpose, we show that the use of four classic notions, namely, those from Leibniz & Kant (1768), Maynard Smith (1970), Einstein & Infeld (1961), and Anfinsen (1973), is sufficient for a better understanding of the protein-evolution and, consequently, to determine the factors that could control it. The preliminary results -- without considering epistasis effects explicitly -- indicate that the protein marginal-stability change upon point mutations provides the necessary and sufficient information to describe, through a Boltzmann factor, the evolution of the amide hydrogen-exchange protection factors. This finding is of paramount importance because it illustrates the impact of point mutations on both the protein marginal-stability and the ensemble of folded conformations coexisting with the native state and, in the presence of metamorphism, on the propensity for the appearance of new folds and functions.


title: Analysis of Least square estimator for simple Linear Regression with a uniform distribution error

abstract: We study the least square estimator, in the framework of simple linear regression, when the deviance term $\varepsilon$ with respect to the linear model is modeled by a uniform distribution. In particular, we give the law of this estimator, and prove some convergence properties.


title: Corrections to Extremal Black Holes from Iyer-Wald Formalism

abstract: We present a general method of computing corrections to the extremality bound and entropy of Kerr-Newman black holes due to an arbitrary perturbation using the Iyer-Wald formalism. In this method, corrections to the extremality bound are given by an integral over an effective stress tensor which, in particular cases of interest, reduces to the usual stress tensor. This clarifies the relation between extremality corrections and energy conditions. In particular, we show that a necessary condition to decrease the mass of an extremal black hole in a canonical ensemble, as required by the weak gravity conjecture, is that the perturbation violates the dominant energy condition. As an application of our method, we compute higher-derivative corrections to charged black holes in anti-de Sitter space and Kerr black holes.


title: Axiomatic Theory of Distributions

abstract: In this monograph, very simple axiomatic definitions to the L. Schwartz' concepts of distribution and derivative of a distribution are formulated. Beyond this, a kind of generalization of that concepts is propose and corresponding axiomatic definitions are presented.


title: Five young $\delta$ Scuti stars in the Pleiades seen with Kepler/K2

abstract: We perform mode identification for five $\delta$ Scuti stars in the Pleiades star cluster, using custom light curves from K2 photometry. By creating \'echelle diagrams, we identify radial and dipole mode ridges, comprising a total of 28 radial and 16 dipole modes across the five stars. We also suggest possible identities for those modes that lie offset from the radial and dipole ridges. We calculate non-rotating stellar pulsation models to verify our mode identifications, finding good agreement within the age and metallicity constraints of the cluster. We also find that for all stars, the least dense models are preferred, reflecting the lower density of these oblate, rotating stars. Three of the five stars show rotationally-split multiplets. We conclude that the sample shows promise for asteroseismic rotation rates, masses, and ages with rotating models in the future. Our preliminary modelling also indicates some sensitivity to the helium abundance.


title: Natural Adversarial Objects

abstract: Although state-of-the-art object detection methods have shown compelling performance, models often are not robust to adversarial attacks and out-of-distribution data. We introduce a new dataset, Natural Adversarial Objects (NAO), to evaluate the robustness of object detection models. NAO contains 7,934 images and 9,943 objects that are unmodified and representative of real-world scenarios, but cause state-of-the-art detection models to misclassify with high confidence. The mean average precision (mAP) of EfficientDet-D7 drops 74.5% when evaluated on NAO compared to the standard MSCOCO validation set. Moreover, by comparing a variety of object detection architectures, we find that better performance on MSCOCO validation set does not necessarily translate to better performance on NAO, suggesting that robustness cannot be simply achieved by training a more accurate model. We further investigate why examples in NAO are difficult to detect and classify. Experiments of shuffling image patches reveal that models are overly sensitive to local texture. Additionally, using integrated gradients and background replacement, we find that the detection model is reliant on pixel information within the bounding box, and insensitive to the background context when predicting class labels. NAO can be downloaded at https://drive.google.com/drive/folders/15P8sOWoJku6SSEiHLEts86ORfytGezi8.


title: Cosmological Perturbation Theory in $f(Q,T)$ Gravity

abstract: We developed the cosmological linear theory of perturbations for $f(Q,T)$ gravity, which is an extension of symmetric teleparallel gravity, with $Q$ the non-metricity and $T$ the trace of the stress-energy tensor. By considering an ansatz of $f(Q,T)=f_1(Q)+f_2(T)$, which has been broadly studied in the literature and the coincident gauge where the connection vanishes, we got equations consistent with $f(Q)$ gravity when $f_{T}=0$. In the case of the tensor perturbations, the propagation of gravitational waves was found to be identical to $f(Q)$, as expected. For scalar perturbations, outside the limit $f_T = 0$, we got that the coupling between $Q$ and $T$ in the Lagrangian produces a coupling between the perturbation of the density and the pressure. The presence of $T$ in the Lagrangian breaks the equation of the conservation of energy, which in turn breaks the standard $\rho' + 3\mathcal{H} (\rho+p) = 0$ relation. We also derived a coupled system of differential equations between $\delta$, the density contrast and $v$ in the $\mathcal{H}<<k$ limit and with negligible time derivative of the scalar perturbation potentials, which will be useful in future studies to see whether this class of theories constitute a good alternative to dark matter. These results might also enable to test $f(Q,T)$ gravity with CMB and standard siren data that will help to determine if these models can reduce the Hubble constant tension and if they can constitute an alternative to the $\Lambda$CDM model.


title: Finite element methods for large-strain poroelasticity/chemotaxis models simulating the formation of myocardial oedema

abstract: In this paper we propose a novel coupled poroelasticity-diffusion model for the formation of extracellular oedema and infectious myocarditis valid in large deformations, manifested as an interaction between interstitial flow and the immune-driven dynamics between leukocytes and pathogens. The governing partial differential equations are formulated in terms of skeleton displacement, fluid pressure, Lagrangian porosity, and the concentrations of pathogens and leukocytes. A five-field finite element scheme is proposed for the numerical approximation of the problem, and we provide the stability analysis for a simplified system emanating from linearisation. We also discuss the construction of an adequate, Schur complement based, nested preconditioner. The produced computational tests exemplify the properties of the new model and of the finite element schemes.


title: Uncertainty Quantification in Neural Differential Equations

abstract: Uncertainty quantification (UQ) helps to make trustworthy predictions based on collected observations and uncertain domain knowledge. With increased usage of deep learning in various applications, the need for efficient UQ methods that can make deep models more reliable has increased as well. Among applications that can benefit from effective handling of uncertainty are the deep learning based differential equation (DE) solvers. We adapt several state-of-the-art UQ methods to get the predictive uncertainty for DE solutions and show the results on four different DE types.


title: AI challenges for predicting the impact of mutations on protein stability

abstract: Stability is a key ingredient of protein fitness and its modification through targeted mutations has applications in various fields such as protein engineering, drug design and deleterious variant interpretation. Many studies have been devoted over the past decades to building new, more effective methods for predicting the impact of mutations on protein stability, based on the latest developments in artificial intelligence (AI). We discuss their features, algorithms, computational efficiency, and accuracy estimated on an independent test set. We focus on a critical analysis of their limitations, the recurrent biases towards the training set, their generalizability and interpretability. We found that the accuracy of the predictors has stagnated at around 1 kcal/mol for over 15 years. We conclude by discussing the challenges that need to be addressed to reach improved performance.

categories: q-bio.MN cs.LG physics.bio-ph q-bio.BM q-bio.QM


title: On the Hodge embedding for PEL type integral models of Shimura varieties

abstract: We give a simple proof that Kottwitz's PEL type integral models of Shimura varieties admit closed embeddings into Siegel integral models. We also show that Rapoport's and Kottwitz's integral models agree with Kisin's integral models for relevant Shimura data.


title: Towards Verifiable Remote Voting with Paper Assurance

abstract: We propose a protocol for verifiable remote voting with paper assurance. It is intended to augment existing postal voting procedures, allowing a ballot to be electronically constructed, printed on paper, then returned in the post. It allows each voter to verify that their vote has been correctly cast, recorded and tallied by the Electoral Commission. The system is not end-to-end verifiable, but does allow voters to detect manipulation by an adversary who controls either the voting device, or (the postal service and electoral commission) but not both. The protocol is not receipt-free, but if the client honestly follows the protocol (including possibly remembering everything), they cannot subsequently prove how they voted. Our proposal is the first to combine plain paper assurance with cryptographic verification in a (passively) receipt-free manner.


title: Enumerating circular permutations avoiding the vincular pattern 23 4 1

abstract: In this paper, we find an explicit formula for the generating function that counts the circular permutations of length n avoiding the pattern 23 4 1 whose enumeration was raised as an open problem by Rupert Li. This then completes in all cases the enumeration of circular permutations that avoid a single vincular pattern of length four containing one vinculum. To establish our results, we introduce three auxiliary arrays which when taken together refine the cardinality of the class of permutations in question. Rewriting the recurrences of these arrays in terms of generating functions leads to functional equations which are solved by various means including the kernel method and iteration.


title: Dense Representative Tooth Landmark/axis Detection Network on 3D Model

abstract: Artificial intelligence (AI) technology is increasingly used for digital orthodontics, but one of the challenges is to automatically and accurately detect tooth landmarks and axes. This is partly because of sophisticated geometric definitions of them, and partly due to large variations among individual tooth and across different types of tooth. As such, we propose a deep learning approach with a labeled dataset by professional dentists to the tooth landmark/axis detection on tooth model that are crucial for orthodontic treatments. Our method can extract not only tooth landmarks in the form of point (e.g. cusps), but also axes that measure the tooth angulation and inclination. The proposed network takes as input a 3D tooth model and predicts various types of the tooth landmarks and axes. Specifically, we encode the landmarks and axes as dense fields defined on the surface of the tooth model. This design choice and a set of added components make the proposed network more suitable for extracting sparse landmarks from a given 3D tooth model. Extensive evaluation of the proposed method was conducted on a set of dental models prepared by experienced dentists. Results show that our method can produce tooth landmarks with high accuracy. Our method was examined and justified via comparison with the state-of-the-art methods as well as the ablation studies.


title: Carbon Dioxide, Fusion, and Stellarators

abstract: Much emotion is expended on the dangers of carbon dioxide, but solutions require reason and recognition of facts: (1) The cost of developing options is approximately a thousand times less than their deployment. (2) Timescales involve two questions: (a) How quickly can an option be demonstrated? (b) How quickly can the required equivalent of thousands of units be built. Two questions are implied: (1) What options would most fundamentally change the carbon-dioxide problem? (2) For each option, how could it be demonstrated most quickly? An option of fundamental importance is direct air capture of carbon dioxide. The option that appears most attractive for carbon-free energy production is the stellarator fusion concept, which is poised for a rapid demonstration.


title: Anisotropy and quench dynamics of quasiholes in fractional quantum Hall liquids

abstract: We present a microscopic study of quasiholes in bosonic fractional quantum Hall (FQH) liquids at filling factor $\nu=1/2$ in the lowest Landau level with anisotropic band mass tensors. We use the spatial density profile to characterize the shape of a quasihole and analyze its anisotropy. We then compare the quasihole's anisotropy with the intrinsic geometric metric of the system that is extracted from the maximal overlap between the numerically obtained quasihole ground state and a set of model wave functions of anisotropic quasiholes. For a static system, we find that the quasihole's anisotropy, similar to the intrinsic metric, grows with the anisotropy of the band mass tensor. When the quasihole develops well, we observe a correspondence between the anisotropy of the quasihole and the intrinsic metric of the underlying anisotropic FQH state. We also drive the system out of equilibrium by suddenly changing the band mass tensor. In this case, the shape of the quasihole evolves with time and shows similar dynamics with the intrinsic metric of the postquench state. The evolving frequency matches the energy of a spin-$2$ quadrupole degree of freedom in the system. Our results suggest that the density profile of a quasihole is a useful tool to estimate the intrinsic metric and capture the dynamics of an FQH system.


title: On the number of monogenizations of a quartic order

abstract: We show that an order in a quartic field has fewer than $3000$ essentially different generators as a $\mathbb Z$-algebra (and fewer than $200$ if the discriminant of the order is sufficiently large). This significantly improves the previously best known bound of $2^{72}$. Analogously, we show that an order in a quartic field is isomorphic to the invariant order of at most $10$ classes of integral binary quartic forms (and at most $7$ if the discriminant is sufficiently large). This significantly improves the previously best known bound of $2^{80}$.


title: Which Metrics Are Consistent with a Given Pseudo-Hermitian Matrix?

abstract: Given a diagonalizable $N\times N$ matrix $H$, whose non-degenerate spectrum consists of $p$ pairs of complex conjugate eigenvalues and additional $N-2p$ real eigenvalues, we determine all metrics $M$, of all possible signatures, with respect to which $H$ is pseudo-hermitian. In particular, we show that any compatible $M$ must have $p$ pairs of opposite eigenvalues in its spectrum so that $p$ is the minimal number of both positive and negative eigenvalues of $M$. We provide explicit parametrization of the space of all admissible metrics and show that it is topologically a $p$-dimensional torus tensored with an appropriate power of the group $Z_2$.

categories: math-ph hep-th math.FA math.MP math.OA math.RA


title: Access Management in Joint Sensing and Communication Systems: Efficiency versus Fairness

abstract: In this paper, we consider a distributed joint sensing and communication (DJSC) system in which multiple radar sensors are deployed. Each sensor is equipped with a sensing function and a communication function, and thus it is a JSC node. The JSC nodes are able to perform sensing their surrounding environments, e.g., weather conditions or available spectrum. Furthermore, they can cooperatively detect and track a common target. The information, i.e., of the environment and target, collected by the JSC nodes is transmitted to a base station (BS) for further processing. As such, different aspects of the target to be viewed simultaneously, which significantly improves the performance of the target detection and tracking. However, both the sensing function and communication function require a certain amount of bandwidth for their operations, and deploying multiple JSC nodes may consume a large amount of bandwidth. Therefore, we investigate the bandwidth allocation problem for the DJSC system. In particular, we aim to optimize the bandwidth allocation to the sensing function and the communication function of the JSC nodes. To improve the allocation efficiency while benefiting the spatial diversity advantage of the DJSC systems, the objective is to maximize the sum of sensing performances, i.e., estimation rates, communication performances, i.e., communication data rates, and fairnesses of all the users. The optimization problem is non-convex and difficult to be solved. For this, we propose a fully polynomial time approximation algorithm, and we prove that the approximation algorithm can guarantee a near-optimal solution with an accuracy bound of $\epsilon$. Furthermore, we propose to use a heuristic algorithm with lower complexity. The simulation results show that both the proposed algorithms are able to achieve the solutions close to the optimum in a computationally efficient fashion.


title: Dynamic effects of nuclear surface in isoscalar dipole modes

abstract: Dynamic surface effects in the isoscalar dipole modes of heavy nuclei are studied within a semiclassical model based on the solution of the Vlasov kinetic equation for finite Fermi systems with a moving surface. In order to clarify the role of dynamic surface effects we have considered an approximate solution, which takes into account only the part of the variation of the phase-space distribution function caused by the dynamic surface (the dynamic-surface approximation). It is shown that the dynamic surface effects have an essential influence on the features of the isoscalar dipole modes. The isoscalar dipole strength function has a two-resonance structure already in the dynamic-surface approximation, and the centroid energies of both the low-energy resonance and the high-energy resonance are close to corresponding centroid energies of exact strength function. Calculations of the velocity field in the dynamic-surface approximation show the vortex character of the low-energy isoscalar dipole resonance and the compression character of the high-energy one.


title: Rate-Optimal Cluster-Randomized Designs for Spatial Interference

abstract: We consider a potential outcomes model in which interference may be present between any two units but the extent of interference diminishes with spatial distance. The causal estimand is the global average treatment effect, which compares outcomes under the counterfactuals that all or no units are treated. We study a class of designs in which space is partitioned into clusters that are randomized into treatment and control. For each design, we estimate the treatment effect using a Horvitz-Thompson estimator that compares the average outcomes of units with all or no neighbors treated, where the neighborhood radius is of the same order as the cluster size dictated by the design. We derive the estimator's rate of convergence as a function of the design and degree of interference and use this to obtain estimator-design pairs that achieve near-optimal rates of convergence under relatively minimal assumptions on interference. We prove that the estimators are asymptotically normal and provide a variance estimator. For practical implementation of the designs, we suggest partitioning space using clustering algorithms.


title: Theoretical Prediction of Non-Hermitian Skin Effect in Ultracold Atom Systems

abstract: Non-Hermitian skin effect, which refers to the phenomenon that an extensive number of eigenstates are localized at the boundary, has been widely studied in lattice models and experimentally observed in several classical systems. In this work, we predict that the existence of the non-Hermitian skin effect in the dissipative ultracold fermions with spin-orbit coupling, a continuous model that has been implemented by the Hong-Kong group in a recent experiment. This skin effect is robust against the variation of external parameters and trapping potentials. We further reveal a dynamic sticky effect in our system, which has a common physical origin with the non-Hermitian skin effect. Our work paves the way for studying novel physical responses of non-Hermitian skin effect in quantum systems.


title: Can warm absorbers be driven by ultra-fast outflows?

abstract: Warm absorbers (WAs) located approximately in the region of $1-1000$ parsecs are common phenomena in many active galactic nuclei (AGNs). The driving mechanism of WAs is still under debate. Ultra-fast outflows (UFOs) which are launched very close to the central black hole are also frequently observed in AGNs. When UFOs move outwards, they will collide with the interstellar medius (ISM) gas. In this paper, we study the possibility that whether WAs can be generated by the interaction between ISM gas and the UFOs. We find that under some ISM gas conditions, WAs can be generated. However, the covering factor of WAs is much smaller than that given by observations. This indicates that other mechanisms should also be at work. We also find that the properties of the WAs mainly depend on the density of the ISM injected into the computational domain from the outer radial boundary (1000 parsec). The higher the density of the ISM is, the higher the mass flux and kinetic power of the WAs will be. The kinetic power of the UFO driven WAs is much less than $1\%$ of the bolometric luminosity of its host AGNs. Therefore, the UFO driven WAs might not contribute sufficient feedback to its host galaxy.


title: Not All Fabrics Are Created Equal: Exploring eFPGA Parameters For IP Redaction

abstract: Semiconductor design houses rely on third-party foundries to manufacture their integrated circuits (IC). While this trend allows them to tackle fabrication costs, it introduces security concerns as external (and potentially malicious) parties can access critical parts of the designs and steal or modify the Intellectual Property (IP). Embedded FPGA (eFPGA) redaction is a promising technique to protect critical IPs of an ASIC by \textit{redacting} (i.e., removing) critical parts and mapping them onto a custom reconfigurable fabric. Only trusted parties will receive the correct bitstream to restore the redacted functionality. While previous studies imply that using an eFPGA is a sufficient condition to provide security against IP threats like reverse-engineering, whether this truly holds for all eFPGA architectures is unclear, thus motivating the study in this paper. We examine the security of eFPGA fabrics generated by varying different FPGA design parameters. We characterize the power, performance, and area (PPA) characteristics and evaluate each fabric's resistance to SAT-based bitstream recovery. Our results encourage designers to work with custom eFPGA fabrics rather than off-the-shelf commercial FPGAs and reveals that only considering a redaction fabric's bitstream size is inadequate for gauging security.


title: Discharge structure of Ar/Cl2 inductively coupled plasma: A cyclic study of discharge conditions at fixed power

abstract: Discharge structure refers to the morphology of different plasma quantities, such as electron temperature, reaction rate, plasma potential, mass flux, net charge and species density, which are determined by plasma transport mechanism and chemical processes. This morphology is rather difficult to refine in complex electronegative plasma for it is contained in a multiple-physics-field coupled system. Regarding this difficulty, the combination of self-consistent simulation, theory analysis and experimental diagnostic of this system is needed. In the scope of present article, the fluid simulation and analytic theory are utilized to investigate the Ar/Cl2 inductive plasma, via a cyclic tuning of discharge pressure and feedstock gas content parameters when fixing the power. Classic discharge structure (e.g., delta, parabola, flat-top, and hollow) and specific discharge mechanisms (e.g., self-coagulation, physics coagulation, de-coagulation, grouping behavior and the ambi-polar diffusion of triple species) are revealed. Besides, the two types of discharge stratification, i.e., space and species, are presented. Many non-neutralities are generated during the transport process of electronegative plasma when it gives rise to the discharge structure, which are summed and analyzed for better understanding the plasma.


title: Automated Detection of GDPR Disclosure Requirements in Privacy Policies using Deep Active Learning

abstract: Since GDPR came into force in May 2018, companies have worked on their data practices to comply with this privacy law. In particular, since the privacy policy is the essential communication channel for users to understand and control their privacy, many companies updated their privacy policies after GDPR was enforced. However, most privacy policies are verbose, full of jargon, and vaguely describe companies' data practices and users' rights. Therefore, it is unclear if they comply with GDPR. In this paper, we create a privacy policy dataset of 1,080 websites labeled with the 18 GDPR requirements and develop a Convolutional Neural Network (CNN) based model which can classify the privacy policies with an accuracy of 89.2%. We apply our model to perform a measurement on the compliance in the privacy policies. Our results show that even after GDPR went into effect, 97% of websites still fail to comply with at least one requirement of GDPR.


title: Representation Learning via Quantum Neural Tangent Kernels

abstract: Variational quantum circuits are used in quantum machine learning and variational quantum simulation tasks. Designing good variational circuits or predicting how well they perform for given learning or optimization tasks is still unclear. Here we discuss these problems, analyzing variational quantum circuits using the theory of neural tangent kernels. We define quantum neural tangent kernels, and derive dynamical equations for their associated loss function in optimization and learning tasks. We analytically solve the dynamics in the frozen limit, or lazy training regime, where variational angles change slowly and a linear perturbation is good enough. We extend the analysis to a dynamical setting, including quadratic corrections in the variational angles. We then consider hybrid quantum-classical architecture and define a large-width limit for hybrid kernels, showing that a hybrid quantum-classical neural network can be approximately Gaussian. The results presented here show limits for which analytical understandings of the training dynamics for variational quantum circuits, used for quantum machine learning and optimization problems, are possible. These analytical results are supported by numerical simulations of quantum machine learning experiments.


title: Rethinking Deconvolution for 2D Human Pose Estimation Light yet Accurate Model for Real-time Edge Computing

abstract: In this study, we present a pragmatic lightweight pose estimation model. Our model can achieve real-time predictions using low-power embedded devices. This system was found to be very accurate and achieved a 94.5% accuracy of SOTA HRNet 256x192 using a computational cost of only 3.8% on COCO test dataset. Our model adopts an encoder-decoder architecture and is carefully downsized to improve its efficiency. We especially focused on optimizing the deconvolution layers and observed that the channel reduction of the deconvolution layers contributes significantly to reducing computational resource consumption without degrading the accuracy of this system. We also incorporated recent model agnostic techniques such as DarkPose and distillation training to maximize the efficiency of our model. Furthermore, we applied model quantization to exploit multi/mixed precision features. Our FP16'ed model (COCO AP 70.0) operates at ~60-fps on NVIDIA Jetson AGX Xavier and ~200 fps on NVIDIA Quadro RTX6000.


title: Epitaxial titanium nitride microwave resonators: Structural, chemical, electrical, and microwave properties

abstract: Titanium nitride is an attractive material for a range of superconducting quantum-circuit applications owing to its low microwave losses, high surface inductance, and chemical stability. The physical properties and device performance, nevertheless, depend strongly on the quality of the materials. Here we focus on the highly crystalline and epitaxial titanium nitride thin films deposited on sapphire substrates using magnetron sputtering at an intermediate temperature (300$^{\circ}$C). We perform a set of systematic and comprehensive material characterization to thoroughly understand the structural, chemical, and transport properties. Microwave losses at low temperatures are studied using patterned microwave resonators, where the best internal quality factor in the single-photon regime is measured to be $3.3\times 10^6$, and $> 1.0\times 10^7$ in the high-power regime. Adjusted with the material filling factor of the resonators, the microwave loss-tangent here compares well with the previously reported best values for superconducting resonators. This work lays the foundation of using epitaxial titanium nitride for low-loss superconducting quantum circuits.


title: Practical, Fast and Robust Point Cloud Registration for 3D Scene Stitching and Object Localization

abstract: 3D point cloud registration ranks among the most fundamental problems in remote sensing, photogrammetry, robotics and geometric computer vision. Due to the limited accuracy of 3D feature matching techniques, outliers may exist, sometimes even in very large numbers, among the correspondences. Since existing robust solvers may encounter high computational cost or restricted robustness, we propose a novel, fast and highly robust solution, named VOCRA (VOting with Cost function and Rotating Averaging), for the point cloud registration problem with extreme outlier rates. Our first contribution is to employ the Tukey's Biweight robust cost to introduce a new voting and correspondence sorting technique, which proves to be rather effective in distinguishing true inliers from outliers even with extreme (99%) outlier rates. Our second contribution consists in designing a time-efficient consensus maximization paradigm based on robust rotation averaging, serving to seek inlier candidates among the correspondences. Finally, we apply Graduated Non-Convexity with Tukey's Biweight (GNC-TB) to estimate the correct transformation with the inlier candidates obtained, which is then used to find the complete inlier set. Both standard benchmarking and realistic experiments with application to two real-data problems are conducted, and we show that our solver VOCRA is robust against over 99% outliers and more time-efficient than the state-of-the-art competitors.


title: Schur analysis and discrete analytic functions: Rational functions and co-isometric realizations

abstract: We define and study rational discrete analytic functions and prove the existence of a coisometric realization for discrete analytic Schur multipliers.


title: A Study of the Human Perception of Synthetic Faces

abstract: Advances in face synthesis have raised alarms about the deceptive use of synthetic faces. Can synthetic identities be effectively used to fool human observers? In this paper, we introduce a study of the human perception of synthetic faces generated using different strategies including a state-of-the-art deep learning-based GAN model. This is the first rigorous study of the effectiveness of synthetic face generation techniques grounded in experimental techniques from psychology. We answer important questions such as how often do GAN-based and more traditional image processing-based techniques confuse human observers, and are there subtle cues within a synthetic face image that cause humans to perceive it as a fake without having to search for obvious clues? To answer these questions, we conducted a series of large-scale crowdsourced behavioral experiments with different sources of face imagery. Results show that humans are unable to distinguish synthetic faces from real faces under several different circumstances. This finding has serious implications for many different applications where face images are presented to human users.


title: On The Distribution of Bayesian Evidences

abstract: We look at the distribution of the Bayesian evidence for mock realizations of supernova and baryon acoustic oscillation data. The ratios of Bayesian evidences of different models are often used to perform model selection. The significance of these Bayes factors are then interpreted using scales such as the Jeffreys or Kass \& Raftery scale. First, we demonstrate how to use the evidence itself to validate the model, that is to say how well a model fits the data, regardless of how well other models perform. The basic idea is that if, for some real dataset a model's evidence lies outside the distribution of evidences that result when the same fiducial model that generates the datasets is used for the analysis, then the model in question is robustly ruled out. Further, we show how to assess the significance of a hypothetically computed Bayes factor. We show that the range of the distribution of Bayes factors can greatly depend on the models in question and also the number of data points in the dataset. Thus, we have demonstrated that the significance of Bayes factors needs to be calculated for each unique dataset.


title: The cohomology of $p$-adic distribution representations

abstract: We give a generalization of Kostant's theorem on Lie algebra cohomology of finite dimensional highest weight representations to some infinite dimensional cases over a $p$-adic family of highest weight distribution representations. For proving this, we develop a theory of eigen orthonormalizable Banach representations of $p$-adic torus over an affinoid algebra, and we construct an eigen orthonormalizable weight completion of the distribution representations.


title: Assessing the effectiveness of empirical calibration under different bias scenarios

abstract: Background: Estimations of causal effects from observational data are subject to various sources of bias. One method of adjusting for the residual biases in the estimation of a treatment effect is through negative control outcomes, where the treatment does not affect the outcome. The empirical calibration procedure is a technique that uses negative controls to calibrate p-values. An extension of empirical calibration calibrates the coverage of the 95% confidence interval of a treatment effect estimate by using negative control outcomes as well as positive control outcomes (where treatment affects the outcome). Methods: The effect of empirical calibration of confidence intervals was analyzed using simulated datasets with known treatment effects. The simulations consisted of binary treatment and binary outcome, with biases resulting from unmeasured confounder, model misspecification, measurement error, and lack of positivity. The performance of the empirical calibration was evaluated by determining the change in the coverage of the confidence interval and the bias in the treatment effect estimate. Results: Empirical calibration increased coverage of the 95% confidence interval of the treatment effect estimate under most bias scenarios but was inconsistent in adjusting the bias in the treatment effect estimate. Empirical calibration of confidence intervals was most effective when adjusting for the unmeasured confounding bias. Suitable negative controls had a large impact on the adjustment made by empirical calibration, but small improvements in the coverage of the outcome of interest were also observable when using unsuitable negative controls.


title: Surjectivity of the adelic Galois Representation associated to a Drinfeld Module of prime rank

abstract: In this paper, let $\phi$ be the Drinfeld module over $\mathbb{F}_{q}(T)$ of prime rank $r$ defined by $$\phi_T=T+\tau^{r-1}+T^{q-1}\tau^r.$$ We prove that under certain condition on $\mathbb{F}_q$, the adelic Galois representation $${\rho}_{\phi}:{\rm{Gal}}(\mathbb{F}_q(T)^{{\rm{sep}}}/\mathbb{F}_q(T))\longrightarrow \varprojlim_{\mathfrak{a}}{\rm{Aut}}(\phi[\mathfrak{a}])\cong {\rm{GL_r}}(\widehat{A})$$ is surjective.


title: Charmless $B_s\to V S$ Decays in PQCD Approach

abstract: In this work, we investigate the $B_s\to V S$ decays in the perturbative QCD approach, where $V$ and $S$ denote the vector meson and scalar meson respectively. Based on the two-quark structure, considering two different scenarios for describing the scalar mesons, we calculate the branching fractions and the direct $CP$ asymmetries of all $B_s\to VS$ decays. Most branching fractions are predicted to be at $10^{-7}$ to $10^{-5}$, which could be measured in the LHCb and Belle-II experiments, especially for these color-allowed $B_s\to \kappa(800)(K_0^*(1430))K^*$ decays. It is found that the branching fractions of $B_s\to K_0^{*0}(1430)\bar{K}^{*0}$ and $B_s\to K_0^{*+}(1430)\bar{K}^{*-}$ are very sensitive to the scenarios, which can be used to determine whether $K_0^{*0}(1430)$ belongs to the ground state or the first excited state, if the data were available. We also note that some decays have large direct $CP$ asymmetries, some of which are also sensitive to the scenarios, such as the $B_s \to a_0^+(1450)K^{*-}$ and the $B_s\to f_0(1500) K^{*0}$ decays. Since the experimental measurements of $B_s\to VS$ decays are on the way, combined with the available data in the future, we expect the theoretical predictions will shed light on the structure of the scalar mesons.


title: Non-adiabatic Quantum Wavepacket Dynamics Simulation Based on Electronic Structure Calculations using the Variational Quantum Eigensolver

abstract: A non-adiabatic nuclear wavepacket dynamics simulation of the H$_2$O$^+$ de-excitation process is performed based on electronic structure calculations using the variational quantum eigensolver. The adiabatic potential energy surfaces and non-adiabatic coupling vectors are computed with algorithms for noisy intermediate-scale quantum devices, and time propagation is simulated with conventional methods for classical computers. The results of non-adiabatic transition dynamics from the $\tilde{B}$ state to $\tilde{A}$ state reproduce the trend reported in previous studies, which suggests that this quantum-classical hybrid scheme may be a useful application for noisy intermediate-scale quantum devices.


title: Template NeRF: Towards Modeling Dense Shape Correspondences from Category-Specific Object Images

abstract: We present neural radiance fields (NeRF) with templates, dubbed Template-NeRF, for modeling appearance and geometry and generating dense shape correspondences simultaneously among objects of the same category from only multi-view posed images, without the need of either 3D supervision or ground-truth correspondence knowledge. The learned dense correspondences can be readily used for various image-based tasks such as keypoint detection, part segmentation, and texture transfer that previously require specific model designs. Our method can also accommodate annotation transfer in a one or few-shot manner, given only one or a few instances of the category. Using periodic activation and feature-wise linear modulation (FiLM) conditioning, we introduce deep implicit templates on 3D data into the 3D-aware image synthesis pipeline NeRF. By representing object instances within the same category as shape and appearance variation of a shared NeRF template, our proposed method can achieve dense shape correspondences reasoning on images for a wide range of object classes. We demonstrate the results and applications on both synthetic and real-world data with competitive results compared with other methods based on 3D information.


title: Unitary group orbits versus groupoid orbits of normal operators

abstract: We study the unitary orbit of a normal operator $a\in \mathcal B(\mathcal H)$, regarded as a homogeneous space for the action of unitary groups associated with symmetrically normed ideals of compact operators. We show with an unified treatment that the orbit is a submanifold of the differing ambient spaces if and only if the spectrum of $a$ is finite, and in that case it is a closed submanifold. For arithmetically mean closed ideals, we show that nevertheless the orbit always has a natural manifold structure, modeled by the kernel of a suitable conditional expectation. When the spectrum of $a$ is not finite, we describe the closure of the orbits of $a$ for the different norm topologies involved. We relate these results to the action of the groupoid of the partial isometries via the moment map given by the range projection of normal operators. We show that all these groupoid orbits also have differentiable structures for which the target map is a smooth submersion. For any normal operator $a$ we also describe the norm closure of its groupoid orbit ${\mathcal O}_a$, which leads to necessary and sufficient spectral conditions on $a$ ensuring that ${\mathcal O}_a$ is norm closed and that ${\mathcal O}_a$ is a closed embedded submanifold of $\mathcal B(\mathcal H)$.


title: Learning to Rectify for Robust Learning with Noisy Labels

abstract: Label noise significantly degrades the generalization ability of deep models in applications. Effective strategies and approaches, \textit{e.g.} re-weighting, or loss correction, are designed to alleviate the negative impact of label noise when training a neural network. Those existing works usually rely on the pre-specified architecture and manually tuning the additional hyper-parameters. In this paper, we propose warped probabilistic inference (WarPI) to achieve adaptively rectifying the training procedure for the classification network within the meta-learning scenario. In contrast to the deterministic models, WarPI is formulated as a hierarchical probabilistic model by learning an amortization meta-network, which can resolve sample ambiguity and be therefore more robust to serious label noise. Unlike the existing approximated weighting function of directly generating weight values from losses, our meta-network is learned to estimate a rectifying vector from the input of the logits and labels, which has the capability of leveraging sufficient information lying in them. This provides an effective way to rectify the learning procedure for the classification network, demonstrating a significant improvement of the generalization ability. Besides, modeling the rectifying vector as a latent variable and learning the meta-network can be seamlessly integrated into the SGD optimization of the classification network. We evaluate WarPI on four benchmarks of robust learning with noisy labels and achieve the new state-of-the-art under variant noise types. Extensive study and analysis also demonstrate the effectiveness of our model.


title: Quantum Field Theories with Tensor Renormalization Group

abstract: We report recent progress on the application of the tensor renormalization group (TRG) to quantum field theories pursued by the Tsukuba group. We explain how to treat the scalar, fermion, and gauge theories with the TRG method presenting the results for the phase transitions in the (3+1)-dimensional ((3+1)$d$) complex $\phi^4$ theory at finite density, (1+1)$d$ pure U(1) lattice gauge theory with a $\theta$ term, (3+1)$d$ Nambu--Jona-Lasinio model at finite density and (1+1)$d$ and (2+1)$d$ Hubbard models at an arbitrary chemical potential. It is demonstrated that the TRG method is free from the sign problem in practical calculations and applicable to the four-dimensional models.


title: LUXE: A new experiment to study non-perturbative QED in electron-laser and photon-laser collisions

abstract: LUXE (Laser Und XFEL Experiment) is a new experiment in planning at DESY Hamburg using the electron beam of the European XFEL. LUXE is intended to study collisions between a high-intensity optical laser and 16.5 GeV electrons from the XFEL electron beam, as well as collisions between the optical laser and high-energy secondary photons. The physics objective of LUXE are processes of quantum electrodynamics (QED) at the strong-field frontier, where the electromagnetic field of the laser is above the Schwinger limit. In this regime, QED is non-perturbative. This manifests itself in the creation of physical electron-positron pairs from the QED vacuum, similar to Hawking radiation from black holes. LUXE intends to measure the positron production rate in an unprecedented laser intensity regime. An overview of the LUXE experimental setup and its challenges will be given, followed by a discussion of the expected physics reach in the context of testing QED in the non-perturbative regime.

categories: hep-ph hep-ex physics.ins-det physics.optics


title: A globally convergent numerical method for a 3D coefficient inverse problem for a wave-like equation

abstract: A version of the convexification globally convergent numerical method is constructed for a coefficient inverse problem for a wave-like partial differential equation. The presence of the Carleman Weight Function in the corresponding Tikhonov-like cost functional ensures the global strict convexity of this functional. Numerical results are presented to illustrate the effectiveness and efficiency of the proposed method.


title: Learning a compass spin model with neural network quantum states

abstract: Neural network quantum states provide a novel representation of the many-body states of interacting quantum systems and open up a promising route to solve frustrated quantum spin models that evade other numerical approaches. Yet its capacity to describe complex magnetic orders with large unit cells has not been demonstrated, and its performance in a rugged energy landscape has been questioned. Here we apply restricted Boltzmann machines and stochastic gradient descent to seek the ground states of a compass spin model on the honeycomb lattice, which unifies the Kitaev model, Ising model and the quantum 120$^\circ$ model with a single tuning parameter. We report calculation results on the variational energy, order parameters and correlation functions. The phase diagram obtained is in good agreement with the predictions of tensor network ansatz, demonstrating the capacity of restricted Boltzmann machines in learning the ground states of frustrated quantum spin Hamiltonians. The limitations of the calculation are discussed. A few strategies are outlined to address some of the challenges in machine learning frustrated quantum magnets.


title: Selection Effects in Periodic X-ray Data from Maximizing Detection Statistics

abstract: The Neutron Star Interior Composition Explorer (NICER) records data of exceptional quality on the energy-dependent X-ray pulse profile of pulsars. However, in searching for evidence of pulsations, Guillot et al. (2019) introduce a procedure to select an ordered subset of the data that maximizes a detection statistic (the H-test). I show that this procedure can degrade subsequent analyses using an idealized model with a stationary expected count rates from both noise and signal. Specifically, the data-selection procedure biases the inferred mean count rate to be too low, biases the inferred pulsation amplitude to be too high, and that the size of these biases scales strongly with the amount of data that is rejected and the true signal amplitude. The procedure also alters the null-distribution of the H-test rendering nominal detection significance estimates overly optimistic. While the idealized model does not capture all the complexities of real NICER data, it suggests that these biases could be important for NICER's observations of J0740+6620 and other faint pulsars (observations of J0030+0451 are likely less affected). I estimate that these selection effects may introduce a bias of $\mathcal{O}(10\%)$ on average in the inferred modulation depth of lightcurves like J0740+6620's, and may be as large as $\mathcal{O}(50\%)$ for fainter pulsars. However, the change for a single dataset like J0740+6620 is expected to be a shift between $-5\%$ and $+20\%$. This could imply that the lower limit on J0740+6620's radius is slightly larger than it should be, although preliminary investigations suggest the change in the radius constraints are $\mathcal{O}(1\%)$ with real J0740+6620 data.


title: Twisted Segre products

abstract: We introduce the notion of the twisted Segre product $A\circ_\psi B$ of $\mathbb Z$-graded algebras $A$ and $B$ with respect to a twisting map $\psi$. It is proved that if $A$ and $B$ are noetherian Koszul Artin-Schelter regular algebras and $\psi$ is a twisting map such that the twisted Segre product $A\circ_\psi B$ is noetherian, then $A\circ_\psi B$ is a noncommutative graded isolated singularity. To prove this result, the notion of densely (bi-)graded algebras is introduced. Moreover, we show that the twisted Segre product $A\circ_\psi B$ of $A=k[u,v]$ and $B=k[x,y]$ with respect to a diagonal twisting map $\psi$ is a noncommutative quadric surface (so in particular it is noetherian), and we compute the stable category of graded maximal Cohen-Macaulay modules over it.


title: Smale regular and chaotic A-homeomorphisms and A-diffeomorphisms

abstract: We introduce Smale A-homeomorphisms that includes regular, semi-chaotic, chaotic, and super chaotic homeomorphisms of topo\-lo\-gi\-cal $n$-manifold $M^n$, $n\geq 2$. Smale A-homeo\-mor\-p\-hisms contain A-diffeomorphisms (in particular, structurally stable diffeomorphisms) provided $M^n$ admits a smooth structure. Regular A-homeomorphisms contain all Morse-Smale diffeomorphisms, while semi-chaotic and chaotic A-homeomorphisms contain A-diffeo\-mor\-p\-hisms with trivial and nontrivial basic sets. Super chaotic A-homeo\-mor\-p\-hisms contain A-diffeomorphisms whose basic sets are nontrivial. We describe invariant sets that determine completely dynamics of regular, semi-chaotic, and chaotic Smale A-homeo\-mor\-p\-hisms. This allows us to get necessary and sufficient conditions of conjugacy for these Smale A-homeomorp\-hisms. We apply this necessary and sufficient conditions for structu\-ral\-ly stable surface diffeomorphisms with arbitrary number of one-dimensional expanding attractors. We also use this conditions to get the complete classification of Morse-Smale diffeomorphisms on projective-like $n$-manifolds for $n=2,8,16$.


title: Biaxial Strain Modulated Valence Band Engineering in III-V Digital Alloys

abstract: Some III-V digital alloy avalanche photodiodes exhibit low excess noise. These alloys have low hole ionization coefficients due to presence of small 'minigaps', enhanced effective mass and large separation between light-hole and split-off bands in the valence band. In this letter, an explanation for the formation of the minigaps using a tight binding picture is provided. Furthermore, we demonstrate that decreasing substrate lattice constant can increase the minigap size and mass in the transport direction. This leads to reduced quantum tunneling and phonon scattering of the holes. Finally, we illustrate the band structure modification with substrate lattice constant for other III-V digital alloys.