title: Hinged Truchet tiling fractals

abstract: This article describes a new method of producing space filling fractal dragon curves based on a hinged tiling procedure. The fractals produced can be generated by a simple L-system. The construction as a hinged tiling has the advantage of automatically implying that the fractiles produced tessellate, and that the Heighway fractal dragon curve, and the other curves constructed by this method, do not cross themselves. This also gives a new limiting procedure to apply to certain Truchet tilings. I include the computation of the fractal dimension of the boundary of one of the curves, and describe an algorithm for computing the sim value of the fractal boundary of these curves. The curves produced are well known. The hinged tiling approach is new, as is the algorithm for computing the sim value.


title: Graph Generation: A New Approach to Solving Expanded Linear Programming Relaxations

abstract: In this article we introduce Graph Generation, an enhanced Column Generation (CG) algorithm for solving expanded linear programming relaxations of mixed integer linear programs. To apply Graph Generation, we must be able to map any given column to a small directed acyclic graph for which any path from source to sink describes a feasible column. This structure is easily satisfied for vehicle routing and crew scheduling problems; and other such problems where pricing is a resource constrained shortest path problem. Such graphs are then added to the restricted master problem (RMP) when the corresponding column is generated during pricing. The use of Graph Generation does not weaken the linear programming relaxation being solved. At any given iteration of CG enhanced by Graph Generation; the technique permits the RMP to express a much wider set of columns than those generated during pricing, leading to faster convergence of CG. Graph Generation does not change the structure of the CG pricing problem. We show how the method can be applied in a general way, and then demonstrate the effectiveness of our approach on the classical Capacitated Vehicle Routing Problem.


title: Influence of the hypermagnetic field noise on the baryon asymmetry generation in the symmetric phase of the early universe

abstract: We study a matter turbulence caused by strong random hypermagnetic fields (HMFs ) that influence the baryon asymmetry evolution due to the Abelian anomalies in the symmetric phase in the early Universe. Such a matter turbulence is stipulated by the presence of the advection term in the induction equation for which a fluid velocity is dominated by the Lorentz force in the Navier-Stokes equation. For random HMFs, having nonzero mean squared strengths, we calculate the spectra for the HMF energy and the HMF helicity densities. The latter function governs the evolution of the fermion asymmetries in the symmetric phase before the electroweak phase transition (EWPT). In the simplest model based on the first SM generation for the lepton asymmetries of $e_\mathrm{R,L}$ and $\nu_{e_\mathrm{L}}$, we calculate a decline of all fermion asymmetries including the baryon asymmetry, given by the `t Hooft conservation law, when one accounts for a turbulence of HMFs during the universe cooling down to EWPT. We obtain that the stronger the mean squared strength of random initial HMFs is, the deeper the fermion asymmetries decrease, compared to the case in the absence of any turbulence.


title: Active Learning for Contextual Search with Binary Feedbacks

abstract: In this paper, we study the learning problem in contextual search, which is motivated by applications such as first-price auction, personalized medicine experiments, and feature-based pricing experiments. In particular, for a sequence of arriving context vectors, with each context associated with an underlying value, the decision-maker either makes a query at a certain point or skips the context. The decision-maker will only observe the binary feedback on the relationship between the query point and the value associated with the context. We study a PAC learning setting, where the goal is to learn the underlying mean value function in context with a minimum number of queries. To address this challenge, we propose a tri-section search approach combined with a margin-based active learning method. We show that the algorithm only needs to make $O(1/\varepsilon^2)$ queries to achieve an $\epsilon$-estimation accuracy. This sample complexity significantly reduces the required sample complexity in the passive setting, at least $\Omega(1/\varepsilon^4)$.


title: Multi-Document Keyphrase Extraction: Dataset, Baselines and Review

abstract: Keyphrase extraction has been extensively researched within the single-document setting, with an abundance of methods, datasets and applications. In contrast, multi-document keyphrase extraction has been infrequently studied, despite its utility for describing sets of documents, and its use in summarization. Moreover, no prior dataset exists for multi-document keyphrase extraction, hindering the progress of the task. Recent advances in multi-text processing make the task an even more appealing challenge to pursue. To stimulate this pursuit, we present here the first dataset for the task, MK-DUC-01, which can serve as a new benchmark, and test multiple keyphrase extraction baselines on our data. In addition, we provide a brief, yet comprehensive, literature review of the task.


title: Compact-like vortices in isotropic curved spacetime

abstract: We introduced a generalized Maxwell-Higgs model in a $(3+1)$ isotropic spacetime, and we found their stationary solutions using the BPS approach in curved spacetime. In order to investigate the compact-like vortices, we assume a particular choice for the generalization term. The model is controlled by a potential driven by a single real parameter that can be used to change the vortex solutions profile as they approach their bound values. Resembling some flat spacetime vortex solutions, our model tends to compress the vortices when the parameter $l$ increases. Through numerical analysis, we also show the energy behavior and the magnetic field of the model.


title: Multi-Wavelength Observation Campaign of the TeV Gamma-Ray Binary HESS J0632+057 with NuSTAR, VERITAS, MDM, and Swift

abstract: HESS J0632+057 belongs to a rare subclass of binary systems which emits gamma-rays above 100 GeV. It stands out for its distinctive high-energy light curve, which features a sharp ``primary'' peak and broader ``secondary'' peak. We present the results of contemporaneous observations by NuSTAR and VERITAS during the secondary peak between Dec. 2019 and Feb. 2020, when the orbital phase ($\phi$) is between 0.55 and 0.75. NuSTAR detected X-ray spectral evolution, while VERITAS detected TeV emission. We fit a leptonic wind-collision model to the multi-wavelength spectra data obtained over the four NuSTAR and VERITAS observations, constraining the pulsar spin-down luminosity and the magnetization parameter at the shock. Despite long-term monitoring of the source from Oct. 2019 to Mar. 2020, the MDM observatory did not detect significant variation in H$\alpha$ and H$\beta$ line equivalent widths, an expected signature of Be-disk interaction with the pulsar. Furthermore, fitting folded Swift-XRT light curve data with an intra-binary shock model constrained the orbital parameters, suggesting two orbital phases (at $\phi_D = 0.13$ and 0.37) where the pulsar crosses the Be-disk, as well as phases for the periastron ($\phi_0 = 0.30$) and inferior conjunction ($\phi_{\text{IFC}} = 0.75$). The broad-band X-ray spectra with Swift-XRT and NuSTAR allowed us to measure a higher neutral hydrogen column density at one of the predicted disk-passing phases.


title: Bayesian Model-Averaged Meta-Analysis in Medicine

abstract: We outline a Bayesian model-averaged meta-analysis for standardized mean differences in order to quantify evidence for both treatment effectiveness $\delta$ and across-study heterogeneity $\tau$. We construct four competing models by orthogonally combining two present-absent assumptions, one for the treatment effect and one for across-study heterogeneity. To inform the choice of prior distributions for the model parameters, we used 50% of the Cochrane Database of Systematic Reviews to specify rival prior distributions for $\delta$ and $\tau$. The relative predictive performance of the competing models and rival prior distributions was assessed using the remaining 50\% of the Cochrane Database. On average, $\mathcal{H}_1^r$ -- the model that assumes the presence of a treatment effect as well as across-study heterogeneity -- outpredicted the other models, but not by a large margin. Within $\mathcal{H}_1^r$, predictive adequacy was relatively constant across the rival prior distributions. We propose specific empirical prior distributions, both for the field in general and for each of 46 specific medical subdisciplines. An example from oral health demonstrates how the proposed prior distributions can be used to conduct a Bayesian model-averaged meta-analysis in the open-source software R and JASP. The preregistered analysis plan is available at https://osf.io/zs3df/.


title: Multi-task Voice Activated Framework using Self-supervised Learning

abstract: Self-supervised learning methods such as wav2vec 2.0 have shown promising results in learning speech representations from unlabelled and untranscribed speech data that are useful for speech recognition. Since these representations are learned without any task-specific supervision, they can also be useful for other voice-activated tasks like speaker verification, keyword spotting, emotion classification etc. In our work, we propose a general purpose framework for adapting a pre-trained wav2vec 2.0 model for different voice-activated tasks. We develop downstream network architectures that operate on the contextualized speech representations of wav2vec 2.0 to adapt the representations for solving a given task. Finally, we extend our framework to perform multi-task learning by jointly optimizing the network parameters on multiple voice activated tasks using a shared transformer backbone. Both of our single and multi-task frameworks achieve state-of-the-art results in speaker verification and keyword spotting benchmarks. Our best performing models achieve 1.98% and 3.15% EER on VoxCeleb1 test set when trained on VoxCeleb2 and VoxCeleb1 respectively, and 98.23% accuracy on Google Speech Commands v1.0 keyword spotting dataset.


title: Towards Understanding Persuasion in Computational Argumentation

abstract: Opinion formation and persuasion in argumentation are affected by three major factors: the argument itself, the source of the argument, and the properties of the audience. Understanding the role of each and the interplay between them is crucial for obtaining insights regarding argument interpretation and generation. It is particularly important for building effective argument generation systems that can take both the discourse and the audience characteristics into account. Having such personalized argument generation systems would be helpful to expose individuals to different viewpoints and help them make a more fair and informed decision on an issue. Even though studies in Social Sciences and Psychology have shown that source and audience effects are essential components of the persuasion process, most research in computational persuasion has focused solely on understanding the characteristics of persuasive language. In this thesis, we make several contributions to understand the relative effect of the source, audience, and language in computational persuasion. We first introduce a large-scale dataset with extensive user information to study these factors' effects simultaneously. Then, we propose models to understand the role of the audience's prior beliefs on their perception of arguments. We also investigate the role of social interactions and engagement in understanding users' success in online debating over time. We find that the users' prior beliefs and social interactions play an essential role in predicting their success in persuasion. Finally, we explore the importance of incorporating contextual information to predict argument impact and show improvements compared to encoding only the text of the arguments.


title: Chiral transport of hot carriers in graphene in the quantum Hall regime

abstract: Photocurrent (PC) measurements can reveal the relaxation dynamics of photo-excited hot carriers beyond the linear response of conventional transport experiments, a regime important for carrier multiplication. In graphene subject to a magnetic field, PC measurements are able to probe the existence of Landau levels with different edge chiralities which is exclusive to relativistic electron systems. Here, we report the accurate measurement of PC in graphene in the quantum Hall regime. Prominent PC oscillations as a function of gate voltage on samples' edges are observed. These oscillation amplitudes form an envelope which depends on the strength of the magnetic field, as does the PCs' power dependence and their saturation behavior. We explain these experimental observations through a model using optical Bloch equations, incorporating relaxations through acoustic-, optical- phonons and Coulomb interactions. The simulated PC agrees with our experimental results, leading to a unified understanding of the chiral PC in graphene at various magnetic field strengths, and providing hints for the occurrence of a sizable carrier multiplication.

categories: cond-mat.mes-hall cond-mat.dis-nn cond-mat.str-el physics.optics


title: Fieldable Cross-Layer Optimized Embedded Software Defined Radio is Finally Here!

abstract: The concept of cross-layer optimization has been around for several years now. The primary goal of the cross-layer approach was to liberate the strict boundary between the layers of the traditional OSI protocol stack. This is to enable information flow between layers which then can be leveraged to optimize the network's performance across the layers. This concept has been of keen interest for tactical application as there is an overwhelming requirement to operate in a challenging and dynamic environment. The advent of software defined radios (SDR) accelerated the growth of this domain due to the added flexibility provided by SDRs. Even with the immense interest and progress in this area of research, there has been a gaping abyss between solutions designed in theory and ones deployed in practice. To the best of our knowledge, this is the first time in literature, an embedded SDR has been leveraged to successfully design a cross-layer optimized transceiver that provides high throughput and high reliability in a ruggedized, weatherized, and fieldable form-factor. The design ethos focuses on efficiency and flexibility such that optimization objectives, cross-layer interactions can be reconfigured rapidly. To demonstrate our claims, we provide results from extensive outdoor over-the-air evaluation in various settings with up to 10-node network typologies. The results demonstrate high reliability, throughput, and dynamic routing capability achieving high technology readiness level (TRL) for tactical applications.


title: Zero-sum-free sequences with few subsequence sums

abstract: We show that a zero-sum-free sequence of length $n$ over an abelian group spans at least $2n$ distinct subsequence sums, unless it possesses a rigid, easily-described structure.


title: Liouville theorems for Kirchhoff-type hypoelliptic Partial Differential Equations and systems. I. Heisenberg group

abstract: In this paper, we show the nonexistence results for the Kirchhoff elliptic, parabolic, and hyperbolic type equations on the Heisenberg groups. Also, the pseudo-parabolic and pseudo-hyperbolic equations of the Kirchhoff-type are under consideration. To prove these results we use the test function method. In addition, the analogous results are transferred to the cases of systems. Also, we give some examples of non-local nonlinearities.


title: On a cover time problem on a dynamic graph with steps at random times

abstract: We introduce a cover time problem for random walks on dynamic graphs in which the graph expands in time and the walker moves at random times. Time to cover all nodes and number of returns to original states are analyzed in resulting model.


title: A unified analysis of a class of proximal bundle methods for solving hybrid convex composite optimization problems

abstract: This paper presents a proximal bundle (PB) framework based on a generic bundle update scheme for solving the hybrid convex composite optimization (HCCO) problem and establishes a common iteration-complexity bound for any variant belonging to it. As a consequence, iteration-complexity bounds for three PB variants based on different bundle update schemes are obtained in the HCCO context for the first time and in a unified manner. While two of the PB variants are universal (i.e., their implementations do not require parameters associated with the HCCO instance), the other newly (as far as the authors are aware of) proposed one is not but has the advantage that it generates simple, namely one-cut, bundle models. The paper also presents a universal adaptive PB variant (which is not necessarily an instance of the framework) based on one-cut models and shows that its iteration-complexity is the same as the two aforementioned universal PB variants.


title: Effects of the Pseudo-Chern-Simons action for strongly correlated electrons in the plane

abstract: Chiral symmetry breaking comes from the mass dynamically generated through interaction of Dirac fermions for both quantum electrodynamics in (2+1)D (QED3) and (3+1)D (QED4). In QED3, the presence of a Chern-Simons (CS) parameter affects the critical structure of the theory, favoring the symmetric phase where the electron remains massless. Here, we calculate the main effects of a Pseudo-Chern-Simons (PCS) parameter $\theta$ into the dynamical mass generation of Pseudo quantum electrodynamics (PQED). The $\theta$-parameter provides a mass scale for PQED at classical level and appears as the pole of the gauge-field propagator. After calculating the full electron propagator with the Schwinger-Dyson equation at quenched-rainbow and large-$N$ approximations, we conclude that $\theta$ affects the critical parameters related to the fine-structure constant, $\alpha_c(\theta)$, and to the number of copies of the matter field, $N_c(\theta)$, by favoring the symmetric phase. In the continuum limit ($\Lambda\to \infty$), nevertheless, the $\theta$-parameter do not affect the critical parameters. We also compare our analytical results with numerical findings of the integral equation for the mass function of the electron.


title: Assessing Distribution Network Flexibility via Reliability-based P-Q Area Segmentation

abstract: This paper proposes a framework to assess the flexibility of active distribution networks (ADNs) via P-Q area segmentation, considering the reliability of flexible units (FUs). A mixed-integer quadratically constrained programming (MIQCP) model is formulated to analyse flexible active and reactive power support at the interface with transmission networks, explicitly capturing the contributions and reliability of FUs that provide flexibility services within an ADN. The numerical simulations performed for a real 124-bus UK distribution network demonstrate the optimal flexibility provision by different FUs, as well as the corresponding reliability and the impact of network reconfiguration. Distribution system operators (DSOs) can use the proposed framework to identify critical units, select an adequate combination of flexibility volumes, and manage its reliability.


title: An improved bound on the burning number of graphs

abstract: The burning number conjecture states that the burning number of a connected graph is at most $\lceil \sqrt{n} \rceil.$ While the conjecture is unresolved, Land and Lu proved that the burning number of a connected graph is at most $ \sqrt{(3/2)n}+O(1).$ Using an algorithmic approach, we provide an improved upper bound for the burning number of a connected graph: $$\bigg \lceil \frac{\sqrt{12n+64}+8}{3} \bigg \rceil = \sqrt{(4/3)n} +O(1) .$$


title: Topological and algebraic genericity and spaceability for an extended chain of sequence spaces

abstract: We examine topological and algebraic genericity and spaceability for any pair $(X,Y)$, $X\subset Y$, $X\neq Y$ belonging to an extended chain of sequence spaces which contains the $\ell^p$ spaces, $0<p\leq \infty$.


title: Anonymer Tanz als dekolonialisierende Praxis. Ein embodied Research Versuch

abstract: This paper addresses the question of how and with what consequences anonymity is used as a creative element in experiments dealing with alternative forms of knowledge production. More specifically, the focus is on a particular current in contemporary dance, experimental dance. This has developed in the course of the 1970s. Its guiding idea is to shift the focus away from finished choreography and performance to the processuality, spontaneity, and experience of dance practice itself. Dance is seen as a laboratory in which to experiment with gravity, body boundaries, group dynamics and perception. The focus is on testing, touching, trying. The corresponding events are called either 'Dance Labs' or 'Movement Research Workshops', depending on the regularity. An instrument that is often used in the context of such events to create specific social situations and group dynamics or to channel perceptions in certain directions is anonymity. Anonymity is broadly understood as the capping of connections that results in a degree of unaccountability with respect to various aspects of a person, situation, or activity. For example, unaccountability can arise from the fact that people can no longer see each other, so that visual identification becomes impossible, even if only temporarily. By breaking familiar modes of identification, other forms of relating can sometimes be emphasized. This is what makes this form of anonymity so interesting for experimental dance.


title: High-temperature phonon-mediated superconductivity in monolayer Mg2B4C2

abstract: A new two-dimensional material { Mg2B4C2, belonging to the family of the conventional superconductor MgB2, is theoretically predicted to exhibit superconductivity with critical temperature Tc estimated in the 47-48 K range (predicted using the McMillian-Allen-Dynes formula) without any tuning of external parameters such as doping, strain, or substrate-induced effects. The origin of such a high intrinsic Tc is ascribed to the presence of strong electron-phonon coupling and topological Dirac states (which are absent in MgB2) yielding a large density of states at the Fermi level. This material also features a nontrivial electronic band topology exhibiting Dirac points, practically gapless Dirac nodal lines, and topological nontrivial edge states. Consequently, it is a potential candidate for realization of topological superconductivity in 2D. This system is obtained after replacing the chemically active boron layers in MgB2 by chemically inactive boron-carbon layers. Hence, the surfaces of this material are inert. Our calculations confirm the stability of 2D Mg2B4C2. We also find that the key features of this material remain essentially unchanged when its thickness is increased by modestly increasing the number of inner MgB2 layers.


title: Finiteness of spinfoam vertex amplitude with timelike polyhedra, and the full amplitude

abstract: This work focuses on Conrady-Hnybida's 4-dimensional extended spinfoam model with timelike polyhedra, while we restrict all faces to be spacelike. Firstly, we prove the absolute convergence of the vertex amplitude with timelike polyhedra, when SU(1,1) boundary states are coherent states or the canonical basis, or their finite linear combinations. Secondly, based on the finite vertex amplitude and a proper prescription of the SU(1,1) intertwiner space, we construct the extended spinfoam amplitude on arbitrary cellular complex, taking into account the sum over SU(1,1) intertwiners of internal timelike polyhedra. We observe that the sum over SU(1,1) intertwiners is infinite for the internal timelike polyhedron that has at least 2 future-pointing and 2 past-pointing face-normals. In order to regularize the possible divergence from summing over SU(1,1) intertwiners, we develop a quantum cut-off scheme based on the eigenvalue of the ``shadow operator''. The spinfoam amplitude with timelike internal polyhedra (and spacelike faces) is finite, when 2 types of cut-offs are imposed: one is imposed on $j$ the eigenvalue of area operator, the other is imposed on the eigenvalue of shadow operator for every internal timelike polyhedron that has at least 2 future-pointing and 2 past-pointing face-normals.


title: Towards Informative Tagging of Code Fragments to Support the Investigation of Code Clones

abstract: Investigating the code fragments of code clones detected by code clone detection tools is a time-consuming task, especially when a large number of reference source files are available. This paper proposes (i) a method for clustering a clone class, which is detected by code clone detection tools using syntactic similarity, based on topic similarity by considering its code fragments as sequences of words and (ii) a method for assigning short tags to clusters of the clustering result. We also report an experiment of applying the proposed method to packages of an open source operating system.


title: TSP on manifolds

abstract: In this paper, we present a new approach of creating PTAS to the TSP problems by defining a bounded-curvature surface embedded spaces. Using this definition we prove: - A bounded-curvature surface embedded spaces TSP admits to a PTAS. - Every bounded doubling dimension space can be embedded into a bounded-curvature surface. - Every uniform metric space can be embedded into a bounded-curvature surface. Thus, the algorithm generalizes arXiv:1112.0699 (and therefore [7] and [8] as well, w.r.t PTAS of TSP). But, the algorithm is much broader as uniform metric spaces aren't bounded doubling dimension spaces. It should be mentioned that our definition of a surface is derived from Riemannian geometry, but doesn't match it exactly. therefore, our definitions and basic geometry algorithm is given here in full. [7] Sanjeev Arora. 1998. Polynomial time approximation schemes for Euclidean traveling salesman and other geometric problems. J. ACM 45, 5 (September 1998), 753-782. DOI=http://dx.doi.org/10.1145/290179.290180 [8] Joseph S. B. Mitchell. Guillotine subdivisions approximate polygonal subdivisions: A simple polynomial time approximation scheme for geometric TSP, k- MST, and related problems. SIAM J. Comput., 28(4):1298-1309, 1999.


title: Adversarial Examples Generation for Reducing Implicit Gender Bias in Pre-trained Models

abstract: Over the last few years, Contextualized Pre-trained Neural Language Models, such as BERT, GPT, have shown significant gains in various NLP tasks. To enhance the robustness of existing pre-trained models, one way is adversarial examples generation and evaluation for conducting data augmentation or adversarial learning. In the meanwhile, gender bias embedded in the models seems to be a serious problem in practical applications. Many researches have covered the gender bias produced by word-level information(e.g. gender-stereotypical occupations), while few researchers have investigated the sentence-level cases and implicit cases. In this paper, we proposed a method to automatically generate implicit gender bias samples at sentence-level and a metric to measure gender bias. Samples generated by our method will be evaluated in terms of accuracy. The metric will be used to guide the generation of examples from Pre-trained models. Therefore, those examples could be used to impose attacks on Pre-trained Models. Finally, we discussed the evaluation efficacy of our generated examples on reducing gender bias for future research.


title: Stress Testing Autonomous Racing Overtake Maneuvers with RRT

abstract: High-performance autonomy often must operate at the boundaries of safety. When external agents are present in a system, the process of ensuring safety without sacrificing performance becomes extremely difficult. In this paper, we present an approach to stress test such systems based on the rapidly exploring random tree (RRT) algorithm. We propose to find faults in such systems through adversarial agent perturbations, where the behaviors of other agents in an otherwise fixed scenario are modified. This creates a large search space of possibilities, which we explore both randomly and with a focused strategy that runs RRT in a bounded projection of the observable states that we call the objective space. The approach is applied to generate tests for evaluating overtaking logic and path planning algorithms in autonomous racing, where the vehicles are driving at high speed in an adversarial environment. We evaluate several autonomous racing path planners, finding numerous collisions during overtake maneuvers in all planners. The focused RRT search finds several times more crashes than the random strategy, and, for certain planners, tens to hundreds of times more crashes in the second half of the track.


title: Fast algorithm to identify cluster synchrony through fibration symmetries in large information-processing networks

abstract: Recent studies revealed an important interplay between the detailed structure of fibration symmetric circuits and the functionality of biological and non-biological networks within which they have be identified. The presence of these circuits in complex networks are directed related to the phenomenon of cluster synchronization, which produces patterns of synchronized group of nodes. Here we present a fast, and memory efficient, algorithm to identify fibration symmetries over information-processing networks. This algorithm is specially suitable for large and sparse networks since it has runtime of complexity $O(M\log N)$ and requires $O(M+N)$ of memory resources, where $N$ and $M$ are the number of nodes and edges in the network, respectively. We propose a modification on the so-called refinement paradigm to identify circuits symmetrical to information flow (i.e., fibers) by finding the coarsest refinement partition over the network. Finally, we show that the presented algorithm provides an optimal procedure for identifying fibers, overcoming the current approaches used in the literature.


title: Enhanced microscopic dynamics in mucus gels under a mechanical load in the linear viscoelastic regime

abstract: Mucus is a biological gel covering the surface of several tissues and insuring key biological functions, including as a protective barrier against dehydration, pathogens penetration, or gastric acids. Mucus biological functioning requires a finely tuned balance between solid-like and fluid-like mechanical response, insured by reversible bonds between mucins, the glycoproteins that form the gel. In living organisms, mucus is subject to various kinds of mechanical stresses, e.g. due to osmosis, bacterial penetration, coughing and gastric peristalsis. However, our knowledge of the effects of stress on mucus is still rudimentary and mostly limited to macroscopic rheological measurements, with no insight into the relevant microscopic mechanisms. Here, we run mechanical tests simultaneously to measurements of the microscopic dynamics of pig gastric mucus. Strikingly, we find that a modest shear stress, within the macroscopic rheological linear regime, dramatically enhances mucus reorganization at the microscopic level, as signalled by a transient acceleration of the microscopic dynamics, by up to two orders of magnitude. We rationalize these findings by proposing a simple yet general model for the dynamics of physical gels under strain and validate its assumptions through numerical simulations of spring networks. These results shed new light on the rearrangement dynamics of mucus at the microscopic scale, with potential implications in phenomena ranging from mucus clearance to bacterial and drug penetration.


title: Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector

abstract: Rust is a general-purpose programming language that is both type- and memory-safe. Rust does not use a garbage collector, but rather achieves these properties through a sophisticated, but complex, type system. Doing so makes Rust very efficient, but makes Rust relatively hard to learn and use. We designed Bronze, an optional, library-based garbage collector for Rust. To see whether Bronze could make Rust more usable, we conducted a randomized controlled trial with volunteers from a 633-person class, collecting data from 428 students in total. We found that for a task that required managing complex aliasing, Bronze users were more likely to complete the task in the time available, and those who did so required only about a third as much time (4 hours vs. 12 hours). We found no significant difference in total time, even though Bronze users re-did the task without Bronze afterward. Surveys indicated that ownership, borrowing, and lifetimes were primary causes of the challenges that users faced when using Rust.


title: Quadrotor Control on $SU(2)\times R^3$ with SLAM Integration

abstract: We present a trajectory tracking controller for a quadrotor unmanned aerial vehicle (UAV) configured on $SU(2)\times R^3$, and relate this result to a family of geometric tracking controllers on $SO(3)\times R^3$. The theoretical results are complemented by simulation examples, and the controller is subsequently implemented in practice and integrated with a simultaneous localization and mapping (SLAM) system through an extended Kalman filter (EKF). This facilitates the operation of the UAV without external motion capture systems, and we demonstrate that the proposed control system can be used for inventorying tasks in a supermarket environment without external positioning systems.


title: Stellar multiplicity and stellar rotation: Insights from APOGEE

abstract: We measure rotational broadening in spectra taken by the Apache Point Observatory Galactic Evolution Experiment (APOGEE) survey to characterise the relationship between stellar multiplicity and rotation. We create a sample of 2786 giants and 24 496 dwarfs with stellar parameters and multiple radial velocities from the APOGEE pipeline, projected rotation speeds \vsini\ determined from our own pipeline, and distances, masses, and ages measured by Sanders \& Das. We use the statistical distribution of the maximum shift in the radial velocities, \drvm, as a proxy for the close binary fraction to explore the interplay between stellar evolution, rotation, and multiplicity. Assuming that the minimum orbital period allowed is the critical period for Roche Lobe overflow and rotational synchronization, we calculate theoretical upper limits on expected \vsini\ and \drvm\ values. These expectations agree with the positive correlation between the maximum \drvm\ and \vsini\ values observed in our sample as a function of \logg. We find that the fast rotators in our sample have a high occurrence of short-period ($\log(P/\text{d})\lesssim 4$) companions. We also find that old, rapidly-rotating main sequence stars have larger completeness-corrected close binary fractions than their younger peers. Furthermore, rapidly-rotating stars with large \drvm\ consistently show differences of 1-10 Gyr between the predicted gyrochronological and measured isochronal ages. These results point towards a link between rapid rotation and close binarity through tidal interactions. We conclude that stellar rotation is strongly correlated with stellar multiplicity in the field, and caution should be taken in the application of gyrochronology relations to cool stars.


title: Parallel Actors and Learners: A Framework for Generating Scalable RL Implementations

abstract: Reinforcement Learning (RL) has achieved significant success in application domains such as robotics, games and health care. However, training RL agents is very time consuming. Current implementations exhibit poor performance due to challenges such as irregular memory accesses and thread-level synchronization overheads on CPU. In this work, we propose a framework for generating scalable reinforcement learning implementations on multi-core systems. Replay Buffer is a key component of RL algorithms which facilitates storage of samples obtained from environmental interactions and data sampling for the learning process. We define a new data structure for Prioritized Replay Buffer based on $K$-ary sum tree that supports asynchronous parallel insertions, sampling, and priority updates. To address the challenge of irregular memory accesses, we propose a novel data layout to store the nodes of the sum tree that reduces the number of cache misses. Additionally, we propose $\textit{lazy writing}$ mechanism to reduce thread-level synchronization overheads of the Replay Buffer operations. Our framework employs parallel actors to concurrently collect data via environmental interactions, and parallel learners to perform stochastic gradient descent using the collected data. Our framework supports a wide range of reinforcement learning algorithms including DQN, DDPG, etc. We demonstrate the effectiveness of our framework in accelerating RL algorithms by performing experiments on CPU + GPU platform using OpenAI benchmarks.


title: Hydrodynamic interpretation of generic squeezed coherent states: A kinetic theory

abstract: The hydrodynamic interpretation of quantum mechanics treats a system of particles in an effective manner. In this work, we investigate squeezed coherent states within the hydrodynamic interpretation. The Hamiltonian operator in question is time dependent, n-dimensional and in quadratic order. We start by deriving a phase space Wigner probability distribution and an associated equilibrium entropy for the squeezed coherent states. Then, we decompose the joint phase space distribution into two portions: a marginal position distribution and a momentum distribution that is conditioned on the post-selection of positions. Our conditionally averaged momenta are shown to be equal to the Bohm's momenta whose connection to the weak measurements is already known. We also keep track of the corresponding classical system evolution by identifying shear, magnification and rotation components of the symplectic phase space dynamics. This allows us to pinpoint which portion of the underlying classical motion appears in which quantum statistical concept. We show that our probability distributions satisfy the Fokker-Planck equations exactly. They can be used to decompose the equilibrium entropy into the missing information in positions and in momenta as in the Sackur-Tetrode entropy of the classical kinetic theory. Eventually, we define a quantum pressure, a quantum temperature and a quantum internal energy which are related to each other in the same fashion as in the classical kinetic theory. We show that the quantum potential incorporates the kinetic part of the internal energy and the fluctuations around it. This allows us to suggest a quantum conditional virial relation. In the end, we show that the kinetic internal energy is linked to the fractional Fourier transformer part of the underlying classical dynamics similar to the case where the energy of a quantum oscillator is linked to its Maslov index.


title: Heterogeneous Dual-Core Overlay Processor for Light-Weight CNNs

abstract: Light-weight convolutional neural networks (CNNs) have small complexity and are good candidates for low-power, high-throughput inference. Such networks are heterogeneous in terms of computation-to-communication (CTC) ratios and computation patterns between layers, especially for different layer types. Yet, existing AI processors either use homogeneous processing elements (PEs), resulting in low runtime PE efficiency, or run different layers on heterogeneous PEs in sequential, introducing resource redundancy. This paper proposes a heterogeneous dual-core architecture (dual-OPU), where one core is optimized for regular convolution layers and the other for depthwise convolution layers. PEs are homogeneous with each core. To make full use of dual-core parallelism, we develop a scheduling algorithm to concurrently execute layers for different input images on dual-core and balance parallel workload. Meanwhile, we automatically tune the PE number for a core and tune the input size for each PE to maximize throughput. Compared with a single-core processor with the same area for a single network, heterogeneous dual-OPU on average improves runtime PE efficiency and throughput by 11% and 31%, respectively. For a workload of multiple networks, dual-OPU improves average throughput by 11% compared with the state-of-the-art processors scaled to the same area. To the best of our knowledge, it is the first in-depth study on the heterogeneous dual-core processor for light-weight CNNs.


title: Weyl Curvature Hypothesis in light of Quantum Backreaction at Cosmological Singularities or Bounces

abstract: Penrose's 1979 Weyl curvature hypothesis (WCH) \cite{WCH} assumes that the universe began at a very low gravitational entropy state, corresponding to zero Weyl curvature, namely, the FLRW universe. This is a simple assumption with far-reaching implications. In classical general relativity the most general cosmological solutions of the Einstein equation are that of the BKL-Misner inhomogeneous mixmaster types. How could WCH and BKL-M co-exist? An answer was provided in the 80s with the consideration of quantum field processes such as vacuum particle creation, which was copious at the Planck time ($10^{-43} sec$), and their backreaction effects were shown to be so powerful as to rapidly damp away the irregularities in the geometry. It was proposed that the vacuum viscosity due to particle creation can act as an efficient transducer of gravitational entropy (large for BKL-M) to matter entropy, keeping the universe at that very early time in a state commensurate with the WCH. In this essay I expand the scope of that inquiry to a broader range, asking how the WCH would fare with various cosmological theories, from classical to semiclassical to quantum, focusing on their predictions near the cosmological singularities (past and future) or avoidance thereof, allowing the Universe to encounter different scenarios, such as undergoing a phase transition or a bounce. We point out that regardless of what other processes may be present near the beginning and the end states of the universe, the backreaction effects of quantum field processes probably serve as the best guarantor of WCH because these vacuum processes are ubiquitous, powerful and efficient in dissipating the irregularities to effectively nudge the Universe to a near-zero Weyl curvature condition.


title: Regimes of the lateral van der Waals force in the presence of dielectrics

abstract: In a recent paper, it was shown that, under the action of the lateral van der Waals (vdW) force due to a perfectly conducting corrugated surface, a neutral anisotropic polarizable particle in vacuum can be attracted not only to the nearest corrugation peak, but also to a valley, or an intermediate point between a peak and a valley, with such behaviors called peak, valley and intermediate regimes, respectively. In the present paper, we investigate how these regimes are affected by the consideration of two non-dispersive semi-infinite dielectrics $\epsilon_{1}$ and $\epsilon_{2}$, separated by a corrugated interface. Specifically, we study the vdW interaction between a neutral anisotropic polarizable particle, embedded in the dielectric $\epsilon_{2}$, and the dielectric $\epsilon_{1}$. We show that when $\epsilon_{2}<\epsilon_{1}$ the peak, valley and intermediate regimes have, unless numerical factors, behaviors similar to those found for the situation where the particle is in vacuum and interacting with a conducting medium. For the case $\epsilon_{2}>\epsilon_{1}$, one might expect a mere permute between the peak and valley regimes, in comparison to the case $\epsilon_{2}<\epsilon_{1}$. Surprisingly, we find that when $\epsilon_{2}>\epsilon_{1}$ the regimes exhibit a very different and nontrivial behavior. Moreover, we show that similar regimes arise in the classical case involving a neutral polarized particle. The description of how the peak, valley and intermediate regimes are affected by the presence of dielectrics may be relevant for a better understanding of the interaction between anisotropic particles and corrugated surfaces.


title: Data Integration in Causal Inference

abstract: Integrating data from multiple heterogeneous sources has become increasingly popular to achieve a large sample size and diverse study population. This paper reviews development in causal inference methods that combines multiple datasets collected by potentially different designs from potentially heterogeneous populations. We summarize recent advances on combining randomized clinical trial with external information from observational studies or historical controls, combining samples when no single sample has all relevant variables with application to two-sample Mendelian randomization, distributed data setting under privacy concerns for comparative effectiveness and safety research using real-world data, Bayesian causal inference, and causal discovery methods.


title: TinyFedTL: Federated Transfer Learning on Tiny Devices

abstract: TinyML has rose to popularity in an era where data is everywhere. However, the data that is in most demand is subject to strict privacy and security guarantees. In addition, the deployment of TinyML hardware in the real world has significant memory and communication constraints that traditional ML fails to address. In light of these challenges, we present TinyFedTL, the first implementation of federated transfer learning on a resource-constrained microcontroller.


title: Human-Centered AI for Data Science: A Systematic Approach

abstract: Human-Centered AI (HCAI) refers to the research effort that aims to design and implement AI techniques to support various human tasks, while taking human needs into consideration and preserving human control. In this short position paper, we illustrate how we approach HCAI using a series of research projects around Data Science (DS) works as a case study. The AI techniques built for supporting DS works are collectively referred to as AutoML systems, and their goals are to automate some parts of the DS workflow. We illustrate a three-step systematical research approach(i.e., explore, build, and integrate) and four practical ways of implementation for HCAI systems. We argue that our work is a cornerstone towards the ultimate future of Human-AI Collaboration for DS and beyond, where AI and humans can take complementary and indispensable roles to achieve a better outcome and experience.


title: FairMask: Better Fairness via Model-based Rebalancing of Protected Attributes

abstract: Context: Machine learning software can generate models that inappropriately discriminate against specific protected social groups (e.g., groups based on gender, ethnicity, etc). Motivated by those results, software engineering researchers have proposed many methods for mitigating those discriminatory effects. While those methods are effective in mitigating bias, few of them can provide explanations on what is the root cause of bias. Objective: We aim at better detection and mitigation of algorithmic discrimination in machine learning software problems. Method: Here we propose xFAIR, a model-based extrapolation method, that is capable of both mitigating bias and explaining the cause. In our xFAIR approach, protected attributes are represented by models learned from the other independent variables (and these models offer extrapolations over the space between existing examples). We then use the extrapolation models to relabel protected attributes later seen in testing data or deployment time. Our approach aims to offset the biased predictions of the classification model via rebalancing the distribution of protected attributes. Results: The experiments of this paper show that, without compromising (original) model performance, xFAIR can achieve significantly better group and individual fairness (as measured in different metrics) than benchmark methods. Moreover, when compared to another instance-based rebalancing method, our model-based approach shows faster runtime and thus better scalability. Conclusion: Algorithmic decision bias can be removed via extrapolation that smooths away outlier points. As evidence for this, our proposed xFAIR is not only performance-wise better (measured by fairness and performance metrics) than two state-of-the-art fairness algorithms.


title: Safe Control with Neural Network Dynamic Models

abstract: Safety is critical in autonomous robotic systems. A safe control law ensures forward invariance of a safe set (a subset in the state space). It has been extensively studied regarding how to derive a safe control law with a control-affine analytical dynamic model. However, in complex environments and tasks, it is challenging and time-consuming to obtain a principled analytical model of the system. In these situations, data-driven learning is extensively used and the learned models are encoded in neural networks. How to formally derive a safe control law with Neural Network Dynamic Models (NNDM) remains unclear due to the lack of computationally tractable methods to deal with these black-box functions. In fact, even finding the control that minimizes an objective for NNDM without any safety constraint is still challenging. In this work, we propose MIND-SIS (Mixed Integer for Neural network Dynamic model with Safety Index Synthesis), the first method to derive safe control laws for NNDM. The method includes two parts: 1) SIS: an algorithm for the offline synthesis of the safety index (also called as barrier function), which uses evolutionary methods and 2) MIND: an algorithm for online computation of the optimal and safe control signal, which solves a constrained optimization using a computationally efficient encoding of neural networks. It has been theoretically proved that MIND-SIS guarantees forward invariance and finite convergence. And it has been numerically validated that MIND-SIS achieves safe and optimal control of NNDM. From our experiments, the optimality gap is less than $10^{-8}$, and the safety constraint violation is $0$.


title: Is this the simplest (and most surprising) sorting algorithm ever?

abstract: We present an extremely simple sorting algorithm. It may look like it is obviously wrong, but we prove that it is in fact correct. We compare it with other simple sorting algorithms, and analyse some of its curious properties.


title: Existence of asymptotic pairs in positive entropy group actions

abstract: We provide a definition of a $\prec$-asymptotic pair in a topological action of a countable amenable group $G$, where $\prec$ is an order on $G$ of type $\mathbb Z$. We then prove that if $(\tilde{\mathcal O},\nu,G)$ is a multiorder on $G$, then for every topological $G$-action of positive entropy there exists an $\prec$-asympotic pair for almost every order $\prec\,\in\tilde{\mathcal O}$. This result is a generalization of the Blanchard-Host-Ruette Theorem for classical topological dynamical systems (actions of $\mathbb Z$).


title: Probing Language Models for Understanding of Temporal Expressions

abstract: We present three Natural Language Inference (NLI) challenge sets that can evaluate NLI models on their understanding of temporal expressions. More specifically, we probe these models for three temporal properties: (a) the order between points in time, (b) the duration between two points in time, (c) the relation between the magnitude of times specified in different units. We find that although large language models fine-tuned on MNLI have some basic perception of the order between points in time, at large, these models do not have a thorough understanding of the relation between temporal expressions.


title: Cyclic Implicit Complexity

abstract: Circular (or cyclic) proofs have received increasing attention in recent years, and have been proposed as an alternative setting for studying (co)inductive reasoning. In particular, now several type systems based on circular reasoning have been proposed. However, little is known about the complexity theoretic aspects of circular proofs, which exhibit sophisticated loop structures atypical of more common `recursion schemes'. This paper attempts to bridge the gap between circular proofs and implicit computational complexity (ICC). Namely we introduce a circular proof system based on Bellantoni and Cook's famous safe-normal function algebra, and we identify proof theoretical constraints, inspired by ICC, to characterise the polynomial-time and elementary computable functions. Along the way we introduce new recursion theoretic implicit characterisations of these classes that may be of interest in their own right.


title: Machine Learning Statistical Gravity from Multi-Region Entanglement Entropy

abstract: The Ryu-Takayanagi formula directly connects quantum entanglement and geometry. Yet the assumption of static geometry lead to an exponentially small mutual information between far-separated disjoint regions, which does not hold in many systems such as free fermion conformal field theories. In this work, we proposed a microscopic model by superimposing entanglement features of an ensemble of random tensor networks of different bond dimensions, which can be mapped to a statistical gravity model consisting of a massive scalar field on a fluctuating background geometry. We propose a machine-learning algorithm that recovers the underlying geometry fluctuation from multi-region entanglement entropy data by modeling the bulk geometry distribution via a generative neural network. To demonstrate its effectiveness, we tested the model on a free fermion system and showed mutual information can be mediated effectively by geometric fluctuation. Remarkably, locality emerged from the learned distribution of bulk geometries, pointing to a local statistical gravity theory in the holographic bulk.

categories: hep-th cond-mat.dis-nn cond-mat.stat-mech quant-ph


title: Realizations of Unisingular Representations by Hyperelliptic Jacobians

abstract: A representation of a finite group $G$ on a finite dimensional vector space $V$ is called \textbf{unisingular} if every $g\in G$ has 1 as an eigenvalue in its action on $V$. In this paper we show that certain unisingular representations can be realized as mod 2 representations of hyperelliptic Jacobians over $\Q$. We additionally identify new unisingular representations of the symmetric and alternating groups.


title: A mixture model for determining SARS-Cov-2 variant composition in pooled samples

abstract: Despite of the fast development of highly effective vaccines to control the current COVID$-$19 pandemic, the unequal distribution and availability of these vaccines worldwide and the number of people infected in the world lead to the continuous emergence of SARS-CoV-2 (Severe Acute Respiratory Syndrome coronavirus 2) variants of concern. It is likely that real-time genomic surveillance will be continuously needed as an unceasing monitoring tool, necessary to follow the spillover of the disease spread and the evolution of the virus. In this context, new genomic variants of SARS-CoV-2 that may emerge as a response to selective pressure, including variants refractory to current vaccines, makes genomic surveillance programs tools of utmost importance. Here propose a statistical model for the estimation of the relative frequencies of SARS-CoV-2 variants in pooled samples. This model is built by considering a previously defined selection of genomic polymorphisms that characterize SARS-CoV-2 variants. The methods described here support both raw sequencing reads for polymorphisms-based markers calling and predefined markers in the VCF format. Results obtained by using simulated data show that our method is quite effective in recovering the correct variant proportions. Further, results obtained by considering longitudinal data from wastewater samples of two locations in Switzerland agree well with those describing the epidemiological evolution of COVID-19 variants in clinical samples of these locations. Our results show that the described method can be a valuable tool for tracking the proportions of SARS-CoV-2 variants.


title: Minimal Diamond-Saturated Families

abstract: For a given fixed poset $\mathcal P$ we say that a family of subsets of $[n]$ is $\mathcal P$-saturated if it does not contain an induced copy of $\mathcal P$, but whenever we add to it a new set, an induced copy of $\mathcal P$ is formed. The size of the smallest such family is denoted by $\text{sat}^*(n, \mathcal P)$. For the diamond poset $\mathcal D_2$ (the two-dimensional Boolean lattice), Martin, Smith and Walker proved that $\sqrt n\leq\text{sat}^*(n, \mathcal D_2)\leq n+1$. In this paper we prove that $\text{sat}^*(n, \mathcal D_2)\geq (2\sqrt2-o(1))\sqrt n$. We also explore the properties that a diamond-saturated family of size $c\sqrt n$, for a constant $c$, would have to have.


title: Cloud-Cluster Architecture for Detection in Intermittently Connected Sensor Networks

abstract: We consider a centralized detection problem where sensors experience noisy measurements and intermittent connectivity to a centralized fusion center. The sensors collaborate locally within predefined sensor clusters and fuse their noisy sensor data to reach a common local estimate of the detected event in each cluster. The connectivity of each sensor cluster is intermittent and depends on the available communication opportunities of the sensors to the fusion center. Upon receiving the estimates from all the connected sensor clusters the fusion center fuses the received estimates to make a final determination regarding the occurrence of the event across the deployment area. We refer to this hybrid communication scheme as a \emph{cloud-cluster} architecture. We propose a method for optimizing the decision rule for each cluster and analyzing the expected detection performance resulting from our hybrid scheme. Our method is tractable and addresses the high computational complexity caused by heterogeneous sensors' and clusters' detection quality, heterogeneity in their communication opportunities, and non-convexity of the loss function. Our analysis shows that clustering the sensors provides resilience to noise in the case of low sensor communication probability with the cloud. For larger clusters, a steep improvement in detection performance is possible even for a low communication probability by using our cloud-cluster architecture.


title: Words that almost commute

abstract: The \emph{Hamming distance} $\text{ham}(u,v)$ between two equal-length words $u$, $v$ is the number of positions where $u$ and $v$ differ. The words $u$ and $v$ are said to be \emph{conjugates} if there exist non-empty words $x,y$ such that $u=xy$ and $v=yx$. The smallest value $\text{ham}(xy,yx)$ can take on is $0$, when $x$ and $y$ commute. But, interestingly, the next smallest value $\text{ham}(xy,yx)$ can take on is $2$ and not $1$. In this paper, we consider conjugates $u=xy$ and $v=yx$ where $\text{ham}(xy,yx)=2$. More specifically, we provide an efficient formula to count the number $h(n)$ of length-$n$ words $u=xy$ over a $k$-letter alphabet that have a conjugate $v=yx$ such that $\text{ham}(xy,yx)=2$. We also provide efficient formulae for other quantities closely related to $h(n)$. Finally, we show that there is no one easily-expressible good bound on the growth of $h(n)$.


title: Mimicking Black Holes in General Relativity

abstract: The central theme of this thesis is the study and analysis of black hole mimickers. The concept of a black hole mimicker is introduced, and various mimicker spacetime models are examined within the framework of classical general relativity. The mimickers examined fall into the classes of regular black holes and traversable wormholes under spherical symmetry. The regular black holes examined can be further categorised as static spacetimes, however the traversable wormhole is allowed to have a dynamic (non-static) throat. Astrophysical observables are calculated for a recently proposed regular black hole model containing an exponential suppression of the Misner-Sharp quasi-local mass. This same regular black hole model is then used to construct a wormhole via the ''cut- and-paste'' technique. The resulting wormhole is then analysed within the Darmois-Israel thin-shell formalism, and a linearised stability analysis of the (dynamic) wormhole throat is undertaken. Yet another regular black hole model spacetime is proposed, extending a previous work which attempted to construct a regular black hole through a quantum ''deformation'' of the Schwarzschild spacetime. The resulting spacetime is again analysed within the framework of classical general relativity. In addition to the study of black hole mimickers, I start with a brief overview of the theory of special relativity where a new and novel result is presented for the combination of relativistic velocities in general directions using quaternions. This is succeed by an introduction to concepts in differential geometry needed for the successive introduction to the theory of general relativity. A thorough discussion of the concept of spacetime singularities is then provided, before analysing the specific black hole mimickers discussed above.


title: Spatiotemporal characteristics in systems of diffusively coupled excitable slow-fast FitzHugh-Rinzel dynamical neurons

abstract: In this paper, we study an excitable, biophysical system that supports wave propagation of nerve impulses. We consider a slow-fast, FitzHugh-Rinzel neuron model where only the membrane voltage interacts diffusively, giving rise to the formation of spatiotemporal patterns. We focus on local, nonlinear excitations and diverse neural responses in an excitable 1- and 2-dimensional configuration of diffusively coupled FitzHugh-Rinzel neurons. The study of the emerging spatiotemporal patterns is essential in understanding the working mechanism in different brain areas. We derive analytically the coefficients of the amplitude equations in the vicinity of Hopf bifurcations and characterize various patterns, including spirals exhibiting complex geometric substructures. Further, we derive analytically the condition for the development of antispirals in the neighborhood of the bifurcation point. The emergence of broken target waves can be observed to form spiral-like profiles. The spatial dynamics of the excitable system exhibits 2- and multi-arm spirals for small diffusive couplings. Our results reveal a multitude of neural excitabilities and possible conditions for the emergence of spiral-wave formation. Finally, we show that the coupled excitable systems with different firing characteristics, participate in a collective behavior that may contribute significantly to irregular neural dynamics.


title: Hybrid Event Shaping to Stabilize Periodic Hybrid Orbits

abstract: Many controllers for legged robotic systems leverage open- or closed-loop control at discrete hybrid events to enhance stability. These controllers appear in several well studied phenomena such as the Raibert stepping controller, paddle juggling and swing leg retraction. This work introduces hybrid event shaping (HES): a generalized method for analyzing and producing stable hybrid event controllers. HES utilizes the saltation matrix, which gives a closed-form equation for the effect that hybrid events have on stability. We also introduce shape parameters, which are higher order terms that can be tuned completely independently from the system dynamics to promote stability. Optimization methods are used to produce values of these parameters that optimize a stability measure. Hybrid event shaping captures previously developed control methods while also producing new optimally stable trajectories without the need for continuous-domain feedback.


title: Un-symmetric photon subtraction: a method for generating high photon number states and their relevance to loss estimation at ultimate quantum limit

abstract: We have studied theoretical un-symmetric multi-photon subtracted twin beam state and demonstrated a method for generating states that resembles to high photon number states with the increase in the number of subtracted photons through Wigner distribution function, which can be reconstructed experimentally by Homodyne measurement. A crucial point is high non-classicality is obtained by photon subtraction when mean photons per mode of twin beam state is low. We have calculated photon statistics from the phase space distribution function and found sub-poissonian behaviour in the same low mean photons regime. Furthermore, we have tested the usefulness of such states for realistic absorption measurement including detection losses by computing quantum Fisher-Information from measured Wigner function after interaction the sample. We have compared the performance of these states with respect to coherent and demonstrated how the quantum advantage is related to non-classical enhancement. We presented results up to three photon subtraction which show remarkable quantum advantage over both initial thermal and coherent state reaching the ultimate quantum limit in the loss estimation.


title: Stiffness modeling for near field acoustic levitation bearings

abstract: The dynamic characteristics of near-field levitation bearings have been investigated in this study. Through theoretical analysis, two different types of system stiffness are defined and derived analytically. The dynamic stiffness relates the excitation amplitude to the dynamic force amplitude, while the effective stiffness governs the time-averaged force-displacement relationship. The results indicate two non-linear and asymmetric spring constants that can effectively predict levitation force and height. The models are verified with a carefully designed experimental setup to eliminate the structural resonance effect. Besides, some unique dynamic behaviors are investigated and predicted based on the proposed stiffness model.


title: Decentralized Safe Reinforcement Learning for Voltage Control

abstract: Inverter-based distributed energy resources provide the possibility for fast time-scale voltage control by quickly adjusting their reactive power. The power-electronic interfaces allow these resources to realize almost arbitrary control law, but designing these decentralized controllers is nontrivial. Reinforcement learning (RL) approaches are becoming increasingly popular to search for policy parameterized by neural networks. It is difficult, however, to enforce that the learned controllers are safe, in the sense that they may introduce instabilities into the system. This paper proposes a safe learning approach for voltage control. We prove that the system is guaranteed to be exponentially stable if each controller satisfies certain Lipschitz constraints. The set of Lipschitz bound is optimized to enlarge the search space for neural network controllers. We explicitly engineer the structure of neural network controllers such that they satisfy the Lipschitz constraints by design. A decentralized RL framework is constructed to train local neural network controller at each bus in a model-free setting.


title: Deep Learning for Principal-Agent Mean Field Games

abstract: Here, we develop a deep learning algorithm for solving Principal-Agent (PA) mean field games with market-clearing conditions -- a class of problems that have thus far not been studied and one that poses difficulties for standard numerical methods. We use an actor-critic approach to optimization, where the agents form a Nash equilibria according to the principal's penalty function, and the principal evaluates the resulting equilibria. The inner problem's Nash equilibria is obtained using a variant of the deep backward stochastic differential equation (BSDE) method modified for McKean-Vlasov forward-backward SDEs that includes dependence on the distribution over both the forward and backward processes. The outer problem's loss is further approximated by a neural net by sampling over the space of penalty functions. We apply our approach to a stylized PA problem arising in Renewable Energy Certificate (REC) markets, where agents may rent clean energy production capacity, trade RECs, and expand their long-term capacity to navigate the market at maximum profit. Our numerical results illustrate the efficacy of the algorithm and lead to interesting insights into the nature of optimal PA interactions in the mean-field limit of these markets.


title: Giant Spin Lifetime Anisotropy and Spin-Valley Locking in Silicene and Germanene from First-Principles Density-Matrix Dynamics

abstract: Through First-Principles real-time Density-Matrix (FPDM) dynamics simulations, we investigate spin relaxation due to electron-phonon and electron-impurity scatterings with spin-orbit coupling in two-dimensional Dirac materials - silicene and germanene, at finite temperatures and under external fields. We discussed the applicability of conventional descriptions of spin relaxation mechanisms by Elliott-Yafet (EY) and D'yakonov-Perel' (DP) compared to our FPDM method, which is determined by a complex interplay of intrinsic spin-orbit coupling, external fields, and electron-phonon coupling strength, beyond crystal symmetry. For example, the electric field dependence of spin relaxation time is close to DP mechanism for silicene at room temperature, but rather similar to EY mechanism for germanene. Due to its stronger spin-orbit coupling strength and buckled structure in sharp contrast to graphene, germanene has a giant spin lifetime anisotropy and spin valley locking effect under nonzero Ez and relatively low temperature. More importantly, germanene has extremely long spin lifetime (~100 ns at 50 K) and ultrahigh carrier mobility, which makes it advantageous for spin-valleytronic applications.


title: Hierarchical Causal Analysis of Natural Languages on a Chain Event Graph

abstract: Various graphical models are widely used in reliability to provide a qualitative description of domain experts hypotheses about how a system might fail. Here we argue that the semantics developed within standard causal Bayesian networks are not rich enough to fully capture the intervention calculus needed for this domain and a more tree-based approach is necessary. We instead construct a Bayesian hierarchical model with a chain event graph at its lowest level so that typical interventions made in reliability models are supported by a bespoke causal calculus. We then demonstrate how we can use this framework to automate the process of causal discovery from maintenance logs, extracting natural language information describing hypothesised causes of failures. Through our customised causal algebra we are then able to make predictive inferences about the effects of a variety of types of remedial interventions. The proposed methodology is illustrated throughout with examples drawn from real maintenance logs.


title: Equivariant Functors and Sheaves

abstract: In this thesis we study two main topics which culminate in a proof that four distinct definitions of the equivariant derived category of a smooth algebraic group $G$ acting on a variety $X$ are in fact equivalent. In the first part of this thesis we introduce and study equivariant categories on a quasi-projective variety $X$. These are a generalization of the equivariant derived category of Lusztig and are indexed by certain pseudofunctors that take values in the 2-category of categories. This 2-categorical generalization allow us to prove rigorously and carefully when such categories are additive, monoidal, triangulated, admit $t$-structures, among and more. We also define equivariant functors and natural transformations before using these to prove how to lift adjoints to the equivariant setting. We also give a careful foundation of how to manipulate $t$-structures on these equivariant categories for future use and with an eye towards future applications. In the final part of this thesis we prove a four-way equivalence between the different formulations of the equivariant derived category of $\ell$-adic sheaves on a quasi-projective variety $X$. We show that the equivariant derived category of Lusztig is equivalent to the equivariant derived category of Bernstein-Lunts and the simplicial equivariant derived category. We then show that these equivariant derived categories are equivalent to the derived $\ell$-adic category of Behrend on the algebraic stack $[G \backslash X]$. We also provide an isomorphism of the simplicial equivariant derived category on the variety $X$ with the simplicial equivariant derived category on the simplicial presentation of $[G \backslash X]$, as well as prove explicit equivalences between the categories of equivariant $\ell$-adic sheaves, local systems, and perverse sheaves with the classical incarnations of such categories of equivariant sheaves.


title: Cusps, Kleinian groups and Eisenstein series

abstract: We study the Eisenstein series associated to the full rank cusps in a complete hyperbolic manifold. We show that given a Kleinian group $\Gamma<\text{Isom}(\mathbb{H}^{n+1})$, each full rank cusp corresponds to a cohomology class in $H^{n}(\Gamma, V)$ where $V$ is either the trivial coefficient or the adjoint representation. Moreover, by computing the intertwining operator, we show that different cusps give rise to linearly independent classes.


title: Extrema of Luroth Digits and a zeta function limit relation

abstract: We describe how certain properties of the extrema of the digits of Luroth expansions lead to a probabilistic proof of a limiting relation involving the Riemann zeta function and the Bernoulli triangles. We also discuss trimmed sums of Luroth digits. Our goal is to show how direct computations in this case lead to explicit formulas and some interesting discussions of special functions.


title: Lifetime Maximization for UAV-Enabled Cognitive-NOMA IoT Networks: Joint Location, Power, and Decoding Order Optimization

abstract: This paper investigates a cognitive unmanned aerial vehicle (UAV) enabled Internet of Things (IoT) network, where secondary/cognitive IoT devices upload their data to the UAV hub following a non-orthogonal multiple access (NOMA) protocol in the spectrum of the primary network. We aim to maximize the minimum lifetime of IoT devices by jointly optimizing the UAV location, transmit power, and decoding order subject to interference-power constraints in presence of the imperfect channel state information (CSI). To solve the formulated non-convex mixed-integer programming problem, we first jointly optimize the UAV location and transmit power for a given decoding order and obtain the globally optimal solution with the assistance of Lagrange duality and then obtain the best decoding order by exhaustive search, which is applicable to relatively small-scale scenarios. For large-scale scenarios, we propose a low-complexity sub-optimal algorithm by transforming the original problem into a more tractable equivalent form and applying the successive convex approximation (SCA) technique and penalty function method. Numerical results demonstrate that the proposed design significantly outperforms the benchmark schemes.


title: Spontaneous magnetization of collisionless plasma through the action of a shear flow

abstract: We study in a fully kinetic framework the generation of seed magnetic fields through the Weibel instability driven in an initially unmagnetized plasma by a large-scale shear force. We develop an analytical model that describes the development of thermal pressure anisotropy via phase mixing, the ensuing exponential growth of magnetic fields in the linear Weibel stage, and its saturation when the seed magnetic fields become strong enough to instigate gyromotion of particles and thereby inhibit their free-streaming. The predicted scaling dependencies of the saturated seed fields on key parameters (e.g., ratio of system scale to electron skin depth, the forcing amplitude) are confirmed by 3D and 2D particle-in-cell simulations using an electron-positron plasma. This work demonstrates the spontaneous magnetization of a collisionless plasma through large-scale motions as simple as a shear flow, and therefore has important implications for magnetogenesis in dilute astrophysical systems.


title: Note on $\mathsf{TD} + \mathsf{DC}_\mathbb{R}$ implying $\mathsf{AD}^{L(\mathbb{R})}$

abstract: A short core model induction proof of $\mathsf{AD}^{L(\mathbb{R})}$ from $\mathsf{TD} + \mathsf{DC}_\mathbb{R}$.


title: Experimental observation of pseudogap in a modulation-doped Mott insulator: Sn/Si(111)-($\sqrt{3}\times \sqrt{3}$)-R30$^\textrm{o}$

abstract: Unusual quantum phenomena usually emerge upon doping Mott insulators. Using a combinatorial molecular beam epitaxy system integrated with cryogenic scanning tunneling microscopy, we investigate the electronic structure of a modulation-doped Mott insulator Sn/Si(111)-($\sqrt{3}\times \sqrt{3}$)-R30$^\textrm{o}$. In underdoped regions, we observe a universal pseudogap opening around the Fermi level, which changes little with the applied magnetic field and the occurrence of Sn vacancies. The pseudogap gets smeared out at elevated temperatures and alters in size with the spatial confinement of the Mott insulating phase. Our findings, along with the previously observed superconductivity at a higher doping level, are highly reminiscent of the electronic phase diagram in the doped copper oxide compounds.


title: From cold resistor to secure key exchanger

abstract: Utilizing a formerly published cold resistor circuitry, a secure key exchange system is conceived and explored. A circuit realization of the system is constructed and simulated. Similarly to the Pao-Lo key exchanger, this system is secure in the steady-state limit but crackable in the transient situations.


title: The reflectivity of some categories of T0 spaces in domain theory

abstract: Keimel and Lawson proposed a set of conditions for proving a category of topological spaces to be reflective in the category of all T0 spaces. These conditions were recently used to prove the reflectivity of the category of all well-filtered spaces. In this paper, we prove that, in certain sense, these conditions are not just sufficient but also necessary for a category of T0 spaces to be reflective. Using this general result, we easily deduce that several categories proposed in domain theory are not reflective, thus answered a few open problems.


title: A two-piece property for free boundary minimal hypersurfaces in the $(n+1)$-dimensional ball

abstract: We prove that every hyperplane passing through the origin in $\rr^{n+1}$ divides an embedded compact free boundary minimal hypersurface of the euclidean $(n+1)$-ball in exactly two connected hypersurfaces. We also show that if a region in the $(n+1)$-ball has mean convex boundary and contains a nullhomologous $(n-1)$-dimensional equatorial disk, then this region is a closed halfball. Our first result gives evidence to a conjecture by Fraser and Li in any dimension.


title: Structured abbreviation expansion in context

abstract: Ad hoc abbreviations are commonly found in informal communication channels that favor shorter messages. We consider the task of reversing these abbreviations in context to recover normalized, expanded versions of abbreviated messages. The problem is related to, but distinct from, spelling correction, in that ad hoc abbreviations are intentional and may involve substantial differences from the original words. Ad hoc abbreviations are productively generated on-the-fly, so they cannot be resolved solely by dictionary lookup. We generate a large, open-source data set of ad hoc abbreviations. This data is used to study abbreviation strategies and to develop two strong baselines for abbreviation expansion


title: Minimum entropy production, detailed balance and Wasserstein distance for continuous-time Markov processes

abstract: We investigate the problem of minimizing the entropy production for a physical process that can be described in terms of a Markov jump dynamics. We show that, without any further constraints, a given time-evolution may be realized at arbitrarily small entropy production, yet at the expense of diverging activity. For a fixed activity, we find that the dynamics that minimizes the entropy production is given in terms of conservative forces. The value of the minimum entropy production is expressed in terms of the graph-distance based Wasserstein distance between the initial and final configuration. This yields a new kind of speed limit relating dissipation, the average number of transitions and the Wasserstein distance. It also allows us to formulate the optimal transport problem on a graph in term of a continuous-time interpolating dynamics, in complete analogy to the continuous space setting. We demonstrate our findings for simple state networks, a time-dependent pump and for spin flips in the Ising model.


title: Combinatorial Calabi flows on surfaces with boundary

abstract: Motivated by Luo's combinatorial Yamabe flow on closed surfaces \cite{L1} and Guo's combinatorial Yamabe flow on surfaces with boundary \cite{Guo}, we introduce combinatorial Calabi flow on ideally triangulated surfaces with boundary, aiming at finding hyperbolic metrics on surfaces with totally geodesic boundaries of given lengths. Then we prove the long time existence and global convergence of combinatorial Calabi flow on surfaces with boundary. We further introduce fractional combinatorial Calabi flow on surfaces with boundary, which unifies and generalizes the combinatorial Yamabe flow and the combinatorial Calabi flow on surfaces with boundary. The long time existence and global convergence of fractional combinatorial Calabi flow are also proved. These combinatorial curvature flows provide effective algorithms to construct hyperbolic surfaces with totally geodesic boundaries with prescribed lengths.


title: Developments of Bohmian Mechanics

abstract: Bohmian mechanics is a deterministic theory of quantum mechanics that is based on a set of n velocity functions for n particles, where these functions depend on the wavefunction from the n-body time-dependent Schroedinger equation. It is well know that Bohmian mechanics is not applicable to stationary states, since the velocity field for stationary states is the zero function. Recently, an alternative to Bohmian mechanics has been formulated, based on a conservation of energy equation, where the velocity fields are not the zero function, but this formalism is only applicable to stationary states with real valued wavefunctions. In this paper, Bohmian mechanics is merged with the alternative to Bohmian mechanics. This is accomplished by introducing an interpretation of the Bohm quantum potential. The final formalism gives dynamic particles for all states, including stationary states. The final main working equation contains two kinetic energy terms and a term that contains a factor that can be interpreted as a pressure. The derivation is a simple n-body generalization of the recent generalization, or refinement, of the Madelung equations.


title: Spatial characteristics of nickel-titanium shape memory alloy fabricated by continuous directed energy deposition

abstract: Additive manufacturing has been adopted to process nickel-titanium shape memory alloys due to its advantages of flexibility and minimal defects. The current layer-by-layer method is accompanied by a complex temperature history, which is not beneficial to the final characteristics of shape memory alloys. In this study, a continuous directed energy deposition method has been proposed to improve microstructure uniformity. The spatial characterization of nickel-titanium shape memory alloy fabricated by continuous directed energy deposition is investigated to study the temperature history, phase constituent, microstructure, and mechanical properties. The results indicate that the fabricated specimen has a monotonic temperature history, relatively uniform phase distribution and microstructure morphology, as well as high compressive strength (2982 MPa~3105 MPa) and strain (37.7%~41.1%). The reported method is expected to lay the foundation for spatial control during the printing of functional structures.


title: Molten pool characteristics of a nickel-titanium shape memory alloy for directed energy deposition

abstract: Fabrication of nickel-titanium shape memory alloy through additive manufacturing has attracted increasing interest due to its advantages of flexible manufacturing capability, low-cost customization, and minimal defects. The process parameters in directed energy deposition (DED) have a crucial impact on its molten pool characteristics (geometry, microstructure, etc.), thus influencing the final properties of shape memory effect and pseudoelasticity. In this paper, a three-dimensional numerical model considering heat transfer, phase change, and fluid flow has been developed to simulate the cladding geometry, melt pool depth, and deposition rate. The experimental and simulated results indicated that laser power plays a critical role in determining the melt pool width and deposition rate while scan speed and powder feed rate have less effect on cladding geometry and deposition rate. The fluid velocity has a huge influence on the distribution of elements in the molten pool. The temperature gradient G, solidification rate R, as well as shape factor G/R were calculated to illustrate the underlying mechanisms of grain structure evolution. The grain morphology distribution of cross-section from the experimental samples agreed well with the simulation results. The model reported in this paper is expected to shed light on the optimization of the deposition process and grain structure prediction.


title: Phonon-laser ultrasensitive force sensor

abstract: Developing nano-mechanical oscillators for ultrasensitive force detection is of great importance in exploring science. We report our achievement of ultrasensitive detection of the external force regarding the radio-frequency electric field by a nano-sensor made of a single trapped $^{40}$Ca$^{+}$ ion under injection-locking, where squeezing is additionally applied to detection of the smallest force in the ion trap. The employed ion is confined stably in a surface electrode trap and works as a phonon laser that is very sensitive to the external disturbance. The injection-locking drove the ion's oscillation with phase synchronization, yielding the force detection with sensitivity of 347 $\pm$ 50 yN/$\sqrt{Hz}$. Further with 3 dB squeezing applied on the oscillation phase variance, we achieved a successful detection of the smallest force to be 86.5 $\pm$ 70.1 yN.

categories: quant-ph physics.app-ph physics.atom-ph physics.ins-det


title: On the Interplay Between Sparsity, Naturalness, Intelligibility, and Prosody in Speech Synthesis

abstract: Are end-to-end text-to-speech (TTS) models over-parametrized? To what extent can these models be pruned, and what happens to their synthesis capabilities? This work serves as a starting point to explore pruning both spectrogram prediction networks and vocoders. We thoroughly investigate the tradeoffs between sparsity and its subsequent effects on synthetic speech. Additionally, we explored several aspects of TTS pruning: amount of finetuning data versus sparsity, TTS-Augmentation to utilize unspoken text, and combining knowledge distillation and pruning. Our findings suggest that not only are end-to-end TTS models highly prunable, but also, perhaps surprisingly, pruned TTS models can produce synthetic speech with equal or higher naturalness and intelligibility, with similar prosody. All of our experiments are conducted on publicly available models, and findings in this work are backed by large-scale subjective tests and objective measures. Code and 200 pruned models are made available to facilitate future research on efficiency in TTS.


title: Neutrino Oscillations through the Earth's Core

abstract: Neutrinos have two properties that make them fairly unique from other known particles: extremely low cross sections and flavor changing oscillations. With a good knowledge of the oscillation parameters soon in hand, it will become possible to detect low-energy atmospheric neutrinos sensitive to the forward elastic scattering off electrons in the Earth's core providing a measurement of the core properties and the matter effect itself. As the dynamics of the Earth's core are complicated and in a difficult to probe environment, additional information from upcoming neutrino experiments will provide feedback into our knowledge of geophysics as well as useful information about exoplanet formation and various new physics scenarios including dark matter. In addition, we can probe the existence of the matter effect in the Earth and constrain the non-standard neutrino interaction parameter $\epsilon_{ee}^\oplus$. We show how DUNE's sensitivity to low-energy atmospheric neutrino oscillations can provide a novel constraint on the density and radius of the Earth's core at the 9\% level and the Earth's matter effect at the 5\% level. Finally, we illuminate the physics behind low-energy atmospheric neutrino resonances in the Earth.


title: Some remarks on oscillation inequalities

abstract: In this paper we establish uniform oscillation estimates on $L^p(X)$ with $p\in(1,\infty)$ for the polynomial ergodic averages. This result contributes to a certain problem about uniform oscillation bounds for ergodic averages formulated by Rosenblatt and Wierdl in the early 1990's. We also give a slightly different proof of the uniform oscillation inequality of Jones, Kaufman, Rosenblatt and Wierdl for bounded martingales. Finally, we show that oscillations, in contrast to jump inequalities, cannot be seen as an endpoint for $r$-variation inequalities.


title: Spiked Covariance Estimation from Modulo-Reduced Measurements

abstract: Consider the rank-1 spiked model: $\bf{X}=\sqrt{\nu}\xi \bf{u}+ \bf{Z}$, where $\nu$ is the spike intensity, $\bf{u}\in\mathbb{S}^{k-1}$ is an unknown direction and $\xi\sim \mathcal{N}(0,1),\bf{Z}\sim \mathcal{N}(\bf{0},\bf{I})$. Motivated by recent advances in analog-to-digital conversion, we study the problem of recovering $\bf{u}\in \mathbb{S}^{k-1}$ from $n$ i.i.d. modulo-reduced measurements $\bf{Y}=[\bf{X}]\mod \Delta$, focusing on the high-dimensional regime ($k\gg 1$). We develop and analyze an algorithm that, for most directions $\bf{u}$ and $\nu=\mathrm{poly}(k)$, estimates $\bf{u}$ to high accuracy using $n=\mathrm{poly}(k)$ measurements, provided that $\Delta\gtrsim \sqrt{\log k}$. Up to constants, our algorithm accurately estimates $\bf{u}$ at the smallest possible $\Delta$ that allows (in an information-theoretic sense) to recover $\bf{X}$ from $\bf{Y}$. A key step in our analysis involves estimating the probability that a line segment of length $\approx\sqrt{\nu}$ in a random direction $\bf{u}$ passes near a point in the lattice $\Delta \mathbb{Z}^k$. Numerical experiments show that the developed algorithm performs well even in a non-asymptotic setting.


title: An Algorithm for Checking Injectivity of Specialization Maps from Elliptic Surfaces

abstract: Let $E/\mathbb Q(t)$ be an elliptic curve and let $t_0 \in \mathbb Q$ be a rational number for which the specialization $E_{t_0}$ is an elliptic curve. Given a subgroup $M$ of $E(\mathbb Q(t))$ with mild conditions and $t_0 \in \mathbb Q$ coming from a relatively large subset $S_M \subset \mathbb Q$, we provide an algorithm that can show that the specialization map $\sigma_{t_0} : E(\mathbb Q(t)) \to E_{t_0}(\mathbb Q)$ is injective when restricted to $M$. The set $S_M$ is effectively computable in certain cases, and we carry out this computation for some explicit examples where $E$ is given by a Weierstrass equation.


title: Efficiency, Fairness, and Stability in Non-Commercial Peer-to-Peer Ridesharing

abstract: Unlike commercial ridesharing, non-commercial peer-to-peer (P2P) ridesharing has been subject to limited research -- although it can promote viable solutions in non-urban communities. This paper focuses on the core problem in P2P ridesharing: the matching of riders and drivers. We elevate users' preferences as a first-order concern and introduce novel notions of fairness and stability in P2P ridesharing. We propose algorithms for efficient matching while considering user-centric factors, including users' preferred departure time, fairness, and stability. Results suggest that fair and stable solutions can be obtained in reasonable computational times and can improve baseline outcomes based on system-wide efficiency exclusively.


title: Solvability in classical mechanics and algebraic Heun observables

abstract: We construct a classical analog of the algebraic Heun operator $W$ associated to any bispectral pair of the operators $X$ and $Y$. We show that the dynamics of the classical variables $X$ or $Y$ is governed by elliptic functions if the classical $W$ is taken as the Hamiltonian. We demonstrate this general property by concrete examples of classical dynamical systems.


title: An Analysis of Super-Net Heuristics in Weight-Sharing NAS

abstract: Weight sharing promises to make neural architecture search (NAS) tractable even on commodity hardware. Existing methods in this space rely on a diverse set of heuristics to design and train the shared-weight backbone network, a.k.a. the super-net. Since heuristics substantially vary across different methods and have not been carefully studied, it is unclear to which extent they impact super-net training and hence the weight-sharing NAS algorithms. In this paper, we disentangle super-net training from the search algorithm, isolate 14 frequently-used training heuristics, and evaluate them over three benchmark search spaces. Our analysis uncovers that several commonly-used heuristics negatively impact the correlation between super-net and stand-alone performance, whereas simple, but often overlooked factors, such as proper hyper-parameter settings, are key to achieve strong performance. Equipped with this knowledge, we show that simple random search achieves competitive performance to complex state-of-the-art NAS algorithms when the super-net is properly trained.


title: Simulating superluminal propagation of Dirac particles using trapped ions

abstract: Simulating quantum phenomena in extreme spacetimes in the laboratory represents a powerful approach to explore fundamental physics in the interplay of quantum field theory and general relativity. Here we propose to simulate the movement of a Dirac particle propagating with a superluminal velocity caused by the emergent Alcubierre warp drive spacetime using trapped ions. We demonstrate that the platform allows observing the tilted lightcone that manifests as a superluminal velocity, which is in agreement with the prediction of general relativity. Furthermore, the Zitterbewegung effect arising from relativistic quantum mechanics persists with the superluminal propagation and is experimentally measurable. The present scheme can be extended to simulate the Dirac equation in other exotic curved spacetimes, thus provides a versatile tool to gain insights into the fundamental limit of these extreme spacetimes.


title: Bell numbers in Matsunaga's and Arima's Genjik\=o combinatorics: Modern perspectives and local limit theorems

abstract: We examine and clarify in detail the contributions of Yoshisuke Matsunaga (1694?--1744) to the computation of Bell numbers in the eighteenth century (in the Edo period), providing modern perspectives to some unknown materials that are by far the earliest in the history of Bell numbers. Later clarification and developments by Yoriyuki Arima (1714--1783), and several new results such as the asymptotic distributions (notably the corresponding local limit theorems) of a few closely related sequences are also given.


title: Search for gamma-ray emission from the 12 nearby dwarf spheroidal galaxies with 12 years of Fermi-LAT data

abstract: Previously, we have shown in Li et al. (2018) that very weak $\gamma$-ray excesses ($\sim 2\sigma$) appear in some Milky Way dwarf spheroidal galaxies (dSphs, including candidates) and the combination analysis of 12 nearby dSphs yields a local significance of $>4\sigma$. In this work, we adopt a longer data set (i.e., the 12 years of Fermi-LAT data), the latest Fermi-LAT software as well as background models to update the searches of $\gamma$-ray emission from these sources. Very weak $\gamma$-ray excesses ($>$ 2 $\sigma$) are found in the directions of three dSphs, including Reticulum II, Bootes II and Willman 1. In the direction of Reticulum II, the peak TS value of the excess reaches $\sim$11. However, different from the previous analysis with the 9 years of Fermi-LAT data, now the location of the gamma-ray emission is significantly away from the center of Reticulum II because of the enhancement of "offset" $\gamma$-rays above 10 GeV since 2017. The detected weak excess is likely due to the contamination of an astrophysical $\gamma$-ray source with a TS value of $\sim 22$, irrelevant to the dark matter inside Reticulum II. The possible excesses in the directions of Bootes II and Willman 1 are weaker with lower peak TS values ($\sim 7$). If interpreted as annihilation of dark matter particles into $\tau^+\tau^-$, the dark mass mass of $m_\chi \sim 14$ GeV and $\sim 80$ GeV are found for Bootes II and Willman 1, respectively. Much more data are needed to clarify whether these two potential signals are real and then reveal their origins.