title: Twisted cubic and orbits of lines in $\mathrm{PG}(3,q)$, II

abstract: In the projective space $\mathrm{PG}(3,q)$, we consider the orbits of lines under the stabilizer group of the twisted cubic. In the literature, lines of $\mathrm{PG}(3,q)$ are partitioned into classes, each of which is a union of line orbits. In this paper, all classes of lines consisting of a unique orbit are found. For the remaining line types, with one exception, it is proved that they consist exactly of two or three orbits; sizes and structures of these orbits are determined. Also, the subgroups of the stabilizer group of the twisted cubic fixing lines of the orbits are obtained. Problems which remain open for one type of lines are formulated and, for $5\le q\le37$ and $q=64$, a solution is provided.


title: Learning Spatially-Adaptive Squeeze-Excitation Networks for Image Synthesis and Image Recognition

abstract: Learning light-weight yet expressive deep networks in both image synthesis and image recognition remains a challenging problem. Inspired by a more recent observation that it is the data-specificity that makes the multi-head self-attention (MHSA) in the Transformer model so powerful, this paper proposes to extend the widely adopted light-weight Squeeze-Excitation (SE) module to be spatially-adaptive to reinforce its data specificity, as a convolutional alternative of the MHSA, while retaining the efficiency of SE and the inductive basis of convolution. It presents two designs of spatially-adaptive squeeze-excitation (SASE) modules for image synthesis and image recognition respectively. For image synthesis tasks, the proposed SASE is tested in both low-shot and one-shot learning tasks. It shows better performance than prior arts. For image recognition tasks, the proposed SASE is used as a drop-in replacement for convolution layers in ResNets and achieves much better accuracy than the vanilla ResNets, and slightly better than the MHSA counterparts such as the Swin-Transformer and Pyramid-Transformer in the ImageNet-1000 dataset, with significantly smaller models.


title: Theory of spin-polarized current flow through a localized spin triplet state

abstract: We derive a formalism describing quantum-coherent features of spin-polarized charge current through a partially-polarized spin triplet defect in a $\textit{transverse}$ magnetic field. We predict distinct few-milli-tesla-dc magnetoresistance signatures that identify a $\textit{single}$ spin-triplet center's character and reveal the orientation of the spin triplet's zero-field splitting axis relative to the magnetic contact's polarization. For example, in 4H-SiC the single $(hh)$, $(kk)$, $(hk)$, and $(kh)$ divacancies are all distinct. Spin-polarized current flow efficiently polarizes the spin, potentially electrically initializing spin-triplet-based qubits.


title: AutoFITS: Automatic Feature Engineering for Irregular Time Series

abstract: A time series represents a set of observations collected over time. Typically, these observations are captured with a uniform sampling frequency (e.g. daily). When data points are observed in uneven time intervals the time series is referred to as irregular or intermittent. In such scenarios, the most common solution is to reconstruct the time series to make it regular, thus removing its intermittency. We hypothesise that, in irregular time series, the time at which each observation is collected may be helpful to summarise the dynamics of the data and improve forecasting performance. We study this idea by developing a novel automatic feature engineering framework, which focuses on extracting information from this point of view, i.e., when each instance is collected. We study how valuable this information is by integrating it in a time series forecasting workflow and investigate how it compares to or complements state-of-the-art methods for regular time series forecasting. In the end, we contribute by providing a novel framework that tackles feature engineering for time series from an angle previously vastly ignored. We show that our approach has the potential to further extract more information about time series that significantly improves forecasting performance.


title: On Analog Silicon Photomultipliers in Standard 55-nm BCD Technology for LiDAR Applications

abstract: We present an analog silicon photomultiplier (SiPM) based on a standard 55 nm Bipolar-CMOS-DMOS (BCD) technology. The SiPM is composed of 16$\times$16 single-photon avalanche diodes (SPADs) and measures 0.29$\times$0.32 mm$^2$. Each SPAD cell is passively quenched by a monolithically integrated 3.3 V thick oxide transistor. The measured gain is 3.4$\times$ 10$^5$ at 5 V excess bias voltage. The single-photon timing resolution (SPTR) is 185 ps and the multiple-photon timing resolution (MPTR) is 120 ps at 3.3 V excess bias voltage. We integrate the SiPM into a co-axial light detection and ranging (LiDAR) system with a time-correlated single-photon counting (TCSPC) module in FPGA. The depth measurement up to 25 m achieves an accuracy of 2 cm and precision of 2 mm under the room ambient light condition. With co-axial scanning, the intensity and depth images of complex scenes with resolutions of 128$\times$256 and 256$\times$512 are demonstrated. The presented SiPM enables the development of cost-effective LiDAR system-on-chip (SoC) in the advanced technology.


title: On the Poisson Stability to Study a Fourth-Order Dynamical System with Quadratic Nonlinearities

abstract: This article discusses the search procedure for the Poincar\'e recurrences to classify solutions on an attractor of a fourth-order nonlinear dynamical system using a previously developed high-precision numerical method. For the resulting limiting solution, the Lyapunov exponents are calculated using the modified Benettin's algorithm to study the stability of the found regime and confirm the type of attractor.

categories: math.DS cs.NA math.NA nlin.CD physics.comp-ph


title: Explanation by Automated Reasoning Using the Isabelle Infrastructure Framework

abstract: In this paper, we propose the use of interactive theorem proving for explainable machine learning. After presenting our proposition, we illustrate it on the dedicated application of explaining security attacks using the Isabelle Infrastructure framework and its process of dependability engineering. This formal framework and process provides the logics for specification and modeling. Attacks on security of the system are explained by specification and proofs in the Isabelle Infrastructure framework. Existing case studies of dependability engineering in Isabelle are used as feasibility studies to illustrate how different aspects of explanations are covered by the Isabelle Infrastructure framework.


title: Pauli Spin Blockade in a Resonant Triple Quantum Dot Molecule

abstract: Pauli spin blockade in quantum dot systems occurs when the charge transport is allowed only for some spin states, and it has been an efficient tool in spin-based qubit devices in semiconductors. We theoretically investigate a Pauli spin blockade in a triple quantum dot molecule consisting of three identical quantum dots in a semiconductor in the presence of an external magnetic field through the molecule. When the three-electron state is on resonance with two- or four-electron states, the Aharonov-Bohm oscillation and the Zeeman splitting lead to a periodic spin blockade effect. We focus on the spin blockade at a two- and three-electron resonance, and show that we can tune the magnetic field to selectively allow only spin-singlet or spin-triplet state to add an additional electron from tunnel-coupled leads. This spin blockade maintains the three quantum dots at the optimal sweet spot against the charge noise, demonstrating its potential as an efficient readout scheme for the qubits in quantum dot systems.


title: Active Learning-Based Optimization of Scientific Experimental Design

abstract: Active learning (AL) is a machine learning algorithm that can achieve greater accuracy with fewer labeled training instances, for having the ability to ask oracles to label the most valuable unlabeled data chosen iteratively and heuristically by query strategies. Scientific experiments nowadays, though becoming increasingly automated, are still suffering from human involvement in the designing process and the exhaustive search in the experimental space. This article performs a retrospective study on a drug response dataset using the proposed AL scheme comprised of the matrix factorization method of alternating least square (ALS) and deep neural networks (DNN). This article also proposes an AL query strategy based on expected loss minimization. As a result, the retrospective study demonstrates that scientific experimental design, instead of being manually set, can be optimized by AL, and the proposed query strategy ELM sampling shows better experimental performance than other ones such as random sampling and uncertainty sampling.


title: Endomorphisms of positive characteristic tori: entropy and zeta function

abstract: Let $F$ be a finite field of order $q$ and characteristic $p$. Let $\mathbb{Z}_F=F[t]$, $\mathbb{Q}_F=F(t)$, $\mathbb{R}_F=F((1/t))$ equipped with the discrete valuation for which $1/t$ is a uniformizer, and let $\mathbb{T}_F=\mathbb{R}_F/\mathbb{Z}_F$ which has the structure of a compact abelian group. Let $d$ be a positive integer and let $A$ be a $d\times d$-matrix with entries in $\mathbb{Z}_F$ and non-zero determinant. The multiplication-by-$A$ map is a surjective endomorphism on $\mathbb{T}_F^d$. First, we compute the entropy of this endomorphism; the result and arguments are analogous to those for the classical case $\mathbb{T}^d=\mathbb{R}^d/\mathbb{Z}^d$. Second and most importantly, we resolve the algebraicity problem for the Artin-Mazur zeta function of all such endomorphisms. As a consequence of our main result, we provide a complete characterization and an explicit formula related to the entropy when the zeta function is algebraic.


title: Constrained Wrapped Least Squares: A Tool for High Accuracy GNSS Attitude Determination

abstract: Attitude determination is a popular application of Global Navigation Satellite Systems (GNSS). Many methods have been developed to solve the attitude determination problem with different performance offerings. We develop a constrained wrapped least-squares (C-WLS) method for high-accuracy attitude determination. This approach is built on an optimization model that leverages prior information related to the antenna array and the integer nature of the carrier-phase ambiguities in an innovative way. The proposed approach adopts an efficient search strategy to estimate the vehicle's attitude parameters using ambiguous carrier-phase observations directly, without requiring prior carrier-phase ambiguity fixing. The performance of the proposed method is evaluated via simulations and experimentally utilizing data collected using multiple GNSS receivers. The simulation and experimental results demonstrate excellent performance, with the proposed method outperforming the ambiguity function method, the constrained LAMBDA and multivariate constrained LAMBDA methods, three prominent attitude determination algorithms.


title: Evidence for Topological Band-to-Band Transitions in a Type-II Weyl Semimetal

abstract: The ternary van der Waals material NbIrTe$_4$ is a Type-II Weyl semimetal. We use a tunable circularly polarized mid-infrared laser to investigate the existence of band-to-band excitations using transient reflectivity in an exfoliated nanoflake and photothermoelectric and photogalvanic signals in a device. Unpolarized photothermoelectric spectroscopy shows that the absorption in the Weyl semimetal increases rapidly above 0.3 eV as expected from the increase in the density of states from DFT calculations. However, the reflectivity shows a sign change in the circular dichroism of the reflected light which is dominated by $\sigma^-$ light for energies below 0.5 eV and $\sigma^+$ light for energies above that energy. Using an intense pulse to perturb the electrons near the Fermi level, we show that this 0.5 eV energy is associated with a band-to-band transition from a band slightly below the Fermi energy to a higher lying empty band. We use spectroscopy of the circular photogalvanic effect (CPGE) from 0.3 to 1 eV to show a strong peak near 0.5 eV which lies on top of a two orders-of-magnitude increase at the lowest energies as the Weyl points are approached. We conclude that this band-to-band optical transition enhances the Berry Curvature responsible for the CPGE, and may involve the Weyl points just below the Fermi energy.


title: Materialized Knowledge Bases from Commonsense Transformers

abstract: Starting from the COMET methodology by Bosselut et al. (2019), generating commonsense knowledge directly from pre-trained language models has recently received significant attention. Surprisingly, up to now no materialized resource of commonsense knowledge generated this way is publicly available. This paper fills this gap, and uses the materialized resources to perform a detailed analysis of the potential of this approach in terms of precision and recall. Furthermore, we identify common problem cases, and outline use cases enabled by materialized resources. We posit that the availability of these resources is important for the advancement of the field, as it enables an off-the-shelf-use of the resulting knowledge, as well as further analyses on its strengths and weaknesses.


title: On stability of determination of Riemann surface from its DN-map

abstract: Suppose that $M$ is a Riemann surface with boundary $\partial M$, $\Lambda$ is its DN-map, and $\mathscr E:M\to\mathbb{C}^{n}$ % $\mathfrak{J}_{M}$ is a holomorphic immersion. Let $M'$ be diffeomorphic to $M$, $\partial M=\partial M'$; let $\Lambda'$ be the DN map of $M'$. Let us write $M'\in\mathbb M_t$ if $\parallel\Lambda'-\Lambda\parallel_{H^{1}(\partial M)\to L_{2}(\partial M)}\leqslant t$ holds. We show that, for any holomorphic immersion $\mathscr{E}: M \to \mathbb C^n$ ($n\geqslant 1$), the relation \begin{equation*} \sup_{M'\in \mathbb{M}_{t}}\inf_{\mathscr{E}'}d_{H}(\mathscr E'(M'),\mathscr{E}(M))\underset{t\to 0}{\longrightarrow}0, \end{equation*} holds, where $d_H$ is the Haussdorf distance in $\mathbb C^n$ and the infimum is taken over all holomorphic immersions $\mathscr E': M'\mapsto\mathbb C^n$.


title: Neutron diffusion in magnetars as a source of astrophysical bursts

abstract: Neutron tunneling in neutron star crusts can release enormous amounts of energy on a short timescale. We have clarified aspects of this process occurring in the outer crust regions of neutron stars when oscillations or cataclysmic events changes the crustal ambient density. We report a time-dependent Hartree-Fock-Bogoliubov model to determine the rate of neutron diffusion and conclude that a large amount of energy, in the range of 10^40 - 10^44 erg, can be released rapidly. We suggest that this mechanism may be the source of hitherto unknown phenomena such as the Fast Radio Bursts (FRBS).


title: On fake linear cycles inside Fermat varieties

abstract: We introduce a new class of Hodge cycles with non-reduced associated Hodge loci, we call them fake linear cycles. We characterize them for all Fermat varieties and show that they exist only for degrees $d=3,4,6$, where there are infinitely many in the space of Hodge cycles. These cycles are pathological in the sense that the Zariski tangent space of their associated Hodge locus is of maximal dimension, contrary to a conjecture of Movasati. Moreover, they provide examples of algebraic cycles not generated by their periods in the sense of Movasati-Sert\"oz. To study them we compute their Galois action in cohomology and their second-order invariant of the IVHS. We conclude that for any degree $d\ge 2+\frac{6}{n}$, the minimal codimension component of the Hodge locus passing through the Fermat variety is the one parametrizing hypersurfaces containing linear subvarieties of dimension $\frac{n}{2}$, extending results of Green, Voisin, Otwinowska and the second author.


title: Supernova Siblings and their Parent Galaxies in the Zwicky Transient Facility Bright Transient Surve

abstract: Supernova (SN) siblings -- two or more SNe in the same parent galaxy -- are useful tools for exploring progenitor stellar populations as well as properties of the host galaxies such as distance, star formation rate, dust extinction, and metallicity. Since the average SN rate for a Milky Way-type galaxy is just one per century, a large imaging survey is required to discover an appreciable sample of SN siblings. From the wide-field Zwicky Transient Facility (ZTF) Bright Transient Survey (BTS; which aims for spectroscopic completeness for all transients which peak brighter than $r{<}$18.5 mag) we present 10 SN siblings in 5 parent galaxies. For each of these families we analyze the SN's location within the host and its underlying stellar population, finding agreement with expectations that SNe from more massive progenitors are found nearer to their host core and in regions of more active star formation. We also present an analysis of the relative rates of core collapse and thermonuclear SN siblings, finding a significantly lower ratio than past SN sibling samples due to the unbiased nature of the ZTF.


title: Application of Hierarchical Temporal Memory Theory for Document Categorization

abstract: The current work intends to study the performance of the Hierarchical Temporal Memory(HTM) theory for automated classification of text as well as documents. HTM is a biologically inspired theory based on the working principles of the human neocortex. The current study intends to provide an alternative framework for document categorization using the Spatial Pooler learning algorithm in the HTM Theory. As HTM accepts only a stream of binary data as input, Latent Semantic Indexing(LSI) technique is used for extracting the top features from the input and converting them into binary format. The Spatial Pooler algorithm converts the binary input into sparse patterns with similar input text having overlapping spatial patterns making it easy for classifying the patterns into categories. The results obtained prove that HTM theory, although is in its nascent stages, performs at par with most of the popular machine learning based classifiers.


title: Anomaly Detection in Cyber-Physical Systems: Reconstruction of a Prediction Error Feature Space

abstract: Cyber-physical systems are infrastructures that use digital information such as network communications and sensor readings to control entities in the physical world. Many cyber-physical systems in airports, hospitals and nuclear power plants are regarded as critical infrastructures since a disruption of its normal functionality can result in negative consequences for the society. In the last few years, some security solutions for cyber-physical systems based on artificial intelligence have been proposed. Nevertheless, knowledge domain is required to properly setup and train artificial intelligence algorithms. Our work proposes a novel anomaly detection framework based on error space reconstruction, where genetic algorithms are used to perform hyperparameter optimization of machine learning methods. The proposed method achieved an F1-score of 87.89% in the SWaT dataset.


title: UCoDe: Unified Community Detection with Graph Convolutional Networks

abstract: Community detection finds homogeneous groups of nodes in a graph. Existing approaches either partition the graph into disjoint, non-overlapping, communities, or determine only overlapping communities. To date, no method supports both detections of overlapping and non-overlapping communities. We propose UCoDe, a unified method for community detection in attributed graphs that detects both overlapping and non-overlapping communities by means of a novel contrastive loss that captures node similarity on a macro-scale. Our thorough experimental assessment on real data shows that, regardless of the data distribution, our method is either the top performer or among the top performers in both overlapping and non-overlapping detection without burdensome hyper-parameter tuning.


title: The lightcurve intrinsic variability in 47 Kepler contact binary stars

abstract: This work studies the significance of the lightcurve intrinsic variability in the numerical modeling of contact binaries. Using synthetic light curves we are showing that the starspot-based intrinsic variability increases the apparent mass ratio by $\Delta q=5$%. For systems with orbital period $P>0.3 d$ the effect of intrinsic variability averaged over long time cancels each other out with the Kepler Mission-like phase smearing. Further, we analyse 47 totally eclipsing Kepler Mission contact binaries. We found a sharp cutoff of the intrinsic variability at P = 0.45 d. With the light curve numerical modeling and observational relations we derive physical parameters of the 47 systems. At least 53% of binaries have a possible third companion. 21 binaries show the O`Connell effect in the averaged phase curve. 19 of them have a primary maximum lower than the secondary, suggesting a stationary dark region on the trailing side. Using the P = 0.45 d cutoff we propose a new approach on the Period-Color relation. The only parameter correlating with the magnitude of the intrinsic variability is the apparent effective temperature ratio. We conclude that instead of describing the system parameters, the A/W-subtype division should be applicable only to the lightcurves, as a tentative phenomenon.


title: Tevelev degrees in Gromov-Witten theory

abstract: For a nonsingular projective variety $X$, the virtual Tevelev degree in Gromov-Witten theory is defined as the virtual degree of the morphism from $M_{g,n}(X,d)$ to the product $M_{g,n} \times X^n$. After proving a simple formula for the virtual Tevelev degree in the (small) quantum cohomology ring of $X$ using the quantum Euler class, we provide several exact calculations for flag varieties and complete intersections. In the cominuscule case (including Grassmannians, Lagrangian Grassmannians, and maximal orthogonal Grassmannians), the virtual Tevelev degrees are calculated in terms of the eigenvalues of an associated self-adjoint linear endomorphism of the quantum cohomology ring. For complete intersections of low degree (compared to dimension), we prove a product formula. The calculation for complete intersections involves the primitive cohomology. Virtual Tevelev degrees are better behaved than arbitrary Gromov-Witten invariants, and, by recent results of Lian and Pandharipande, are much more likely to be enumerative.


title: ReSplit: Improving the Structure of Jupyter Notebooks by Re-Splitting Their Cells

abstract: Jupyter notebooks represent a unique format for programming - a combination of code and Markdown with rich formatting, separated into individual cells. We propose to perceive a Jupyter Notebook cell as a simplified and raw version of a programming function. Similar to functions, Jupyter cells should strive to contain singular, self-contained actions. At the same time, research shows that real-world notebooks fail to do so and suffer from the lack of proper structure. To combat this, we propose ReSplit, an algorithm for an automatic re-splitting of cells in Jupyter notebooks. The algorithm analyzes definition-usage chains in the notebook and consists of two parts - merging and splitting the cells. We ran the algorithm on a large corpus of notebooks to evaluate its performance and its overall effect on notebooks, and evaluated it by human experts: we showed them several notebooks in their original and the re-split form. In 29.5% of cases, the re-split notebook was selected as the preferred way of perceiving the code. We analyze what influenced this decision and describe several individual cases in detail.


title: PINNs for the Solution of the Hyperbolic Buckley-Leverett Problem with a Non-convex Flux Function

abstract: The displacement of two immiscible fluids is a common problem in fluid flow in porous media. Such a problem can be posed as a partial differential equation (PDE) in what is commonly referred to as a Buckley-Leverett (B-L) problem. The B-L problem is a non-linear hyperbolic conservation law that is known to be notoriously difficult to solve using traditional numerical methods. Here, we address the forward hyperbolic B-L problem with a nonconvex flux function using physics-informed neural networks (PINNs). The contributions of this paper are twofold. First, we present a PINN approach to solve the hyperbolic B-L problem by embedding the Oleinik entropy condition into the neural network residual. We do not use a diffusion term (artificial viscosity) in the residual-loss, but we rely on the strong form of the PDE. Second, we use the Adam optimizer with residual-based adaptive refinement (RAR) algorithm to achieve an ultra-low loss without weighting. Our solution method can accurately capture the shock-front and produce an accurate overall solution. We report a L2 validation error of 2 x 10-2 and a L2 loss of 1x 10-6. The proposed method does not require any additional regularization or weighting of losses to obtain such accurate solution.


title: Nonequilibrium Entropy in an Extended State Space

abstract: This chapter deals with our recent attempt to extend the notion of equilibrium (EQ) entropy to nonequilibrium (NEQ) systems so that it can also capture memory effects. This is done by enlarging the equilibrium state space by introducing internal variables. These variables capture the irreversibility due to internal processes. By a proper choice of the enlarged state space, the entropy becomes a state function, which shares many properties of the EQ entropy, except for a nonzero irreversible entropy generation. We give both a thermodynamic and statistical extension of the entropy and prove their equivalence in all cases by taking an appropriate state space. This provides a general nonnegative statistical expression of the entropy for any situation. We use the statistical formulation to prove the second law. We give several examples to determine the required internal variables, which we then apply to several cases of interest to calculate the entropy generation. We also provide a possible explanation for why the entropy in the classical continuum 1-d Tonks gas can become negative by considering a lattice model for which the entropy is always nonnegative.

categories: cond-mat.stat-mech math-ph math.MP physics.chem-ph


title: How initial condition impacts aggregation -- a systematic numerical study

abstract: In a process of aggregation, a finite number of particles merge irreversibly to create growing clusters. In this work, impact of particular initial conditions: monodisperse, power-law, exponential, and inspired by condensation nuclei was tested against several aggregation processes: constant, additive, product, electrorheological, anti-social, Berry's, Brownian, shear, and gravitational kernels. Coagulating systems consisting of a thousand monomers were observed in the late time of the evolution, for the moment when only fifty clusters were left in the system. In this way, the impact of particular initial condition was revealed in relation to other initial conditions. Several similarities between different kernels were observed, among others, strong correspondence between the constant and the Brownian kernel was confirmed. In case of the product kernel, unexpected behaviour related to the condensation nuclei initial conditions was revealed and explained. According to the results, it is doubtful that a phase transition can be triggered by appropriate setting of initial condition.


title: On the Number of Incidences When Avoiding an Induced Biclique in Geometric Settings

abstract: Given a set of points $P$ and a set of regions $\mathcal{O}$, an incidence is a pair $(p,o ) \in P \times \mathcal{O}$ such that $p \in o$. We obtain a number of new results on a classical question in combinatorial geometry: What is the number of incidences (under certain restrictive conditions)? We prove a bound of $O\bigl( k n(\log n/\log\log n)^{d-1} \bigr)$ on the number of incidences between $n$ points and $n$ axis-parallel boxes in $\mathbb{R}^d$, if no $k$ boxes contain $k$ common points, that is, if the incidence graph between the points and the boxes does not contain $K_{k,k}$ as a subgraph. This new bound improves over previous work, by Basit, Chernikov, Starchenko, Tao, and Tran (2021), by more than a factor of $\log^d n$ for $d >2$. Furthermore, it matches a lower bound implied by the work of Chazelle (1990), for $k=2$, thus settling the question for points and boxes. We also study several other variants of the problem. For halfspaces, using shallow cuttings, we get a linear bound in two and three dimensions. We also present linear (or near linear) bounds for shapes with low union complexity, such as pseudodisks and fat triangles.


title: Simplified presentations and embeddings of Demazure modules

abstract: For an untwisted affine Lie algebra we prove an embedding of any higher level Demazure module into a tensor product of lower level Demazure modules (e.g. level one in type A) which becomes in the limit (for anti-dominant weights) the well-known embedding of finite-dimensional irreducible modules of the underlying simple Lie algebra into the tensor product of fundamental modules. To achieve this goal, we first simplify the presentation of these modules extending the results of \cite{CV13} in the $\mathfrak{g}$-stable case. As an application, we propose a crystal theoretic way to find classical decompositions with respect to a maximal semi-simple Lie subalgebra by identifying the Demazure crystal as a connected component in the corresponding tensor product of crystals.


title: A Hardware-Software Stack for Serverless Edge Swarms

abstract: Swarms of autonomous devices are increasing in ubiquity and size, making the need for rethinking their hardware-software system stack critical. We present HiveMind, the first swarm coordination platform that enables programmable execution of complex task workflows between cloud and edge resources in a performant and scalable manner. HiveMind is a software-hardware platform that includes a domain-specific language to simplify programmability of cloud-edge applications, a program synthesis tool to automatically explore task placement strategies, a centralized controller that leverages serverless computing to elastically scale cloud resources, and a reconfigurable hardware acceleration fabric for network and remote memory accesses. We design and build the full end-to-end HiveMind system on two real edge swarms comprised of drones and robotic cars. We quantify the opportunities and challenges serverless introduces to edge applications, as well as the trade-offs between centralized and distributed coordination. We show that HiveMind achieves significantly better performance predictability and battery efficiency compared to existing centralized and decentralized platforms, while also incurring lower network traffic. Using both real systems and a validated simulator we show that HiveMind can scale to thousands of edge devices without sacrificing performance or efficiency, demonstrating that centralized platforms can be both scalable and performant.


title: On Markov--up processes and their recurrence properties

abstract: A simple model of the new notion of "Markov up" processes is proposed; its positive recurrence and ergodic properties are shown under the appropriate conditions.


title: Populations of ultraluminous X-ray sources in galaxies: origin and evolution

abstract: Employing hybrid population synthesis, a model of the population of ultraluminous X-ray sources (ULX) in the binary systems with a black hole (BH) accretors is computed. It is compared to the model of the population of ULX with magnetized neutron stars (NS) that can be observed as pulsating ULX (Kuranov et al. 2020). A model of formation of BH is considered, in which their mass is determined by the mass of stellar CO core immediately before the collapse, as well as "delayed" and "rapid" collapse models (Fryer et al. 2012). Possible transiency of ULX due to accretion disks instability is taken into account The parameters and evolution of ULX are computed for the galaxies with constant star formation rate (SFR) and for the ones formed by an instantaneous star formation burst. The maximum number of ULX with BH ($\sim 10$) is reached in the galaxies with stationary $ SFR=10$\msun/yr in $\sim 1$ Gyr after beginning of star formation. ULX which are observed after the end of star formation, are binaries, in which BH and/or NS formed before the completion of star formation, while long-living donors with the mass $\sim$\msun\ continue RLOF or even fill their Roche lobes later. In several Gyr after completion of star formation the number of ULX in the galaxies with mass $M_G=10^{10}$\,\msun\ becomes less than 1 per 10 galaxies, most of them are ULX with NS. In ULX with NS, regardless of the adopted SFR model, dominate persistent sources with the donor overflowing Roche lobe. The number of transient sources is by more than an order of magnitude lower. Wind-accreting ULX are by an order of magnitude more rare than the sources with accretion via RLOF.


title: Training Quantized Deep Neural Networks via Cooperative Coevolution

abstract: This work considers a challenging Deep Neural Network(DNN) quantization task that seeks to train quantized DNNs without involving any full-precision operations. Most previous quantization approaches are not applicable to this task since they rely on full-precision gradients to update network weights. To fill this gap, in this work we advocate using Evolutionary Algorithms (EAs) to search for the optimal low-bits weights of DNNs. To efficiently solve the induced large-scale discrete problem, we propose a novel EA based on cooperative coevolution that repeatedly groups the network weights based on the confidence in their values and focuses on optimizing the ones with the least confidence. To the best of our knowledge, this is the first work that applies EAs to train quantized DNNs. Experiments show that our approach surpasses previous quantization approaches and can train a 4-bit ResNet-20 on the Cifar-10 dataset with the same test accuracy as its full-precision counterpart.


title: Molecular orbital projectors in non-empirical jmDFT recover exact conditions in transition metal chemistry

abstract: Low-cost, non-empirical corrections to semi-local density functional theory are essential for accurately modeling transition metal chemistry. Here, we demonstrate the judiciously-modified density functional theory (jmDFT) approach with non-empirical U and J parameters obtained directly from frontier orbital energetics on a series of transition metal complexes. We curate a set of nine representative Ti(III) and V(IV) $d^1$ transition metal complexes and evaluate their flat plane errors along the fractional spin and charge lines. We demonstrate that while jmDFT improves upon both DFT+U and semi-local DFT with the standard atomic orbital projectors (AOPs), it does so inefficiently. We rationalize these inefficiencies by quantifying hybridization in the relevant frontier orbitals for both the case of fractional spins and fractional charges. To overcome these limitations, we introduce a procedure for computing a molecular orbital projector (MOP) basis for use with jmDFT. We demonstrate this single set of $d^1$ MOPs to be suitable for nearly eliminating all energetic delocalization error and static correlation error. In all cases, the MOP jmDFT outperforms AOP jmDFT, and it eliminates most flat plane errors at non-empirical values. Unlike widely employed DFT+U or hybrid functionals, jmDFT nearly eliminates energetic delocalization error and static correlation error within a non-empirical framework.


title: Monodromy of the families of del Pezzo and $K3$ surfaces branching over smooth quartic curves

abstract: Two families of surfaces arise from considering cyclic branched covers of $\mathbb{P}^{2}$ over smooth quartic curves. These consist of degree 2 del Pezzo surfaces with a $\mathbb{Z}/2\mathbb{Z}$ action and $K3$ surfaces with a $\mathbb{Z}/4\mathbb{Z}$ action. We compute the monodromy groups of both families. In the first case, we obtain the Weyl group $W\left(E_{7}\right)$, corresponding to the automorphisms of the $56$ lines contained in a degree $2$ del Pezzo surface. In the second case we obtain an arithmetic lattice: the unitary group $U\left(h_{L_{-}}\right)$ of a type $\left(1, 6\right)$ quadratic form over $\mathbb{Z}\left[i\right]$ by building on results of Kondo and Allcock, Carlson, Toledo.


title: Recent Trends in Artificial Intelligence-inspired Electronic Thermal Management

abstract: The rise of computation-based methods in thermal management has gained immense attention in recent years due to the ability of deep learning to solve complex 'physics' problems, which are otherwise difficult to be approached using conventional techniques. Thermal management is required in electronic systems to keep them from overheating and burning, enhancing their efficiency and lifespan. For a long time, numerical techniques have been employed to aid in the thermal management of electronics. However, they come with some limitations. To increase the effectiveness of traditional numerical approaches and address the drawbacks faced in conventional approaches, researchers have looked at using artificial intelligence at various stages of the thermal management process. The present study discusses in detail, the current uses of deep learning in the domain of 'electronic' thermal management.


title: Analysis and Control of Input-Affine Dynamical Systems using Infinite-Dimensional Robust Counterparts

abstract: Input-affine dynamical systems often arise in control and modeling scenarios, such as the data-driven case when state-derivative observations are recorded under bounded noise. Common tasks in system analysis and control include optimal control, peak estimation, reachable set estimation, and maximum control invariant set estimation. Existing work poses these types of problems as infinite-dimensional linear programs in auxiliary functions with sum-of-squares tightenings. The bottleneck in most of these programs is the Lie derivative nonnegativity constraint posed over the time-state-control set. Decomposition techniques to improve tractability by eliminating the control variables include vertex decompositions (switching), or facial decompositions in the case where the polytopic set is a scaled box. This work extends the box-facial decomposition technique to allow for a robust-counterpart decomposition of semidefinite representable sets (e.g. polytopes, ellipsoids, and projections of spectahedra). These robust counterparts are proven to be equivalent to the original Lie constraint under mild compactness and regularity constraints. Efficacy is demonstrated under peak/distance/reachable set data-driven analysis problems and Region of Attraction maximizing control.


title: An overview of the quantitative causality analysis and causal graph reconstruction based on a rigorous formalism of information flow

abstract: Inference of causal relations from data now has become an important field in artificial intelligence. During the past 16 years, causality analysis (in a quantitative sense) has been developed independently in physics from first principles. This short note is a brief summary of this line of work, including part of the theory and several representative applications.


title: K-Core Decomposition on Super Large Graphs with Limited Resources

abstract: K-core decomposition is a commonly used metric to analyze graph structure or study the relative importance of nodes in complex graphs. Recent years have seen rapid growth in the scale of the graph, especially in industrial settings. For example, our industrial partner runs popular social applications with billions of users and is able to gather a rich set of user data. As a result, applying K-core decomposition on large graphs has attracted more and more attention from academics and the industry. A simple but effective method to deal with large graphs is to train them in the distributed settings, and some distributed K-core decomposition algorithms are also proposed. Despite their effectiveness, we experimentally and theoretically observe that these algorithms consume too many resources and become unstable on super-large-scale graphs, especially when the given resources are limited. In this paper, we deal with those super-large-scale graphs and propose a divide-and-conquer strategy on top of the distributed K-core decomposition algorithm. We evaluate our approach on three large graphs. The experimental results show that the consumption of resources can be significantly reduced, and the calculation on large-scale graphs becomes more stable than the existing methods. For example, the distributed K-core decomposition algorithm can scale to a large graph with 136 billion edges without losing correctness with our divide-and-conquer technique.


title: Holomorphic reflexivity for locally finite and profinite groups: the abelian and general cases

abstract: Akbarov's theory of holomorphic reflexivity for topological Hopf algebras has been developed in two directions, namely, by the complication of definitions when expanding the scope and by their simplification when restricting. In the framework of the latter approach, we establish the holomorphic reflexivity for topological Hopf algebras associated with locally finite countable groups and second-countable profinite groups. In the Abelian case, the reflexivity is described in terms close to the classical ones.


title: Explainable Signature-based Machine Learning Approach for Identification of Faults in Grid-Connected Photovoltaic Systems

abstract: The transformation of conventional power networks into smart grids with the heavy penetration level of renewable energy resources, particularly grid-connected Photovoltaic (PV) systems, has increased the need for efficient fault identification systems. Malfunctioning any single component in grid-connected PV systems may lead to grid instability and other serious consequences, showing that a reliable fault identification system is the utmost requirement for ensuring operational integrity. Therefore, this paper presents a novel fault identification approach based on statistical signatures of PV operational states. These signatures are unique because each fault has a different nature and distinctive impact on the electrical system. Thus, the Random Forest Classifier trained on these extracted signatures showed 100% accuracy in identifying all types of faults. Furthermore, the performance comparison of the proposed framework with other Machine Learning classifiers depicts its credibility. Moreover, to elevate user trust in the predicted outcomes, SHAP (Shapley Additive Explanation) was utilized during the training phase to extract a complete model response (global explanation). This extracted global explanation can help in the assessment of predicted outcomes credibility by decoding each prediction in terms of features contribution. Hence, the proposed explainable signature-based fault identification technique is highly credible and fulfills all the requirements of smart grids.


title: A Graph Attention Learning Approach to Antenna Tilt Optimization

abstract: 6G will move mobile networks towards increasing levels of complexity. To deal with this complexity, optimization of network parameters is key to ensure high performance and timely adaptivity to dynamic network environments. The optimization of the antenna tilt provides a practical and cost-efficient method to improve coverage and capacity in the network. Previous methods based on Reinforcement Learning (RL) have shown great promise for tilt optimization by learning adaptive policies outperforming traditional tilt optimization methods. However, most existing RL methods are based on single-cell features representation, which fails to fully characterize the agent state, resulting in suboptimal performance. Also, most of such methods lack scalability, due to state-action explosion, and generalization ability. In this paper, we propose a Graph Attention Q-learning (GAQ) algorithm for tilt optimization. GAQ relies on a graph attention mechanism to select relevant neighbors information, improve the agent state representation, and update the tilt control policy based on a history of observations using a Deep Q-Network (DQN). We show that GAQ efficiently captures important network information and outperforms standard DQN with local information by a large margin. In addition, we demonstrate its ability to generalize to network deployments of different sizes and densities.


title: New Baryon States in Exclusive Meson Photo-/Electroproduction with CLAS

abstract: Impressive progress achieved in the past decade in experimental studies of exclusive meson photoproduction off protons and global multi-channel amplitude analyses has resulted in the discovery of several long-awaited new nucleon resonances, with a decisive impact from the results of $K\Lambda$ and $K\Sigma$ photoproduction measured with the CLAS detector at Jefferson Lab. Further extension of these efforts towards combined studies of exclusive meson photo- and electroproduction data off protons will be presented. A new excited state of the nucleon, the $N'(1720)3/2^+$, discovered from combined analyses of $\pi^+\pi^-p$ photo- and electroproduction data, in addition to new resonances discovered in photo- and hadroproduction data, demonstrate the promising prospects of this new research avenue for discovery of additional new resonances.


title: Collective Autoscaling for Cloud Microservices

abstract: As cloud applications shift from monoliths to loosely coupled microservices, application developers must decide how many compute resources (e.g., number of replicated containers) to assign to each microservice within an application. This decision affects both (1) the dollar cost to the application developer and (2) the end-to-end latency perceived by the application user. Today, individual microservices are autoscaled independently by adding VMs whenever per-microservice CPU or memory utilization crosses a configurable threshold. However, an application user's end-to-end latency consists of time spent on multiple microservices and each microservice might need a different number of VMs to achieve an overall end-to-end latency. We present COLA, an autoscaler for microservice-based applications, which collectively allocates VMs to microservices with a global goal of minimizing dollar cost while keeping end-to-end application latency under a given target. Using 5 open-source applications, we compared COLA to several utilization and machine learning based autoscalers. We evaluate COLA across different compute settings on Google Kubernetes Engine (GKE) in which users manage compute resources, GKE standard, and a new mode of operation in which the cloud provider manages compute infrastructure, GKE Autopilot. COLA meets a desired median or tail latency target on 53 of 63 workloads where it provides a cost reduction of 19.3%, on average, over the next cheapest autoscaler. COLA is the most cost effective autoscaling policy for 48 of these 53 workloads. The cost savings from managing a cluster with COLA result in COLA paying for its training cost in a few days. On smaller applications, for which we can exhaustively search microservice configurations, we find that COLA is optimal for 90% of cases and near optimal otherwise.


title: An Analysis of an Alternative Pythagorean Expected Win Percentage Model: Applications Using Major League Baseball Team Quality Simulations

abstract: We ask if there are alternative contest models that minimize error or information loss from misspecification and outperform the Pythagorean model. This article aims to use simulated data to select the optimal expected win percentage model among the choice of relevant alternatives. The choices include the traditional Pythagorean model and the difference-form contest success function (CSF). Method. We simulate 1,000 iterations of the 2014 MLB season for the purpose of estimating and analyzing alternative models of expected win percentage (team quality). We use the open-source, Strategic Baseball Simulator and develop an AutoHotKey script that programmatically executes the SBS application, chooses the correct settings for the 2014 season, enters a unique ID for the simulation data file, and iterates these steps 1,000 times. We estimate expected win percentage using the traditional Pythagorean model, as well as the difference-form CSF model that is used in game theory and public choice economics. Each model is estimated while accounting for fixed (team) effects. We find that the difference-form CSF model outperforms the traditional Pythagorean model in terms of explanatory power and in terms of misspecification-based information loss as estimated by the Akaike Information Criterion. Through parametric estimation, we further confirm that the simulator yields realistic statistical outcomes. The simulation methodology offers the advantage of greatly improved sample size. As the season is held constant, our simulation-based statistical inference also allows for estimation and model comparison without the (time series) issue of non-stationarity. The results suggest that improved win (productivity) estimation can be achieved through alternative CSF specifications.


title: Atomic step disorder on polycrystalline surfaces leads to spatially inhomogeneous work functions

abstract: Structural disorder causes materials surface electronic properties, e.g. work function ($\phi$) to vary spatially, yet it is challenging to prove exact causal relationships to underlying ensemble disorder, e.g. roughness or granularity. For polycrystalline Pt, nanoscale resolution photoemission threshold mapping reveals a spatially varying $\phi= 5.70\pm 0.03$~eV over a distribution of (111) textured vicinal grain surfaces prepared by sputter deposition and annealing. With regard to field emission and related phenomena, e.g. vacuum arc initiation, a salient feature of the $\phi$ distribution is that it is skewed with a long tail to values down to 5.4 eV, i.e. far below the mean, which is exponentially impactful to field emission via the Fowler-Nordheim relation. We show that the $\phi$ spatial variation and distribution can be explained by ensemble variations of granular tilts and surface slopes via a Smoluchowski smoothing model wherein local $\phi$ variations result from spatially varying densities of electric dipole moments, intrinsic to atomic steps, that locally modify $\phi$. Atomic step-terrace structure is confirmed with scanning tunneling microscopy (STM) at several locations on our surfaces, and prior works showed STM evidence for atomic step dipoles at various metal surfaces. From our model, we find an atomic step edge dipole $\mu=0.12$ D/edge atom, which is comparable to values reported in studies that utilized other methods and materials. Our results elucidate a connection between macroscopic $\phi$ and nanostructure that may contribute to the spread of reported $\phi$ for Pt and other surfaces, and may be useful toward more complete descriptions of polycrystalline metals in models of field emission and other related vacuum electronics phenomena, e.g. arc initiation.


title: Holographic CFT Phase Transitions and Criticality for Charged AdS Black Holes

abstract: We study the hololgraphic dual of the extended thermodynamics of spherically symmetric, charged AdS black holes in the context of the AdS/CFT correspondence. The gravitational thermodynamics of AdS black holes can be extended by allowing for variations of the cosmological constant and Newton's constant. In the dual CFT this corresponds to including the central charge $C$ and its chemical potential $\mu$ as a new pair of conjugate thermodynamic variables, in addition to the standard pairs: temperature vs. entropy $(T,S)$, electric potential vs. charge $(\tilde \Phi, \tilde Q)$ and field theory pressure vs. volume $(p,{\cal V})$. For the (grand) canonical ensembles at fixed $(\tilde Q, {\cal V}, C), (\tilde \Phi, {\cal V},C)$ and $(\tilde Q, {\cal V}, \mu)$ we show the CFT description of charged AdS black holes contains either critical phenomena or interesting phase behaviour. In the fixed $(\tilde Q, \mathcal V, \mu)$ we find a new zeroth-order phase transition between a high- and low-entropy phase at some $\mu$-dependent temperature. Finally, we point out there is no critical behaviour in the fixed $p$ ensembles, i.e. there is no $p - \cal V$ criticality, and hence the CFT state dual to a classical charged black hole cannot be a Van der Waals fluid.


title: Institutional Quality and the Wealth of Autocrats

abstract: One frequently given explanation for why autocrats maintain corrupt and inefficient institutions is that the autocrats benefit personally even though the citizens of their countries are worse off. The empirical evidence does not support this hypothesis. Autocrats in countries with low-quality institutions do tend to be wealthy, but typically, they were wealthy before they assumed power. A plausible explanation, consistent with the data, is that wealthy individuals in countries with inefficient and corrupt institutions face the threat of having their wealth appropriated by government, so have the incentive to use some of their wealth to seek political power to protect the rest of their wealth from confiscation. While autocrats may use government institutions to increase their wealth, autocrats in countries with low-quality institutions tend to be wealthy when they assume power, because wealthy individuals have the incentive to use their wealth to acquire political power to protect themselves from a potentially predatory government.


title: Nanoscale Solid-State Nuclear Quadrupole Resonance Spectroscopy using Depth-Optimized Nitrogen-Vacancy Ensembles in Diamond

abstract: Nuclear magnetic resonance (NMR) and nuclear quadrupole resonance (NQR) spectroscopy of bulk quantum materials have provided insight into phenomena such as quantum phase criticality, magnetism, and superconductivity. With the emergence of nanoscale 2-D materials with magnetic phenomena, inductively-detected NMR and NQR spectroscopy are not sensitive enough to detect the smaller number of spins in nanomaterials. The nitrogen-vacancy (NV) center in diamond has shown promise in bringing the analytic power of NMR and NQR spectroscopy to the nanoscale. However, due to depth-dependent formation efficiency of the defect centers, noise from surface spins, band bending effects, and the depth dependence of the nuclear magnetic field, there is ambiguity regarding the ideal NV depth for surface NMR of statistically-polarized spins. In this work, we prepared a range of shallow NV ensemble layer depths and determined the ideal NV depth by performing NMR spectroscopy on statistically-polarized \fluorine{} in Fomblin oil on the diamond surface. We found that the measurement time needed to achieve an SNR of 3 using XY8-N noise spectroscopy has a minimum at an NV depth of 5.4 nm. To demonstrate the sensing capabilities of NV ensembles, we perform NQR spectroscopy on the \boron{} of hexagonal boron nitride flakes. We compare our best diamond to previous work with a single NV and find that this ensemble provides a shorter measurement time with excitation diameters as small as 4 $\mu$m. This analysis provides ideal conditions for further experiments involving NMR/NQR spectroscopy of 2-D materials with magnetic properties.


title: A Pulsed-Precipitation Model of Dryland Vegetation Pattern Formation

abstract: We develop a model for investigating the impact of rainstorm variability on the formation of banded vegetation patterns in dryland ecosystems. Water input, during rare rainstorms, is modeled as an instantaneous kick to the soil water. The redistribution, from surface water to soil moisture, accounts for the impact of vegetation on infiltration rate and downslope overland flow speed. These two positive feedbacks between water and biomass distributions act on the fast timescales of rain storms. During dry periods, a classic reaction-diffusion framework is used for the slow processes associated with soil water and biomass. This pulsed precipitation model predicts that the preferred spacing of the vegetation bands is determined by the characteristic distance that a storm pulse of water travels overland before infiltrating into the soil. In this way, the vegetation pattern is determined by the fast ecohydrological processes and may be attuned with its dryland precipitation pattern. We demonstrate how this modeling framework, suited for stochastic rain inputs, can be used to investigate possible collapse of a dryland pattern-forming ecosystem under different precipitation patterns with identical low annual mean. Model simulations suggest, for instance, that shorter rainy seasons and greater variability in storm depth may both hasten ecosystem collapse.


title: Human Niche Evolution: pathways, choices and outcomes

abstract: Humankind has spread worldwide supported by cultural and technological knowledge, but the environmental sustainability on the human niche evolution depends on a new human beings relationship with the biosphere. Human lifestyles nowadays are very Antropocentric and in many ways deleterious to the other life forms. Here we try to identify future scenarios, where the less deleterious is the Natural-Technological Model that points the urgent need to change the evolutionary direction of the human niche seeking the resumption of original ecological relations. New cultural habits and novel technologies, thereby, would reverse the current anthropogenic impacts. The middle way is the Bio-Anthropogenic Model that predicts the success of the emerging ecosystems and the symbiotic relationship of humans and anthropogenic-favored species, hybrids, aliens and genetically modified organisms. For such, we must also change our way of life and adopt new conscious ways of consumption aiming at the socio-environmental good. Lastly, the Wear Out Model, which depends only on maintaining current patterns of human expansion. The lack of investments on new technologies and new cultural habits, added to the current patterns of human niche evolution that are based on the massive exploitation of world resources, will lead to a fearsome scenario with a precarious global health, biodiversity losses and food scarcity. This theoretical models indicates some pathways and can help us to choose a better future.


title: Effects of Plasticity Functions on Neural Assemblies

abstract: We explore the effects of various plasticity functions on assemblies of neurons. To bridge the gap between experimental and computational theories we make use of a conceptual framework, the Assembly Calculus, which is a formal system for the description of brain function based on assemblies of neurons. The Assembly Calculus includes operations for projecting, associating, and merging assemblies of neurons. Our research is focused on simulating different plasticity functions with Assembly Calculus. Our main contribution is the modification and evaluation of the projection operation. We experiment with Oja's and Spike Time-Dependent Plasticity (STDP) rules and test the effect of various hyper-parameters.


title: Stabilization results for delayed fifth order KdV-type equation in a bounded domain

abstract: Studied here is the Kawahara equation, a fifth order Korteweg-de Vries type equation, with time-delayed internal feedback. Under suitable assumptions on the time delay coefficients we prove that solutions of this system are exponentially stable. First, considering a damping and delayed system, with some restriction of the spatial length of the domain, we prove that the Kawahara system is exponentially stable for $T> T_{\min}$. After that, introducing a more general delayed system, and by introducing suitable energies, we show using Lyapunov approach, that the energy of the Kawahara equation goes to zero exponentially, considering the initial data small and a restriction in the spatial length of the domain. To remove these hypotheses, we use the compactness-uniqueness argument which reduces our problem to prove an observability inequality, showing a semi-global stabilization result.


title: Shear flows in far-from-equilibrium strongly coupled fluids

abstract: Despite the viscosity of a fluid ranges over several orders of magnitudes and is extremely sensitive to microscopic structure and molecular interactions, it has been conjectured that its (opportunely normalized) minimum displays a universal value which is experimentally approached in strongly coupled fluids such as the quark-gluon plasma. At the same time, recent findings suggest that hydrodynamics could serve as a universal attractor even when the deformation gradients are large and that dissipative transport coefficients, such as viscosity, could still display a universal behavior far-from-equilibrium. Motivated by these observations, we consider the real-time dissipative dynamics of several holographic models under large shear deformations. In all the cases considered, we observe that at late time both the viscosity-entropy density ratio and the dimensionless ratio between energy density and entropy density approach a constant value. Whenever the shear rate in units of the energy density is small at late time, these values coincide with the expectations from near equilibrium hydrodynamics. Surprisingly, even when this is not the case, and the system at late time is far from equilibrium, the viscosity-to-entropy ratio approaches a constant which decreases monotonically with the dimensionless shear rate and can be parametrically smaller than the hydrodynamic result.


title: Analysis of the result of the Neutrino-4 experiment in conjunction with other experiments on the search for sterile neutrinos within the framework of the 3 + 1 neutrino model

abstract: The correspondence of the results obtained in the Neutrino-4 experiment with the results of the NEOS, DANSS, STEREO, PROSPECT experiments at reactors, the MiniBooNE, LSND, MicroBoone experiments at accelerators, the IceCube experiment and the BEST experiment with a ${}^{51}\text{Cr}$ neutrino source is analyzed. The agreement between the results of the Neutrino-4 experiment, the BEST experiment and the gallium anomaly on mixing angel is discussed. The disagreement between the results of the above-mentioned direct experiments with the results of the reactor anomaly, as well as with the limitations from solar and cosmological data, is discussed. It is shown that the results of the above-mentioned direct experiments on the search for sterile neutrinos and IceCube experiment do not contradict the Neutrino-4 experiment within the framework of the 3+1 neutrino model at the available experimental accuracy. The sterile neutrino parameters from the Neutrino-4 and BEST experiments make it possible to estimate the sterile neutrino mass $m_4 = (2.70 \pm 0.22)\text{eV}$ and the effective mass of the electron neutrino $m_{4\nu_e} = (0.82 \pm 0.21)\text{eV}$. The matrix with absolute values of the 3 + 1 neutrino model mixing parameters and the mixing scheme are presented.


title: Waveguide-Integrated Mid-Infrared Photodetection using Graphene on a Scalable Chalcogenide Glass Platform

abstract: The development of compact and fieldable mid-infrared (mid-IR) spectroscopy devices represents a critical challenge for distributed sensing with applications from gas leak detection to environmental monitoring. Recent work has focused on mid-IR photonic integrated circuit (PIC) sensing platforms and waveguide-integrated mid-IR light sources and detectors based on semiconductors such as PbTe, black phosphorus and tellurene. However, material bandgaps and reliance on SiO$_2$ substrates limit operation to wavelengths $\lambda\lesssim4\,\mu\textrm{m}$. Here we overcome these challenges with a chalcogenide glass-on-CaF$_2$ PIC architecture incorporating split-gate photothermoelectric graphene photodetectors. Our design extends operation to $\lambda=5.2\,\mu\textrm{m}$ with a Johnson noise-limited noise-equivalent power of $1.1\,\mathrm{nW}/\mathrm{Hz}^{1/2}$, no fall-off in photoresponse up to $f = 1\,\mathrm{MHz}$, and a predicted 3-dB bandwidth of $f_{3\textrm{dB}}>1\,\mathrm{GHz}$. This mid-IR PIC platform readily extends to longer wavelengths and opens the door to applications from distributed gas sensing and portable dual comb spectroscopy to weather-resilient free space optical communications.


title: Peristaltic regimes in esophageal transport

abstract: A FLIP device gives cross-sectional area along the length of the esophagus and one pressure measurement, both as a function of time. Deducing mechanical properties of the esophagus including wall material properties, contraction strength, and wall relaxation from these data is a challenging inverse problem. Knowing mechanical properties can change how clinical decisions are made because of its potential for in-vivo mechanistic insights. To obtain such information, we conducted a parametric study to identify peristaltic regimes by using a 1D model of peristaltic flow through an elastic tube closed on both ends and also applied it to interpret clinical data. The results gave insightful information about the effect of tube stiffness, fluid/bolus density and contraction strength on the resulting esophagus shape through quantitive representations of the peristaltic regimes. Our analysis also revealed the mechanics of the opening of the contraction area as a function of bolus flow resistance. Lastly, we concluded that peristaltic driven flow displays three modes of peristaltic geometries, but all physiologically relevant flows fall into two peristaltic regimes characterized by a tight contraction.


title: Segal's axioms and bootstrap for Liouville Theory

abstract: In 1987 Graeme Segal gave a functorial definition of Conformal Field Theory (CFT) that was designed to capture the mathematical essence of the Conformal Bootstrap formalism pioneered in physics by Belavin-Polyakov-Zamolodchikov. In Segal's formulation the basic objects of CFT, the correlation functions of conformal primary fields, are viewed as functions on the moduli space of Riemann surfaces with marked points which behave naturally under gluing of surfaces. In this paper we give a probabilistic realization of Segal's axioms in Liouville Conformal Field Theory (LCFT) which is a CFT that plays a fundamental role in the theory of random surfaces and two dimensional quantum gravity. Then we use Segal's axioms to express the correlation functions of LCFT in terms of the basic objects of LCFT: its {\it spectrum} and its {\it structure constants}, determined in earlier works by the authors. As a consequence, we obtain a formula for the correlation functions as multiple integrals over the spectrum of LCFT, the structure of these integrals being associated to a pant decomposition of the surface. The integrand is the modulus squared of a function called conformal block: its structure is encoded by the commutation relations of an algebra of operators called the Virasoro algebra and it depends holomorphically on the moduli of the surface with marked points. The integration measure involves a product of structure constants, which have an explicit expression, the so called DOZZ formula.


title: Non-Lorentzian $SU(1,n)$ Spacetime Symmetry in Various Dimensions

abstract: We discuss non-Lorentzian Lagrangian field theories in $2n-1$ dimensions that admit an $SU(1,n)$ spacetime symmetry which includes a scaling transformation. These can be obtained by a conformal compactification of a $2n$-dimensional Minkowskian conformal field theory. We discuss the symmetry algebra, its representations including primary fields and unitarity bounds. We also give various examples of free theories in a variety of dimensions and a discussion of how to reconstruct the parent $2n$-dimensional theory.


title: Using word clouds for fast identification of papers' subject domain and reviewers' competences

abstract: Generating word (tag) clouds is a powerful data visualization technique that allows people to get easily acquainted with the content of a large collection of textual documents and identify their subject domains for a matter of seconds, without reading them at all. This paper suggests applying word clouds visualization to conference management systems (specialized document management and decision support systems) in order to support and facilitate decision making in at least two important processes - forming the Programme Committee by inviting suitable reviewers and manual (re)assignment of reviewers to papers. Word clouds proved to be very useful tool for fast identification of papers' subject domain and reviewers' competences.


title: Time varying regression with hidden linear dynamics

abstract: We revisit a model for time-varying linear regression that assumes the unknown parameters evolve according to a linear dynamical system. Counterintuitively, we show that when the underlying dynamics are stable the parameters of this model can be estimated from data by combining just two ordinary least squares estimates. We offer a finite sample guarantee on the estimation error of our method and discuss certain advantages it has over Expectation-Maximization (EM), which is the main approach proposed by prior work.


title: Polynomial values with integer coefficients of the generating functions for Fibonacci polynomials

abstract: Fibonacci polynomials are generalizations of Fibonacci numbers, so it is natural to consider polynomial versions of the various results for Fibonacci numbers. According to Hong, Pongsriiam, Bulawa, and Lee, the generating function of the Fibonacci sequence in the domain of rational numbers, $f(t)=t/(1-t-t^2)$, takes an integer value if and only if $t=F_{k}/F_{k+1}$ for some $k \in \N$ or $t=-F_{k+1}/F_{k}$ for some $k \in \N^{+}$, where $F_{k}$ is the $k$th Fibonacci number. This study is built upon their work by considering polynomial sequences that satisfy the recurrence relation $F_{i+2}(x)=axF_{i+1}(x)+bF_{i}(x)$ with initial values $(F_{0}(x), F_{1}(x))=(0, 1)$, where $a$ and $b$ are positive integers such that $b|a$. As an application, for a square-free natural number $d \in \N$, we verify the results are of the same form as the above for the generating function of the sequence satisfying the recurrence relation $F_{i+2}(\sqrt{d})=a\sqrt{d} F_{i+1}(\sqrt{d})+bF_{i}(\sqrt{d})$ with initial values $(F_{0}(\sqrt{d}), F_{1}(\sqrt{d}))=(0, 1)$.


title: A high-order unfitted finite element method for moving interface problems

abstract: We propose a $k^{\rm th}$-order unfitted finite element method ($2\le k\le 4$) to solve the moving interface problem of the Oseen equations. Thorough error estimates for the discrete solutions are presented by considering errors from interface-tracking, time integration, and spatial discretization. In literatures on time-dependent Stokes interface problems, error estimates for the discrete pressure are usually sub-optimal, namely, $(k-1)^{\rm th}$-order, under the $L^2$-norm. We have obtained a $(k-1)^{\rm th}$-order error estimate for the discrete pressure under the $H^1$-norm. Numerical experiments for a severely deforming interface show that optimal convergence orders are obtained for $k = 3$ and $4$.


title: Compositional Data Regression in Insurance with Exponential Family PCA

abstract: Compositional data are multivariate observations that carry only relative information between components. Applying standard multivariate statistical methodology directly to analyze compositional data can lead to paradoxes and misinterpretations. Compositional data also frequently appear in insurance, especially with telematics information. However, such type of data does not receive deserved special treatment in most existing actuarial literature. In this paper, we explore and investigate the use of exponential family principal component analysis (EPCA) to analyze compositional data in insurance. The method is applied to analyze a dataset obtained from the U.S. Mine Safety and Health Administration. The numerical results show that EPCA is able to produce principal components that are significant predictors and improve the prediction accuracy of the regression model. The EPCA method can be a promising useful tool for actuaries to analyze compositional data.


title: Efficient Quantum State Tomography with Mode-assisted Training

abstract: Neural networks (NNs) representing quantum states are typically trained using Markov chain Monte Carlo based methods. However, unless specifically designed, such samplers only consist of local moves, making the slow-mixing problem prominent even for extremely simple quantum states. Here, we propose to use mode-assisted training that provides global information via the modes of the NN distribution. Applied to quantum state tomography using restricted Boltzmann machines, this method improves the quality of reconstructed quantum states by orders of magnitude. The method is applicable to other types of NNs and may efficiently tackle problems previously unmanageable.


title: Self-consistent stochastic dynamics for finite-size networks of spiking neurons

abstract: Despite the huge number of neurons composing a brain network, ongoing activity of local cell assemblies composing cortical columns is intrinsically stochastic. Fluctuations in their instantaneous rate of spike firing $\nu(t)$ scale with the size of the assembly and persist in isolated network, i.e., in absence of external source of noise. Although deterministic chaos due to the quenched disorder of the synaptic couplings likely underlies this seemingly stochastic dynamics, an effective theory for the network dynamics of a finite ensemble of spiking neurons is lacking. Here, we fill this gap by extending the so-called population density approach including an activity- and size-dependent stochastic source in the Fokker-Planck equation for the membrane potential density. The finite-size noise embedded in this stochastic partial derivative equation is analytically characterized leading to a self-consistent and non-perturbative description of $\nu(t)$ valid for a wide class of spiking neuron networks. Its power spectra of $\nu(t)$ are found in excellent agreement with those from detailed simulations both in the linear regime and across a synchronization phase transition, when a size-dependent smearing of the critical dynamics emerges.


title: The SAMME.C2 algorithm for severely imbalanced multi-class classification

abstract: Classification predictive modeling involves the accurate assignment of observations in a dataset to target classes or categories. There is an increasing growth of real-world classification problems with severely imbalanced class distributions. In this case, minority classes have much fewer observations to learn from than those from majority classes. Despite this sparsity, a minority class is often considered the more interesting class yet developing a scientific learning algorithm suitable for the observations presents countless challenges. In this article, we suggest a novel multi-class classification algorithm specialized to handle severely imbalanced classes based on the method we refer to as SAMME.C2. It blends the flexible mechanics of the boosting techniques from SAMME algorithm, a multi-class classifier, and Ada.C2 algorithm, a cost-sensitive binary classifier designed to address highly class imbalances. Not only do we provide the resulting algorithm but we also establish scientific and statistical formulation of our proposed SAMME.C2 algorithm. Through numerical experiments examining various degrees of classifier difficulty, we demonstrate consistent superior performance of our proposed model.


title: Label Distributionally Robust Losses for Multi-class Classification: Consistency, Robustness and Adaptivity

abstract: We study a family of loss functions named label-distributionally robust (LDR) losses for multi-class classification that are formulated from distributionally robust optimization (DRO) perspective, where the uncertainty in the given label information are modeled and captured by taking the worse case of distributional weights. The benefits of this perspective are several fold: (i) it provides a unified framework to explain the classical cross-entropy (CE) loss and SVM loss and their variants, (ii) it includes a special family corresponding to the temperature-scaled CE loss, which is widely adopted but poorly understood; (iii) it allows us to achieve adaptivity to the uncertainty degree of label information at an instance level. Our contributions include: (1) we study both consistency and robustness by establishing top-$k$ ($\forall k\geq 1$) consistency of LDR losses for multi-class classification, and a negative result that a top-$1$ consistent and symmetric robust loss cannot achieve top-$k$ consistency simultaneously for all $k\geq 2$; (2) we propose a new adaptive LDR loss that automatically adapts the individualized temperature parameter to the noise degree of class label of each instance; (3) we demonstrate stable and competitive performance for the proposed adaptive LDR loss on 7 benchmark datasets under 6 noisy label and 1 clean settings against 13 loss functions, and on one real-world noisy dataset. The code is open-sourced at \url{https://github.com/Optimization-AI/ICML2023_LDR}.


title: Registration-free localization of defects in 3-D parts from mesh metrology data using functional maps

abstract: Spectral Laplacian methods, widely used in computer graphics and manifold learning, have been recently proposed for the Statistical Process Control (SPC) of a sequence of manufactured parts, whose 3-dimensional metrology is acquired with non-contact sensors. These techniques provide an {\em intrinsic} solution to the SPC problem, that is, a solution exclusively based on measurements on the scanned surfaces or 2-manifolds without making reference to their ambient space. These methods, therefore, avoid the computationally expensive, non-convex registration step needed to align the parts, as required by previous methods for SPC based on 3-dimensional measurements. Once a SPC mechanism triggers and out-of-control alarm, however, an additional problem remains: that of locating where on the surface of the part that triggered the SPC alarm there is a significant shape difference with respect to either an in-control part or its nominal (CAD) design. In the past, only registration-based solutions existed for this problem. In this paper, we present a new registration-free solution to the part localization problem. Our approach uses a functional map between the manifolds to be compared, that is, a map between functions defined on each manifold based on intrinsic differential operators, in particular, the Laplace-Beltrami operator, in order to construct a point to point mapping between the two manifolds and be able to locate defects on the suspected part. A recursive partitioning algorithm is presented to define a region of interest on the surface of the part where defects are likely to occur, which results in considerable computational advantages. The functional map method involves a very large number of point-to-point comparisons based on noisy measurements, and a statistical thresholding method is presented to filter the false positives in the underlying massive multiple comparisons problem.


title: Analytical Models for Motifs in Temporal Networks: Discovering Trends and Anomalies

abstract: Dynamic evolving networks capture temporal relations in domains such as social networks, communication networks, and financial transaction networks. In such networks, temporal motifs, which are repeated sequences of time-stamped edges/transactions, offer valuable information about the networks' evolution and function. However, currently no analytical models for temporal graphs exist and there are no models that would allow for scalable modeling of temporal motif frequencies over time. Here, we develop the Temporal Activity State Block Model (TASBM), to model temporal motifs in temporal graphs. We develop efficient model fitting methods and derive closed-form expressions for the expected motif frequencies and their variances in a given temporal network, thus enabling the discovery of statistically significant temporal motifs. Our TASMB framework can accurately track the changes in the expected motif frequencies over time, and also scales well to networks with tens of millions of edges/transactions as it does not require time-consuming generation of many random temporal networks and then computing motif counts for each one of them. We show that TASBM is able to model changes in temporal activity over time in a network of financial transactions, a phone call, and an email network. Additionally, we show that deviations from the expected motif counts calculated by our analytical framework correspond to anomalies in the financial transactions and phone call networks.


title: Local Quadratic Convergence of Stochastic Gradient Descent with Adaptive Step Size

abstract: Establishing a fast rate of convergence for optimization methods is crucial to their applicability in practice. With the increasing popularity of deep learning over the past decade, stochastic gradient descent and its adaptive variants (e.g. Adagrad, Adam, etc.) have become prominent methods of choice for machine learning practitioners. While a large number of works have demonstrated that these first order optimization methods can achieve sub-linear or linear convergence, we establish local quadratic convergence for stochastic gradient descent with adaptive step size for problems such as matrix inversion.


title: Relative tilting theory in abelian categories II: $n$-$\mathcal{X}$-tilting theory

abstract: We introduce a relative tilting theory in abelian categories and show that this work offers a unified framework of different previous notions of tilting, ranging from Auslander-Solberg relative tilting modules on Artin algebras to infinitely generated tilting modules on arbitrary rings. Furthermore, we see that it presents a tool for developing new tilting theories in categories that can be embedded nicely in an abelian category. In particular, we will show how the tilting theory in exact categories built this way, coincides with tilting objects in extriangulated categories introduced recently. We will review Bazzoni\textquoteright s tilting characterization, the relative homological dimensions on the induced tilting classes and parametrise certain cotorsion-like pairs by using $n$-$\mathcal{X}$-tilting classes. As an application, we show how to construct relative tilting classes and cotorsion pairs in $\operatorname{Rep}(Q,\mathcal{C})$ (the category of representations of a quiver $Q$ in an abelian category $\mathcal{C}$) from tilting classes in $\mathcal{C},$ where $Q$ is finite-cone-shape.


title: Strong Local Nondeterminism and Exact Modulus of Continuity for Isotropic Gaussian Random Fields on Compact Two-Point Homogeneous Spaces

abstract: This paper is concerned with sample path properties of isotropic Gaussian fields on compact two-point homogeneous spaces. In particular, we establish the property of strong local nondeterminism of an isotropic Gaussian field based on the high-frequency behavior of its angular power spectrum, and then exploit this result to establish an exact uniform modulus of continuity for its sample paths.


title: Collective behaviors of second-order nonlinear consensus models with a bonding force

abstract: We study the collective behaviors of two second-order nonlinear consensus models with a bonding force, namely the Kuramoto model and the Cucker-Smale model with inter-particle bonding force. The proposed models contain feedback control terms which induce collision avoidance and emergent consensus dynamics in a suitable framework. Through the cooperative interplays between feedback controls, initial state configuration tends to an ordered configuration asymptotically under suitable frameworks which are formulated in terms of system parameters and initial configurations. For a two-particle system on the real line, we show that the relative state tends to the preassigned value asymptotically, and we also provide several numerical examples to analyze the possible nonlinear dynamics of the proposed models, and compare them with analytical results.


title: Stochastic COVID-19 Model Influenced by Non-Gaussian Noise

abstract: Natural fluctuations have played a crucial role in affecting the dynamics of pervasive diseases such as the coronavirus. Examining the effects of irregular unsettling disturbances on epidemic models is important for understanding these dynamics. In this study, we introduce a mathematical model for the SIR (Susceptible-Infectious-Recovered) dynamics of the coronavirus, incorporating perturbations in the contact rate through Levy noise. The utilization of the Levy process is essential for the protection and control of diseases. We delve into the dynamics of both the deterministic model and the global positive solution of the stochastic model, establishing their existence and uniqueness. Additionally, we explore conditions for the termination and persistence of the infection. Furthermore, we derive the basic reproduction number, a critical determinant of disease extinction or persistence. Numerical results indicate that COVID-19 dissipates from the population when the reproduction number is less than one in the presence of significant or minor noise. Conversely, controlling epidemic diseases becomes challenging when the reproduction number exceeds one. To illustrate this phenomenon, we provide numerical simulations, offering insights into the dynamics of the disease and the efficacy of control measures


title: A Unified and Constructive Framework for the Universality of Neural Networks

abstract: One of the reasons why many neural networks are capable of replicating complicated tasks or functions is their universal property. Though the past few decades have seen tremendous advances in theories of neural networks, a single constructive framework for neural network universality remains unavailable. This paper is the first effort to provide a unified and constructive framework for the universality of a large class of activation functions including most of existing ones. At the heart of the framework is the concept of neural network approximate identity (nAI). The main result is: {\em any nAI activation function is universal}. It turns out that most of existing activation functions are nAI, and thus universal in the space of continuous functions on compacta. The framework induces {\bf several advantages} over the contemporary counterparts. First, it is constructive with elementary means from functional analysis, probability theory, and numerical analysis. Second, it is the first unified attempt that is valid for most of existing activation functions. Third, as a by product, the framework provides the first universality proof for some of the existing activation functions including Mish, SiLU, ELU, GELU, and etc. Fourth, it provides new proofs for most activation functions. Fifth, it discovers new activation functions with guaranteed universality property. Sixth, for a given activation and error tolerance, the framework provides precisely the architecture of the corresponding one-hidden neural network with predetermined number of neurons, and the values of weights/biases. Seventh, the framework allows us to abstractly present the first universal approximation with favorable non-asymptotic rate.


title: Identification of active magnetic reconnection using magnetic flux transport in plasma turbulence

abstract: Magnetic reconnection has been suggested to play an important role in the dynamics and energetics of plasma turbulence by spacecraft observations, simulations and theory over the past two decades, and recently, by magnetosheath observations of MMS. A new method based on magnetic flux transport (MFT) has been developed to identify reconnection activity in turbulent plasmas. This method is applied to a gyrokinetic simulation of two-dimensional (2D) plasma turbulence. Results on the identification of three active reconnection X-points are reported. The first two X-points have developed bi-directional electron outflow jets. Beyond the category of electron-only reconnection, the third X-point does not have bi-directional electron outflow jets because the flow is modified by turbulence. In all cases, this method successfully identifies active reconnection through clear inward and outward flux transport around the X-points. This transport pattern defines reconnection and produces a new quadrupolar structure in the divergence of MFT. This method is expected to be applicable to spacecraft missions such as MMS, Parker Solar Probe, and Solar Orbiter.


title: Contact map dependence of a T cell receptor binding repertoire

abstract: The T cell arm of the adaptive immune system provides the host protection against unknown pathogens by discriminating between host and foreign material. This discriminatory capability is achieved by the creation of a repertoire of cells each carrying a T cell receptor (TCR) specific to non-self antigens displayed as peptides bound to the major histocompatibility complex (pMHC). The understanding of the dynamics of the adaptive immune system at a repertoire level is complex, due to both the nuanced interaction of a TCR-pMHC pair and to the number of different possible TCR-pMHC pairings, making computationally exact solutions currently unfeasible. To gain some insight into this problem, we study an affinity-based model for TCR-pMHC binding in which a crystal structure is used to generate a distance-based contact map that weights the pairwise amino acid interactions. We find that the TCR-pMHC binding energy distribution strongly depends both on the number of contacts and the repeat structure allowed by the topology of the contact map of choice; this in turn influences T cell recognition probability during negative selection, with higher variances leading to higher survival probabilities. In addition, we quantify the degree to which neoantigens with mutations in sites with higher contacts are recognized at a higher rate.


title: The Monodromy group of $pq$-covers

abstract: In this work we study the monodromy group of covers $\varphi \circ \psi$ of curves \linebreak $\mathcal{Y}\xrightarrow {\quad {\psi}} \mathcal{X} \xrightarrow {\quad \varphi} \mathbb{P}^{1}$, where $\psi$ is a $q$-fold cyclic \'etale cover and $\varphi$ is a totally ramified $p$-fold cover, with $p$ and $q$ different prime numbers with $p$ odd. We show that the Galois group $\mathcal{G}$ of the Galois closure $\mathcal{Z}$ of $\varphi \circ \psi$ is of the form $ \mathcal{G} = \mathbb{Z}_q^s \rtimes \mathcal{U}$, where $0 \leq s \leq p-1$ and $\mathcal{U}$ is a simple transitive permutation group of degree $p$. Since the simple transitive permutation group of prime degree $p$ are known, and we construct examples of such covers with these Galois groups, the result is very different from the previously known case when the cover $\varphi$ was assumed to be cyclic, in which case the Galois group is of the form $ \mathcal{G} = \mathbb{Z}_q^s \rtimes \mathbb{Z}_p$. Furthermore, we are able to characterize the subgroups $\mathcal{H}$ and $\mathcal{N}$ of $\mathcal{G}$ such that $\mathcal{Y} = \mathcal{Z}/\mathcal{N}$ and $X = \mathcal{Z}/\mathcal{H}$.


title: Unique extension of the maximum entropy principle to phase coexistence in heat conduction

abstract: The maximum entropy principle determines the values of thermodynamic variables in thermally isolated equilibrium systems. This paper extends the principle to a variational principle that applies to liquid-gas coexistence in heat conduction. We show the uniqueness of the extension under the assumption that the variational principle and the fundamental thermodynamic relation are simultaneously extended in the linear response regime with the total energy fixed. Using the extended variational principle, we calculate the thermodynamic quantities in this steady state and find that the temperature of the liquid-gas interface deviates from the equilibrium transition temperature, which should be verified in experiments.


title: Proposal for the search for new spin interactions at the micrometer scale using diamond quantum sensors

abstract: For decades, searches for exotic spin interactions have used increasingly-precise laboratory measurements to test various theoretical models of particle physics. However, most searches have focused on interaction length scales greater than 1 mm, corresponding to hypothetical boson masses less than 0.2 meV. Recently, quantum sensors based on Nitrogen-Vacancy (NV) centers in diamond have emerged as a promising platform to probe spin interactions at the micrometer scale, opening the door to explore new physics at this length scale. Here, we propose experiments to search for several hypothetical interactions between NV electron spins and moving masses. We focus on potential interactions involving the coupling of NV spin ensembles to both spin-polarized and unpolarized masses attached to vibrating mechanical oscillators. For each interaction, we estimate the sensitivity, identify optimal experimental conditions, and analyze potential systematic errors. Using multi-pulse quantum sensing protocols with NV spin ensembles to improve sensitivity, we project new constraints that are ~5 orders-of-magnitude improvement over previous constraints at the micrometer scale. We also identify a spin-polarized test mass, based on hyperpolarized 13C nuclear spins in a thin diamond membrane, which offers a favorable combination of high spin density and low stray magnetic fields. Our analysis is timely in light of a recent preprint (arXiv:2010.15667) reporting a surprising non-zero result of micrometer-scale spin-velocity interactions.

categories: quant-ph cond-mat.mes-hall hep-ex physics.ins-det physics.optics


title: XLPN: Efficient and Scalable Cross-Ledger Protocols for the Topological Consortium of Permissioned Blockchains

abstract: While increasingly more application-specific blockchains, or ledgers, are being implemented and deployed, exchanging information between these ledgers remains an open problem. Existing cross-ledger protocols (XLPs) exhibit a variety of limitations such as scalability, liveness, efficiency, among others. This paper proposes a new XLP, namely XLPN-22, which introduces a global topology for the consortium of ledgers to achieve better efficiency and scalability of cross-ledger data exchanges. In this work, we prove the safety and liveness of XLPN-22 and analyze its theoretical complexity. We also implement XLPN-22 on SciChain ledgers and evaluate it on up to 128 nodes, 8 ledgers, and 16,000 transactions. Experimental results show that XLPN-22 outperforms two baseline protocols, namely VLDB-20 and PODC-18, by 18--50\% and 64--84\%, respectively.


title: Properties of the magnetised Kaluza-Klein bubble

abstract: In this paper we study a Kaluza-Klein bubble-type spacetime with a magnetic field first obtained by Sarbach and Lehner in 2005. It is shown that this solution can be derived via a Harrison transformation of a vacuum Kaluza-Klein bubble, and its physical and geometrical quantities are determined. For certain ranges of the magnetic field parameter, this solution carries negative mass. Furthermore, for a given value of magnetic flux, there exist two branches of solutions, and the branch with lower mass is thermodynamically favoured. In light of these properties we interpret the spacetime as another analogue to the Anti-de Sitter-Melvin solution.


title: A Test Bench For Evaluating Exoskeletons For Upper Limb Rehabilitation

abstract: The potential of wearable robotics technology is undeniable. However, quantifying its value is difficult. Various types of exoskeleton robots have already been developed and tested for upper limb rehabilitation but, evaluations are not standardized, particularly in pediatric rehabilitation. This paper proposes a methodology for the quantitative evaluation of upper limb exoskeletons that, like a test bench, would serve for replicable testing. We determined the range of motion (ROM) and joint torques using both kinematic modeling and experimental measurements (using sensors integrated into Dynamixel actuators). The proposed test bench can provide an accurate range of motion (ROM) and joint torques during the pronation-supination (PS) task. The range of motion obtained with the physical prototype was approximately 156.26 +- 4.71{\deg} during the PS task, while it was approximately 146.84 +- 14.32{\deg} for the multibody model. The results show that the average range of experimental torques (0.28 +- 0.06 N.m) was overestimated by 40% and just 3.4%, respectively, when compared to the average range of simulated torques (0.2 +- 0.05 N.m) and to the highest range of simulated torques (0.29 N.m). For the experimental measurements, test-retest reliability was excellent (0.96-0.98) within sessions and excellent (0.93) or good (0.81-0.86) between sessions. Finally, the suggested approach provides a ROM close to the normal ROM necessary during PS tasks. These results validate the measurements' accuracy and underline the proposed methodology's relevance. The proposed test bench could become a reference standard for evaluating exoskeletons. This study also addresses a methodological aspect on the accurate assessment of joint torques that can serve in applications such as the sizing of actuators in exoskeletons or the non-invasive evaluation of muscle forces in the human body.


title: Dimorphic properties of Bernoulli random variable

abstract: The aim of this paper is to study a dimorphic property associated with two different sums of identically independent Bernoulli random variables having two different families of probability mass functions. In addition, we give two expressions on sums of products of degenerate Stirling numbers of the second kind and Stirling numbers of the first kind connected with those two different sums of identically independent Bernoulli random variables.