title: Eigenvalue crossing as a phase transition in relaxation dynamics

abstract: When a system's parameter is abruptly changed, a relaxation towards the new equilibrium of the system follows. We show that a crossing between the second and third eigenvalues of the relaxation matrix results in a relaxation trajectory singularity, which is analogous to a first-order equilibrium phase transition. We demonstrate this in a minimal 4-state system and in the thermodynamic limit of the 1D Ising model.


title: Cavity-mediated superconductor$\unicode{x2013}$ferromagnetic insulator coupling

abstract: A recent proof of concept showed that cavity photons can mediate superconducting (SC) signatures to a ferromagnetic insulator (FI) over a macroscopic distance [Phys. Rev. B, 102, 180506(R) (2020)]. In contrast with conventional proximity systems, this facilitates long-distance FI$\unicode{x2013}$SC coupling, local subjection to different drives and temperatures, and studies of their mutual interactions without proximal disruption of their orders. Here we derive a microscopic theory for these interactions, with an emphasis on the leading effect on the FI, namely, an induced anisotropy field. In an arbitrary practical example, we find an anisotropy field of $14 \unicode{x2013} 16$ $\mu$T, which is expected to yield an experimentally appreciable tilt of the FI spins for low-coercivity FIs such as Bi-YIG. We discuss the implications and potential applications of such a system in the context of superconducting spintronics.


title: On Scaling Properties for Two-State Problems and for a Singularly Perturbed $T_3$ Structure

abstract: In this article we study quantitative rigidity properties for the compatible and incompatible two-state problems for suitable classes of $\mathcal{A}$-free operators and for a singularly perturbed $T_3$-structure for the divergence operator. In particular, in the compatible setting of the two-state problem we prove that all homogeneous, first order, linear operators with affine boundary data which enforce oscillations yield the typical $\epsilon^{\frac{2}{3}}$-lower scaling bounds. As observed in \cite{CC15} for higher order operators this may no longer be the case. Revisiting the example from \cite{CC15}, we show that this is reflected in the structure of the associated symbols and that this can be exploited for a new Fourier based proof of the lower scaling bound. Moreover, building on \cite{RT22, GN04, PP04}, we discuss the scaling behaviour of a $T_3$ structure for the divergence operator. We prove that as in \cite{RT22} this yields a non-algebraic scaling law.


title: The Ability of Image-Language Explainable Models to Resemble Domain Expertise

abstract: Recent advances in vision and language (V+L) models have a promising impact in the healthcare field. However, such models struggle to explain how and why a particular decision was made. In addition, model transparency and involvement of domain expertise are critical success factors for machine learning models to make an entrance into the field. In this work, we study the use of the local surrogate explainability technique to overcome the problem of black-box deep learning models. We explore the feasibility of resembling domain expertise using the local surrogates in combination with an underlying V+L to generate multi-modal visual and language explanations. We demonstrate that such explanations can serve as helpful feedback in guiding model training for data scientists and machine learning engineers in the field.


title: Leveraging guidelines for ethical practice of statistics and computing to develop standards for ethical mathematical practice: A White Paper

abstract: We report the results of our NSF-funded project in which we alpha- and beta- tested a survey comprising all aspects of the ethical practice standards from two disciplines with relevance to mathematics, the American Statistical Association (ASA) and Association of Computing Machinery (ACM). Items were modified so that text such as "A computing professional should..." became, "The ethical mathematics practitioner...". We also removed elements that were duplicates or were deemed unlikely to be considered relevant to mathematical practice even after modification. Starting with more than 100 items, plus 10 demographic questions, the final survey included 52 items (plus demographics), and 142 individuals responded to our invitations (through listservs and other widespread emails and announcements) to participate in this 30-minute survey. This white paper reports the project methods and findings regarding the community perspective on the 52 items, specifically, which rise to the level of ethical obligations, which do not meet this level, and what is missing from this list of elements of ethical mathematical practice. The results suggest that the community of mathematicians perceives a much wider range of behaviors to be subject to ethical practice standards than is currently represented.


title: The Automorphism Conjecture for Ordered Sets of Width $\leq 11$

abstract: We prove the automorphism conjecture for ordered sets of width less than or equal to 11. The proof supports the meta conjecture that a large number of automorphisms is achievable only as some type of product of independent automorphisms on highly symmetric subsets.


title: Natural Wave Numbers, Natural Wave Co-numbers, and the Computation of the Primes

abstract: The paper exploits an isomorphism between the natural numbers N and a space U of periodic sequences of the roots of unity in constructing a recursive procedure for representing and computing the prime numbers. The nth wave number ${\bf u}_n$ is the countable sequence of the nth roots of unity having frequencies k/n for all integer phases k. The space U is closed under a commutative and associative binary operation ${\bf u}_m \odot{\bf u}_n={\bf u}_{mn}$, termed the circular product, and is isomorphic with N under their respective product operators. Functions are defined on U that partition wave numbers into two complementary sequences, of which the co-number $ {\overset {\bf \ast }{ \bf u}}_n$ is a function of a wave number in which zeros replace its positive roots of unity. The recursive procedure $ {\overset {\bf \ast }{ \bf U}}_{N+1}= {\overset {\bf \ast }{ \bf U}}_{N}\odot{\overset {\bf \ast }{\bf u}}_{{N+1}}$ represents prime numbers explicitly in terms of preceding prime numbers, starting with $p_1=2$, and is shown never to terminate. If ${p}_1, ... , { p}_{N+1}$ are the first $N+1$ prime phases, then the phases in the range $p_{N+1} \leq k < p^2_{N+1}$ that are associated with the non-zero terms of $ {\overset {\bf \ast }{\bf U}}_{N}$ are, together with $ p_1, ...,p_N$, all of the prime phases less than $p^2_{N+1}$. When applied with all of the primes identified at the previous step, the recursive procedure identifies approximately $7^{2(N-1)}/(2(N-1)ln7)$ primes at each iteration for $ N>1$. When the phases of wave numbers are represented in modular arithmetic, the prime phases are representable in terms of sums of reciprocals of the initial set of prime phases and have a relation with the zeta-function.


title: Nonlinear approximation spaces for inverse problems

abstract: This paper is concerned with the ubiquitous inverse problem of recovering an unknown function u from finitely many measurements possibly affected by noise. In recent years, inversion methods based on linear approximation spaces were introduced in [MPPY15, BCDDPW17] with certified recovery bounds. It is however known that linear spaces become ineffective for approximating simple and relevant families of functions, such as piecewise smooth functions that typically occur in hyperbolic PDEs (shocks) or images (edges). For such families, nonlinear spaces [Devore98] are known to significantly improve the approximation performance. The first contribution of this paper is to provide with certified recovery bounds for inversion procedures based on nonlinear approximation spaces. The second contribution is the application of this framework to the recovery of general bidimensional shapes from cell-average data. We also discuss how the application of our results to n-term approximation relates to classical results in compressed sensing.


title: Deep Linear Networks can Benignly Overfit when Shallow Ones Do

abstract: We bound the excess risk of interpolating deep linear networks trained using gradient flow. In a setting previously used to establish risk bounds for the minimum $\ell_2$-norm interpolant, we show that randomly initialized deep linear networks can closely approximate or even match known bounds for the minimum $\ell_2$-norm interpolant. Our analysis also reveals that interpolating deep linear models have exactly the same conditional variance as the minimum $\ell_2$-norm solution. Since the noise affects the excess risk only through the conditional variance, this implies that depth does not improve the algorithm's ability to "hide the noise". Our simulations verify that aspects of our bounds reflect typical behavior for simple data distributions. We also find that similar phenomena are seen in simulations with ReLU networks, although the situation there is more nuanced.


title: Activity report analysis with automatic single or multispan answer extraction

abstract: In the era of loT (Internet of Things) we are surrounded by a plethora of Al enabled devices that can transcribe images, video, audio, and sensors signals into text descriptions. When such transcriptions are captured in activity reports for monitoring, life logging and anomaly detection applications, a user would typically request a summary or ask targeted questions about certain sections of the report they are interested in. Depending on the context and the type of question asked, a question answering (QA) system would need to automatically determine whether the answer covers single-span or multi-span text components. Currently available QA datasets primarily focus on single span responses only (such as SQuAD[4]) or contain a low proportion of examples with multiple span answers (such as DROP[3]). To investigate automatic selection of single/multi-span answers in the use case described, we created a new smart home environment dataset comprised of questions paired with single-span or multi-span answers depending on the question and context queried. In addition, we propose a RoBERTa[6]-based multiple span extraction question answering (MSEQA) model returning the appropriate answer span for a given question. Our experiments show that the proposed model outperforms state-of-the-art QA models on our dataset while providing comparable performance on published individual single/multi-span task datasets.


title: Rusty Clusters? Dusting an IPv6 Research Foundation

abstract: The long-running IPv6 Hitlist service is an important foundation for IPv6 measurement studies. It helps to overcome infeasible, complete address space scans by collecting valuable, unbiased IPv6 address candidates and regularly testing their responsiveness. However, the Internet itself is a quickly changing ecosystem that can affect longrunning services, potentially inducing biases and obscurities into ongoing data collection means. Frequent analyses but also updates are necessary to enable a valuable service to the community. In this paper, we show that the existing hitlist is highly impacted by the Great Firewall of China, and we offer a cleaned view on the development of responsive addresses. While the accumulated input shows an increasing bias towards some networks, the cleaned set of responsive addresses is well distributed and shows a steady increase. Although it is a best practice to remove aliased prefixes from IPv6 hitlists, we show that this also removes major content delivery networks. More than 98% of all IPv6 addresses announced by Fastly were labeled as aliased and Cloudflare prefixes hosting more than 10M domains were excluded. Depending on the hitlist usage, e.g., higher layer protocol scans, inclusion of addresses from these providers can be valuable. Lastly, we evaluate different new address candidate sources, including target generation algorithms to improve the coverage of the current IPv6 Hitlist. We show that a combination of different methodologies is able to identify 5.6M new, responsive addresses. This accounts for an increase by 174% and combined with the current IPv6 Hitlist, we identify 8.8M responsive addresses.


title: Guarding a Non-Maneuverable Translating Line with an Attached Defender

abstract: In this paper we consider a target-guarding differential game where the defender must protect a linearly translating line-segment by intercepting an attacker who tries to reach it. In contrast to common target-guarding problems, we assume that the defender is attached to the target and moves along with it. This assumption affects the defenders' maximum speed in inertial frame, which depends on the target's direction of motion. Zero-sum differential game of degree for both the attacker-win and defender-win scenarios are studied, where the payoff is defined to be the distance between the two agents at the time of game termination. We derive the equilibrium strategies and the Value function by leveraging the solution for the infinite-length target scenario. The zero-level set of this Value function provides the barrier surface that divides the state space into defender-win and attacker-win regions. We present simulation results to demonstrate the theoretical results.


title: Whittaker Fourier type solutions to differential equations arising from string theory

abstract: In this article, we find the full Fourier expansion for the generalized non-holomorphic Eisenstein series for certain values of parameters. We give a connection of the boundary condition on such Fourier series with convolution formulas on the divisor functions. Additionally, we discuss a possible relation with the differential Galois theory.


title: Real-Time Unified Trajectory Planning and Optimal Control for Urban Autonomous Driving Under Static and Dynamic Obstacle Constraints

abstract: Trajectory planning and control have historically been separated into two modules in automated driving stacks. Trajectory planning focuses on higher-level tasks like avoiding obstacles and staying on the road surface, whereas the controller tries its best to follow an ever changing reference trajectory. We argue that this separation is (1) flawed due to the mismatch between planned trajectories and what the controller can feasibly execute, and (2) unnecessary due to the flexibility of the model predictive control (MPC) paradigm. Instead, in this paper, we present a unified MPC-based trajectory planning and control scheme that guarantees feasibility with respect to road boundaries, the static and dynamic environment, and enforces passenger comfort constraints. The scheme is evaluated rigorously in a variety of scenarios focused on proving the effectiveness of the optimal control problem (OCP) design and real-time solution methods. The prototype code will be released at https://github.com/WATonomous/control.


title: Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets

abstract: Reachability analysis is a formal method to guarantee safety of dynamical systems under the influence of uncertainties. A substantial bottleneck of all reachability algorithms is the necessity to adequately tune specific algorithm parameters, such as the time step size, which requires expert knowledge. In this work, we solve this issue with a fully automated reachability algorithm that tunes all algorithm parameters internally such that the reachable set enclosure respects a user-defined approximation error bound in terms of the Hausdorff distance to the exact reachable set. Moreover, this bound can be used to extract an inner-approximation of the reachable set from the outer-approximation using the Minkowski difference. Finally, we propose a novel verification algorithm that automatically refines the accuracy of the outer-approximation and inner-approximation until specifications given by time-varying safe and unsafe sets can be verified or falsified. The numerical evaluation demonstrates that our verification algorithm successfully verifies or falsifies benchmarks from different domains without requiring manual tuning.


title: Exploiting disorder to probe spin and energy hydrodynamics

abstract: An outstanding challenge in large-scale quantum platforms is to simultaneously achieve strong interactions, giving rise to the most interesting behaviors, and local addressing -that can probe them. In the context of correlated phases, local addressing enables one to directly probe the nature of the system's order. Meanwhile, for out-ofequilibrium dynamics, such addressing allows the study of quantum information spreading and operator growth. Here, we introduce a novel technique that enables the measurement of local correlation functions, down to single-site resolution, despite access to only global controls. Our approach leverages the intrinsic disorder present in a solid-state spin ensemble to dephase the nonlocal components of the correlation function. Utilizing this toolset, we measure both the spin and energy transport in nuclear spin chains. By tuning the interaction Hamiltonian via Floquet engineering, we investigate the cross-over between ballistic and diffusive hydrodynamics. Interestingly, when the system is both interacting and (nearly-)integrable, we observe the coexistence of diffusive spin transport with ballistic energy transport.


title: Longtime behavior of completely positively correlated Symbiotic Branching Model

abstract: We study the longtime behavior of a continuous state Symbiotic Branching Model (SBM). SBM can be seen as a unified model generalizing the Stepping Stone Model, Mutually Catalytic Branching Processes, and the Parabolic Anderson Model. It was introduced by Etheridge and Fleischmann in 2004. The key parameter in these models is the local correlation $\rho$ between the driving Brownian Motions. The longtime behavior of all SBM exhibits a dichotomy between coexistence and non-coexistence of the two populations depending on the recurrence and transience of the migration and also in many cases on the branching rate. The most significant gap in the understanding of the longtime behavior of SBM is for positive correlations in the transient regime. In this article we give a precise description of the longtime behavior of the SBM with $\rho=1$ with not necessarily identical initial conditions.


title: Calculating quasinormal modes of Schwarzschild anti-de Sitter black holes using the continued fraction method

abstract: We investigate the scalar, gravitational, and electromagnetic quasinormal mode spectra of Schwarzschild anti-de Sitter black holes using the numerical continued fraction method. The spectra have similar, almost linear structures. With a few exceptions, the low overtone quasinormal modes are consistent with previously obtained results in the literature that use other numerical techniques. The intermediate and high overtone quasinormal modes, in comparison to the Schwarzschild case, converge very quickly to the asymptotic formulas previously obtained by analytic monodromy techniques. In addition, we find a connection between the analytic asymptotic formulas and the purely imaginary modes. In particular, these formulas can be used to predict the bifurcation of the lowest damped electromagnetic modes. Finally, we find no high overtone quasinormal modes with high oscillation frequency and low damping, which had been previously predicted.


title: Order-disorder transition in the zero-temperature Ising model on random graphs

abstract: The zero-temperature Ising model is known to reach a fully ordered ground state in sufficiently dense random graphs. In sparse random graphs, the dynamics gets absorbed in disordered local minima at magnetization close to zero. Here, we find that the non-equilibrium transition between the ordered and the disordered regime occurs at an average degree that slowly grows with the graph size. The system shows bistability: The distribution of the absolute magnetization in the reached absorbing state is bimodal, with peaks only at zero and unity. For a fixed system size, the average time to absorption behaves nonmonotonically as a function of average degree. The peak value of the average absorption time grows as a power law of the system size. These findings have relevance for community detection, opinion dynamics, and games on networks.


title: Sparse Interaction Additive Networks via Feature Interaction Detection and Sparse Selection

abstract: There is currently a large gap in performance between the statistically rigorous methods like linear regression or additive splines and the powerful deep methods using neural networks. Previous works attempting to close this gap have failed to fully investigate the exponentially growing number of feature combinations which deep networks consider automatically during training. In this work, we develop a tractable selection algorithm to efficiently identify the necessary feature combinations by leveraging techniques in feature interaction detection. Our proposed Sparse Interaction Additive Networks (SIAN) construct a bridge from these simple and interpretable models to fully connected neural networks. SIAN achieves competitive performance against state-of-the-art methods across multiple large-scale tabular datasets and consistently finds an optimal tradeoff between the modeling capacity of neural networks and the generalizability of simpler methods.


title: S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs

abstract: Heap-manipulating programs are known to be challenging to reason about. We present a novel verifier for heap-manipulating programs called S2TD, which encodes programs systematically in the form of Constrained Horn Clauses (CHC) using a novel extension of separation logic (SL) with recursive predicates and dangling predicates. S2TD actively explores cyclic proofs to address the path explosion problem. S2TD differentiates itself from existing CHC-based verifiers by focusing on heap-manipulating programs and employing cyclic proof to efficiently verify or falsify them with counterexamples. Compared with existing SL-based verifiers, S2TD precisely specifies the heaps of de-allocated pointers to avoid false positives in reasoning about the presence of bugs. S2TD has been evaluated using a comprehensive set of benchmark programs from the SV-COMP repository. The results show that S2TD is more effective than state-of-art program verifiers and is more efficient than most of them.


title: GINGER

abstract: In this paper, we outline the scientific objectives, the experimental layout, and the collaborations envisaged for the GINGER (Gyroscopes IN GEneral Relativity) project. The GINGER project brings together different scientific disciplines aiming at building an array of Ring Laser Gyroscopes (RLGs), exploiting the Sagnac effect, to measure continuously, with sensitivity better than picorad/ s, large bandwidth (ca. 1 kHz), and high dynamic range, the absolute angular rotation rate of the Earth. In the paper, we address the feasibility of the apparatus with respect to the ambitious specifications above, as well as prove how such an apparatus, which will be able to detect strong Earthquakes, very weak geodetic signals, as well as general relativity effects like Lense-Thirring and De Sitter, will help scientific advancements in Theoretical Physics, Geophysics, and Geodesy, among other scientific fields.


title: MAN: Multi-Action Networks Learning

abstract: Learning control policies with large discrete action spaces is a challenging problem in the field of reinforcement learning due to present inefficiencies in exploration. With high dimensional action spaces, there are a large number of potential actions in each individual dimension over which policies would be learned. In this work, we introduce a Deep Reinforcement Learning (DRL) algorithm call Multi-Action Networks (MAN) Learning that addresses the challenge of high-dimensional large discrete action spaces. We propose factorizing the N-dimension action space into N 1-dimensional components, known as sub-actions, creating a Value Neural Network for each sub-action. Then, MAN uses temporal-difference learning to train the networks synchronously, which is simpler than training a single network with a large action output directly. To evaluate the proposed method, we test MAN on three scenarios: an n-dimension maze task, a block stacking task, and then extend MAN to handle 12 games from the Atari Arcade Learning environment with 18 action spaces. Our results indicate that MAN learns faster than both Deep Q-Learning and Double Deep Q-Learning, implying our method is a better performing synchronous temporal difference algorithm than those currently available for large discrete action spaces.


title: Simultaneous shape and topology optimization of wings

abstract: This paper presents a method for simultaneous optimization of the outer shape and internal topology of aircraft wings, with the objective of minimizing drag subject to lift and compliance constraints for multiple load cases. The physics are evaluated by the means of a source-doublet panel method for the aerodynamic response and linear elastic finite elements for the structural response, which are one-way coupled. At each design iteration, a mapping procedure is applied to map the current wing shape and corresponding pressure loads to the unfitted finite element mesh covering the design domain. Wings of small fixed-wing airplanes both with and without a stiffening strut are optimized. The resulting wings show internal topologies with struts and wall-truss combinations, depending on the design freedom of the shape optimization. The lift distributions of the optimized wings show patterns like the ones obtained when performing optimization of wing shapes with constraints on the bending moment at the root.


title: Training an Assassin AI for The Resistance: Avalon

abstract: The Resistance: Avalon is a partially observable social deduction game. This area of AI game playing is fairly undeveloped. Implementing an AI for this game involves multiple components specific to each phase as well as role in the game. In this paper, we plan to iteratively develop the required components for each role/phase by first addressing the Assassination phase which can be modeled as a machine learning problem. Using a publicly available dataset from an online version of the game, we train classifiers that emulate an Assassin. After trying various classification techniques, we are able to achieve above average human performance using a simple linear support vector classifier. The eventual goal of this project is to pursue developing an intelligent and complete Avalon player that can play through each phase of the game as any role.


title: Large-Momentum Effective Theory vs. Short-Distance Operator Expansion: Contrast and Complementarity

abstract: Although equivalent in the infinite-momentum limit, large-momentum effective theory (LaMET) and short-distance operator product expansion (SD-OPE) are two different approaches to extract parton distribution functions (PDFs) from coordinate-space correlation functions in large-momentum hadrons. LaMET implements a momentum-space expansion in $\Lambda_{\rm QCD}/[x(1-x)P^z]$ to directly calculate PDFs $f(x)$ in a middle region of Bjorken $x\in [x_{\rm min}\sim \Lambda_{\rm QCD}/P^z, x_{\rm max}\sim 1-x_{\min}]$. SD-OPE applies perturbative QCD at small Euclidean distances $z$ to extract a range $[0,\lambda_{\rm max}]$ of leading-twist correlations, $h(\lambda=zP^z)$, corresponding to the Fourier transformation of PDFs. Similar to the quantum mechanical uncertainty principle, an incomplete leading-twist correlation cannot be readily converted to a momentum-space local distribution, and the methods to solve the ``inverse problem'' involve essentially modelling of the missing information beyond $\lambda_{\rm max}$. On the other hand, short-distance correlations, along with the expected end-point asymptotics, can be used to phenomenologically fit the PDFs in the LaMET-complementary regions: $x\in [0,x_{\rm min}]$ and $[x_{\rm max}, 1]$. We use the recent results of the pion valence quark distribution from the ANL/BNL collaboration to demonstrate this point.


title: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification

abstract: This volume contains the proceedings of the 13th International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2022). The aim of GandALF 2022 symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.


title: Towards characterizing the 2-Ramsey equations of the form $ax+by=p(z)$

abstract: In this paper, we study a Ramsey-type problem for equations of the form $ax+by=p(z)$. We show that if certain technical assumptions hold, then any 2-colouring of the positive integers admits infinitely many monochromatic solutions to the equation $ax+by=p(z)$. This entails the $2$-Ramseyness of several notable cases such as the equation $ax+y=z^n$ for arbitrary $a\in\mathbb{Z}^{+}$ and $n\ge 2$, and also of $ax+by=a_Dz^D+\dots+a_1z\in\mathbb{Z}[z]$ such that $\text{gcd}(a,b)=1$, $D\ge 2$, $a,b,a_D>0$ and $a_1\neq0$.


title: Topological magnetic textures and long-range orders in Tb-based quasicrystal and approximant

abstract: The quasicrystal(QC)s have unique lattice structure with the rotational symmetry forbidden in the periodic crystals. The electric properties are far from complete understanding. It has been unresolved whether the magnetic long-range orders are realized in the QC. Here we report our theoretical discovery of the ferromagnetic long-range order in the Tb-based QC. The difficulty in past theoretical studies on the QC was lack of the microscopic theory of the crystalline electric field (CEF), which is crucially important in the rare-earth systems. By analyzing the CEF in the Tb-based QC, we clarify that magnetic anisotropy plays a key role in realizing unique magnetic textures in the Tb-based QC and approximant crystal (AC). By constructing the minimal model, we show that various magnetic textures on the icosahedron at whose vertices Tb atoms are located. We find that the hedgehog state is characterized by the topological charge of one and the whirling-moment state is characterized by unusually large topological charge of three. The hedgehog and whirling-moment states are shown to be realized as antiferromagnetic orders transcribed as the emergent monopole and antimonopole in the 1/1 AC. We find that these states exhibit the topological Hall effect under applied magnetic field accompanied by the topological as well as metamagnetic transition. Our model and the determined phase diagram are expected to be relevant to the broad range of the rare-earth based QCs and ACs with strong magnetic anisotropy, which are useful not only to understand magnetism but also to explore novel topological properties.


title: Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages

abstract: A characteristic sample for a language $L$ and a learning algorithm $\textbf{L}$ is a finite sample of words $T_L$ labeled by their membership in $L$ such that for any sample $T \supseteq T_L$ consistent with $L$, on input $T$ the learning algorithm $\textbf{L}$ returns a hypothesis equivalent to $L$. Which omega automata have characteristic sets of polynomial size, and can these sets be constructed in polynomial time? We address these questions here. In brief, non-deterministic omega automata of any of the common types, in particular B\"uchi, do not have characteristic samples of polynomial size. For deterministic omega automata that are isomorphic to their right congruence automata, the fully informative languages, polynomial time algorithms for constructing characteristic samples and learning from them are given. The algorithms for constructing characteristic sets in polynomial time for the different omega automata (of types B\"uchi, coB\"uchi, parity, Rabin, Street, or Muller), require deterministic polynomial time algorithms for (1) equivalence of the respective omega automata, and (2) testing membership of the language of the automaton in the informative classes, which we provide.


title: Safety-Critical Controller Verification via Sim2Real Gap Quantification

abstract: The well-known quote from George Box states that: "All models are wrong, but some are useful." To develop more useful models, we quantify the inaccuracy with which a given model represents a system of interest, so that we may leverage this quantity to facilitate controller synthesis and verification. Specifically, we develop a procedure that identifies a sim2real gap that holds with a minimum probability. Augmenting the nominal model with our identified sim2real gap produces an uncertain model which we prove is an accurate representor of system behavior. We leverage this uncertain model to synthesize and verify a controller in simulation using a probabilistic verification approach. This pipeline produces controllers with an arbitrarily high probability of realizing desired safe behavior on system hardware without requiring hardware testing except for those required for sim2real gap identification. We also showcase our procedure working on two hardware platforms - the Robotarium and a quadruped.


title: Revisiting Embeddings for Graph Neural Networks

abstract: Current graph representation learning techniques use Graph Neural Networks (GNNs) to extract features from dataset embeddings. In this work, we examine the quality of these embeddings and assess how changing them can affect the accuracy of GNNs. We explore different embedding extraction techniques for both images and texts; and find that the performance of different GNN architectures is dependent on the embedding style used. We see a prevalence of bag of words (BoW) embeddings and text classification tasks in available graph datasets. Given the impact embeddings has on GNN performance. this leads to a phenomenon that GNNs being optimised for BoW vectors.


title: Identifying and Characterizing Behavioral Classes of Radicalization within the QAnon Conspiracy on Twitter

abstract: Social media provide a fertile ground where conspiracy theories and radical ideas can flourish, reach broad audiences, and sometimes lead to hate or violence beyond the online world itself. QAnon represents a notable example of a political conspiracy that started out on social media but turned mainstream, in part due to public endorsement by influential political figures. Nowadays, QAnon conspiracies often appear in the news, are part of political rhetoric, and are espoused by significant swaths of people in the United States. It is therefore crucial to understand how such a conspiracy took root online, and what led so many social media users to adopt its ideas. In this work, we propose a framework that exploits both social interaction and content signals to uncover evidence of user radicalization or support for QAnon. Leveraging a large dataset of 240M tweets collected in the run-up to the 2020 US Presidential election, we define and validate a multivariate metric of radicalization. We use that to separate users in distinct, naturally-emerging, classes of behaviors associated to radicalization processes, from self-declared QAnon supporters to hyper-active conspiracy promoters. We also analyze the impact of Twitter's moderation policies on the interactions among different classes: we discover aspects of moderation that succeed, yielding a substantial reduction in the endorsement received by hyper-active QAnon accounts. But we also uncover where moderation fails, showing how QAnon content amplifiers are not deterred or affected by Twitter intervention. Our findings refine our understanding of online radicalization processes, reveal effective and ineffective aspects of moderation, and call for the need to further investigate the role social media play in the spread of conspiracies.


title: Quantitative Geometric Control in Linear Kinetic Theory

abstract: We consider general linear kinetic equations combining transport and a linear collision on the kinetic variable with a spatial weight that can vanish on part of the domain. The considered transport operators include external potential forces and boundary conditions, e.g. specular, diffusive and Maxwell conditions. The considered collision operators include the linear relaxation (scattering) and the Fokker-Planck operators and the boundary conditions include specular, diffusive and Maxwell conditions. We prove quantitative estimates of exponential stabilisation (spectral gap) under a geometric control condition. The argument is new and relies entirely on trajectories and weighted functional inequalities on the divergence operators. The latter functional inequalities are of independent interest and imply quantitatively weighted Stokes and Korn inequalities. We finally show that uniform control conditions are not always necessary for the existence of a spectral gap when the equation is hypoelliptic, and prove weaker control conditions in this case.


title: A Simple and Powerful Global Optimization for Unsupervised Video Object Segmentation

abstract: We propose a simple, yet powerful approach for unsupervised object segmentation in videos. We introduce an objective function whose minimum represents the mask of the main salient object over the input sequence. It only relies on independent image features and optical flows, which can be obtained using off-the-shelf self-supervised methods. It scales with the length of the sequence with no need for superpixels or sparsification, and it generalizes to different datasets without any specific training. This objective function can actually be derived from a form of spectral clustering applied to the entire video. Our method achieves on-par performance with the state of the art on standard benchmarks (DAVIS2016, SegTrack-v2, FBMS59), while being conceptually and practically much simpler. Code is available at https://ponimatkin.github.io/ssl-vos.


title: AllBRICQS: the All-sky BRIght, Complete Quasar Survey

abstract: We describe the first results from the All-sky BRIght, Complete Quasar Survey (AllBRICQS), which aims to discover the last remaining optically bright quasars. We present 156 spectroscopically confirmed quasars (140 newly identified) having |b|>10deg. 152 of the quasars have Gaia DR3 magnitudes brighter than B_P=16.5 or R_P=16 mag, while four are slightly fainter. The quasars span a redshift range of z=0.07-3.93. In particular, we highlight the properties of J0529-4351 at z=3.93, which, if unlensed, is one of the most intrinsically luminous quasars in the Universe. The AllBRICQS sources have been selected by combining data from the Gaia and WISE all-sky satellite missions, and we successfully identify quasars not flagged as candidates by Gaia Data Release 3. We expect the completeness to be approximately 96% within our magnitude and latitude limits, while the preliminary results indicate a selection purity of approximately 96%. The optical spectroscopy used for source classification will also enable detailed quasar characterisation, including black hole mass measurements and identification of foreground absorption systems. The AllBRICQS sources will greatly enhance the number of quasars available for high-signal-to-noise follow-up with present and future facilities.


title: Implementation of an efficient Bayesian search for gravitational wave bursts with memory in pulsar timing array data

abstract: The standard Bayesian technique for searching pulsar timing data for gravitational wave (GW) bursts with memory (BWMs) using Markov Chain Monte Carlo (MCMC) sampling is very computationally expensive to perform. In this paper, we explain the implementation of an efficient Bayesian technique for searching for BWMs. This technique makes use of the fact that the signal model for Earth-term BWMs (BWMs passing over the Earth) is fully factorizable. We estimate that this implementation reduces the computational complexity by a factor of 100. We also demonstrate that this technique gives upper limits consistent with published results using the standard Bayesian technique, and may be used to perform all of the same analyses that standard MCMC techniques can perform.


title: Understanding reinforcement learned crowds

abstract: Simulating trajectories of virtual crowds is a commonly encountered task in Computer Graphics. Several recent works have applied Reinforcement Learning methods to animate virtual agents, however they often make different design choices when it comes to the fundamental simulation setup. Each of these choices comes with a reasonable justification for its use, so it is not obvious what is their real impact, and how they affect the results. In this work, we analyze some of these arbitrary choices in terms of their impact on the learning performance, as well as the quality of the resulting simulation measured in terms of the energy efficiency. We perform a theoretical analysis of the properties of the reward function design, and empirically evaluate the impact of using certain observation and action spaces on a variety of scenarios, with the reward function and energy usage as metrics. We show that directly using the neighboring agents' information as observation generally outperforms the more widely used raycasting. Similarly, using nonholonomic controls with egocentric observations tends to produce more efficient behaviors than holonomic controls with absolute observations. Each of these choices has a significant, and potentially nontrivial impact on the results, and so researchers should be mindful about choosing and reporting them in their work.


title: The extent of intergalactic metal enrichment from galactic winds during the Cosmic Dawn

abstract: One of the key processes driving galaxy evolution during the Cosmic Dawn is supernova feedback. This likely helps regulate star formation inside of galaxies, but it can also drive winds that influence the large-scale intergalactic medium. Here, we present a simple semi-analytic model of supernova-driven galactic winds and explore the contributions of different phases of galaxy evolution to cosmic metal enrichment in the high-redshift (z > 6) Universe. We show that models calibrated to the observed galaxy luminosity function at z~6-8 have filling factors ~1% at z~6 and ~0.1% at z~12, with different star formation prescriptions providing about an order of magnitude uncertainty. Despite the small fraction of space filled by winds, these scenarios predict an upper limit to the abundance of metal-line absorbers in quasar spectra at z>5 which is comfortably above that currently observed. We also consider enrichment through winds driven by Pop III star formation in minihalos. We find that these can dominate the total filling factor at z>10 and even compete with winds from normal galaxies at z~6, at least in terms of the total enriched volume. But these regions have much lower overall metallicities, because each one is generated by a small burst of star formation. Finally, we show that Compton cooling of these supernova-driven winds at z>6 has only a small effect on the cosmic microwave background.


title: Application of the Monte Carlo Method in Modeling Transport and Acceleration of Solar Energetic Particles

abstract: The need for quantitative characterization of the solar energetic particle (SEP) dynamics goes beyond being an academic discipline only. It has numerous practical implications related to human activity in space. The terrestrial magnetic field shields the International Space Station (ISS) and most uncrewed missions from exposure to SEP radiation. However, extreme SEP events with hard energy spectra are particularly rich in hundreds of MeV to several GeV protons that can reach the altitudes of the Low Earth Orbit (LEO). These protons have a high penetrating capability, thus producing significant radiation hazards for human spaceflight. SEPs also have a significant effect on the atmosphere. Sudden ionization of the upper atmosphere at high latitudes that occurs during polar cap absorption (PCA) events can block high frequency (HF) communication for hours, affecting communication with aircraft on intercontinental high-altitude flights. Another effect of SEPs in the atmosphere is creating NOx molecules in the upper atmosphere that can deplete the atmospheric ozone population. The paper also presents an analysis of (1) how various pitch angle diffusion coefficient approximations affect the properties of the simulated SEPs population and (2) discusses how pitch angle scattering when SEPs are beyond 1 AU affects a SEP event decay phase at the Earth's orbit.


title: Identifying the most constraining ice observations to infer molecular binding energies

abstract: In order to understand grain-surface chemistry, one must have a good understanding of the reaction rate parameters. For diffusion-based reactions, these parameters are binding energies of the reacting species. However, attempts to estimate these values from grain-surface abundances using Bayesian inference are inhibited by a lack of enough sufficiently constraining data. In this work, we use the Massive Optimised Parameter Estimation and Data (MOPED) compression algorithm to determine which species should be prioritised for future ice observations to better constrain molecular binding energies. Using the results from this algorithm, we make recommendations for which species future observations should focus on.


title: Visible-Infrared Person Re-Identification Using Privileged Intermediate Information

abstract: Visible-infrared person re-identification (ReID) aims to recognize a same person of interest across a network of RGB and IR cameras. Some deep learning (DL) models have directly incorporated both modalities to discriminate persons in a joint representation space. However, this cross-modal ReID problem remains challenging due to the large domain shift in data distributions between RGB and IR modalities. % This paper introduces a novel approach for a creating intermediate virtual domain that acts as bridges between the two main domains (i.e., RGB and IR modalities) during training. This intermediate domain is considered as privileged information (PI) that is unavailable at test time, and allows formulating this cross-modal matching task as a problem in learning under privileged information (LUPI). We devised a new method to generate images between visible and infrared domains that provide additional information to train a deep ReID model through an intermediate domain adaptation. In particular, by employing color-free and multi-step triplet loss objectives during training, our method provides common feature representation spaces that are robust to large visible-infrared domain shifts. % Experimental results on challenging visible-infrared ReID datasets indicate that our proposed approach consistently improves matching accuracy, without any computational overhead at test time. The code is available at: \href{https://github.com/alehdaghi/Cross-Modal-Re-ID-via-LUPI}{https://github.com/alehdaghi/Cross-Modal-Re-ID-via-LUPI}


title: Physics-Informed Machine Learning of Dynamical Systems for Efficient Bayesian Inference

abstract: Although the no-u-turn sampler (NUTS) is a widely adopted method for performing Bayesian inference, it requires numerous posterior gradients which can be expensive to compute in practice. Recently, there has been a significant interest in physics-based machine learning of dynamical (or Hamiltonian) systems and Hamiltonian neural networks (HNNs) is a noteworthy architecture. But these types of architectures have not been applied to solve Bayesian inference problems efficiently. We propose the use of HNNs for performing Bayesian inference efficiently without requiring numerous posterior gradients. We introduce latent variable outputs to HNNs (L-HNNs) for improved expressivity and reduced integration errors. We integrate L-HNNs in NUTS and further propose an online error monitoring scheme to prevent sampling degeneracy in regions where L-HNNs may have little training data. We demonstrate L-HNNs in NUTS with online error monitoring considering several complex high-dimensional posterior densities and compare its performance to NUTS.


title: Mechanical Properties Of Fluctuating Elastic Membranes Under Uni-Axial Tension

abstract: Atomically thin sheets, such as graphene, are widely used in nanotechnology. Recently they have also been used in applications including kirigami and self-folding origami, where it becomes important to understand how they respond to external loads. Motivated by this, we investigate how isotropic sheets respond to uniaxial tension by employing the self-consistent screening analysis method and molecular dynamics simulations. Previously, it was shown that for freely suspended sheets thermal fluctuations effectively renormalize elastic constants, which become scale-dependent beyond a characteristic thermal length scale (a few nanometers for graphene at room temperature), beyond which the bending rigidity increases, while the in-plane elastic constants reduce with universal power law exponents. For sheets under uniaxial tension, $\sigma_{11}$, we find that beyond a stress-dependent length scale, the effective in-plane elastic constants become strongly anisotropic and scale differently along the axis of uni-axial stress and orthogonal to it. The bending rigidities on the other hand will not exhibit any anomalous behavior beyond this stress-dependent length scale. In addition, for moderate tensions we find a universal non-linear stress-strain relation. For large uni-axial tensions, the Young's modulus of the bare elastic material is recovered.


title: Space-time tradeoffs of lenses and optics via higher category theory

abstract: Optics and lenses are abstract categorical gadgets that model systems with bidirectional data flow. In this paper we observe that the denotational definition of optics - identifying two optics as equivalent by observing their behaviour from the outside - is not suitable for operational, software oriented approaches where optics are not merely observed, but built with their internal setups in mind. We identify operational differences between denotationally isomorphic categories of cartesian optics and lenses: their different composition rule and corresponding space-time tradeoffs, positioning them at two opposite ends of a spectrum. With these motivations we lift the existing categorical constructions and their relationships to the 2-categorical level, showing that the relevant operational concerns become visible. We define the 2-category $\textbf{2-Optic}(\mathcal{C})$ whose 2-cells explicitly track optics' internal configuration. We show that the 1-category $\textbf{Optic}(\mathcal{C})$ arises by locally quotienting out the connected components of this 2-category. We show that the embedding of lenses into cartesian optics gets weakened from a functor to an oplax functor whose oplaxator now detects the different composition rule. We determine the difficulties in showing this functor forms a part of an adjunction in any of the standard 2-categories. We establish a conjecture that the well-known isomorphism between cartesian lenses and optics arises out of the lax 2-adjunction between their double-categorical counterparts. In addition to presenting new research, this paper is also meant to be an accessible introduction to the topic.


title: Distributionally robust and generalizable inference

abstract: We discuss recently developed methods that quantify the stability and generalizability of statistical findings under distributional changes. In many practical problems, the data is not drawn i.i.d. from the target population. For example, unobserved sampling bias, batch effects, or unknown associations might inflate the variance compared to i.i.d. sampling. For reliable statistical inference, it is thus necessary to account for these types of variation. We discuss and review two methods that allow quantifying distribution stability based on a single dataset. The first method computes the sensitivity of a parameter under worst-case distributional perturbations to understand which types of shift pose a threat to external validity. The second method treats distributional shifts as random which allows assessing average robustness (instead of worst-case). Based on a stability analysis of multiple estimators on a single dataset, it integrates both sampling and distributional uncertainty into a single confidence interval.


title: A Wireless-Assisted Hierarchical Framework to Accommodate Mobile Energy Resources

abstract: The societal decarbonisation fosters the installation of massive renewable inverter-based resources (IBRs) in replacing fossil fuel based traditional energy supply. The efficient and reliable operation of distributed IBRs requires advanced Information and Communication Technologies (ICT) , which may lead to a huge infrastructure investment and long construction time for remote communities. Therefore, to efficiently coordinate IBRs, we propose a low-cost hierarchical structure, especially for remote communities without existing strong ICT connections, that combines the advantages of centralised and distributed frameworks via advanced wireless communication technologies. More specifically, in each region covered by a single cellular network, dispatchable resources are controlled via a regional aggregated controller, and the corresponding regional information flow is enabled by a device-to-device (D2D) communication assisted wireless network. The wireless network can fully reuse the bandwidth to improve data flow efficiency, leading to a flexible information structure that can accommodate the plug-and-play operation of mobile IBRs. Simulation results demonstrate that the proposed wireless communication scheme significantly improves the utilization of existing bandwidth, and the dynamically allocated wireless system ensures the flexible operation of mobile IBRs.


title: A Dynamic Stochastic Block Model for Multi-Layer Networks

abstract: We propose a flexible stochastic block model for multi-layer networks, where layer-specific hidden Markov-chain processes drive the changes in the formation of communities. The changes in block membership of a node in a given layer may be influenced by its own past membership in other layers. This allows for clustering overlap, clustering decoupling, or more complex relationships between layers including settings of unidirectional, or bidirectional, block causality. We cope with the overparameterization issue of a saturated specification by assuming a Multi-Laplacian prior distribution within a Bayesian framework. Data augmentation and Gibbs sampling are used to make the inference problem more tractable. Through simulations, we show that the standard linear models are not able to detect the block causality under the great majority of scenarios. As an application to trade networks, we show that our model provides a unified framework including community detection and Gravity equation. The model is used to study the causality between trade agreements and trade looking at the global topological properties of the networks as opposed to the main existent approaches which focus on local bilateral relationships. We are able to provide new evidence of unidirectional causality from the free trade agreements network to the non-observable trade barriers network structure for 159 countries in the period 1995-2017.


title: Unidirectional orbital magnetoresistance in light metal/ferromagnet bilayers

abstract: We report the observation of a unidirectional magnetoresistance (UMR) that originates from the nonequilibrium orbital momentum induced by an electric current in a naturally oxidized Cu/Co bilayer. The orbital-UMR scales with the torque efficiency due to the orbital Rashba-Edelstein effect upon changing the Co thickness and temperature, reflecting their common origin. We attribute the UMR to orbital-dependent electron scattering and orbital-to-spin conversion in the ferromagnetic layer. In contrast to the spin-current induced UMR, the magnon contribution to the orbital-UMR is absent in thin Co layers, which we ascribe to the lack of coupling between low energy magnons and orbital current. The magnon contribution to the UMR emerges in Co layers thicker than about 5 nm, which is comparable to the orbital-to-spin conversion length. Our results provide insight into orbital-to-spin momentum transfer processes relevant for the optimization of spintronic devices based on light metals and orbital transport.


title: The Secrecy Capacity of The Gaussian Wiretap Channel with Rate-Limited Help

abstract: The Gaussian wiretap channel with rate-limited help, available at the legitimate receiver (Rx) or/and transmitter (Tx), is studied under various channel configurations (degraded, reversely degraded and non-degraded). In the case of Rx help and all channel configurations, the rate-limited help results in a secrecy capacity boost equal to the help rate irrespective of whether the help is secure or not, so that the secrecy of help does not provide any capacity increase. The secrecy capacity is positive for the reversely-degraded channel (where the no-help secrecy capacity is zero) and no wiretap coding is needed to achieve it. More noise at the legitimate receiver can sometimes result in higher secrecy capacity. The secrecy capacity with Rx help is not increased even if the helper is aware of the message being transmitted. The same secrecy capacity boost also holds if non-secure help is available to the transmitter (encoder), in addition to or instead of the same Rx help, so that, in the case of the joint Tx/Rx help, one help link can be omitted without affecting the capacity. If Rx/Tx help links are independent of each other, then the boost in the secrecy capacity is the sum of help rates and no link can be omitted without a loss in the capacity. Non-singular correlation of the receiver and eavesdropper noises does not affect the secrecy capacity and non-causal help does not bring in any capacity increase over the causal one.


title: MeSLAM: Memory Efficient SLAM based on Neural Fields

abstract: Existing Simultaneous Localization and Mapping (SLAM) approaches are limited in their scalability due to growing map size in long-term robot operation. Moreover, processing such maps for localization and planning tasks leads to the increased computational resources required onboard. To address the problem of memory consumption in long-term operation, we develop a novel real-time SLAM algorithm, MeSLAM, that is based on neural field implicit map representation. It combines the proposed global mapping strategy, including neural networks distribution and region tracking, with an external odometry system. As a result, the algorithm is able to efficiently train multiple networks representing different map regions and track poses accurately in large-scale environments. Experimental results show that the accuracy of the proposed approach is comparable to the state-of-the-art methods (on average, 6.6 cm on TUM RGB-D sequences) and outperforms the baseline, iMAP$^*$. Moreover, the proposed SLAM approach provides the most compact-sized maps without details distortion (1.9 MB to store 57 m$^3$) among the state-of-the-art SLAM approaches.


title: Development of a Modular and Submersible Soft Robotic Arm and Corresponding Learned Kinematics Models

abstract: Many soft-body organisms found in nature flourish underwater. Similarly, soft robots are potentially well-suited for underwater environments partly because the problematic effects of gravity, friction, and harmonic oscillations are less severe underwater. However, it remains a challenge to design, fabricate, waterproof, model, and control underwater soft robotic systems. Furthermore, submersible robots usually do not have configurable components because of the need for sealed electronics and mechanical elements. This work presents the development of a modular and submersible soft robotic arm driven by hydraulic actuators which consists of mostly 3D printable parts which can be assembled or modified in a relatively short amount of time. Its modular design enables multiple shape configurations and easy swapping of soft actuators. As a first step to exploring machine learning control algorithms on this system, we also present preliminary forward and inverse kinematics models developed using deep neural networks.


title: E-VFIA : Event-Based Video Frame Interpolation with Attention

abstract: Video frame interpolation (VFI) is a fundamental vision task that aims to synthesize several frames between two consecutive original video images. Most algorithms aim to accomplish VFI by using only keyframes, which is an ill-posed problem since the keyframes usually do not yield any accurate precision about the trajectories of the objects in the scene. On the other hand, event-based cameras provide more precise information between the keyframes of a video. Some recent state-of-the-art event-based methods approach this problem by utilizing event data for better optical flow estimation to interpolate for video frame by warping. Nonetheless, those methods heavily suffer from the ghosting effect. On the other hand, some of kernel-based VFI methods that only use frames as input, have shown that deformable convolutions, when backed up with transformers, can be a reliable way of dealing with long-range dependencies. We propose event-based video frame interpolation with attention (E-VFIA), as a lightweight kernel-based method. E-VFIA fuses event information with standard video frames by deformable convolutions to generate high quality interpolated frames. The proposed method represents events with high temporal resolution and uses a multi-head self-attention mechanism to better encode event-based information, while being less vulnerable to blurring and ghosting artifacts; thus, generating crispier frames. The simulation results show that the proposed technique outperforms current state-of-the-art methods (both frame and event-based) with a significantly smaller model size.


title: Strongly correlated exciton-polarons in twisted homo-bilayer heterostructures

abstract: We consider dressing of excitonic properties by strongly correlated electrons in gate controlled twisted homo-bilayer heterostructures. The combined effect of the moir\'e potential and the Coulomb interaction supports the formation of different strongly correlated phases depending on the filling, including charge-ordered metals or incompressible insulators at integer occupation. The coupling between excitons and electrons results in a splitting of the excitonic resonance into an attractive and a repulsive polaron peak. Analyzing the properties of the exciton-polarons across the different phases of the system, we reveal a discontinuous evolution of the spectrum with the formation of a double-peak structure in the repulsive polaron branch. The double-peak structure emerges for non-integer fillings and it is controlled by the energy separation between the quasi-particle states close to the Fermi level and the high-energy doublons excitations. Our results demonstrate that exciton-polarons carry a clear hallmark of the electronic correlations and, thus, provide a direct signature of the formation of correlation driven insulators in gate controlled heterostructures.


title: Considerations on the modified Maxwell electrodynamics in the presence of an electric and magnetic background

abstract: The properties of the modified Maxwell electrodynamics (ModMax) are investigated in presence of external and uniform electric and magnetic fields. We expand the non-linear theory around an electromagnetic background up to second order in the propagating fields to obtain the permittivity and permeability tensors, dispersion relations, group velocity and refractive indices as functions of external fields. The case with perpendicular background fields is contemplated. The phenomenon of birefringence is discussed and the fundamental role of the ModMax parameter becomes clear. We calculate the difference of the refractive indices in terms of this parameter and the external fields. Finally, we set up a scenario where the axion is present and compute the interaction energy for the coupled axion-ModMax electrodynamics if a magnetic background field is considered. This calculation is carried out in the framework of the gauge-invariant, but path-dependent variables formalism. Our results show that the interaction energy contains a linear component, leading to the confinement of static probe charges where the interference between the ModMax parameter, the axion mass and the axion-photon coupling constant is pointed out.


title: Analyzing Machine Learning Models for Credit Scoring with Explainable AI and Optimizing Investment Decisions

abstract: This paper examines two different yet related questions related to explainable AI (XAI) practices. Machine learning (ML) is increasingly important in financial services, such as pre-approval, credit underwriting, investments, and various front-end and back-end activities. Machine Learning can automatically detect non-linearities and interactions in training data, facilitating faster and more accurate credit decisions. However, machine learning models are opaque and hard to explain, which are critical elements needed for establishing a reliable technology. The study compares various machine learning models, including single classifiers (logistic regression, decision trees, LDA, QDA), heterogeneous ensembles (AdaBoost, Random Forest), and sequential neural networks. The results indicate that ensemble classifiers and neural networks outperform. In addition, two advanced post-hoc model agnostic explainability techniques - LIME and SHAP are utilized to assess ML-based credit scoring models using the open-access datasets offered by US-based P2P Lending Platform, Lending Club. For this study, we are also using machine learning algorithms to develop new investment models and explore portfolio strategies that can maximize profitability while minimizing risk.


title: Ferroelectric Nematic Droplets in their Isotropic Melt

abstract: The isotropic to ferroelectric nematic liquid transition had been theoretically studied over one hundred years ago, but its experimental studies are rare. Here we present polarizing optical microscopy studies and theoretical considerations of ferroelectric nematic liquid crystal droplets coexisting with the isotropic melt. We find that the droplets have flat pancake-like shapes that are thinner than the sample thickness as long as there is a room to increase the lateral droplet size. In the center of the droplets a wing shaped defect with low birefringence is present that moves perpendicular to a weak in-plane electric field, and then extends and splits in two at higher fields. Parallel to the defect motion and extension, the entire droplet drifts along the electric field with speed that is independent of the size of the droplet and is proportional to the amplitude of the electric field. After the field is increased above 1V/mm the entire droplet gets deformed and oscillates with the field. These observations led us to determine the polarization field and revealed the presence of a pair of positive and negative bound electric charge due to divergences of polarization around the defect volume.


title: Anisotropic photon emission from gluon fusion and splitting in a strong magnetic background I: The two-gluon one-photon vertex

abstract: Having in mind the pre-equilibrium stage in peripheral heavy-ion collisions as a possible scenario for the production of electromagnetic radiation, we compute the two-gluon one-photon vertex in the presence of an intense magnetic field at one-loop order. The quarks in the loop are taken such that two of them occupy the lowest Landau level, with the third one occupying the first exited Landau level. When the field strength is the largest of the energy (squared) scales, the tensor basis describing this vertex corresponds to two of the three vector particles polarized in the longitudinal direction whereas the third one is polarized in the transverse direction. However, when the photon energy is of order or larger than the field strength, the explicit one-loop computation contains extra tensor structures that spoil the properties of the basis, compared to the case when the field strength is the largest of the energy scales, which signals that the calculation is incomplete. Nevertheless, by projecting the result onto the would-be basis, we show that the squared amplitude for processes involving two gluons and one photon exhibits the expected properties such as a preferred in-plane photon emission and a slightly decreasing strength for an increasing magnetic field strength. We comment on possible venues to improve the one-loop calculation that include accounting for progressive occupation of the three quarks of the lowest and first excited Landau levels such that, still working in the large field limit, a more complete description can be achieved when the photon energy increases.


title: Small divisors in the problem of the convergence of generalized power series solutions of $q$-difference equations

abstract: The question of the convergence of generalized formal power series (with complex power exponents) solutions of $q$-difference equations is studied in the situation where the small divisors phenomenon arises; a sufficient condition of convergence generalizing corresponding conditions for classical power series solutions is obtained.


title: Advanced Quantum Poisson Solver in the NISQ era

abstract: The Poisson equation has many applications across the broad areas of science and engineering. Most quantum algorithms for the Poisson solver presented so far, either suffer from lack of accuracy and/or are limited to very small sizes of the problem, and thus have no practical usage. Here we present an advanced quantum algorithm for solving the Poisson equation with high accuracy and dynamically tunable problem size. After converting the Poisson equation to the linear systems through the finite difference method, we adopt the Harrow-Hassidim-Lloyd (HHL) algorithm as the basic framework. Particularly, in this work we present an advanced circuit that ensures the accuracy of the solution by implementing non-truncated eigenvalues through eigenvalue amplification as well as by increasing the accuracy of the controlled rotation angular coefficients, which are the critical factors in the HHL algorithm. We show that our algorithm not only increases the accuracy of the solutions, but also composes more practical and scalable circuits by dynamically controlling problem size in the NISQ devices. We present both simulated and experimental solutions, and conclude that overall results on the quantum hardware are dominated by the error in the CNOT gates.


title: Supporting Multi-Cloud in Serverless Computing

abstract: Serverless computing is a widely adopted cloud execution model composed of Function-as-a-Service (FaaS) and Backend-as-a-Service (BaaS) offerings. The increased level of abstraction makes vendor lock-in inherent to serverless computing, raising more concerns than previous cloud paradigms. Multi-cloud serverless is a promising emerging approach against vendor lock-in, yet multiple challenges must be overcome to tap its potential. First, we need to be aware of both the performance and cost of each FaaS provider. Second, a multi-cloud architecture must be proposed before deploying a multi-cloud workflow. Domain-specific serverless offerings must then be integrated into the multi-cloud architecture to improve performance or save costs. Moreover, dealing with serverless offerings from multiple providers is challenging. Finally, we require workload portability support for serverless multi-cloud. In this paper, we present a multi-cloud library for cross-serverless offerings. We develop the End Analysis System (EAS) to support comparison among public FaaS providers in terms of performance and cost. Moreover, we design proof-of-concept multi-cloud architectures with domain-specific serverless offerings to alleviate problems such as data gravity. Finally, we deploy workloads on these architectures to evaluate several public FaaS offerings.


title: The first neural machine translation system for the Erzya language

abstract: We present the first neural machine translation system for translation between the endangered Erzya language and Russian and the dataset collected by us to train and evaluate it. The BLEU scores are 17 and 19 for translation to Erzya and Russian respectively, and more than half of the translations are rated as acceptable by native speakers. We also adapt our model to translate between Erzya and 10 other languages, but without additional parallel data, the quality on these directions remains low. We release the translation models along with the collected text corpus, a new language identification model, and a multilingual sentence encoder adapted for the Erzya language. These resources will be available at https://github.com/slone-nlp/myv-nmt.


title: On the Convergence of the Milky Way and M31 Kinematics from Cosmological Simulations

abstract: The kinematics of the Milky Way (MW) and M31, the dominant galaxies in the Local Group (LG), can be used to estimate the LG total mass. New results on the M31 proper motion have recently been used to improve that estimate. Those results are based on kinematic priors that are sometimes guided and evaluated using cosmological N-body simulations. However, the kinematic properties of simulated LG analogues could be biased due to the effective power spectrum truncation induced by the small size of the parent simulation. Here we explore the dependence of LG kinematics on the simulation box size to argue that cosmological simulations need a box size on the order of 1 Gpc in order to claim convergence on the LG kinematic properties. Using a large enough simulation, we find M31 tangential and radial velocities relative to the MW to be in the range $v_{\mathrm {tan}}=105^{+94}_{-59} $ km/s and $v_{\mathrm {rad}}=-108^{+68}_{-81}$ km/s, respectively. This study highlights that LG kinematics derived from N-body simulations have to be carefully interpreted taking into account the size of the parent simulation.


title: Single Crystal Growth Tricks and Treats

abstract: Single crystal growth is a widely explored method of synthesizing materials in the solid state. The last few decades have seen significant improvements in the techniques used to synthesize single crystals, but there has been comparatively little discussion on ways to disseminate this knowledge. We aim to change that. Here we describe the principles of known single crystal growth techniques as well as lesser-known variations that have assisted in the optimization of defect control in known materials. We offer a perspective on how to think about these synthesis methods in a grand scheme. We consider the temperature interdependence with the reaction time as well as ways to carry out synthesis to scale up and address some outstanding synthesis challenges. We hope our descriptions will aid in technological advancements as well as further developments to gain even better control over synthesis.


title: Topological data analysis on noisy quantum computers

abstract: Topological data analysis (TDA) is a powerful technique for extracting complex and valuable shape-related summaries of high-dimensional data. However, the computational demands of classical algorithms for computing TDA are exorbitant, and quickly become impractical for high-order characteristics. Quantum computers offer the potential of achieving significant speedup for certain computational problems. Indeed, TDA has been purported to be one such problem, yet, quantum computing algorithms proposed for the problem, such as the original Quantum TDA (QTDA) formulation by Lloyd, Garnerone and Zanardi, require fault-tolerance qualifications that are currently unavailable. In this study, we present NISQ-TDA, a fully implemented end-to-end quantum machine learning algorithm needing only a short circuit-depth, that is applicable to high-dimensional classical data, and with provable asymptotic speedup for certain classes of problems. The algorithm neither suffers from the data-loading problem nor does it need to store the input data on the quantum computer explicitly. The algorithm was successfully executed on quantum computing devices, as well as on noisy quantum simulators, applied to small datasets. Preliminary empirical results suggest that the algorithm is robust to noise.


title: Thermodynamic force thresholds biomolecular behavior

abstract: In living systems, collective molecular behavior is driven by thermodynamic forces in the form of chemical gradients. Leveraging recent advances in the field of nonequilibrium physics, I show that increasing the thermodynamic force alone can induce qualitatively new behavior. To demonstrate this principle, general equations governing kinetic proofreading and microtubule assembly are derived. These equations show that new capabilities, including catalytic regulation of steady-state behavior and exponential enhancement of molecular discrimination, are only possible if the system is driven sufficiently far from equilibrium, and can emerge sharply at a threshold force. Regardless of design parameters, these results reveal that the thermodynamic force sets fundamental performance limits on tuning sensitivity, error, and waste. Experimental data show that these biomolecular processes operate at the limits allowed by theory.

categories: q-bio.SC cond-mat.stat-mech physics.bio-ph q-bio.BM


title: The value of fusion energy to a decarbonized United States electric grid

abstract: Fusion could be a part of future decarbonized electricity systems, but it will need to compete with other technologies. In particular, pulsed tokamak plants have a unique operational mode, and evaluating which characteristics make them economically competitive can help select between design pathways. Using a capacity expansion and operations model, we determined cost thresholds for pulsed tokamaks to reach a range of penetration levels in a future decarbonized US Eastern Interconnection. The required capital cost to reach a fusion capacity of 100 GW varied from \$3000/kW to \$7200/kW, and the equilibrium penetration increases rapidly with decreasing cost. The value per unit power capacity depends on the variable operational cost and on the cost of its competition, particularly fission, much more than on the pulse cycle parameters. These findings can therefore provide initial cost targets for fusion more generally in the United States.


title: On $\mathbb Z^d$-odometers associated to integer matrices

abstract: We extend the results of T. Giordano, I. F. Putnam, C. F. Skau contained in ``$\mathbb Z^d$-odometers and cohomology", Groups Geom. Dyn. 13 (2019), no. 3, P. 909-938, on characterization of conjugacy, isomorphism, and continuous orbit equivalence of $\mathbb Z^d$-odometers to dimensions $d>2$. We then apply these extensions to the case of odometers defined by matrices with integer coefficients.


title: Gesture2Path: Imitation Learning for Gesture-aware Navigation

abstract: As robots increasingly enter human-centered environments, they must not only be able to navigate safely around humans, but also adhere to complex social norms. Humans often rely on non-verbal communication through gestures and facial expressions when navigating around other people, especially in densely occupied spaces. Consequently, robots also need to be able to interpret gestures as part of solving social navigation tasks. To this end, we present Gesture2Path, a novel social navigation approach that combines image-based imitation learning with model-predictive control. Gestures are interpreted based on a neural network that operates on streams of images, while we use a state-of-the-art model predictive control algorithm to solve point-to-point navigation tasks. We deploy our method on real robots and showcase the effectiveness of our approach for the four gestures-navigation scenarios: left/right, follow me, and make a circle. Our experiments indicate that our method is able to successfully interpret complex human gestures and to use them as a signal to generate socially compliant trajectories for navigation tasks. We validated our method based on in-situ ratings of participants interacting with the robots.


title: Cubes are dense in $(\infty,\infty)$-categories

abstract: We show that the strict 1-category $\square$ of cubes -- defined to be the full subcategory of strict $\omega$-categories whose objects are the Gray tensor powers of the arrow category -- are dense in the $(\infty,1)$-category $\mathsf{Cat}_\omega$ of weak $(\infty,\infty)$-categories, in both Rezk-complete and incomplete variants. More precisely, we show that Joyal's category $\Theta$ is contained in the idempotent completion of $\square$, and in fact that the idempotent completion of $\square$ is closed under suspensions and wedge sums. This result extends a theorem of Campbell and Maehara in dimension 2. Following Campbell and Maehara's program, we will in future work apply this result to give a new construction of the Gray tensor product of weak $(\infty,n)$-categories.


title: Wasserstein-p Bounds in the Central Limit Theorem Under Weak Dependence

abstract: The central limit theorem is one of the most fundamental results in probability and has been successfully extended to locally dependent data and strongly-mixing random fields. In this paper, we establish its rate of convergence for transport distances, namely for arbitrary $p\ge1$ we obtain an upper bound for the Wasserstein-$p$ distance for locally dependent random variables and strongly mixing stationary random fields. Our proofs adapt the Stein dependency neighborhood method to the Wasserstein-$p$ distance and as a by-product we establish high-order local expansions of the Stein equation for dependent random variables. Finally, we demonstrate how our results can be used to obtain tail bounds that are asymptotically tight, and decrease polynomially fast, for the empirical average of weakly dependent random variables.


title: Code-Verification Techniques for the Method-of-Moments Implementation of the Magnetic-Field Integral Equation

abstract: For computational physics simulations, code verification plays a major role in establishing the credibility of the results by assessing the correctness of the implementation of the underlying numerical methods. In computational electromagnetics, surface integral equations, such as the method-of-moments implementation of the magnetic-field integral equation, are frequently used to solve Maxwell's equations on the surfaces of electromagnetic scatterers. These electromagnetic surface integral equations yield many code-verification challenges due to the various sources of numerical error and their possible interactions. In this paper, we provide approaches to separately measure the numerical errors arising from these different error sources. We demonstrate the effectiveness of these approaches for cases with and without coding errors.


title: Characterization of Graphs With Failed Skew Zero Forcing Number of 1

abstract: Given a graph $G$, the zero forcing number of $G$, $Z(G)$, is the smallest cardinality of any set $S$ of vertices on which repeated applications of the forcing rule results in all vertices being in $S$. The forcing rule is: if a vertex $v$ is in $S$, and exactly one neighbor $u$ of $v$ is not in $S$, then $u$ is added to $S$ in the next iteration. Hence the failed zero forcing number of a graph was defined to be the size of the largest set of vertices which fails to force all vertices in the graph. A similar property called skew zero forcing was defined so that if there is exactly one neighbor $u$ of $v$ is not in $S$, then $u$ is added to $S$ in the next iteration. The difference is that vertices that are not in $S$ can force other vertices. This leads to the failed skew zero forcing number of a graph, which is denoted by $F^{-}(G)$. In this paper we provide a complete characterization of all graphs with $F^{-}(G)=1$. Fetcie, Jacob, and Saavedra showed that the only graphs with a failed zero forcing number of $1$ are either: the union of two isolated vertices; $P_3$; $K_3$; or $K_4$. In this paper we provide a surprising result: changing the forcing rule to a skew-forcing rule results in an infinite number of graphs with $F^{-}(G)=1$.


title: The ADM Formulation of the SME Gravity

abstract: The Hamiltonian formulation of the gravitational sector of the Standard-Model Extension (SME) with nondynamical fields $u$ and $s^{\mu \nu}$ is studied. We provide the relevant Hamiltonians that describe the constrained phase space and the dynamics of the induced metric on the ADM hypersurface. The generalization of the Gibbons-Hawking-York boundary term has been crucial to preventing second time-derivatives of the metric tensor in the Hamiltonians. By extracting the dynamics and constraints from the Einstein equations we have proved the equivalence between the Lagrangian and Hamiltonian formulations.


title: Characterizing the Umbral Magnetic Knots of $\delta$-Sunspots

abstract: Delta ($\delta$)-spots are active regions (ARs) in which positive and negative umbrae share a penumbra. They are known to be the source of strong flares. We introduce a new quantity, the degree of $\delta$ (Do$\delta$), to measure the fraction of umbral flux participating in the $\delta$-configuration and to isolate the dynamics of the magnetic knot, i.e. adjacent umbrae in the $\delta$-configuration. Using Helioseismic and Magnetic Imager data, we analyze 19 $\delta$-spots and 11 $\beta$-spots in detail, and 120 $\delta$-spots in less detail. We find that $\delta$-regions are not in a $\delta$-configuration for the entire time but spend 55$\%$ of their observed time as $\delta$-spots with an average, maximum Do$\delta$ of 72$\%$. Compared to $\beta$-spots, $\delta$-spots have 2.6$\times$ the maximum umbral flux, 1.9$\times$ the flux emergence rate, 2.6$\times$ the rotation, and 72$\times$ the flare energy. On average, the magnetic knots rotate 17$^{\circ}$ day$^{-1}$ while the $\beta$-spots rotate 2$^{\circ}$ day$^{-1}$. Approximately 72$\%$ of the magnetic knots present anti-Hale or anti-Joy tilts, contrasting starkly with only 9$\%$ of the $\beta$-spots. A positive correlation exists between $\phi_{Do\delta}$ and the flare energy emitted by that region. The $\delta$-spots obey the hemispheric current helicity rule 64$\%$ of the time. 84$\%$ of the $\delta$-spots are formed by single flux emergence events and 58$\%$ have a quadrupolar magnetic configuration. The $\delta$-spot characteristics are consistent with the formation mechanism signatures as follows: 42$\%$ with the kink instability or Sigma effect, 32$\%$ with multi-segment buoyancy, 16$\%$ with collisions and two active regions that are unclassified but consistent with a rising O-ring.


title: Applying a Chemical Structure Teaching Method in the Pharmaceutical Analysis Curriculum to Improve Student Engagement and Learning

abstract: Pharmaceutical analysis, as the core curriculum of chemistry, chemical engineering and pharmaceutical engineering, contains broad and in-depth knowledge that leads to massive learning & teaching loads. There are more than 100 analytical methods of medicines in this course. As such, this subject is a big challenge for both students and lecturers. A novel chemical structure teaching (CST) method was developed based on our long-term teaching experience to cope with these challenges. It has been shown in practice that this CST method can significantly unload the stress of students and lecturers simultaneously. The survey about the improvement of students' interests was carried out and listed in the form of questionnaire. The outcome of CST also indicates that it can help them to form abilities of critical and logical thinking as independent learners, motivate them to discuss with their peers and lecturers, and eventually improve average grades. Furthermore, CST can be beneficial for lecturers who instruct other relevant curriculum in chemical or pharmaceutical engineering to improve the teaching outcome, such as organic chemistry, spectrum analysis, pharmaceutical synthesis and medicinal chemistry. This CST model can also help students cultivate lifelong learning ability as active learners and habit from the cognitive perspective view.


title: Distributed representations of graphs for drug pair scoring

abstract: In this paper we study the practicality and usefulness of incorporating distributed representations of graphs into models within the context of drug pair scoring. We argue that the real world growth and update cycles of drug pair scoring datasets subvert the limitations of transductive learning associated with distributed representations. Furthermore, we argue that the vocabulary of discrete substructure patterns induced over drug sets is not dramatically large due to the limited set of atom types and constraints on bonding patterns enforced by chemistry. Under this pretext, we explore the effectiveness of distributed representations of the molecular graphs of drugs in drug pair scoring tasks such as drug synergy, polypharmacy, and drug-drug interaction prediction. To achieve this, we present a methodology for learning and incorporating distributed representations of graphs within a unified framework for drug pair scoring. Subsequently, we augment a number of recent and state-of-the-art models to utilise our embeddings. We empirically show that the incorporation of these embeddings improves downstream performance of almost every model across different drug pair scoring tasks, even those the original model was not designed for. We publicly release all of our drug embeddings for the DrugCombDB, DrugComb, DrugbankDDI, and TwoSides datasets.


title: Dimensionless Fluctuation Balance Principle: New Statistical Perspectives Applied to Boltzmann, Planck, Fermi-Dirac, Bose-Einstein and Schr\"odinger Distributions

abstract: In this work we propose a completely new way to obtain statistics distributions from fluctuations balance. By dimensionless fluctuation analysis we obtain Boltzmann, Planck, Fermi-Dirac, Bose-Einstein and Schr\"odinger Distributions using the same fundamental principle. Our result point to a general foundation that was successful verified to principal Physics Distributions. We name it as Dimensionless Fluctuation Balance Principle. This is a great achievement which enable us to discuss exchange between different physical quantities, like we do when treat energy conservation when some type of energy is converted to another, but with more generality, because we can exchange one physical quantity to any other. All physics model which needs distribution can take advantage of methodology presented in this paper including: Statistical Physics, Schr\"odinger's Quantum Mechanics, Nanomaterials, Thin Films and New Materials Modeling. Keywords: Fluctuations, PDEs, Boltzmann, Planck, Entropy, Fermi-Dirac, Bose-Einstein, Schr\"odinger, Distributions.


title: LidarMultiNet: Towards a Unified Multi-Task Network for LiDAR Perception

abstract: LiDAR-based 3D object detection, semantic segmentation, and panoptic segmentation are usually implemented in specialized networks with distinctive architectures that are difficult to adapt to each other. This paper presents LidarMultiNet, a LiDAR-based multi-task network that unifies these three major LiDAR perception tasks. Among its many benefits, a multi-task network can reduce the overall cost by sharing weights and computation among multiple tasks. However, it typically underperforms compared to independently combined single-task models. The proposed LidarMultiNet aims to bridge the performance gap between the multi-task network and multiple single-task networks. At the core of LidarMultiNet is a strong 3D voxel-based encoder-decoder architecture with a Global Context Pooling (GCP) module extracting global contextual features from a LiDAR frame. Task-specific heads are added on top of the network to perform the three LiDAR perception tasks. More tasks can be implemented simply by adding new task-specific heads while introducing little additional cost. A second stage is also proposed to refine the first-stage segmentation and generate accurate panoptic segmentation results. LidarMultiNet is extensively tested on both Waymo Open Dataset and nuScenes dataset, demonstrating for the first time that major LiDAR perception tasks can be unified in a single strong network that is trained end-to-end and achieves state-of-the-art performance. Notably, LidarMultiNet reaches the official 1st place in the Waymo Open Dataset 3D semantic segmentation challenge 2022 with the highest mIoU and the best accuracy for most of the 22 classes on the test set, using only LiDAR points as input. It also sets the new state-of-the-art for a single model on the Waymo 3D object detection benchmark and three nuScenes benchmarks.


title: Stochastic comparisons of Tracy-Widom $\beta$ distributions

abstract: We give a stochastic comparison and ordering of the Tracy-Widom distribution with parameter $\beta$. In particular, we show that as $\beta$ grows, the Tracy-Widom random variables get smaller modulo a multiplicative coefficient.


title: Topographic De-adhesion in the Viscoelastic Limit

abstract: The superiority of many natural surfaces at resisting soft, sticky biofoulants has inspired the integration of dynamic topography with mechanical instability to promote self-cleaning artificial surfaces. The physics behind this novel mechanism is currently limited to elastic biofoulants where surface energy, bending stiffness, and topographical wavelength are key factors. However, the viscoelastic nature of many biofoulants causes a complex interplay between these factors with time-dependent characteristics such as material softening and loading rate. Here, we enrich the current elastic theory of topographic de-adhesion using analytical and finite element models to elucidate the non-linear, time-dependent interaction of three physical, dimensionless parameters: biofoulant's stiffness reduction, product of relaxation time and loading rate, and the critical strain for short-term elastic de-adhesion. Theoretical predictions, in good agreement with numerical simulations, provide insight into tuning these control parameters to optimize surface renewal via topographic de-adhesion in the viscoelastic regime.


title: An Owner-managed Indirect-Permission Social Authentication Method for Private Key Recovery

abstract: In this paper, we propose a very secure and reliable owner-self-managed private key recovery method. In recent years, Public Key Authentication (PKA) method has been identified as the most feasible online security solution. However, losing the private key also implies the risk of losing the ownership of the assets associated with the private key. For key protection, the commonly adopted something-you-x solutions require a new secret to protect the target secret and fall into a circular protection issue as the new secret has to be protected too. To resolve the circular protection issue and provide a truly secure and reliable solution, we propose separating the permission and possession of the private key. Then we create secret shares of the permission using the open public keys of selected trustees while having the owner possess the permission-encrypted private key. Then by applying the social authentication method, one may easily retrieve the permission to recover the private key. Our analysis shows that our proposed indirect-permission method is six orders of magnitude more secure and reliable than


title: State-driven Implicit Modeling for Sparsity and Robustness in Neural Networks

abstract: Implicit models are a general class of learning models that forgo the hierarchical layer structure typical in neural networks and instead define the internal states based on an ``equilibrium'' equation, offering competitive performance and reduced memory consumption. However, training such models usually relies on expensive implicit differentiation for backward propagation. In this work, we present a new approach to training implicit models, called State-driven Implicit Modeling (SIM), where we constrain the internal states and outputs to match that of a baseline model, circumventing costly backward computations. The training problem becomes convex by construction and can be solved in a parallel fashion, thanks to its decomposable structure. We demonstrate how the SIM approach can be applied to significantly improve sparsity (parameter reduction) and robustness of baseline models trained on FashionMNIST and CIFAR-100 datasets.


title: Concatenation Schemes for Topological Fault-tolerant Quantum Error Correction

abstract: We investigate a family of fault-tolerant quantum error correction schemes based on the concatenation of small error detection or error correction codes with the three-dimensional cluster state. We propose fault-tolerant state preparation and decoding schemes that effectively convert every circuit-level error into an erasure error, leveraging the cluster state's high threshold against such errors. We find a set of codes for which such a conversion is possible, and study their performance against the standard circuit-level depolarizing model. Our best performing scheme, which is based on a concatenation with a classical code, improves the threshold by $16.5\%$ and decreases the spacetime overhead by $32\%$ compared to the scheme without concatenation, with each scheme subject to a physical error rate of $10^{-3}$ and achieving a logical error rate of $10^{-6}$.