title: Semigroups and Controllability of Invariant Control Systems on $\mathrm{Sl}\left(n,\mathbb{H}\right)$

abstract: Let $\mathrm{Sl}\left( n,\mathbb{H}\right)$ be the Lie group of $n\times n$ quaternionic matrices $g$ with $\left\vert \det g\right\vert =1$. We prove that a subsemigroup $S \subset \mathrm{Sl}\left( n,\mathbb{H}\right)$ with nonempty interior is equal to $\mathrm{Sl}\left( n,\mathbb{H}\right)$ if $S$ contains a subgroup isomorphic to $\mathrm{Sl}\left( 2,\mathbb{H}\right)$. As application we give sufficient conditions on $A,B\in \mathfrak{sl}\left( n,\mathbb{H}\right)$ to ensuring that the invariant control system $\dot{g}=Ag+uBg$ is controllable on $\mathrm{Sl}\left( n,\mathbb{H}\right)$. We prove also that these conditions are generic in the sense that we obtain an open and dense set of controllable pairs $\left( A,B\right)\in\mathfrak{sl}\left( n,\mathbb{H}\right)^{2}$.


title: Cross-language sentiment analysis of European Twitter messages duringthe COVID-19 pandemic

abstract: Social media data can be a very salient source of information during crises. User-generated messages provide a window into people's minds during such times, allowing us insights about their moods and opinions. Due to the vast amounts of such messages, a large-scale analysis of population-wide developments becomes possible. In this paper, we analyze Twitter messages (tweets) collected during the first months of the COVID-19 pandemic in Europe with regard to their sentiment. This is implemented with a neural network for sentiment analysis using multilingual sentence embeddings. We separate the results by country of origin, and correlate their temporal development with events in those countries. This allows us to study the effect of the situation on people's moods. We see, for example, that lockdown announcements correlate with a deterioration of mood in almost all surveyed countries, which recovers within a short time span.


title: Tracking Brownian motion in three dimensions and characterization of individual nanoparticles using a fiber-based high-finesse microcavity

abstract: The dynamics of nanosystems in solution contain a wealth of information with relevance for diverse fields ranging from materials science to biology and biomedical applications. When nanosystems are marked with fluorophores or strong scatterers, it is possible to track their position and reveal internal motion with high spatial and temporal resolution. However, markers can be toxic, expensive, or change the object's intrinsic properties. Here, we simultaneously measure dispersive frequency shifts of three transverse modes of a high-finesse microcavity to obtain the three-dimensional path of unlabeled SiO$_2$ nanospheres with $300$$\mathrm{\mu}$s temporal and down to $8$nm spatial resolution. This allows us to quantitatively determine properties such as the polarizability, hydrodynamic radius, and effective refractive index. The fiber-based cavity is integrated in a direct-laser-written microfluidic device that enables the precise control of the fluid with ultra-small sample volumes. Our approach enables quantitative nanomaterial characterization and the analysis of biomolecular motion at high bandwidth.


title: Frobenius functors and Gorenstein projective precovers

abstract: We establish relations between Gorenstein projective precovers linked by Frobenius functors. This is motivated by an open problem that how to find general classes of rings for which modules have Gorenstein projective precovers. It is shown that if $F:\C\rightarrow\D$ is a separable Frobenius functor between abelian categories with enough projective objects, then every object in $\C$ has a Gorenstein projective precover provided that every object in $\D$ has a Gorenstein projective precover. This result is applied to separable Frobenius extensions and excellent extensions.


title: A functorial presentation of units of Burnside rings

abstract: Let $B^\times$ be the biset functor over $\mathbb{F}_2$ sending a finite group~$G$ to the group $B^\times(G)$ of units of its Burnside ring $B(G)$, and let $\widehat{B^\times}$ be its dual functor. The main theorem of this paper gives a characterization of the cokernel of the natural injection from $B^\times$ in the dual Burnside functor $\widehat{\mathbb{F}_2B}$, or equivalently, an explicit set of generators $\mathcal{G}_S$ of the kernel $L$ of the natural surjection $\mathbb{F}_2B\to \widehat{B^\times}$. This yields a two terms projective resolution of $\widehat{B^\times}$, leading to some information on the extension functors $\mathrm{Ext}^1(-,B^\times)$. For a finite group $G$, this also allows for a description of $B^\times(G)$ as a limit of groups $B^\times(T/S)$ over sections $(T,S)$ of $G$ such that $T/S$ is cyclic of odd prime order, Klein four, dihedral of order 8, or a Roquette 2-group. Another consequence is that the biset functor $B^\times$ is not finitely generated, and that its dual $\widehat{B^\times}$ is finitely generated, but not finitely presented. The last result of the paper shows in addition that $\mathcal{G}_S$ is a minimal set of generators of $L$, and it follows that the lattice of subfunctors of $L$ is uncountable.


title: Hamiltonian form for general autonomous ODE systems: Low dimensional examples

abstract: Paper is devoted to maintaining the simple objective: We want to provide Hamiltonian canonical form for autonomous dynamical system reducible to even-dimensional one. Along the road we construct new class of conserved quantities, called effectively conserved, that have dissimilar properties to traditional first integrals (e.g. differential of effectively conserved quantity being a Pfaffian form). We do not confine the discussion to physics; we consider examples from biology and chemistry, giving direct recipe for how to engage the framework in occurring problems. Perspective for future application in geometric numerical methods is given.

categories: math-ph math.DS math.MP physics.class-ph


title: A comprehensive analysis of differential cross sections and analyzing powers in the proton-deuteron break-up channel at 135 MeV

abstract: A selection of measured cross sections and vector analyzing powers, Ax and Ay, are presented for the pd break-up reaction. The data are taken with a polarized proton beam energy of 135 MeV using the Big Instrument for Nuclear-polarization Analysis (BINA) at KVI, the Netherlands. With this setup, Ax is extracted for the first time for a large range of energies as well as polar and azimuthal angles of the two outgoing protons. For most of the configurations, the results at small and large relative azimuthal angles differ in behavior when comparing experimental data with the theoretical calculations. We also performed a more global comparison of our data with theoretical calculations using a chi-square ($\chi^2$) analysis. The cross-section results show huge values of $\chi^2$/d.o.f.. The absolute values of $\chi^2$/d.o.f. for the components of vector analyzing powers, Ax and Ay, are smaller than the ones for the cross section, partly due to larger uncertainties for these observables. However, also for these observables no satisfactory agreement is found for all angular combinations. This implies that the present models of a three-nucleon force are not able to provide a satisfactory description of experimental data.


title: 2-recollements of singualrity categories and Gorenstein defect categories over triangular matrix algebras

abstract: Let $T=(A,M,0,B)$ be a triangular matrix algebra with its corner algebras $A$ and $B$ Artinian and $_AM_B$ an $A$-$B$-bimodule. The 2-recollement structures for singularity categories and Gorenstein defect categories over $T$ are studied. Under mild assumptions, we provide necessary and sufficient conditions for the existences of 2-recollements of singularity categories and Gorenstein defect categories over $T$ relative to those of $A$ and $B$. Parts of our results strengthen and unify the corresponding work in [27,28,34].


title: On Compatibility and Region of Attraction for Safe, Stabilizing Control Laws

abstract: A novel control method is proposed to ensure compatibility of safe, stabilizing control laws, i.e., simultaneous satisfaction of asymptotic stability and constraint satisfaction for nonlinear affine systems. The results are dependent on an asymptotically stabilizing control law and a zeroing control barrier function (ZCBF), but do not require a control Lyapunov function (CLF). Sufficient conditions for a region of attraction are defined for which the proposed control safely stabilizes the system, while preserving the decrescent Lyapunov function of the original stabilizing control law. The proposed methodology for nonlinear affine systems requires checking conditions of the system dynamics over a substantial portion of the state space, which may be computationally expensive. To facilitate the search for compatibility, we extend the results to a class of nonlinear systems including mechanical systems for which a novel controller is designed to guarantee passivity, safety, and stability. Numerical examples are used to demonstrate the proposed technique.


title: Dark Photon Dark Matter in the minimal $B-L$ Model

abstract: The extension of the Standard model (SM) with three heavy right handed neutrinos, a complex scalar and the gauged $U(1)_{\rm B-L}$ symmetry (the minimal $B-L$ model) is considered the most compelling minimal one: the presence and the out-of-equilibrium decay of the heavy right handed neutrinos can account for the small masses of the active neutrinos and the baryon asymmetry of the universe. A natural accompanying question concerns whether the minimal $B-L$ model can naturally accommodate an interesting dark matter (DM) candidate. We study the possibility where the current DM population is explained by the gauge boson of $U(1)_{\rm B-L}$ symmetry. We discuss how the minimal set-up originally aimed at the seesaw mechanism and the leptogenesis is connected to conditions making the gauge boson promoted to a DM candidate.


title: Support $\tau$-tilting modules over one-point extensions

abstract: Let $B$ be the one-point extension algebra of $A$ by an $A$-module $X$. We proved that every support $\tau$-tilting $A$-module can be extended to be a support $\tau$-tilting $B$-module by two different ways. As a consequence, it is shown that there is an inequality $$|\stilt B|\geqslant 2|\stilt A|.$$


title: Surface Hopping Propagator: An Alternative Approach to Diffusion-Influenced Reactions

abstract: Dynamics of a particle diffusing in a confinement can be seen a sequence of bulk-diffusion-mediated hops on the confinement surface. Here, we investigate the surface hopping propagator that describes the position of the diffusing particle after a prescribed number of encounters with that surface. This quantity plays the central role in diffusion-influenced reactions and determines their most common characteristics such as the propagator, the first-passage time distribution, and the reaction rate. We derive explicit formulas for the surface hopping propagator and related quantities for several Euclidean domains: half-space, circular annuli, circular cylinders, and spherical shells. These results provide the theoretical ground for studying diffusion-mediated surface phenomena. The behavior of the surface hopping propagator is investigated for both "immortal" and "mortal" particles.


title: Some classes of power functions with low c-differential uniformity over finite fields

abstract: Functions with low c-differential uniformity have optimal resistance to some types of differential cryptanalysis. In this paper, we investigate the c-differential uniformity of power functions over finite fields. Based on some known almost perfect nonlinear functions, we present several classes of power functions $f(x)=x^d$ with $_{c}\Delta_f\leq3$. Especially, two new classes of perfect c-nonlinear power functions are proposed.


title: Trends in bird abundance differ among protected forests but not bird guilds

abstract: Improved monitoring and associated inferential tools to efficiently identify declining bird populations, particularly of rare or sparsely distributed species, is key to informed conservation and management across large spatio-temporal regions. We assess abundance trends for 106 bird species in a network of eight national park forests located within the northeast USA from 2006-2019 using a novel hierarchical model. We develop a multi-species, multi-region removal sampling model that shares information across species and parks to enable inference on rare species and sparsely sampled parks and to evaluate the effects of local forest structure. Trends in bird abundance over time varied widely across parks, but species showed similar trends within parks. Three parks (Acadia, Marsh-Billings-Rockefeller, and Morristown) decreased in bird abundance across all species, while three parks (Saratoga, Roosevelt-Vanderbilt, and Weir-Farm) increased in abundance. Bird abundance peaked at medium levels of basal area and high levels of percent forest and forest regeneration, with percent forest having the largest effect. Variation in these effects across parks could be a result of differences in forest structural stage and diversity. Our novel hierarchical model enables estimates of abundance at the network, park, guild, and species levels. We found large variation in abundance trends across parks but not across bird guilds, suggesting that local forest condition may have a broad and consistent effect on the entire bird community within a given park. Management should target the three parks with overall decreasing trends in bird abundance to further identify what specific factors are driving observed declines across the bird community. Understanding how bird communities respond to local forest structure and other stressors is crucial for informed and lasting management.


title: Characterizing Circular Colouring Mixing for $\frac{p}{q}<4$

abstract: Given a graph $G$, the $k$-mixing problem asks: Can one obtain all $k$-colourings of $G$, starting from one $k$-colouring $f$, by changing the colour of only one vertex at a time, while at each step maintaining a $k$-colouring? More generally, for a graph $H$, the $H$-mixing problem asks: Can one obtain all homomorphisms $G \to H$, starting from one homomorphism $f$, by changing the image of only one vertex at a time, while at each step maintaining a homomorphism $G \to H$? This paper focuses on a generalization of $k$-colourings, namely $(p,q)$-circular colourings. We show that when $2 < \frac{p}{q} < 4$, a graph $G$ is $(p,q)$-mixing if and only if for any $(p,q)$-colouring $f$ of $G$, and any cycle $C$ of $G$, the wind of the cycle under the colouring equals a particular value (which intuitively corresponds to having no wind). As a consequence we show that $(p,q)$-mixing is closed under a restricted homomorphism called a fold. Using this, we deduce that $(2k+1,k)$-mixing is co-NP-complete for all $k \in \mathbb{N}$, and by similar ideas we show that if the circular chromatic number of a connected graph $G$ is $\frac{2k+1}{k}$, then $G$ folds to $C_{2k+1}$. We use the characterization to settle a conjecture of Brewster and Noel, specifically that the circular mixing number of bipartite graphs is $2$. Lastly, we give a polynomial time algorithm for $(p,q)$-mixing in planar graphs when $3 \leq \frac{p}{q} <4$.


title: Complete classification of cosmological teleparallel geometries

abstract: We consider the notion of cosmological symmetry, i.e., spatial homogeneity and isotropy, in the field of teleparallel gravity and geometry, and provide a complete classification of all homogeneous and isotropic teleparallel geometries. We explicitly construct these geometries by independently employing three different methods, and prove that all of them lead to the same class of geometries. Further, we derive their properties, such as the torsion tensor and its irreducible decomposition, as well as the transformation behavior under change of the time coordinate, and derive the most general cosmological field equations for a number of teleparallel gravity theories. In addition to homogeneity and isotropy, we extend the notion of cosmological symmetry to also include spatial reflections, and find that this further restricts the possible teleparallel geometries. This work answers an important question in teleparallel cosmology, in which so far only particular examples of cosmologically symmetric solutions had been known, but it was unknown whether further solutions can be constructed.


title: Graph Neural Network Architecture Search for Molecular Property Prediction

abstract: Predicting the properties of a molecule from its structure is a challenging task. Recently, deep learning methods have improved the state of the art for this task because of their ability to learn useful features from the given data. By treating molecule structure as graphs, where atoms and bonds are modeled as nodes and edges, graph neural networks (GNNs) have been widely used to predict molecular properties. However, the design and development of GNNs for a given data set rely on labor-intensive design and tuning of the network architectures. Neural architecture search (NAS) is a promising approach to discover high-performing neural network architectures automatically. To that end, we develop an NAS approach to automate the design and development of GNNs for molecular property prediction. Specifically, we focus on automated development of message-passing neural networks (MPNNs) to predict the molecular properties of small molecules in quantum mechanics and physical chemistry data sets from the MoleculeNet benchmark. We demonstrate the superiority of the automatically discovered MPNNs by comparing them with manually designed GNNs from the MoleculeNet benchmark. We study the relative importance of the choices in the MPNN search space, demonstrating that customizing the architecture is critical to enhancing performance in molecular property prediction and that the proposed approach can perform customization automatically with minimal manual effort.


title: CACHE SNIPER : Accurate timing control of cache evictions

abstract: Microarchitectural side channel attacks have been very prominent in security research over the last few years. Caches have been an outstanding covert channel, as they provide high resolution and generic cross-core leakage even with simple user-mode code execution privileges. To prevent these generic cross-core attacks, all major cryptographic libraries now provide countermeasures to hinder key extraction via cross-core cache attacks, for instance avoiding secret dependent access patterns and prefetching data. In this paper, we show that implementations protected by 'good-enough' countermeasures aimed at preventing simple cache attacks are still vulnerable. We present a novel attack that uses a special timing technique to determine when an encryption has started and then evict the data precisely at the desired instant. This new attack does not require special privileges nor explicit synchronization between the attacker and the victim. One key improvement of our attack is a method to evict data from the cache with a single memory access and in absence of shared memory by leveraging the transient capabilities of TSX and relying on the recently reverse-engineered L3 replacement policy. We demonstrate the efficiency by performing an asynchronous last level cache attack to extract an RSA key from the latest wolfSSL library, which has been especially adapted to avoid leaky access patterns, and by extracting an AES key from the S-Box implementation included in OpenSSL bypassing the per round prefetch intended as a protection against cache attacks.


title: Uniformization of Riemann surfaces revisited

abstract: We give an elementary and self-contained proof of the uniformization theorem for non-compact simply-connected Riemann surfaces.


title: Local error quantification for Neural Network Differential Equation solvers

abstract: Neural networks have been identified as powerful tools for the study of complex systems. A noteworthy example is the neural network differential equation (NN DE) solver, which can provide functional approximations to the solutions of a wide variety of differential equations. Such solvers produce robust functional expressions, are well suited for further manipulations on the quantities of interest (for example, taking derivatives), and capable of leveraging the modern advances in parallelization and computing power. However, there is a lack of work on the role precise error quantification can play in their predictions: usually, the focus is on ambiguous and/or global measures of performance like the loss function and/or obtaining global bounds on the errors associated with the predictions. Precise, local error quantification is seldom possible without external means or outright knowledge of the true solution. We address these concerns in the context of dynamical system NN DE solvers, leveraging learnt information within the NN DE solvers to develop methods that allow them to be more accurate and efficient, while still pursuing an unsupervised approach that does not rely on external tools or data. We achieve this via methods that can precisely estimate NN DE solver prediction errors point-wise, thus allowing the user the capacity for efficient and targeted error correction. We exemplify the utility of our methods by testing them on a nonlinear and a chaotic system each.


title: Unconventional superconductivity induced by suppressing an iron-selenium based Mott insulator CsFe4-xSe4

abstract: There are several FeSe based superconductors, including the bulk FeSe, monolayer FeSe thin film, intercalated KxFe2-ySe2 and Li1-xFexOHFeSe, etc. Their normal states all show metallic behavior. The key player here is the FeSe layer which exhibits the highest superconducting transition temperature in the form of monolayer thin film. Recently a new FeSe based compound, CsFe4-xSe4 with the space group of Bmmm was found. Interestingly the system shows a strong insulator-like behavior although it shares the same FeSe planes as other relatives. Density functional theory calculations indicate that it should be a metal, in sharp contrast with the experimental observations. Here we report the emergence of unconventional superconductivity by applying pressure to suppress this insulator-like behavior. At ambient pressure, the insulator-like behavior cannot be modeled as a band insulator, but can be described by the variable-range-hopping model for correlated systems. Furthermore, the specific heat down to 400 mK has been measured and a significant residual coefficient gamma_0=C/T|T->0 is observed, which contrasts the insulator-like state and suggests some quantum freedom of spin dynamics. By applying pressure the insulator-like behavior is gradually suppressed and the system becomes a metal, finally superconductivity is achieved at about 5.1 K. The superconducting transition strongly depends on magnetic field and applied current, indicating a fragile superfluid density. Our results suggest that the superconductivity is established by diluted Cooper pairs on top of a strong correlation background in CsFe4-xSe4.


title: Bounding generalized relative entropies: Nonasymptotic quantum speed limits

abstract: Information theory has become an increasingly important research field to better understand quantum mechanics. Noteworthy, it covers both foundational and applied perspectives, also offering a common technical language to study a variety of research areas. Remarkably, one of the key information-theoretic quantities is given by the relative entropy, which quantifies how difficult is to tell apart two probability distributions, or even two quantum states. Such a quantity rests at the core of fields like metrology, quantum thermodynamics, quantum communication and quantum information. Given this broadness of applications, it is desirable to understand how this quantity changes under a quantum process. By considering a general unitary channel, we establish a bound on the generalized relative entropies (R\'{e}nyi and Tsallis) between the output and the input of the channel. As an application of our bounds, we derive a family of quantum speed limits based on relative entropies. Possible connections between this family with thermodynamics, quantum coherence, asymmetry and single-shot information theory are briefly discussed.


title: Neural Code Search Revisited: Enhancing Code Snippet Retrieval through Natural Language Intent

abstract: In this work, we propose and study annotated code search: the retrieval of code snippets paired with brief descriptions of their intent using natural language queries. On three benchmark datasets, we investigate how code retrieval systems can be improved by leveraging descriptions to better capture the intents of code snippets. Building on recent progress in transfer learning and natural language processing, we create a domain-specific retrieval model for code annotated with a natural language description. We find that our model yields significantly more relevant search results (with absolute gains up to 20.6% in mean reciprocal rank) compared to state-of-the-art code retrieval methods that do not use descriptions but attempt to compute the intent of snippets solely from unannotated code.


title: On amenable semigroups of rational functions

abstract: We characterize left and right amenable semigroups of polynomials of one complex variable with respect to the composition operation. We also prove a number of results about amenable semigroups of arbitrary rational functions. In particular, we show that under quite general conditions a semigroup of rational functions is left amenable if and only if it is a subsemigroup of the centralizer of some rational function.


title: Bi-invariant Two-Sample Tests in Lie Groups for Shape Analysis

abstract: We propose generalizations of the Hotelling's $T^2$ statistic and the Bhattacharayya distance for data taking values in Lie groups. A key feature of the derived measures is that they are compatible with the group structure even for manifolds that do not admit any bi-invariant metric. This property, e.g., assures analysis that does not depend on the reference shape, thus, preventing bias due to arbitrary choices thereof. Furthermore, the generalizations agree with the common definitions for the special case of flat vector spaces guaranteeing consistency. Employing a permutation test setup, we further obtain nonparametric, two-sample testing procedures that themselves are bi-invariant and consistent. We validate our method in group tests revealing significant differences in hippocampal shape between individuals with mild cognitive impairment and normal controls.


title: Vibronic response of a spin-1/2 state from a carbon impurity in two-dimensional WS$_2$

abstract: We demonstrate the creation of a spin-1/2 state via the atomically controlled generation of magnetic carbon radical ions (CRIs) in synthetic two-dimensional transition metal dichalcogenides (TMDs). Hydrogenated carbon impurities located at chalcogen sites introduced by chemical doping can be activated with atomic precision by hydrogen depassivation using a scanning probe tip. In its anionic state, the carbon impurity exhibits a magnetic moment of 1 $\mu_\text{B}$ resulting from an unpaired electron populating a spin-polarized in-gap orbital of C$^{\bullet -}_\text{S}$. Fermi level control by the underlying graphene substrate can charge and decharge the defect, thereby activating or quenching the defect magnetic moment. By inelastic tunneling spectroscopy and density functional theory calculations we show that the CRI defect states couple to a small number of vibrational modes, including a local, breathing-type mode. Interestingly, the electron-phonon coupling strength critically depends on the spin state and differs for monolayer and bilayer WS$_2$. These carbon radical ions in TMDs comprise a new class of surface-bound, single-atom spin-qubits that can be selectively introduced, are spatially precise, feature a well-understood vibronic spectrum, and are charge state controlled.


title: Instance Adaptive Self-Training for Unsupervised Domain Adaptation

abstract: The divergence between labeled training data and unlabeled testing data is a significant challenge for recent deep learning models. Unsupervised domain adaptation (UDA) attempts to solve such a problem. Recent works show that self-training is a powerful approach to UDA. However, existing methods have difficulty in balancing scalability and performance. In this paper, we propose an instance adaptive self-training framework for UDA on the task of semantic segmentation. To effectively improve the quality of pseudo-labels, we develop a novel pseudo-label generation strategy with an instance adaptive selector. Besides, we propose the region-guided regularization to smooth the pseudo-label region and sharpen the non-pseudo-label region. Our method is so concise and efficient that it is easy to be generalized to other unsupervised domain adaptation methods. Experiments on 'GTA5 to Cityscapes' and 'SYNTHIA to Cityscapes' demonstrate the superior performance of our approach compared with the state-of-the-art methods.


title: Inf-sup stability implies quasi-orthogonality

abstract: We prove new optimality results for adaptive mesh refinement algorithms for non-symmetric, indefinite, and time-dependent problems by proposing a generalization of quasi-orthogonality which follows directly from the inf-sup stability of the underlying problem. This completely removes a central technical difficulty in modern proofs of optimal convergence of adaptive mesh refinement algorithms and leads to simple optimality proofs for the Taylor-Hood discretization of the stationary Stokes problem, a finite-element/boundary-element discretization of an unbounded transmission problem, and an adaptive time-stepping scheme for parabolic equations. The main technical tool are new stability bounds for the LU-factorization of matrices together with a recently established connection between quasi-orthogonality and matrix factorization.


title: Privacy Intelligence: A Survey on Image Privacy in Online Social Networks

abstract: Image sharing on online social networks (OSNs) has become an indispensable part of daily social activities, but it has also led to an increased risk of privacy invasion. The recent image leaks from popular OSN services and the abuse of personal photos using advanced algorithms (e.g. DeepFake) have prompted the public to rethink individual privacy needs in OSN image sharing. However, OSN image privacy itself is quite complicated, and solutions currently in place for privacy management in reality are insufficient to provide personalized, accurate and flexible privacy protection. A more intelligent environment for privacy-friendly OSN image sharing is in demand. To fill the gap, we contribute a survey of "privacy intelligence" that targets modern privacy issues in dynamic OSN image sharing from a user-centric perspective. Specifically, we present a definition and a taxonomy of OSN image privacy, and a high-level privacy analysis framework based on the lifecycle of OSN image sharing. The framework consists of three stages with different principles of privacy by design. At each stage, we identify typical user behaviors in OSN image sharing and the privacy issues associated with these behaviors. Then a systematic review on the representative intelligent solutions targeting those privacy issues is conducted, also in a stage-based manner. The resulting analysis describes an intelligent privacy firewall for closed-loop privacy management. We also discuss the challenges and future directions in this area.


title: Thermonuclear reaction rates and primordial nucleosynthesis

abstract: Assuming the best numerical value for the cosmic baryonic density and the existence of three neutrino flavors, standard big bang nucleosynthesis is a parameter-free model. It is important to assess if the observed primordial abundances can be reproduced by simulations. Numerous studies have shown that the simulations overpredict the primordial $^7$Li abundance by a factor of $\approx$ $3$ compared to the observations. The discrepancy may be caused by unknown systematics in $^7$Li observations, poorly understood depletion of lithium in stars, errors in thermonuclear rates that take part in the lithium and beryllium synthesis, or physics beyond the standard model. Here, we focus on the likelihood of a nuclear physics solution. The status of the key nuclear reaction rates is summarized. Big bang nucleosynthesis simulations are performed with the most recent reaction rates and the uncertainties of the predicted abundances are established using a Monte Carlo technique. Correlations between abundances and reaction rates are investigated based on the metric of mutual information. The rates of four reactions impact the primordial $^7$Li abundance: $^3$He($\alpha$,$\gamma$)$^7$Be, d(p,$\gamma$)$^3$He, $^7$Be(d,p)2$\alpha$, and $^7$Be(n,p)$^7$Li. We employ a genetic algorithm to search for simultaneous rate changes in these four reactions that may account for all observed primordial abundances. When the search is performed for reaction rate ranges that are much wider than recently reported uncertainties, no acceptable solutions are found. Based on the currently available evidence, we conclude that it is highly unlikely for the cosmological lithium problem to have a nuclear physics solution.


title: Blobbed topological recursion of the quartic Kontsevich model I: Loop equations and conjectures

abstract: We provide strong evidence for the conjecture that the analogue of Kontsevich's matrix Airy function, with the cubic potential $\mathrm{Tr}(\Phi^3)$ replaced by a quartic term $\mathrm{Tr}(\Phi^4)$, obeys the blobbed topological recursion of Borot and Shadrin. We identify in the quartic Kontsevich model three families of correlation functions for which we establish interwoven loop equations. One family consists of symmetric meromorphic differential forms $\omega_{g,n}$ labelled by genus and number of marked points of a complex curve. We reduce the solution of all loop equations to a straightforward but lengthy evaluation of residues. In all evaluated cases, the $\omega_{g,n}$ consist of a part with poles at ramification points which satisfies the universal formula of topological recursion, and of a part holomorphic at ramification points for which we provide an explicit residue formula.


title: PBHs and secondary GWs from ultra slow roll and punctuated inflation

abstract: [Abridged] The primordial scalar power spectrum is well constrained on large scales, primarily by the observations of the anisotropies in the cosmic microwave background (CMB). Over the last few years, it has been recognized that a sharp rise in power on small scales will lead to enhanced formation of primordial black holes (PBHs) and also generate secondary gravitational waves (GWs) of higher and, possibly, detectable amplitudes. It is well understood that scalar power spectra with COBE normalized amplitude on the CMB scales and enhanced amplitudes on smaller scales can be generated due to deviations from slow roll in single, canonical scalar field models of inflation. In fact, an epoch of so-called ultra slow roll inflation can lead to the desired amplification. We find that scenarios that lead to ultra slow roll can be broadly classified into two types, one wherein there is a brief departure from inflation (a scenario referred to as punctuated inflation) and another wherein such a departure does not arise. We consider a set of single field inflationary models involving the canonical scalar field that lead to ultra slow roll and punctuated inflation and examine the formation of PBHs as well as the generation of secondary GWs in these models. Apart from considering specific models, we reconstruct potentials from certain functional choices of the first slow roll parameter leading to ultra slow roll and punctuated inflation and investigate their observational signatures. In addition to the secondary tensor power spectrum, we calculate the secondary tensor bispectrum in the equilateral limit in these scenarios. Moreover, we calculate the inflationary scalar bispectrum that arises in all the cases and discuss the imprints of the scalar non-Gaussianities on the extent of PBHs formed and the amplitude of the secondary GWs.


title: Ultrafast photocurrents in MoSe$_2$ probed by terahertz spectroscopy

abstract: We use the terahertz (THz) emission spectroscopy to study femtosecond photocurrent dynamics in the prototypical 2D semiconductor, transition metal dichalcogenide MoSe$_2$. We identify several distinct mechanisms producing THz radiation in response to an ultrashort ($30\,$fs) optical excitation in a bilayer (BL) and a multilayer (ML) sample. In the ML, the THz radiation is generated at a picosecond timescale by out-of-plane currents due to the drift of photoexcited charge carriers in the surface electric field. The BL emission is generated by an in-plane shift current. Finally, we observe oscillations at about $23\,$THz in the emission from the BL sample. We attribute the oscillations to quantum beats between two excitonic states with energetic separation of $\sim100\,$meV.


title: Electroweak Couplings of the Higgs Boson at a Multi-TeV Muon Collider

abstract: We estimate the expected precision at a multi-TeV muon collider for measuring the Higgs boson couplings with electroweak gauge bosons, $HVV$ and $HHVV\ (V=W^\pm,Z)$, as well as the trilinear Higgs self-coupling $HHH$. At very high energies both single and double Higgs productions rely on the vector-boson fusion (VBF) topology. The outgoing remnant particles have a strong tendency to stay in the very forward region, leading to the configuration of the "inclusive process" and making it difficult to isolate $ZZ$ fusion events from the $WW$ fusion. In the single Higgs channel, we perform a maximum likelihood analysis on $HWW$ and $HZZ$ couplings using two categories: the inclusive Higgs production and the 1-muon exclusive signal. In the double Higgs channel, we consider the inclusive production and study the interplay of the trilinear $HHH$ and the quartic $VVHH$ couplings, by utilizing kinematic information in the invariant mass spectrum. We find that at a centre-of-mass energy of 10 TeV (30 TeV) with an integrated luminosity of 10 ab$^{-1}$ (90 ab$^{-1}$), one may reach a 95\% confidence level sensitivity of 0.073\% (0.023\%) for $WWH$ coupling, 0.61\% (0.21\%) for $ZZH$ coupling, 0.62\% (0.20\%) for $WWHH$ coupling, and 5.6\% (2.0\%) for $HHH$ coupling. For dim-6 operators contributing to the processes, these sensitivities could probe the new physics scale $\Lambda$ in the order of $1-10$ ($2-20$) TeV at a 10 TeV (30 TeV) muon collider.


title: Random Style Transfer based Domain Generalization Networks Integrating Shape and Spatial Information

abstract: Deep learning (DL)-based models have demonstrated good performance in medical image segmentation. However, the models trained on a known dataset often fail when performed on an unseen dataset collected from different centers, vendors and disease populations. In this work, we present a random style transfer network to tackle the domain generalization problem for multi-vendor and center cardiac image segmentation. Style transfer is used to generate training data with a wider distribution/ heterogeneity, namely domain augmentation. As the target domain could be unknown, we randomly generate a modality vector for the target modality in the style transfer stage, to simulate the domain shift for unknown domains. The model can be trained in a semi-supervised manner by simultaneously optimizing a supervised segmentation and an unsupervised style translation objective. Besides, the framework incorporates the spatial information and shape prior of the target by introducing two regularization terms. We evaluated the proposed framework on 40 subjects from the M\&Ms challenge2020, and obtained promising performance in the segmentation for data from unknown vendors and centers.


title: Backgrounds in gravitational effective field theory

abstract: Effective field theories describing gravity coupled to matter are investigated, allowing for operators of arbitrary mass dimension. Terms violating local Lorentz and diffeomorphism invariance while preserving internal gauge symmetries are included. The theoretical framework for violations of local Lorentz and diffeomorphism invariance and associated conceptual issues are discussed, including transformations in curved and approximately flat spacetimes, the treatment of various types of backgrounds, the implications of symmetry breaking, and the no-go constraints for explicit violation in Riemann geometry. Techniques are presented for the construction of effective operators, and the possible terms in the gravity, gauge, fermion, and scalar sectors are classified and enumerated. Explicit expressions are obtained for terms containing operators of mass dimension six or less in the effective action for General Relativity coupled to the Standard Model of particle physics. Special cases considered include Einstein-Maxwell effective field theories and the limit with only scalar coupling constants.


title: Two-stage optimization of urban rail transit formation and real-time station control at comprehensive transportation hub

abstract: This paper tries to discuss two strategies of dealing with this complex passenger demand from two aspects: transit train formation and real-time holding control. The genetic algorithm (GA) is designed to solve the integrated two-stage model of optimizing the number, timetable and real-time holding control of the multi-marshalling operated trains. The numerical results show that the combined two-stage model of multi-marshalling operation and holding control at stations can better deal with the demand fluctuation of urban rail transit connecting with the comprehensive transportation hub.


title: The Array of Long Baseline Antennas for Taking Radio Observations from the Sub-Antarctic

abstract: Measurements of redshifted 21-cm emission of neutral hydrogen at <30 MHz have the potential to probe the cosmic "dark ages," a period of the universe's history that remains unobserved to date. Observations at these frequencies are exceptionally challenging because of bright Galactic foregrounds, ionospheric contamination, and terrestrial radio-frequency interference. Very few sky maps exist at <30 MHz, and most have modest resolution. We introduce the Array of Long Baseline Antennas for Taking Radio Observations from the Sub-Antarctic (ALBATROS), a new experiment that aims to image low-frequency Galactic emission with an order-of-magnitude improvement in resolution over existing data. The ALBATROS array will consist of antenna stations that operate autonomously, each recording baseband data that will be interferometrically combined offline. The array will be installed on Marion Island and will ultimately comprise 10 stations, with an operating frequency range of 1.2-125 MHz and maximum baseline lengths of ~20 km. We present the ALBATROS instrument design and discuss pathfinder observations that were taken from Marion Island during 2018-2019.


title: Luminous Flame Height Correlation Based on Fuel Mass Flow for a Laminar to Transition-to-Turbulent Regime Diffusion Flame

abstract: This paper presents a flame-height correlation for laminar to transition-to-turbulent regime diffusion flames. Flame-height measurements are obtained by means of numerical and experimental studies in which three high definition cameras were employed to take frontal, lateral and 45{\deg} angled images simultaneously. The images were analysed using an image-processing algorithm to determine the flame-height through indirect measurement. To locate an overall chemical-flame-length, numerical simulations were conducted with the unsteady Reynolds-Averaged Navier-Stokes technique. The eddy-dissipation model was also implemented to calculate chemical reaction rate. The experiments show that this proposed correlation has an adjustment variation of luminous flame-height for the laminar regime of 16.9%, which indicates that, without the use of the intermittent buoyant flame-height correlation, it globally best represents the flame-height in this regime. For the laminar and transition-to-turbulence regime the adjustment variations are 5.54% compared to the most accepted flame-height correlations, thus providing an acceptably good fitting. The numerical results show that the proposed range for the chemical-flame-length is located between the luminous and flickering flame zone compared to the experimental flame images. These results agree with the chemical length zone reported in the literature. Therefore, the correlation can be used for laminar and transition-to-turbulent combustion regimes.


title: Biomechanic Posture Stabilisation via Iterative Training of Multi-policy Deep Reinforcement Learning Agents

abstract: It is not until we become senior citizens do we recognise how much we took maintaining a simple standing posture for granted. It is truly fascinating to observe the magnitude of control the human brain exercises, in real time, to activate and deactivate the lower body muscles and solve a multi-link 3D inverted pendulum problem in order to maintain a stable standing posture. This realisation is even more apparent when training an artificial intelligence (AI) agent to maintain a standing posture of a digital musculoskeletal avatar due to the error propagation problem. In this work we address the error propagation problem by introducing an iterative training procedure for deep reinforcement learning which allows the agent to learn a finite set of actions and how to coordinate between them in order to achieve a stable standing posture. The proposed training approach allowed the agent to increase standing duration from 4 seconds using the traditional training method to 348 seconds using the proposed method. The proposed training method allowed the agent to generalise and accommodate perception and actuation noise for almost 108 seconds.


title: Classifying the closed ideals of bounded operators on two families of non-separable classical Banach spaces

abstract: We classify the closed ideals of bounded operators acting on the Banach spaces $\left(\bigoplus_{n \in \mathbb{N}} \ell_2^n\right)_{c_0} \oplus c_0(\Gamma)$ and $\left(\bigoplus_{n \in \mathbb{N}} \ell_2^n\right)_{\ell_1} \oplus \ell_1(\Gamma)$ for every uncountable cardinal $\Gamma$.


title: Breaking the Dark Degeneracy with the Drifting Coefficient of the Field Cluster Mass Function

abstract: We present a numerical analysis supporting the evidence that the redshift evolution of the drifting coefficient of the field cluster mass function is capable of breaking several cosmic degeneracies. This evidence is based on the data from the CoDECS and DUSTGRAIN-pathfinder simulations performed separately for various non-standard cosmologies including coupled dark energy, $f(R)$ gravity and combinations of $f(R)$ gravity with massive neutrinos as well as for the standard $\Lambda$CDM cosmology. We first numerically determine the field cluster mass functions at various redshifts in the range of $0\le z\le 1$ for each cosmology. Then, we compare the analytic formula developed in previous works with the numerically obtained field cluster mass functions by adjusting its drifting coefficient, $\beta$, at each redshift. It is found that the analytic formula with the best-fit coefficient provides a good match to the numerical results at all redshifts for all of the cosmologies. The empirically determined redshift evolution of the drifting coefficient, $\beta(z)$, turns out to significantly differ among different cosmologies. It is also shown that even without using any prior information on the background cosmology the drifting coefficient, $\beta(z)$, can discriminate with high statistical significance the degenerate non-standard cosmologies not only from the $\Lambda$CDM but also from one another. It is concluded that the evolution of the departure from the Einstein-de Sitter state and spherically symmetric collapse processes quantified by $\beta(z)$ is a powerful probe of gravity and dark sector physics.


title: Improving Holographic Search Algorithms using Sorted Pixel Selection

abstract: Traditional search algorithms for computer hologram generation such as Direct Search and Simulated Annealing offer some of the best hologram qualities at convergence when compared to rival approaches. Their slow generation times and high processing power requirements mean, however, that they see little use in performance critical applications. This paper presents the novel Sorted Pixel Selection (SPS) modification for Holographic Search Algorithms (HSAs) that offers Mean Square Error (MSE) reductions in the range of 14.7 - 19.2% for the test images used. SPS operates by substituting a weighted search selection procedure for traditional random pixel selection processes. While small, the improvements seen are observed consistently across a wide range of test cases and require limited overhead for implementation.


title: HoloGen: An open source toolbox for high-speed hologram generation

abstract: The rise of mixed reality systems such as Microsoft HoloLens has prompted an increase in interest in the fields of 2D and 3D holography. Already applied in fields including telecommunications, imaging, projection, lithography, beam shaping and optical tweezing, Computer Generated Holography (CGH) offers an exciting approach to a wide range of light shaping problems. The numerical processing required to generate a hologram is high and requires significant domain expertise. This has historically slowed the adoption of holographic techniques in emerging fields. In this paper we present HoloGen, an open-source Cuda C and C ++ framework for computer generated holography. HoloGen unites, for the first time, a wide array of existing hologram generation algorithms with state of the art performance while attempting to remain intuitive and easy to use. This is enabled by a C # and Windows Presentation Framework (WPF) graphical user interface (GUI). A novel reflection based parameter hierarchy is used to ensure ease of modification. Extensive use of C ++ templates based on the Standard Template Library (STL), compile time flexibility is preserved while maintaining runtime performance. The current release of HoloGen unites implementations of well known generation algorithms including Gerchberg-Saxton (GS), Liu-Taghizadeh (LT), Direct Search (DS), Simulated Annealing (SA) and One-Step Phase-Retrieval (OSPR) with less known specialist variants including Weighted GS and Adaptive OSPR. Benchmarking results are presented for several key algorithms. The software is freely available under an MIT license.


title: Direct Imaging and Electronic Structure Modulation of Moir\'e Superlattices at the 2D/3D Interface

abstract: The atomic structure at the interface between two-dimensional (2D) and three-dimensional (3D) materials influences properties such as contact resistance, photo-response, and high-frequency electrical performance. Moir\'e engineering is yet to be utilized for tailoring this 2D/3D interface, despite its success in enabling correlated physics at 2D/2D interfaces. Using epitaxially aligned MoS2/Au{111} as a model system, we demonstrate the use of advanced scanning transmission electron microscopy (STEM) combined with a geometric convolution technique in imaging the crystallographic 32 A moir\'e pattern at the 2D/3D interface. This moir\'e period is often hidden in conventional electron microscopy, where the Au structure is seen in projection. We show, via ab initio electronic structure calculations, that charge density is modulated according to the moir\'e period, illustrating the potential for (opto-)electronic moir\'e engineering at the 2D/3D interface. Our work presents a general pathway to directly image periodic modulation at interfaces using this combination of emerging microscopy techniques.


title: Hybrid static potentials in SU(2) lattice gauge theory at short quark-antiquark separations

abstract: We compute hybrid static potentials in SU(2) lattice gauge theory using a multilevel algorithm and three different small lattice spacings. The resulting static potentials, which are valid for quark-antiquark separations as small as 0.05 fm, are important e.g. when computing masses of heavy hybrid mesons in the Born-Oppenheimer approximation. We also discuss and exclude possible systematic errors from topological freezing, the finite lattice volume and glueball decays.


title: Large monochromatic components in almost complete graphs and bipartite graphs

abstract: Gy\'arfas proved that every coloring of the edges of $K_n$ with $t+1$ colors contains a monochromatic connected component of size at least $n/t$. Later, Gy\'arf\'as and S\'ark\"ozy asked for which values of $\gamma=\gamma(t)$ does the following strengthening for almost complete graphs hold: if $G$ is an $n$-vertex graph with minimum degree at least $(1-\gamma)n$, then every $(t+1)$-edge coloring of $G$ contains a monochromatic component of size at least $n/t$. We show $\gamma = 1/(6t^3)$ suffices, improving a result of DeBiasio, Krueger, and S\'ark\"ozy.


title: Length- and Noise-aware Training Techniques for Short-utterance Speaker Recognition

abstract: Speaker recognition performance has been greatly improved with the emergence of deep learning. Deep neural networks show the capacity to effectively deal with impacts of noise and reverberation, making them attractive to far-field speaker recognition systems. The x-vector framework is a popular choice for generating speaker embeddings in recent literature due to its robust training mechanism and excellent performance in various test sets. In this paper, we start with early work on including invariant representation learning (IRL) to the loss function and modify the approach with centroid alignment (CA) and length variability cost (LVC) techniques to further improve robustness in noisy, far-field applications. This work mainly focuses on improvements for short-duration test utterances (1-8s). We also present improved results on long-duration tasks. In addition, this work discusses a novel self-attention mechanism. On the VOiCES far-field corpus, the combination of the proposed techniques achieves relative improvements of 7.0% for extremely short and 8.2% for full-duration test utterances on equal error rate (EER) over our baseline system.


title: Analysis of English free association network reveals mechanisms of efficient solution of Remote Association Tests

abstract: We study correlations between the structure and properties of a free association network of the English language, and solutions of psycholinguistic Remote Association Tests (RATs). We show that average hardness of individual RATs is largely determined by relative positions of test words (stimuli and response) on the free association network. We argue that the solution of RATs can be interpreted as a first passage search problem on a network whose vertices are words and links are associations between words. We propose different heuristic search algorithms and demonstrate that in "easily-solving" RATs (those that are solved in 15 seconds by more than 64\% subjects) the solution is governed by "strong" network links (i.e. strong associations) directly connecting stimuli and response, and thus the efficient strategy consist in activating such strong links. In turn, the most efficient mechanism of solving medium and hard RATs consists of preferentially following sequence of "moderately weak" associations.


title: Multi-frequency Data Parallel Spin Wave Logic Gates

abstract: By their very nature, Spin Waves (SWs) with different frequencies can propagate through the same waveguide without affecting each other, while only interfering with their own species. Therefore, more SW encoded data sets can coexist, propagate, and interact in parallel, which opens the road towards hardware replication free parallel data processing. In this paper, we take advantage of these features and propose a novel data parallel spin wave based computing approach. To explain and validate the proposed concept, byte-wide 2-input XOR and 3-input Majority gates are implemented and validated by means of Object Oriented MicroMagnetic Framework (OOMMF) simulations. Furthermore, we introduce an optimization algorithm meant to minimize the area overhead associated with multifrequency operation and demonstrate that it diminishes the byte-wide gate area by 30% and 41% for XOR and Majority implementations, respectively. To get inside on the practical implications of our proposal we compare the byte-wide gates with conventional functionally equivalent scalar SW gate based implementations in terms of area, delay, and power consumption. Our results indicate that the area optimized 8-bit 2-input XOR and 3-input Majority gates require 4.47x and 4.16x less area, respectively, at the expense of 5% and 7% delay increase, respectively, without inducing any power consumption overhead. Finally, we discuss factors that are limiting the currently achievable parallelism to 8 for phase based gate output detection and demonstrate by means of OOMMF simulations that this can be increased 16 for threshold based detection based gates.


title: Nutation Resonance in Ferromagnets

abstract: The inertial dynamics of magnetization in a ferromagnet is investigated theoretically. The analytically derived dynamic response upon microwave excitation shows two peaks: ferromagnetic and nutation resonances. The exact analytical expressions of frequency and linewidth of the magnetic nutation resonance are deduced from the frequency dependent susceptibility determined by the inertial Landau-Lifshitz-Gilbert equation. The study shows that the dependence of nutation linewidth on the Gilbert precession damping has a minimum, which becomes more expressive with increase of the applied magnetic field.


title: A degree sequence strengthening of the vertex degree threshold for a perfect matching in 3-uniform hypergraphs

abstract: The study of asymptotic minimum degree thresholds that force matchings and tilings in hypergraphs is a lively area of research in combinatorics. A key breakthrough in this area was a result of H\`{a}n, Person and Schacht who proved that the asymptotic minimum vertex degree threshold for a perfect matching in an $n$-vertex $3$-graph is $\left(\frac{5}{9}+o(1)\right)\binom{n}{2}$. In this paper we improve on this result, giving a family of degree sequence results, all of which imply the result of H\`{a}n, Person and Schacht, and additionally allow one third of the vertices to have degree $\frac{1}{9}\binom{n}{2}$ below this threshold. Furthermore, we show that this result is, in some sense, tight.


title: Conformal window from conformal expansion

abstract: We study the conformal window of asymptotically free gauge theories containing $N_f$ flavors of fermion matter transforming to the vector and two-index representations of $SO(N),~SU(N)$ and $Sp(2N)$ gauge groups. For $SO(N)$ we also consider the spinorial representation. We determine the critical number of flavors $N_f^{\rm cr}$, corresponding to the lower end of the conformal window, by using the conjectured critical condition on the anomalous dimension of the fermion bilinear at an infrared fixed point, $\gamma_{\bar{\psi}\psi}=1$ or equivalently $\gamma_{\bar{\psi}\psi}(2-\gamma_{\bar{\psi}\psi})=1$. To compute the anomalous dimension we employ the Banks-Zaks conformal expansion up to the $4$th order in $\Delta_{N_f}=N_f^{\rm AF}-N_f$ with $N_f^{\rm AF}$ denoting the onset of the loss of asymptotic freedom, where we show that the latter critical condition provides a better performance along with this conformal expansion. To quantify the uncertainties in our analysis, which potentially originate from nonperturbative effects, we propose two distinct approaches by assuming the large order behavior of the conformal expansion separately, either convergent or divergent asymptotic. In the former case, we take the difference in the Pad\'e approximants to the two definitions of the critical condition, whereas in the latter case the truncation error associated with the singularity in the Borel plane is taken into account. Our results are further compared to other analytical methods as well as lattice results available in the literature. In particular, we find that $SU(2)$ with six and $SU(3)$ with ten fundamental flavors are likely on the lower edge of the conformal window, which are consistent with the recent lattice results. We also predict that $Sp(4)$ theories with fundamental and antisymmetric fermions have the critical numbers of flavors, approximately ten and five, respectively.


title: Understanding and Detecting Convergence for Stochastic Gradient Descent with Momentum

abstract: Convergence detection of iterative stochastic optimization methods is of great practical interest. This paper considers stochastic gradient descent (SGD) with a constant learning rate and momentum. We show that there exists a transient phase in which iterates move towards a region of interest, and a stationary phase in which iterates remain bounded in that region around a minimum point. We construct a statistical diagnostic test for convergence to the stationary phase using the inner product between successive gradients and demonstrate that the proposed diagnostic works well. We theoretically and empirically characterize how momentum can affect the test statistic of the diagnostic, and how the test statistic captures a relatively sparse signal within the gradients in convergence. Finally, we demonstrate an application to automatically tune the learning rate by reducing it each time stationarity is detected, and show the procedure is robust to mis-specified initial rates.


title: Development of a biomechanical motion sensorimotor platform for enhanced locomotion under microgravity conditions

abstract: For humans accustomed to 1-G environments on Earth, microgravity conditions in orbit and on celestial bodies with lower gravitational field, such as the Moon, can be physiologically compromising. Of these, motor and fine-dexterity tasks involving the extremities, particularly in locomotion, grasp and release, are influenced becoming delayed and placing greater force demands. The authors hereby propose incorporating this same technological innovation into loading suits designed for use in orbit or celestial environment. Current prosthetic systems use electromyography (EMG)-based techniques for creating functional sensorimotor platforms. This model sustains a sensorimotor platform for prosthesis users. However, several limitations in practical use and signal detection have been identified in these systems. Accelerometer-based sensorimotor systems have been suggested to overcome these limitations but only proof-of-concept has been demonstrated. Our group previously suggested the combined application of prosthetic accelerometers in loading suits and EMGs for input signal detection, quantification, and predictive output modelling necessary for improved motion adjustments under microgravity conditions. It is anticipated this technology can enhance tasks such as repairs or construction or perhaps in recreational design when considering commercial and private human access to space. The incorporation of a prosthetic biomechanical sensorimotor system in loading suits to enhance locomotion under microgravity conditions are conceivable; however, demonstration of a proof-of-concept is required before implementation.


title: The complexity of L(p,q)-Edge-Labelling

abstract: We consider the L(p,q)-Edge-Labelling problem, which is the edge variant of the well-known L(p,q)-Labelling problem. So far, the complexity of this problem was only partially classified. We complete this study for all nonnegative p and q, by showing that, whenever (p,q) is not (0,0), L(p,q)-Edge-Labelling problem is NP-complete. We do this by proving that for all nonnegative p and q, except p=q=0, there exists an integer k so that L(p,q)-Edge-k-Labelling is NP-complete.


title: Particle-hole asymmetric lifetimes promoted by spin and orbital fluctuations in SrVO$_3$ monolayers

abstract: The two-dimensional nature of engineered transition-metal ultra-thin oxide films offers a large playground of yet to be fully understood physics. Here, we study pristine SrVO$_3$ monolayers that have recently been predicted to display a variety of magnetic and orbital orders. Above all ordering temperatures, we find that the associated non-local fluctuations lead to a momentum differentiation in the self-energy, particularly in the scattering rate. In the one-band 2D Hubbard model, momentum-selectivity on the Fermi surface ("$k=k_F$") is known to lead to pseudogap physics. Here instead, in the multi-orbital case, we evidence a differentiation between momenta on the occupied ("$k<k_F$") and the unoccupied side ("$k>k_F$") of the Fermi surface. Our work, based on the dynamical vertex approximation, complements the understanding of spectral signatures of non-local fluctuations, calls to (re)examine other ultra-thin oxide films and interfaces with methods beyond dynamical mean-field theory, and may point to correlation-enhanced thermoelectric effects.


title: Towards General and Autonomous Learning of Core Skills: A Case Study in Locomotion

abstract: Modern Reinforcement Learning (RL) algorithms promise to solve difficult motor control problems directly from raw sensory inputs. Their attraction is due in part to the fact that they can represent a general class of methods that allow to learn a solution with a reasonably set reward and minimal prior knowledge, even in situations where it is difficult or expensive for a human expert. For RL to truly make good on this promise, however, we need algorithms and learning setups that can work across a broad range of problems with minimal problem specific adjustments or engineering. In this paper, we study this idea of generality in the locomotion domain. We develop a learning framework that can learn sophisticated locomotion behavior for a wide spectrum of legged robots, such as bipeds, tripeds, quadrupeds and hexapods, including wheeled variants. Our learning framework relies on a data-efficient, off-policy multi-task RL algorithm and a small set of reward functions that are semantically identical across robots. To underline the general applicability of the method, we keep the hyper-parameter settings and reward definitions constant across experiments and rely exclusively on on-board sensing. For nine different types of robots, including a real-world quadruped robot, we demonstrate that the same algorithm can rapidly learn diverse and reusable locomotion skills without any platform specific adjustments or additional instrumentation of the learning setup.


title: Development and Analysis of Digging and Soil Removing Mechanisms for Mole-Bot: Bio-Inspired Mole-Like Drilling Robot

abstract: Interests in exploration of new energy resources are increasing due to the exhaustion of existing resources. To explore new energy sources, various studies have been conducted to improve the drilling performance of drilling equipment for deep and strong ground. However, with better performance, the modern drilling equipment is bulky and, furthermore, has become inconvenient in both installation and operation, for it takes complex procedures for complex terrains. Moreover, environmental issues are also a concern because of the excessive use of mud and slurry to remove excavated soil. To overcome these limitations, a mechanism that combines an expandable drill bit and link structure to simulate the function of the teeth and forelimbs of a mole is proposed. In this paper, the proposed expandable drill bit simplifies the complexity and high number of degrees of freedom of the animal head. In addition, a debris removal mechanism mimicking a shoulder structure and forefoot movement is proposed. For efficient debris removal, the proposed mechanism enables the simultaneous rotation and expanding/folding motions of the drill bit by using a single actuator. The performance of the proposed system is evaluated by dynamic simulations and experiments.


title: Quantum Cooperative Robotics and Autonomy

abstract: The intersection of Quantum Technologies and Robotics Autonomy is explored in the present paper. The two areas are brought together in establishing an interdisciplinary interface that contributes to advancing the field of system autonomy, and pushes the engineering boundaries beyond the existing techniques. The present research adopts the experimental aspects of quantum entanglement and quantum cryptography, and integrates these established quantum capabilities into distributed robotic platforms, to explore the possibility of achieving increased autonomy for the control of multi-agent robotic systems engaged in cooperative tasks. Experimental quantum capabilities are realized by producing single photons (using spontaneous parametric down-conversion process), polarization of photons, detecting vertical and horizontal polarizations, and single photon detecting/counting. Specifically, such quantum aspects are implemented on network of classical agents, i.e., classical aerial and ground robots/unmanned systems. With respect to classical systems for robotic applications, leveraging quantum technology is expected to lead to guaranteed security, very fast control and communication, and unparalleled quantum capabilities such as entanglement and quantum superposition that will enable novel applications.


title: Searching for Dark Matter with a Superconducting Qubit

abstract: Detection mechanisms for low mass bosonic dark matter candidates, such the axion or hidden photon, leverage potential interactions with electromagnetic fields, whereby the dark matter (of unknown mass) on rare occasion converts into a single photon. Current dark matter searches operating at microwave frequencies use a resonant cavity to coherently accumulate the field sourced by the dark matter and a near standard quantum limited (SQL) linear amplifier to read out the cavity signal. To further increase sensitivity to the dark matter signal, sub-SQL detection techniques are required. Here we report the development of a novel microwave photon counting technique and a new exclusion limit on hidden photon dark matter. We operate a superconducting qubit to make repeated quantum non-demolition measurements of cavity photons and apply a hidden Markov model analysis to reduce the noise to 15.7 dB below the quantum limit, with overall detector performance limited by a residual background of real photons. With the present device, we perform a hidden photon search and constrain the kinetic mixing angle to $\epsilon \leq 1.68 \times 10^{-15}$ in a band around 6.011 GHz (24.86 $\mu$eV) with an integration time of 8.33 s. This demonstrated noise reduction technique enables future dark matter searches to be sped up by a factor of 1300. By coupling a qubit to an arbitrary quantum sensor, more general sub-SQL metrology is possible with the techniques presented in this work.


title: On diagonal equations over finite fields

abstract: Let $\mathbb{F}_q$ be a finite field with $q=p^t$ elements. In this paper, we study the number of solutions of equations of the form $a_1 x_1^{d_1}+\dots+a_s x_s^{d_s}=b$ over $\mathbb{F}_q$. A classic well-konwn result from Weil yields a bound for such number of solutions. In our main result we give an explicit formula for the number of solutions for diagonal equations satisfying certain natural restrictions on the exponents. In the case $d_1=\dots=d_s$, we present necessary and sufficient conditions for the number of solutions of a diagonal equation being maximal and minimal with respect to Weil's bound. In particular, we completely characterize maximal and minimal Fermat type curves.


title: Exploring British Accents: Modelling the Trap-Bath Split with Functional Data Analysis

abstract: The sound of our speech is influenced by the places we come from. Great Britain contains a wide variety of distinctive accents which are of interest to linguistics. In particular, the "a" vowel in words like "class" is pronounced differently in the North and the South. Speech recordings of this vowel can be represented as formant curves or as Mel-frequency cepstral coefficient curves. Functional data analysis and generalized additive models offer techniques to model the variation in these curves. Our first aim is to model the difference between typical Northern and Southern vowels /ae/ and /a/, by training two classifiers on the North-South Class Vowels dataset collected for this paper (Koshy 2020). Our second aim is to visualize geographical variation of accents in Great Britain. For this we use speech recordings from a second dataset, the British National Corpus (BNC) audio edition (Coleman et al. 2012). The trained models are used to predict the accent of speakers in the BNC, and then we model the geographical patterns in these predictions using a soap film smoother. This work demonstrates a flexible and interpretable approach to modeling phonetic accent variation in speech recordings.


title: The Advantage Regret-Matching Actor-Critic

abstract: Regret minimization has played a key role in online learning, equilibrium computation in games, and reinforcement learning (RL). In this paper, we describe a general model-free RL method for no-regret learning based on repeated reconsideration of past behavior. We propose a model-free RL algorithm, the AdvantageRegret-Matching Actor-Critic (ARMAC): rather than saving past state-action data, ARMAC saves a buffer of past policies, replaying through them to reconstruct hindsight assessments of past behavior. These retrospective value estimates are used to predict conditional advantages which, combined with regret matching, produces a new policy. In particular, ARMAC learns from sampled trajectories in a centralized training setting, without requiring the application of importance sampling commonly used in Monte Carlo counterfactual regret (CFR) minimization; hence, it does not suffer from excessive variance in large environments. In the single-agent setting, ARMAC shows an interesting form of exploration by keeping past policies intact. In the multiagent setting, ARMAC in self-play approaches Nash equilibria on some partially-observable zero-sum benchmarks. We provide exploitability estimates in the significantly larger game of betting-abstracted no-limit Texas Hold'em.


title: Forming better stable solutions in Group Formation Games inspired by Internet Exchange Points (IXPs)

abstract: We study a coordination game motivated by the formation of Internet Exchange Points (IXPs), in which agents choose which facilities to join. Joining the same facility as other agents you communicate with has benefits, but different facilities have different costs for each agent. Thus, the players wish to join the same facilities as their "friends", but this is balanced by them not wanting to pay the cost of joining a facility. We first show that the Price of Stability ($PoS$) of this game is at most 2, and more generally there always exists an $\alpha$-approximate equilibrium with cost at most $\frac{2}{\alpha}$ of optimum. We then focus on how better stable solutions can be formed. If we allow agents to pay their neighbors to prevent them from deviating (i.e., a player $i$ voluntarily pays another player $j$ so that $j$ joins the same facility), then we provide a payment scheme which stabilizes the solution with minimum social cost $s^*$, i.e. PoS is 1. In our main technical result, we consider how much a central coordinator would have to pay the players in order to form good stable solutions. Let $\Delta$ denote the total amount of payments needed to be paid to the players in order to stabilize $s^*$, i.e., these are payments that a player would lose if they changed their strategy from the one in $s^*$. We prove that there is a tradeoff between $\Delta$ and the Price of Stability: $\frac{\Delta}{cost(s^*)} \le 1 - \frac{2}{5} PoS$. Thus when there are no good stable solutions, only a small amount of extra payment is needed to stabilize $s^*$; and when good stable solutions already exist (i.e., $PoS$ is small), then we should be happy with those solutions instead. Finally, we consider the computational complexity of finding the optimum solution $s^*$, and design a polynomial time $O(\log n)$ approximation algorithm for this problem.


title: Scaled minimax optimality in high-dimensional linear regression: A non-convex algorithmic regularization approach

abstract: The question of fast convergence in the classical problem of high dimensional linear regression has been extensively studied. Arguably, one of the fastest procedures in practice is Iterative Hard Thresholding (IHT). Still, IHT relies strongly on the knowledge of the true sparsity parameter $s$. In this paper, we present a novel fast procedure for estimation in the high dimensional linear regression. Taking advantage of the interplay between estimation, support recovery and optimization we achieve both optimal statistical accuracy and fast convergence. The main advantage of our procedure is that it is fully adaptive, making it more practical than state of the art IHT methods. Our procedure achieves optimal statistical accuracy faster than, for instance, classical algorithms for the Lasso. Moreover, we establish sharp optimal results for both estimation and support recovery. As a consequence, we present a new iterative hard thresholding algorithm for high dimensional linear regression that is scaled minimax optimal (achieves the estimation error of the oracle that knows the sparsity pattern if possible), fast and adaptive.


title: Spectral Planting and the Hardness of Refuting Cuts, Colorability, and Communities in Random Graphs

abstract: We study the problem of efficiently refuting the k-colorability of a graph, or equivalently certifying a lower bound on its chromatic number. We give formal evidence of average-case computational hardness for this problem in sparse random regular graphs, showing optimality of a simple spectral certificate. This evidence takes the form of a computationally-quiet planting: we construct a distribution of d-regular graphs that has significantly smaller chromatic number than a typical regular graph drawn uniformly at random, while providing evidence that these two distributions are indistinguishable by a large class of algorithms. We generalize our results to the more general problem of certifying an upper bound on the maximum k-cut. This quiet planting is achieved by minimizing the effect of the planted structure (e.g. colorings or cuts) on the graph spectrum. Specifically, the planted structure corresponds exactly to eigenvectors of the adjacency matrix. This avoids the pushout effect of random matrix theory, and delays the point at which the planting becomes visible in the spectrum or local statistics. To illustrate this further, we give similar results for a Gaussian analogue of this problem: a quiet version of the spiked model, where we plant an eigenspace rather than adding a generic low-rank perturbation. Our evidence for computational hardness of distinguishing two distributions is based on three different heuristics: stability of belief propagation, the local statistics hierarchy, and the low-degree likelihood ratio. Of independent interest, our results include general-purpose bounds on the low-degree likelihood ratio for multi-spiked matrix models, and an improved low-degree analysis of the stochastic block model.


title: Multiscale Dynamic Human Mobility Flow Dataset in the U.S. during the COVID-19 Epidemic

abstract: Understanding dynamic human mobility changes and spatial interaction patterns at different geographic scales is crucial for assessing the impacts of non-pharmaceutical interventions (such as stay-at-home orders) during the COVID-19 pandemic. In this data descriptor, we introduce a regularly-updated multiscale dynamic human mobility flow dataset across the United States, with data starting from March 1st, 2020. By analyzing millions of anonymous mobile phone users' visits to various places provided by SafeGraph, the daily and weekly dynamic origin-to-destination (O-D) population flows are computed, aggregated, and inferred at three geographic scales: census tract, county, and state. There is high correlation between our mobility flow dataset and openly available data sources, which shows the reliability of the produced data. Such a high spatiotemporal resolution human mobility flow dataset at different geographic scales over time may help monitor epidemic spreading dynamics, inform public health policy, and deepen our understanding of human behavior changes under the unprecedented public health crisis. This up-to-date O-D flow open data can support many other social sensing and transportation applications.


title: A combinatorial approach to Donkin-Koppinen filtrations of general linear supergroups

abstract: For a general linear supergroup $G=GL(m|n)$, we consider a natural isomorphism $\phi: G \to U^-\times G_{ev} \times U^+$, where $G_{ev}$ is the even subsupergroup of $G$, and $U^-$, $U^+$ are appropriate odd unipotent subsupergroups of $G$. We compute the action of odd superderivations on the images $\phi^*(x_{ij})$ of the generators of $K[G]$. We describe a specific ordering of the dominant weights $X(T)^+$ of $GL(m|n)$ for which there exists a Donkin-Koppinen filtration of the coordinate algebra $K[G]$. Let $\Gamma$ be a finitely generated ideal $\Gamma$ of $X(T)^+$ and $O_{\Gamma}(K[G])$ be the largest $\Gamma$-subsupermodule of $K[G]$ having simple composition factors of highest weights $\lambda\in \Gamma$. We apply combinatorial techniques, using generalized bideterminants, to determine a basis of $G$-superbimodules appearing in Donkin-Koppinen filtration of $O_{\Gamma}(K[G])$.


title: Luminous Blue Variable candidates in M31

abstract: We study five Luminous Blue Variable (LBV) candidates in the Andromeda galaxy and one more (MN112) in the Milky Way. We obtain the same-epoch near-infrared (NIR) and optical spectra on the 3.5-meter telescope at the Apache Point Observatory and on the 6-meter telescope of the SAO RAS. The candidates show typical LBV features in their spectra: broad and strong hydrogen lines, HeI, FeII, and [FeII] lines. We estimate the temperatures, reddening, radii and luminosities of the stars using their spectral energy distributions. Bolometric luminosities of the candidates are similar to those of known LBV stars in the Andromeda galaxy. One candidate, J004341.84+411112.0, demonstrates photometric variability (about 0.27 mag in V band), which allows us to classify it as a LBV. The star J004415.04+420156.2 shows characteristics typical for B[e]-supergiants. The star J004411.36+413257.2 is classified as FeII star. We confirm that the stars J004621.08+421308.2 and J004507.65+413740.8 are warm hypergiants. We for the first time obtain NIR spectrum of the Galactic LBV candidate MN112. We use both optical and NIR spectra of MN112 for comparison with similar stars in M31 and notice identical spectra and the same temperature in the J004341.84+411112.0. This allows us to confirm that MN112 is a LBV, which should show its brightness variability in longer time span observations.


title: Nonmagnetic ground state, Crystal field effects and Heavy-fermion behaviour in the Remeika Phase: Pr$_3$Ir$_4$Ge$_{13}$

abstract: We report the magnetic, electronic and transport properties of the quasi-skutterudite compound Pr$_3$Ir$_4$Ge$_{13}$ by means of magnetic susceptibility $\chi(T)$, electrical resistivity $\rho(T)$, specific heat $C_p(T)$, thermal conductivity $\kappa(T)$, thermoelectric power $S(T)$ and Hall coefficient $R_\mathrm{H}(T)$ measurements. Pr$_3$Ir$_4$Ge$_{13}$ does not show any phase transition down to 1.9 K. Magnetic, and specific measurements show that the system possesses a crystal electric field singlet ground state that is separated from the first excited state by about 37 K. $\rho(T)$ shows a negative temperature coefficient of resistance for the whole temperature range studied and which can be explained in terms of Mott's impurity band conduction mechanism. $R_\mathrm{H}(T)$ measurements show that Pr$_3$Ir$_4$Ge$_{13}$ is a low-carrier density semimetal and its transport properties indicate a metallic-non metallic cross over behaviour. Large Seebeck values were observed for the entire temperature range of investigation, and the analysis of temperature variation of $S$ and $S/T$ showed no sign of strong correlation between the Pr 4$f^2$ and conduction electron states near Fermi level. A large Sommerfeld coefficient, $\gamma = 150$~mJ/(mol K$^2$) indicates the formation of a moderate heavy-fermion state emerging from the dynamical crystal field fluctuations.


title: On the profile of trees with a given degree sequence

abstract: A degree sequence is a sequence ${\bf s}=(N_i,i\geq 0)$ of non-negative integers satisfying $1+\sum_i iN_i=\sum_i N_i<\infty$. We are interested in the uniform distribution $\mathbb{P}_{{\bf s}}$ on rooted plane trees whose degree sequence equals ${\bf s}$, giving conditions for the convergence of the profile (sequence of generation sizes) as the size of the tree goes to infinity. This provides a more general formulation and a probabilistic proof of a conjecture due to Aldous (1991). Our formulation contains and extends results in this direction obtained previously by Drmota and Gittenberger (1997) and Kersting (2011). A technical result is needed to ensure that trees with law $\mathbb{P}_{{\bf s}}$ have enough individuals in the first generations, and this is handled through novel path transformations and fluctuation theory of exchangeable increment processes. As a consequence, we obtain a boundedness criterion for the inhomogeneous continuum random tree introduced by Aldous, Miermont and Pitman (2004).


title: A transprecision floating-point cluster for efficient near-sensor data analytics

abstract: Recent applications in the domain of near-sensor computing require the adoption of floating-point arithmetic to reconcile high precision results with a wide dynamic range. In this paper, we propose a multi-core computing cluster that leverages the fined-grained tunable principles of transprecision computing to provide support to near-sensor applications at a minimum power budget. Our design - based on the open-source RISC-V architecture - combines parallelization and sub-word vectorization with near-threshold operation, leading to a highly scalable and versatile system. We perform an exhaustive exploration of the design space of the transprecision cluster on a cycle-accurate FPGA emulator, with the aim to identify the most efficient configurations in terms of performance, energy efficiency, and area efficiency. We also provide a full-fledged software stack support, including a parallel runtime and a compilation toolchain, to enable the development of end-to-end applications. We perform an experimental assessment of our design on a set of benchmarks representative of the near-sensor processing domain, complementing the timing results with a post place-&-route analysis of the power consumption. Finally, a comparison with the state-of-the-art shows that our solution outperforms the competitors in energy efficiency, reaching a peak of 97 Gflop/s/W on single-precision scalars and 162 Gflop/s/W on half-precision vectors.


title: Deflection angle of a light ray reflected by a general marginally unstable photon sphere in a strong deflection limit

abstract: We investigate the deflection angle in a strong deflection limit for a marginally unstable photon sphere in a general asymptotically flat, static and spherically symmetric spacetime under some assumptions to calculate observables. The deflection angle of a light ray reflected by the marginally unstable photon sphere diverges nonlogarithmically while the one reflected by a photon sphere diverges logarithmically. We apply our formula to a Reissner-Nordstrom spacetime and Hayward spacetime.


title: Focused linearly-polarized light scattering from a silver nanowire: Experimental characterization of optical spin-Hall effect

abstract: Spin-orbit interactions (SOI) are a set of sub-wavelength optical phenomenon in which spin and spatial degrees of freedom of light are intrinsically coupled. One of the unique example of SOI, spin-Hall effect of light (SHEL) has been an area of extensive research with potential applications in spin controlled photonic devices as well as emerging fields of spinoptics and spintronics. Here, we report our experimental study on SHEL due to forward scattering of focused linearly polarized Gaussian and Hermite-Gaussian ($\textrm{HG}_{10}$) beams from a silver nanowire (AgNW). Spin dependent anti-symmetric intensity patterns are obtained when the polarization of the scattered light is analysed. The corresponding spin-Hall signal is obtained by computing the far-field longitudinal spin density ($s_3$). Furthermore, by comparing the $s_3$ distributions, significant enhancement of the spin-Hall signal is found for $\textrm{HG}_{10}$ beam compared to Gaussian beam. The investigation of the optical fields at the focal plane of the objective lens reveals the generation of longitudinally spinning fields as the primary reason for the effects. The experimental results are corroborated by 3-dimensional numerical simulations. The results lead to better understanding of SOI and can have direct implications on chip-scale spin assisted photonic devices.


title: Sum Rate Maximization for Intelligent Reflecting Surface Assisted Terahertz Communications

abstract: In this paper, an intelligent reflecting surface (IRS) is deployed to assist the terahertz (THz) communications. The molecular absorption causes path loss peaks to appear in the THz frequency band, and the fading peak is greatly affected by the transmission distance. In this paper, we aim to maximize the sum rate with individual rate constraints, in which the IRS location, IRS phase shift, the allocation of sub-bands of the THz spectrum, and power control for UEs are jointly optimized. For the special case of a single user equipment (UE) with a single sub-band, the globally optimal solution is provided. For the general case with multiple UEs, the block coordinate searching (BCS) based algorithm is proposed to solve the non-convex problem. Simulation results show that the proposed scheme can significantly enhance system performance.


title: Bracketing brackets with bras and kets

abstract: Brackets are an essential component in aircraft manufacture and design, joining parts together, supporting weight, holding wires, and strengthening joints. Hundreds or thousands of unique brackets are used in every aircraft, but manufacturing a large number of distinct brackets is inefficient and expensive. Fortunately, many so-called "different" brackets are in fact very similar or even identical to each other. In this manuscript, we present a data-driven framework for constructing a comparatively small group of representative brackets from a large catalog of current brackets, based on hierarchical clustering of bracket data. We find that for a modern commercial aircraft, the full set of brackets can be reduced by 30\% while still describing half of the test set sufficiently accurately. This approach is based on designing an inner product that quantifies a multi-objective similarity between two brackets, which are the "bra" and the "ket" of the inner product. Although we demonstrate this algorithm to reduce the number of brackets in aerospace manufacturing, it may be generally applied to any large-scale component standardization effort.


title: A Survey on Reinforcement Learning for Combinatorial Optimization

abstract: This paper gives a detailed review of reinforcement learning (RL) in combinatorial optimization, introduces the history of combinatorial optimization starting in the 1950s, and compares it with the RL algorithms of recent years. This paper explicitly looks at a famous combinatorial problem-traveling salesperson problem (TSP). It compares the approach of modern RL algorithms for the TSP with an approach published in the 1970s. By comparing the similarities and variances between these methodologies, the paper demonstrates how RL algorithms are optimized due to the evolution of machine learning techniques and computing power. The paper then briefly introduces the deep learning approach to the TSP named deep RL, which is an extension of the traditional mathematical framework. In deep RL, attention and feature encoding mechanisms are introduced to generate near-optimal solutions. The survey shows that integrating the deep learning mechanism, such as attention with RL, can effectively approximate the TSP. The paper also argues that deep learning could be a generic approach that can be integrated with any traditional RL algorithm to enhance the outcomes of the TSP.


title: PIGNet: A physics-informed deep learning model toward generalized drug-target interaction predictions

abstract: Recently, deep neural network (DNN)-based drug-target interaction (DTI) models were highlighted for their high accuracy with affordable computational costs. Yet, the models' insufficient generalization remains a challenging problem in the practice of in-silico drug discovery. We propose two key strategies to enhance generalization in the DTI model. The first is to predict the atom-atom pairwise interactions via physics-informed equations parameterized with neural networks and provides the total binding affinity of a protein-ligand complex as their sum. We further improved the model generalization by augmenting a broader range of binding poses and ligands to training data. We validated our model, PIGNet, in the comparative assessment of scoring functions (CASF) 2016, demonstrating the outperforming docking and screening powers than previous methods. Our physics-informing strategy also enables the interpretation of predicted affinities by visualizing the contribution of ligand substructures, providing insights for further ligand optimization.


title: Efficient classical simulation and benchmarking of quantum processes in the Weyl basis

abstract: One of the crucial steps in building a scalable quantum computer is to identify the noise sources which lead to errors in the process of quantum evolution. Different implementations come with multiple hardware-dependent sources of noise and decoherence making the problem of their detection manyfoldly more complex. We develop a randomized benchmarking algorithm which uses Weyl unitaries to efficiently identify and learn a mixture of error models which occur during the computation. We provide an efficiently computable estimate of the overhead required to compute expectation values on outputs of the noisy circuit relying only on locality of the interactions and no further assumptions on the circuit structure. The overhead decreases with the noise rate and this enables us to compute analytic noise bounds that imply efficient classical simulability. We apply our methods to ansatz circuits that appear in the Variational Quantum Eigensolver and establish an upper bound on classical simulation complexity as a function of noise, identifying regimes when they become classically efficiently simulatable.


title: Particle Production by a Relativistic Semi-Transparent Mirror in 1+3D Minkowski Spacetime

abstract: Production of scalar particles by a relativistic, semi-transparent mirror in 1+3D Minkowski spacetime based on the Barton-Calogeracos (BC) action is investigated. The corresponding Bogoliubov coefficients are derived for a mirror with arbitrary trajectory. In particular, we apply our derived formula to the gravitational collapse trajectory. In addition, we identify the relation between the particle spectrum and the particle production probability, and we demonstrate the equivalence between our approach and the existing approach in the literature, which is restricted to 1+1D. In short, our treatment extends the study to 1+3D spacetime. Lastly, we offer a third approach for finding the particle spectrum using the S-matrix formalism.


title: Constructing Solvable Models of Vector Non-linear Schrodinger Equation with Balanced Loss and Gain via Non-unitary transformation

abstract: We consider vector Non-linear Schrodinger Equation(NLSE) with balanced loss-gain(BLG), linear coupling(LC) and a general form of cubic nonlinearity. We use a non-unitary transformation to show that the system can be exactly mapped to the same equation without the BLG and LC, and with a modified time-modulated nonlinear interaction. The nonlinear term remains invariant, while BLG and LC are removed completely, for the special case of a pseudo-unitary transformation. The mapping is generic and may be used to construct exactly solvable autonomous as well as non-autonomous vector NLSE with BLG. We present an exactly solvable two-component vector NLSE with BLG which exhibits power-oscillation. An example of a vector NLSE with BLG and arbitrary even number of components is also presented.

categories: nlin.SI hep-th math-ph math.MP physics.optics


title: Uncertainty Quantification of Trajectory Clustering Applied to Ocean Ensemble Forecasts

abstract: Partitioning ocean flows into regions dynamically distinct from their surroundings based on material transport can assist search-and-rescue planning by reducing the search domain. The spectral clustering method partitions the domain by identifying fluid particle trajectories that are similar. The partitioning validity depends on the accuracy of the ocean forecasting, which is subject to several sources of uncertainty: model initialization, limited knowledge of the physical processes, boundary conditions, and forcing terms. Instead of a single model output, multiple realizations are produced spanning a range of potential outcomes, and trajectory clustering is used to identify robust features and quantify the uncertainty of the ensemble-averaged results. First, ensemble statistics are used to investigate the cluster sensitivity to the spectral clustering method free-parameters and the forecast parameters for the analytic Bickley jet, a geostrophic flow model. Then, we analyze an operational coastal ocean ensemble forecast and compare the clustering results to drifter trajectories south of Martha's Vineyard. This approach accurately identifies regions of low uncertainty where drifters released within a cluster remain there throughout the window of analysis. Drifters released in regions of high uncertainty tend to either enter neighboring clusters or deviate from all predicted outcomes.