title: Measuring ultra-short pulse widths before and after the objective with a home built autocorrelator

abstract: In multiphoton microscopy, measurements and compression of the laser pulse width at the setup plays an important role in optimizing the fluorescence output with minimal laser power applications. For example, in deep two and three-photon intravital microscopy it is very crucial to have shortest laser pulses for efficient fluorescence excitation with lowest possible laser power at the sample. There are several published experimental methods and techniques for measuring the group delay dispersion and pulse width. Yet, there are practical limitations for their implementation and beam optimization at intravital setups in individual labs or microscope facility. Here, we present a method to construct a portable optical collinear autocorrelator, to probe the beam directly after the objective and at desired place in the beam path to measure the pulse width, and to optimize the pulse width with a pulse compressor. Finally, we demonstrate that the method increases fluorescence excitation efficiency in three-photon microscopy.


title: Atomistic simulations of twin boundary effect on the crack growth behaviour in BCC Fe

abstract: In this paper, the effect of twin boundaries on the crack growth behaviour of single crystal BCC Fe has been investigated using molecular dynamics simulations. The growth of an atomically sharp crack with an orientation of (111)$<$110$>$ (crack plane/crack front) has been studied under mode-I loading at constant strain rate. In order to study the influence of twin boundaries on the crack growth behaviour, single and multiple twin boundaries were introduced perpendicular to crack growth direction. The results indicate that the (111)$<$110$>$ crack in single crystal BCC Fe grows in brittle manner. However, following the introduction of twin boundaries, a noticeable plastic deformation has been observed at the crack tip. Further, increasing the number of twin boundaries increased the amount of plastic deformation leading to better crack resistance and high failure strains. Finally, an interesting relationship has been observed between the crack growth rate and flow stress.


title: Score Transformer: Generating Musical Score from Note-level Representation

abstract: In this paper, we explore the tokenized representation of musical scores using the Transformer model to automatically generate musical scores. Thus far, sequence models have yielded fruitful results with note-level (MIDI-equivalent) symbolic representations of music. Although the note-level representations can comprise sufficient information to reproduce music aurally, they cannot contain adequate information to represent music visually in terms of notation. Musical scores contain various musical symbols (e.g., clef, key signature, and notes) and attributes (e.g., stem direction, beam, and tie) that enable us to visually comprehend musical content. However, automated estimation of these elements has yet to be comprehensively addressed. In this paper, we first design score token representation corresponding to the various musical elements. We then train the Transformer model to transcribe note-level representation into appropriate music notation. Evaluations of popular piano scores show that the proposed method significantly outperforms existing methods on all 12 musical aspects that were investigated. We also explore an effective notation-level token representation to work with the model and determine that our proposed representation produces the steadiest results.


title: At what mass are stars braked? The implication from the turnoff morphology of NGC 6819

abstract: Extended main-sequence turnoffs apparent in most young and intermediate-age clusters (younger than ~2 Gyr) are known features caused by fast rotating early-type (earlier than F-type) stars. Late-type stars are not fast rotators because their initial angular momenta have been quickly dispersed due to magnetic braking. However, the mass limit below which stars have been magnetically braked has not been well constrained by observation. In this paper, we present an analysis of the eMSTO of NGC 6819, an open cluster of an intermediate-age (~2.5 Gyr), believed to be comparable to the lifetime of stars near the mass limit for magnetic braking. By comparing the observation with synthetic CMDs, we find that NGC 6819 does not harbor an obvious eMSTO. The morphology of its TO region can be readily explained by a simple stellar population considering the observational uncertainties as well as the differential reddening. In addition, the MSTO stars in NGC 6819 have very small values of average rotational velocity and dispersion, indicating that they have undergone significant magnetic braking. Combining with results in the literature for clusters of younger ages, our current work suggests that the critical age for the disappearance of eMSTO in star clusters must be shorter but very close to the age of NGC 6819, and this, in turn, implies a critical stellar mass for magnetic braking at solar metallicity above but close to 1.54 $M_{\odot}$ based on the PARSEC model. We emphasize that the phenomenon of eMSTO could provide a unique way to constrain the onset mass of magnetic braking.


title: Negation-Free Definitions of Paraconsistency

abstract: Paraconsistency is commonly defined and/or characterized as the failure of a principle of explosion. The various standard forms of explosion involve one or more logical operators or connectives, among which the negation operator is the most frequent. In this article, we ask whether a negation operator is essential for describing paraconsistency. In other words, is it possible to describe a notion of paraconsistency that is independent of connectives? We present two such notions of negation-free paraconsistency, one that is completely independent of connectives and another that uses a conjunction-like binary connective that we call 'fusion'. We also derive a notion of 'quasi-negation' from the former, and investigate its properties.


title: Perturbative and non-perturbative effects in ultraperipheral production of lepton pairs

abstract: Perturbative and non-perturbative terms of the cross sections of ultraperipheral production of lepton pairs in ion collisions are taken into account. It is shown that production of low-mass $e^+e^-$ pairs is strongly enhanced (compared to perturbative estimates) due to the non-perturbative Sommerfeld-Gamow-Sakharov (SGS) factor. Coulomb attraction of the non-relativistic components of those pairs leads to the finite value of their mass distribution at lowest masses. Their annihilation can result in the increased intensity of 511 keV photons. It can be recorded at the NICA collider and is especially crucial in astrophysical implications regarding the 511 keV line emitted from the Galactic center. The analogous effect can be observed in lepton pairs production at LHC. Energy spectra of lepton pairs created in ultraperipheral nuclear collisions and their transverse momenta are calculated.

categories: hep-ph astro-ph.HE hep-ex nucl-ex nucl-th


title: Tool as Embodiment for Recursive Manipulation

abstract: Humans and many animals exhibit a robust capability to manipulate diverse objects, often directly with their bodies and sometimes indirectly with tools. Such flexibility is likely enabled by the fundamental consistency in underlying physics of object manipulation such as contacts and force closures. Inspired by viewing tools as extensions of our bodies, we present Tool-As-Embodiment (TAE), a parameterization for tool-based manipulation policies that treat hand-object and tool-object interactions in the same representation space. The result is a single policy that can be applied recursively on robots to use end effectors to manipulate objects, and use objects as tools, i.e. new end-effectors, to manipulate other objects. By sharing experiences across different embodiments for grasping or pushing, our policy exhibits higher performance than if separate policies were trained. Our framework could utilize all experiences from different resolutions of tool-enabled embodiments to a single generic policy for each manipulation skill. Videos at https://sites.google.com/view/recursivemanipulation


title: Generalized Modeling: A survey and guide

abstract: Many current challenges involve understanding the complex dynamical interplay between the constituents of systems. Typically, the number of such constituents is high, but only limited data sources on them are available. Conventional dynamical models of complex systems are rarely mathematically tractable and their numerical exploration suffers both from computational and data limitations. Here we review generalized modeling, an alternative approach to formulating dynamical models. We argue that this approach deals elegantly with the uncertainties that exist in real world data and enables analytical insight or highly efficient numerical investigation. We provide a survey of recent successes of generalized modeling and a guide to the application of this modeling approach in future studies such as complex integrative ecological models.


title: Researching of magnetic cutoff for local sources of charged particles in the halo of the Galaxy

abstract: Models of highly inhomogeneous baryosynthesis of the baryonic asymmetric Universe allow for the existence of macroscopic domains of antimatter, which could evolve in a globular cluster of antimatter stars in our Galaxy. We assume the symmetry of the evolution of a globular cluster of stars and antistars based on the symmetry of the properties of matter and antimatter. Such object can be a source of a fraction of antihelium nuclei in galactic cosmic rays. It makes possible to predict the expected fluxes of cosmic antinuclei with use of known properties of matter star globular clusters We have estimated the lower cutoff energy for the penetration of antinuclei from the antimatter globular cluster, situated in halo, into the galactic disk based on the simulation of particle motion in the large-scale structure of magnetic fields in the Galaxy. We have estimated the magnitude of the magnetic cutoff for the globular cluster M4.


title: Dimensionality Reduction for Categorical Data

abstract: Categorical attributes are those that can take a discrete set of values, e.g., colours. This work is about compressing vectors over categorical attributes to low-dimension discrete vectors. The current hash-based methods compressing vectors over categorical attributes to low-dimension discrete vectors do not provide any guarantee on the Hamming distances between the compressed representations. Here we present FSketch to create sketches for sparse categorical data and an estimator to estimate the pairwise Hamming distances among the uncompressed data only from their sketches. We claim that these sketches can be used in the usual data mining tasks in place of the original data without compromising the quality of the task. For that, we ensure that the sketches also are categorical, sparse, and the Hamming distance estimates are reasonably precise. Both the sketch construction and the Hamming distance estimation algorithms require just a single-pass; furthermore, changes to a data point can be incorporated into its sketch in an efficient manner. The compressibility depends upon how sparse the data is and is independent of the original dimension -- making our algorithm attractive for many real-life scenarios. Our claims are backed by rigorous theoretical analysis of the properties of FSketch and supplemented by extensive comparative evaluations with related algorithms on some real-world datasets. We show that FSketch is significantly faster, and the accuracy obtained by using its sketches are among the top for the standard unsupervised tasks of RMSE, clustering and similarity search.


title: $\frac{|V_{ub}|}{|V_{cb}|}$ and Quest for New Physics

abstract: Charged current semi-leptonic decays of $B$-meson are important for a precise determination of the CKM elements. The CKM elements $|V_{ub}|$ and $|V_{cb}|$ show a discrepancy between the exclusive and inclusive determinations. These determinations are however masked with hadronic and other uncertainties, and thus can't be unambiguously taken as implying new physics. In the present study, we propose a new observable: the ratio of these two CKM elements, $R_V \equiv \frac{|V_{ub}|}{|V_{cb}|}$, which is found to receive negligible corrections due to hadronic as well as QED effects. Interestingly, $R_V$ as constructed from exclusive determinations of $|V_{ub}|$ and $|V_{cb}|$ agrees quite well with that constructed from the inclusive determinations of these CKM elements. Hence, we propose that $R_V$ is a better and cleaner observable, and can serve as an excellent tool for the test of the Standard Model. We also provide an example of its probing power.


title: Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference

abstract: Probabilistic programming languages (PPLs) allow users to encode arbitrary inference problems, and PPL implementations provide general-purpose automatic inference for these problems. However, constructing inference implementations that are efficient enough is challenging for many real-world problems. Often, this is due to PPLs not fully exploiting available parallelization and optimization opportunities. For example, handling probabilistic checkpoints in PPLs through continuation-passing style transformations or non-preemptive multitasking -- as is done in many popular PPLs -- often disallows compilation to low-level languages required for high-performance platforms such as GPUs. To solve the checkpoint problem, we introduce the concept of PPL control-flow graphs (PCFGs) -- a simple and efficient approach to checkpoints in low-level languages. We use this approach to implement RootPPL: a low-level PPL built on CUDA and C++ with OpenMP, providing highly efficient and massively parallel SMC inference. We also introduce a general method of compiling universal high-level PPLs to PCFGs and illustrate its application when compiling Miking CorePPL -- a high-level universal PPL -- to RootPPL. The approach is the first to compile a universal PPL to GPUs with SMC inference. We evaluate RootPPL and the CorePPL compiler through a set of real-world experiments in the domains of phylogenetics and epidemiology, demonstrating up to 6x speedups over state-of-the-art PPLs implementing SMC inference.


title: Probability-Generating Function Kernels for Spherical Data

abstract: Probability-generating function (PGF) kernels are introduced, which constitute a class of kernels supported on the unit hypersphere, for the purposes of spherical data analysis. PGF kernels generalize RBF kernels in the context of spherical data. The properties of PGF kernels are studied. A semi-parametric learning algorithm is introduced to enable the use of PGF kernels with spherical data.


title: Some remarks on contractive and existence sets

abstract: Let X be a real or complex Banach space and let F in X be a non-empty set. F is called an existence set of best coapproximation (existence set for brevity), if for any x in X, $R_F(x)$ is not the empty set, where $$ R_F (x) = \{ d \in F : \|d-c\| \leq \|x-c\| \hbox{ for any } c \in F \}.$$ It is clear that any existence set is a contractive subset of X. The aim of this paper is to present some conditions on F and X under which the notions of exsistence set and contractive set are equivalent.


title: Best Approximations by $\mathcal{F}_{p^l}$-Continued Fractions

abstract: In this article, for a certain subset $\mathcal{X}$ of the extended set of rational numbers, we introduce the notion of {\it best $\mathcal{X}$-approximations} of a real number. The notion of best $\mathcal{X}$-approximation is analogous to that of best rational approximation. We explore these approximations with the help of $\mathcal{F}_{p^l}$-continued fractions, where $p$ is a prime and $l\in\mathbb{N}$, we show that the convergents of the $\mathcal{F}_{p^l}$-continued fraction expansion of a real number $x$ satisfying certain maximal conditions are exactly the best $\mathcal{F}_{p^l}$-approximations of $x$.


title: Multi-scale modelling to estimate spall parameters in metallic single crystals

abstract: Modeling dynamics fracture in materials involves usage of hydrodynamic codes which solve basic conservation laws of mass, energy and momentum in space and time. This requires appropriate models to handle elastic-plastic deformation, equation of state, material strength, and fracture. Nucleation and Growth (NAG) damage model is a micro-physical model which computes amount of damage in the material by accounting for phenomena like nucleation, growth and coalescence of voids or cracks. The NAG model involves several material model parameters, such as nucleation threshold, growth threshold, etc. Traditionally these parameters are fitted to experimental void volume distributions. In the present paper we fit these parameters to molecular dynamics (MD) simulations of void nucleation and growth and use the fitted parameters in hydrodynamic simulations in a multi-scale computational approach. Cubic metallic single crystals are subjected to isotropic deformation and the nucleation of voids and their growth were post-processed from the simulations. These results are used in an in-house Particle Swarm Optimization (PSO) code to obtain NAG parameters for materials of our interest. Using these parameters in a 1D hydrodynamic code developed in-house, fracture parameters such as spall strength and thickness are obtained. The results are validated with published experimental data for Mo, Nb and Cu which have been simulated using the multi-scale model. This paper describes the application of the multi-scale model to obtain the NAG fracture model parameters of Al and its spall data. The results are compared with published experimental results in single crystal Al.


title: Soliton self-compression and resonant dispersive wave emission in higher-order modes of a hollow capillary fibre

abstract: We investigate soliton self-compression and ultraviolet resonant dispersive wave emission in the higher-order modes of a gas-filled hollow capillary fibre. Our simple analytical scaling rules predict shorter required waveguides and different energy scales when moving from the fundamental to higher-order modes. Experimentally, we demonstrate soliton self-compression and ultraviolet dispersive wave emission in the double-lobe LP$_{11}$ mode of an argon-filled hollow capillary fibre, which we excite by coupling into the fibre at oblique incidence. We observe the generation of ultraviolet dispersive waves which are frequency-shifted and more narrowband as compared to fundamental-mode generation due to the stronger modal dispersion, and a suppression of the supercontinuum between the dispersive wave and the pump pulse. With numerical simulations, we confirm the predictions of our scaling rules and find that the use of higher-order modes can suppress photoionisation and plasma effects even while allowing for much higher pulse energy to be used in the self-compression process. Our results add another degree of freedom for the design of hollow-waveguide systems to generate sub-cycle field transients and tuneable ultrashort laser pulses.


title: Research on proton beam spot imaging based on pixelated gamma detector

abstract: The primary secondary particles from the spallation target of the China Spallation Neutron Source are mainly gammas and neutrons, which are related to the distribution of the incident proton. The reconstruction of proton beam spot could be implemented based on the distribution of secondary particles. The methods of pinhole imaging and Compton imaging are developed by measuring the gamma distribution based on the pixelated detector. The secondary gammas could be detected by the pixelated gamma detector directly. The neutron can be identified by detecting the characteristic (478 keV) $\gamma$-rays from the $^{10}B$(n, $\alpha$) reactions. In order to detect secondary neutrons, a layer of $^{10}B$ converter is added before the pixelated gamma detector. The pixelated gamma detector is sensitive to the characteristic (478 keV) $\gamma$-rays and then the neutron imaging could be achieved based on measuring the distribution of the characteristic gamma.


title: A multi-stage model of cell proliferation and death: tracking cell divisions with Erlang distributions

abstract: Lymphocyte populations, stimulated in vitro or in vivo, grow as cells divide. Stochastic models are appropriate because some cells undergo multiple rounds of division, some die, and others of the same type in the same conditions do not divide at all. If individual cells behave independently, each can be imagined as sampling from a probability density of times to division. The most convenient choice of density in mathematical and computational work, the exponential density, overestimates the probability of short division times. We consider a multi-stage model that produces an Erlang distribution of times to division, and an exponential distribution of times to die. The resulting dynamics of competing fates is a type of cyton model. Using Approximate Bayesian Computation, we compare our model to published cell counts, obtained after CFSE-labelled OT-I and F5 T cells were transferred to lymphopenic mice. The death rate is assumed to scale linearly with the generation (number of divisions) and the number of stages of undivided cells (generation $0$) is allowed to differ from that of cells that have divided at least once (generation greater than zero). Multiple stages are preferred in posterior distributions, and the mean time to first division is longer than the mean time to subsequent divisions.


title: The rotation number for almost periodic potentials with jump discontinuities and $\delta$-interactions

abstract: We consider one-dimensional Schr\"odinger operators with generalized almost periodic potentials with jump discontinuities and $\delta$-interactions. For operators of this kind we introduce a rotation number in the spirit of Johnson and Moser. To do this, we introduce the concept of almost periodicity at a rather general level, and then the almost periodic function with jump discontinuities and $\delta$-interactions as an application.


title: Synthesis and study of (Na, Zr) and (Ca, Zr) phosphate-molybdates and phosphate-tungstates: Thermal expansion behavior, radiation test and hydrolytic stability

abstract: Thermal expansion behavior at high temperatures of synthesized Na$_{1-x}$Zr$_2$(PO$_4$)$_{3-x}$(XO$_4$)$_x$, and Ca$_{1-x}$Zr$_2$(PO$_4$)$_{3-x}$(XO$_4$)$_x$, X = Mo, W compounds has been investigated. Ceramics with relatively high density (more than 97.5%) were produced by Spark Plasma Sintering (SPS) of submicron powders obtained by sol-gel synthesis. The study of strength characteristics has revealed that hardness the ceramics are greater than 5 GPa, and minimum fracture toughness factor was 1 MPa*m$^{1/2}$. It was found that ceramics have a high hydrolytic resistance in the static regime -- the minimum leaching rates for the Mo- and W-containing specimens were $31\times10^{-6}$ and $3.36\times 10^{-6}$ g/(cm$^2$*day), respectively. The ceramics had a high resistance to the irradiation by Xe$^{+26}$ multiple-charged ions with the energy 167 MeV up to the fluences in the range 1*10$^{12}$ - 6*10$^{13}$ cm$^{-2}$. The Mo-containing Na$_{0.5}$Zr$_2$(PO$_4$)$_{2.5}$(XO$_4$)$_{0.5}$ ceramics were shown to have a higher radiation resistance that the phosphate-tungstates.


title: CLIPstyler: Image Style Transfer with a Single Text Condition

abstract: Existing neural style transfer methods require reference style images to transfer texture information of style images to content images. However, in many practical situations, users may not have reference style images but still be interested in transferring styles by just imagining them. In order to deal with such applications, we propose a new framework that enables a style transfer `without' a style image, but only with a text description of the desired style. Using the pre-trained text-image embedding model of CLIP, we demonstrate the modulation of the style of content images only with a single text condition. Specifically, we propose a patch-wise text-image matching loss with multiview augmentations for realistic texture transfer. Extensive experimental results confirmed the successful image style transfer with realistic textures that reflect semantic query texts.


title: Optimal incentives in a limit order book: a SPDE control approach

abstract: With the fragmentation of electronic markets, exchanges are now competing in order to attract trading activity on their platform. Consequently, they developed several regulatory tools to control liquidity provision / consumption on their liquidity pool. In this paper, we study the problem of an exchange using incentives in order to increase market liquidity. We model the limit order book as the solution of a stochastic partial differential equation (SPDE) as in [12]. The incentives proposed to the market participants are functions of the time and the distance of their limit order to the mid-price. We formulate the control problem of the exchange who wishes to modify the shape of the order book by increasing the volume at specific limits. Due to the particular nature of the SPDE control problem, we are able to characterize the solution with a classic Feynman-Kac representation theorem. Moreover, when studying the asymptotic behavior of the solution, a specific penalty function enables the exchange to obtain closed-form incentives at each limit of the order book. We study numerically the form of the incentives and their impact on the shape of the order book, and analyze the sensitivity of the incentives to the market parameters.


title: Unveiling triangular correlation of angular deviation in muon scattering tomography by means of GEANT4 simulations

abstract: The angular deviation commonly represented by the scattering angle generally serves to provide the characteristic discrimination in the muon scattering tomography. The regular procedure to determine the scattering angle comprises the collection of exactly four hit locations in four detector layers among which two top detector layers are utilized to construct the first vector, whereas the second vector is built by using two bottom detector layers. Although this procedure acts to classify the target volumes in the tomographic systems based on the muon scattering, the scattering angle obtained through the usual methodology founded on four detector layers is dubious for not yielding any information about the position of target volume. Nonetheless, the same set of four detector layers also imparts the possibility of splitting the scattering angle into two separate angles by creating a triangular correlation in such a way that the scattering angle is referred to an exterior angle, whereas the separate angles are considered the interior opposite angles that are not neighboring this exterior angle. In this study, we first show that a combination of three detector layers out of four fulfills the calculation of the interior opposite angles. Then, by employing the GEANT4 simulations over our tomographic configuration composed of three plastic scintillators in either section, we demonstrate that the interior opposite angles differ towards the vertical spatial variation, while the exterior angle approximately remains constant, thereby implying a beneficial feature to be used for the image reconstruction purposes.


title: Molecules, shocks, and disk in the axi-symmetric wind of the MS-type AGB star RS Cancri

abstract: The latest evolutionary phases of low- and intermediate mass stars are characterized by complex physical processes like turbulence, convection, stellar pulsations, magnetic fields, condensation of solid particles, and the formation of massive outflows that inject freshly produced heavy elements and dust particles into the interstellar medium. We use the Northern Extended Millimeter Array (NOEMA) to obtain spatially and spectrally resolved observations of the semi-regular Asymptotic Giant Branch star RS Cancri to shed light on the morpho-kinematic structure of its inner, wind forming environment by applying detailed 3-D reconstruction modeling and LTE radiative transfer calculations. We detect 32 lines of 13 molecules and isotopologs (CO, SiO, SO, SO$_2$, H$_2$O, HCN, PN), including several transitions from vibrationally excited states. HCN, H$^{13}$CN, millimeter vibrationally excited H$_2$O, SO, $^{34}$SO, SO$_2$, and PN are detected for the first time in RS Cnc. Evidence for rotation is seen in HCN, SO, SO$_2$, and SiO(v=1). From CO and SiO channel maps, we find an inner, equatorial density enhancement, and a bipolar outflow structure with a mass loss rate of $1 \times 10^{-7}M_\odot{\rm yr}^{-1}$ for the equatorial region and of $2 \times 10^{-7}M_\odot{\rm yr}^{-1}$ for the polar outflows. The $^{12}$CO/$^{13}$CO ratio is measured to be $\sim20$ on average, $24\pm2$ in the polar outflows and $19\pm3$ in the equatorial region. We do not find direct evidence of a companion that might explain this kind of kinematic structure, and explore the possibility that a magnetic field might be the cause of it. The innermost molecular gas is influenced by stellar pulsation and possibly by convective cells that leave their imprint on broad wings of certain molecular lines, such as SiO and SO.


title: $\ell_\infty$-Robustness and Beyond: Unleashing Efficient Adversarial Training

abstract: Neural networks are vulnerable to adversarial attacks: adding well-crafted, imperceptible perturbations to their input can modify their output. Adversarial training is one of the most effective approaches in training robust models against such attacks. However, it is much slower than vanilla training of neural networks since it needs to construct adversarial examples for the entire training data at every iteration, hampering its effectiveness. Recently, Fast Adversarial Training (FAT) was proposed that can obtain robust models efficiently. However, the reasons behind its success are not fully understood, and more importantly, it can only train robust models for $\ell_\infty$-bounded attacks as it uses FGSM during training. In this paper, by leveraging the theory of coreset selection, we show how selecting a small subset of training data provides a general, more principled approach toward reducing the time complexity of robust training. Unlike existing methods, our approach can be adapted to a wide variety of training objectives, including TRADES, $\ell_p$-PGD, and Perceptual Adversarial Training (PAT). Our experimental results indicate that our approach speeds up adversarial training by 2-3 times while experiencing a slight reduction in the clean and robust accuracy.


title: Short-baseline oscillation scenarios at JUNO and TAO

abstract: We study the sensitivity of JUNO and TAO to the oscillations induced by two well-motivated scenarios beyond the standard model: Large Extra Dimensions (LED) and light sterile neutrinos in the context of 3+1 neutrino mixing. We find that JUNO+TAO can set competitive bounds on the parameter space of each scenario. In particular, we find that JUNO+TAO can be competitive with MINOS, DUNE or KATRIN in the context of LED. If LED are present in nature, we show that the parameters could be measured with a similar precision as the standard oscillation parameters. We also show that JUNO+TAO can test nearly all of the parameter space preferred by Gallium experiments in the context of 3+1 mixing. Finally, we discuss the possibility to distinguish the two scenarios from each other.


title: Deep Measurement Updates for Bayes Filters

abstract: Measurement update rules for Bayes filters often contain hand-crafted heuristics to compute observation probabilities for high-dimensional sensor data, like images. In this work, we propose the novel approach Deep Measurement Update (DMU) as a general update rule for a wide range of systems. DMU has a conditional encoder-decoder neural network structure to process depth images as raw inputs. Even though the network is trained only on synthetic data, the model shows good performance at evaluation time on real-world data. With our proposed training scheme primed data training , we demonstrate how the DMU models can be trained efficiently to be sensitive to condition variables without having to rely on a stochastic information bottleneck. We validate the proposed methods in multiple scenarios of increasing complexity, beginning with the pose estimation of a single object to the joint estimation of the pose and the internal state of an articulated system. Moreover, we provide a benchmark against Articulated Signed Distance Functions(A-SDF) on the RBO dataset as a baseline comparison for articulation state estimation.


title: A decoupling property of some Poisson structures on ${\rm Mat}_{n\times d}(\mathbb{C}) \times {\rm Mat}_{d\times n}(\mathbb{C})$ supporting ${\rm GL}(n,\mathbb{C}) \times {\rm GL}(d,\mathbb{C})$ Poisson-Lie symmetry

abstract: We study a holomorphic Poisson structure defined on the linear space $S(n,d):= {\rm Mat}_{n\times d}(\mathbb{C}) \times {\rm Mat}_{d\times n}(\mathbb{C})$ that is covariant under the natural left actions of the standard ${\rm GL}(n,\mathbb{C})$ and ${\rm GL}(d,\mathbb{C})$ Poisson-Lie groups. The Poisson brackets of the matrix elements contain quadratic and constant terms, and the Poisson tensor is non-degenerate on a dense subset. Taking the $d=1$ special case gives a Poisson structure on $S(n,1)$, and we construct a local Poisson map from the Cartesian product of $d$ independent copies of $S(n,1)$ into $S(n,d)$, which is a holomorphic diffeomorphism in a neighborhood of zero. The Poisson structure on $S(n,d)$ is the complexification of a real Poisson structure on ${\rm Mat}_{n\times d}(\mathbb{C})$ constructed by the authors and Marshall, where a similar decoupling into $d$ independent copies was observed. We also relate our construction to a Poisson structure on $S(n,d)$ defined by Arutyunov and Olivucci in the treatment of the complex trigonometric spin Ruijsenaars-Schneider system by Hamiltonian reduction.


title: Lagrange and $H(\operatorname{curl},{\cal B})$ based Finite Element formulations for the relaxed micromorphic model

abstract: Modeling the unusual mechanical properties of metamaterials is a challenging topic for the mechanics community and enriched continuum theories are promising computational tools for such materials. The so-called relaxed micromorphic model has shown many advantages in this field. In this contribution, we present the significant aspects related to the relaxed micromorphic model realization with the finite element method. The variational problem is derived and different FEM-formulations for the two-dimensional case are presented. These are a nodal standard formulation $H^1({\cal B}) \times H^1({\cal B})$ and a nodal-edge formulation $H^1({\cal B}) \times H(\operatorname{curl}, {\cal B})$, where the latter employs the N\'ed\'elec space. However, the implementation of higher-order N\'ed\'elec elements is not trivial and requires some technicalities which are demonstrated. We discuss the convergence behavior of Lagrange-type and tangential-conforming finite element discretizations. Moreover, we analyze the characteristic length effect on the different components of the model and reveal how the size-effect property is captured via this characteristic length.


title: Orbital-Selective High-Temperature Cooper Pairing Developed in the Two-Dimensional Limit

abstract: The orbital multiplicity in multiband superconductors yields orbital differentiation in normal-state properties, and can lead to orbital-selective spin-fluctuation Cooper pairing. This phenomenon has become increasingly pivotal in clarifying the pairing 'enigma' particularly for multiband high-temperature superconductors. In one-unit-cell (1-UC) FeSe/SrTiO3, the thinnest and highest-Tc member of iron-based superconductors, the standard electron-hole Fermi pocket nesting scenario is apparently not applicable since the Gamma-centered hole pockets are absent, so the actual pairing mechanism is the subject of intense debate. Here, by measuring high-resolution Bogoliubov quasiparticle interference, we report observations of highly anisotropic magnetic Cooper pairing in 1-UC FeSe. From a theoretical point of view, it is important to incorporate effects of electronic correlations within a spin-fluctuation pairing calculation, where the dxy orbital becomes coherence-suppressed. The resulting pairing gap is compatible with the experimental findings, which suggests that high-Tc Cooper pairing with orbital selectivity applies to 1-UC FeSe. Our findings imply the general existence of orbital selectivity in iron-based superconductors and the universal importance of electron correlations in high-Tc superconductors.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el


title: Exploration into Translation-Equivariant Image Quantization

abstract: This is an exploratory study that discovers the current image quantization (vector quantization) do not satisfy translation equivariance in the quantized space due to aliasing. Instead of focusing on anti-aliasing, we propose a simple yet effective way to achieve translation-equivariant image quantization by enforcing orthogonality among the codebook embeddings. To explore the advantages of translation-equivariant image quantization, we conduct three proof-of-concept experiments with a carefully controlled dataset: (1) text-to-image generation, where the quantized image indices are the target to predict, (2) image-to-text generation, where the quantized image indices are given as a condition, (3) using a smaller training set to analyze sample efficiency. From the strictly controlled experiments, we empirically verify that the translation-equivariant image quantizer improves not only sample efficiency but also the accuracy over VQGAN up to +11.9% in text-to-image generation and +3.9% in image-to-text generation.


title: Deep-learning Assisted Extraction of Fluid Velocity from Scalar Signal Transport in a Shallow Microfluidic Channel

abstract: Precise measurement of flow velocity in microfluidic channels is of importance in microfluidic applications, such as quantitative chemical analysis, sample preparation and drug synthesis. However, simple approaches for quickly and precisely measuring the flow velocity in microchannels are still lacking. Herein, we propose a deep neural networks assisted scalar image velocimetry (DNN-SIV) for quick and precise extraction of fluid velocity in a shallow microfluidic channel with a high aspect ratio, which is a basic geometry for cell culture, from a dye concentration field with spatiotemporal gradients. DNN-SIV is built on physics-informed neural networks and residual neural networks that integrate data of scalar field and physics laws to determine the velocity in the height direction. The underlying enforcing physics laws are derived from the Navier-Stokes equation and the scalar transport equation. Apart from this, dynamic concentration boundary condition is adopted to improve the velocity measurement of laminar flow with small Reynolds Number in microchannels. The proposed DNN-SIV is validated and analyzed by numerical simulations. Compared to integral minimization algorithm used in conventional SIV, DNN-SIV is robust to noise in the measured scalar field and more efficiently allowing real-time flow visualization. Furthermore, the fundamental significance of rational construction of concentration field in microchannels is also underscored. The proposed DNN-SIV in this paper is agnostic to initial and boundary conditions that can be a promising velocity measurement approach for many potential applications in microfluidic chips.


title: Spurious Valleys, NP-hardness, and Tractability of Sparse Matrix Factorization With Fixed Support

abstract: The problem of approximating a dense matrix by a product of sparse factors is a fundamental problem for many signal processing and machine learning tasks. It can be decomposed into two subproblems: finding the position of the non-zero coefficients in the sparse factors, and determining their values. While the first step is usually seen as the most challenging one due to its combinatorial nature, this paper focuses on the second step, referred to as sparse matrix approximation with fixed support. First, we show its NP-hardness, while also presenting a nontrivial family of supports making the problem practically tractable with a dedicated algorithm. Then, we investigate the landscape of its natural optimization formulation, proving the absence of spurious local valleys and spurious local minima, whose presence could prevent local optimization methods to achieve global optimality. The advantages of the proposed algorithm over state-of-the-art first-order optimization methods are discussed.


title: How Parallel Circuit Execution Can Be Useful for NISQ Computing?

abstract: Quantum computing is performed on Noisy Intermediate-Scale Quantum (NISQ) hardware in the short term. Only small circuits can be executed reliably on a quantum machine due to the unavoidable noisy quantum operations on NISQ devices, leading to the under-utilization of hardware resources. With the growing demand to access quantum hardware, how to utilize it more efficiently while maintaining output fidelity is becoming a timely issue. A parallel circuit execution technique has been proposed to address this problem by executing multiple programs on hardware simultaneously. It can improve the hardware throughput and reduce the overall runtime. However, accumulative noises such as crosstalk can decrease the output fidelity in parallel workload execution. In this paper, we first give an in-depth overview of stateof-the-art parallel circuit execution methods. Second, we propose a Quantum Crosstalk-aware Parallel workload execution method (QuCP) without the overhead of crosstalk characterization. Third, we investigate the trade-off between hardware throughput and fidelity loss to explore the hardware limitation with parallel circuit execution. Finally, we apply parallel circuit execution to VQE and zero-noise extrapolation error mitigation method to showcase its various applications on advancing NISQ computing.


title: Computing normalisers of intransitive groups

abstract: The normaliser problem takes as input subgroups $G$ and $H$ of the symmetric group $S_n$, and asks one to compute $N_G(H)$. The fastest known algorithm for this problem is simply exponential, whilst more efficient algorithms are known for restricted classes of groups. In this paper, we will focus on groups with many orbits. We give a new algorithm for the normaliser problem for these groups that performs many orders of magnitude faster than previous implementations in GAP. We also prove that the normaliser problem for the special case $G=S_n$ is at least as hard as computing the group of monomial automorphisms of a linear code over any field of fixed prime order.


title: An inexact primal-dual method with correction step for a saddle point problem in image debluring

abstract: In this paper,we present an inexact primal-dual method with correction step for a saddle point problem by introducing the notations of inexact extended proximal operators with symmetric positive definite matrix $D$. Relaxing requirement on primal-dual step sizes, we prove the convergence of the proposed method. We also establish the $O(1/N)$ convergence rate of our method in the ergodic sense. Moreover, we apply our method to solve TV-L$_1$ image deblurring problems. Numerical simulation results illustrate the efficiency of our method.


title: SegDiff: Image Segmentation with Diffusion Probabilistic Models

abstract: Diffusion Probabilistic Methods are employed for state-of-the-art image generation. In this work, we present a method for extending such models for performing image segmentation. The method learns end-to-end, without relying on a pre-trained backbone. The information in the input image and in the current estimation of the segmentation map is merged by summing the output of two encoders. Additional encoding layers and a decoder are then used to iteratively refine the segmentation map, using a diffusion model. Since the diffusion model is probabilistic, it is applied multiple times, and the results are merged into a final segmentation map. The new method produces state-of-the-art results on the Cityscapes validation set, the Vaihingen building segmentation benchmark, and the MoNuSeg dataset.


title: Non-Sturmian sequences of matrices providing the maximum growth rate of matrix products

abstract: In the theory of linear switching systems with discrete time, as in other areas of mathematics, the problem of studying the growth rate of the norms of all possible matrix products $A_{\sigma_{n}}\cdots A_{\sigma_{0}}$ with factors from a set of matrices $\mathscr{A}$ arises. So far, only for a relatively small number of classes of matrices $\mathscr{A}$ has it been possible to accurately describe the sequences of matrices that guarantee the maximum rate of increase of the corresponding norms. Moreover, in almost all cases studied theoretically, the index sequences $\{\sigma_{n}\}$ of matrices maximizing the norms of the corresponding matrix products have been shown to be periodic or so-called Sturmian, which entails a whole set of "good" properties of the sequences $\{A_{\sigma_{n}}\}$, in particular the existence of a limiting frequency of occurrence of each matrix factor $A_{i}\in\mathscr{A}$ in them. In the paper it is shown that this is not always the case: a class of matrices is defined consisting of two $2\times 2$ matrices, similar to rotations in the plane, in which the sequence $\{A_{\sigma_{n}}\}$ maximizing the growth rate of the norms $\|A_{\sigma_{n}}\cdots A_{\sigma_{0}}\|$ is not Sturmian. All considerations are based on numerical modeling and cannot be considered mathematically rigorous in this part; rather, they should be interpreted as a set of questions for further comprehensive theoretical analysis.


title: Finite-Size Scaling at fixed Renormalization-Group invariant

abstract: Finite-size scaling at fixed renormalization-group invariant is a powerful and flexible technique to analyze Monte Carlo data at a critical point. It consists in fixing a given renormalization-group invariant quantity to a given value, thereby trading its statistical fluctuations with those of a parameter driving the transition. One remarkable feature is the observed significant improvement of statistical accuracy of various quantities, as compared to a standard analysis. We review the method, discussing in detail its implementation, the error analysis, and a previously introduced covariance-based optimization. Comprehensive benchmarks on the Ising model in two and three dimensions show large gains in the statistical accuracy, which are due to cross-correlations between observables. As an application, we compute an accurate estimate of the inverse critical temperature of the improved O(2) $\phi^4$ model on a three-dimensional cubic lattice.


title: Path-by-path uniqueness of multidimensional SDE's on the plane with nondecreasing coefficients

abstract: In this paper we study path-by-path uniqueness for multidimensional stochastic differential equations driven by the Brownian sheet. We assume that the drift coefficient is unbounded, verifies a spatial linear growth condition and is componentwise nondeacreasing. Our approach consists of showing the result for bounded and componentwise nondecreasing drift using both a local time-space representation and a law of iterated logarithm for Brownian sheets. The desired result follows using a Gronwall type lemma on the plane. As a by product, we obtain the existence of a unique strong solution of multidimensional SDEs driven by the Brownian sheet when the drift is non-decreasing and satisfies a spatial linear growth condition.


title: Wiretap Secret Key Agreement Via Secure Omniscience

abstract: In this paper, we explore the connection between secret key agreement and secure omniscience within the setting of the multiterminal source model with a wiretapper who has side information. While the secret key agreement problem considers the generation of a maximum-rate secret key through public discussion, the secure omniscience problem is concerned with communication protocols for omniscience that minimize the rate of information leakage to the wiretapper. The starting point of our work is a lower bound on the minimum leakage rate for omniscience, $R_{\mathop{\mathrm{L}}}$, in terms of the wiretap secret key capacity, $C_{\mathop{\mathrm{W}}}$. Our interest is in identifying broad classes of sources for which this lower bound is met with equality, in which case we say that there is a duality between secure omniscience and secret key agreement. We show that this duality holds in the case of certain finite linear source (FLS) models, such as two-terminal FLS models and pairwise independent network models on trees with a linear wiretapper. Duality also holds for any FLS model in which $C_{\mathop{\mathrm{W}}}$ is achieved by a perfect linear secret key agreement scheme. We conjecture that the duality in fact holds unconditionally for any FLS model. On the negative side, we give an example of a (non-FLS) source model for which duality does not hold if we limit ourselves to communication-for-omniscience protocols with at most two (interactive) communications. We also address the secure function computation problem and explore the connection between the minimum leakage rate for computing a function and the wiretap secret key capacity.


title: A Comprehensive Study on Various Statistical Techniques for Prediction of Movie Success

abstract: The film industry is one of the most popular entertainment industries and one of the biggest markets for business. Among the contributing factors to this would be the success of a movie in terms of its popularity as well as its box office performance. Hence, we create a comprehensive comparison between the various machine learning models to predict the rate of success of a movie. The effectiveness of these models along with their statistical significance is studied to conclude which of these models is the best predictor. Some insights regarding factors that affect the success of the movies are also found. The models studied include some Regression models, Machine Learning models, a Time Series model and a Neural Network with the Neural Network being the best performing model with an accuracy of about 86%. Additionally, as part of the testing data for the movies released in 2020 are analysed.


title: Dyadic Human Motion Prediction

abstract: Prior work on human motion forecasting has mostly focused on predicting the future motion of single subjects in isolation from their past pose sequence. In the presence of closely interacting people, however, this strategy fails to account for the dependencies between the different subject's motions. In this paper, we therefore introduce a motion prediction framework that explicitly reasons about the interactions of two observed subjects. Specifically, we achieve this by introducing a pairwise attention mechanism that models the mutual dependencies in the motion history of the two subjects. This allows us to preserve the long-term motion dynamics in a more realistic way and more robustly predict unusual and fast-paced movements, such as the ones occurring in a dance scenario. To evaluate this, and because no existing motion prediction datasets depict two closely-interacting subjects, we introduce the LindyHop600K dance dataset. Our results evidence that our approach outperforms the state-of-the-art single person motion prediction techniques.


title: Improved algebraic fibrings

abstract: We show that a virtually RFRS group $G$ of type $\mathrm{FP}_n(\mathbb{Q})$ virtually algebraically fibres with kernel of type $\mathrm{FP}_n(\mathbb{Q})$ if and only if the first $n$ $\ell^2$-Betti numbers of $G$ vanish, that is, $b_p^{(2)}(G) = 0$ for $0 \leqslant p \leqslant n$. We also offer a variant of this result over other fields, in particular in positive characteristic. As an application of the main result, we show that virtually amenable RFRS groups of type $\mathrm{FP}(\mathbb{Q})$ are polycyclic-by-finite. It then follows that if $G$ is a virtually RFRS group of type $\mathrm{FP}(\mathbb{Q})$ such that $\mathbb{Z}G$ is Noetherian, then $G$ is polycyclic-by-finite. This answers a longstanding conjecture of Baer for virtually RFRS groups of type $\mathrm{FP}(\mathbb{Q})$.


title: Effective and efficient structure learning with pruning and model averaging strategies

abstract: Learning the structure of a Bayesian Network (BN) with score-based solutions involves exploring the search space of possible graphs and moving towards the graph that maximises a given objective function. Some algorithms offer exact solutions that guarantee to return the graph with the highest objective score, while others offer approximate solutions in exchange for reduced computational complexity. This paper describes an approximate BN structure learning algorithm, which we call Model Averaging Hill-Climbing (MAHC), that combines two novel strategies with hill-climbing search. The algorithm starts by pruning the search space of graphs, where the pruning strategy can be viewed as an aggressive version of the pruning strategies that are typically applied to combinatorial optimisation structure learning problems. It then performs model averaging in the hill-climbing search process and moves to the neighbouring graph that maximises the objective function, on average, for that neighbouring graph and over all its valid neighbouring graphs. Comparisons with other algorithms spanning different classes of learning suggest that the combination of aggressive pruning with model averaging is both effective and efficient, particularly in the presence of data noise.


title: Quantum-Resistant Cryptography

abstract: Quantum-resistant cryptography is cryptography that aims to deliver cryptographic functions and protocols that remain secure even if large-scale fault-tolerant quantum computers are built. NIST will soon announce the first selected public-key cryptography algorithms in its Post-Quantum Cryptography (PQC) standardization which is the most important current effort in the field of quantum-resistant cryptography. This report provides an overview to security experts who do not yet have a deep understanding of quantum-resistant cryptography. It surveys the computational model of quantum computers; the quantum algorithms that affect cryptography the most; the risk of Cryptographically Relevant Quantum Computers (CRQCs) being built; the security of symmetric and public-key cryptography in the presence of CRQCs; the NIST PQC standardization effort; the migration to quantum-resistant public-key cryptography; the relevance of Quantum Key Distribution as a complement to conventional cryptography; and the relevance of Quantum Random Number Generators as a complement to current hardware Random Number Generators.


title: Three-dimensional electrical control of the excitonic fine structure for a quantum dot in a cavity

abstract: The excitonic fine structure plays a key role for the quantum light generated by semiconductor quantum dots, both for entangled photon pairs and single photons. Controlling the excitonic fine structure has been demonstrated using electric, magnetic, or strain fields, but not for quantum dots in optical cavities, a key requirement to obtain high source efficiency and near-unity photon indistinguishability. Here, we demonstrate the control of the fine structure splitting for quantum dots embedded in micropillar cavities. We propose a scheme based on remote electrical contacts connected to the pillar cavity through narrow ridges. Numerical simulations show that such a geometry allows for a three-dimensional control of the electrical field. We experimentally demonstrate tuning and reproducible canceling of the fine structure, a crucial step for the reproducibility of quantum light source technology.


title: Stochastic integration with respect to local time of the Brownian sheet and regularising properties of Brownian sheet paths

abstract: In this work, we generalise the stochastic local time space integration introduced in \cite{Ei00} to the case of Brownian sheet. %We develop a stochastic local time-space calculus with respect to the Brownian sheet. This allows us to prove a generalised two-parameter It\^o formula and derive Davie type inequalities for the Brownian sheet. Such estimates are useful to obtain regularity bounds for some averaging type operators along Brownian sheet curves.


title: Existence of variational solutions to nonlocal evolution equations via convex minimization

abstract: We prove existence of variational solutions for a class of nonlocal evolution equations whose prototype is the double phase equation \begin{align*} \partial_t u &+ \text{P.V.}\int_{\mathbb{R}^N} \frac{|u(x,t)-u(y,t)|^{p-2}(u(x,t)-u(y,t))}{|x-y|^{N+ps}}\\&+a(x,y)\frac{|u(x,t)-u(y,t)|^{q-2}(u(x,t)-u(y,t))}{|x-y|^{N+qr}} \,dy = 0. \end{align*} The approach of minimization of parameter-dependent convex functionals over space-time trajectories requires only appropriate convexity and coercivity assumptions on the nonlocal operator. As the parameter tends to zero, we recover variational solutions. Under further growth conditions, these variational solutions are global weak solutions. Further, this provides a direct minimization approach to approximation of nonlocal evolution equations.


title: Orientation of Fitch Graphs and Detection of Horizontal Gene Transfer in Gene Trees

abstract: Horizontal gene transfer events partition a gene tree $T$ and thus, its leaf set into subsets of genes whose evolutionary history is described by speciation and duplication events alone. Indirect phylogenetic methods can be used to infer such partitions $\mathcal{P}$ from sequence similarity or evolutionary distances without any a priory knowledge about the underlying tree $T$. In this contribution, we assume that such a partition $\mathcal{P}$ of a set of genes $X$ is given and that, independently, an estimate $T$ of the original gene tree on $X$ has been derived. We then ask to what extent $T$ and the xenology information, i.e., $\mathcal{P}$ can be combined to determine the horizontal transfer edges in $T$. We show that for each pair of genes $x$ and $y$ with $x,y$ being in different parts of $\mathcal{P}$, it can be decided whether there always exists or never exists a horizontal gene transfer in $T$ along the path connecting $y$ and the most recent common ancestor of $x$ and $y$. This problem is equivalent to determining the presence or absence of the directed edge $(x,y)$ in so-called Fitch graphs; a more fine-grained version of graphs that represent the dependencies between the sets in $\mathcal{P}$. We then consider the generalization to insufficiently resolved gene trees and show that analogous results can be obtained. We show that the classification of $(x,y)$ can be computed in constant time after linear-time preprocessing. Using simulated gene family histories, we observe empirically that the vast majority of horizontal transfer edges in the gene tree $T$ can be recovered unambiguously.


title: Lifetimes of light stringy states

abstract: In this paper, we evaluate the lifetime of the light stringy states that emerge in intersecting D-brane realisations of the Standard Model. For concreteness, we focus on a light massive scalar decaying into two massless fermions. Given the present experimental lower bounds of the string scale, we extrapolate the lifetime as a function of the intersection angles to very small angles in order to have states with lifetimes of the order of the universe. That provides an alluring example of a massive, very weakly interacting field with a huge lifetime, proposing itself as a potential dark matter candidate.


title: NER-BERT: A Pre-trained Model for Low-Resource Entity Tagging

abstract: Named entity recognition (NER) models generally perform poorly when large training datasets are unavailable for low-resource domains. Recently, pre-training a large-scale language model has become a promising direction for coping with the data scarcity issue. However, the underlying discrepancies between the language modeling and NER task could limit the models' performance, and pre-training for the NER task has rarely been studied since the collected NER datasets are generally small or large but with low quality. In this paper, we construct a massive NER corpus with a relatively high quality, and we pre-train a NER-BERT model based on the created dataset. Experimental results show that our pre-trained model can significantly outperform BERT as well as other strong baselines in low-resource scenarios across nine diverse domains. Moreover, a visualization of entity representations further indicates the effectiveness of NER-BERT for categorizing a variety of entities.


title: Electrical Characterization of DNA Origami Structures with PEG-PLL coating for improved robustness

abstract: Electrical conductivity of DNA has been a controversial topic since it was first proposed in 1962. Disparities in the experimental results can often be explained by differences of the ambient or experimental conditions. We report the dielectrophoretic trapping and electrical characterization of two rod-like DNA origami structures with different modifications. These were 12helix bundles, with either thiol-ends or polyA single-stranded overhangs, and 30-helix bundles, with thiol-ends and either with or without a PEG-PLL coating. The observed impedance spectra showed ohmic resistances ranging from 500 k$\Omega$ to 3.4 M$\Omega$ for the 30-helix bundle structures with a PEG-PLL coating. DNA origami structures without the coating were always nonconductive. Depending on the structure, destruction of the gold nanoelectrodes occurred frequently during the trapping of DNA origami nanostructures. This indicates high currents, resulting from the trapped conductive nanostructures.


title: Compare Where It Matters: Using Layer-Wise Regularization To Improve Federated Learning on Heterogeneous Data

abstract: Federated Learning is a widely adopted method to train neural networks over distributed data. One main limitation is the performance degradation that occurs when data is heterogeneously distributed. While many works have attempted to address this problem, these methods under-perform because they are founded on a limited understanding of neural networks. In this work, we verify that only certain important layers in a neural network require regularization for effective training. We additionally verify that Centered Kernel Alignment (CKA) most accurately calculates similarity between layers of neural networks trained on different data. By applying CKA-based regularization to important layers during training, we significantly improve performance in heterogeneous settings. We present FedCKA: a simple framework that out-performs previous state-of-the-art methods on various deep learning tasks while also improving efficiency and scalability.


title: Approximating Length-Restricted Means under Dynamic Time Warping

abstract: We study variants of the mean problem under the $p$-Dynamic Time Warping ($p$-DTW) distance, a popular and robust distance measure for sequential data. In our setting we are given a set of finite point sequences over an arbitrary metric space and we want to compute a mean point sequence of given length that minimizes the sum of $p$-DTW distances, each raised to the $q$\textsuperscript{th} power, between the input sequences and the mean sequence. In general, the problem is $\mathrm{NP}$-hard and known not to be fixed-parameter tractable in the number of sequences. On the positive side, we show that restricting the length of the mean sequence significantly reduces the hardness of the problem. We give an exact algorithm running in polynomial time for constant-length means. We explore various approximation algorithms that provide a trade-off between the approximation factor and the running time. Our approximation algorithms have a running time with only linear dependency on the number of input sequences. In addition, we use our mean algorithms to obtain clustering algorithms with theoretical guarantees.


title: Asymmetric topological pumping in nonparaxial photonics

abstract: Topological photonics was initially inspired by the quantum-optical analogy between the Schr\"odinger equation for an electron wavefunction and the paraxial equation for a light beam. Here, we reveal an unexpected phenomenon in topological pumping observed in arrays of nonparaxial optical waveguides where the quantum-optical analogy becomes invalid. We predict theoretically and demonstrate experimentally an asymmetric topological pumping when the injected field transfers from one side of the waveguide array to the other side whereas the reverse process is unexpectedly forbidden. Our finding could open an avenue for exploring topological photonics that enables nontrivial topological phenomena and designs in photonics driven by nonparaxiality.


title: Rethink, Revisit, Revise: A Spiral Reinforced Self-Revised Network for Zero-Shot Learning

abstract: Current approaches to Zero-Shot Learning (ZSL) struggle to learn generalizable semantic knowledge capable of capturing complex correlations. Inspired by \emph{Spiral Curriculum}, which enhances learning processes by revisiting knowledge, we propose a form of spiral learning which revisits visual representations based on a sequence of attribute groups (e.g., a combined group of \emph{color} and \emph{shape}). Spiral learning aims to learn generalized local correlations, enabling models to gradually enhance global learning and thus understand complex correlations. Our implementation is based on a 2-stage \emph{Reinforced Self-Revised (RSR)} framework: \emph{preview} and \emph{review}. RSR first previews visual information to construct diverse attribute groups in a weakly-supervised manner. Then, it spirally learns refined localities based on attribute groups and uses localities to revise global semantic correlations. Our framework outperforms state-of-the-art algorithms on four benchmark datasets in both zero-shot and generalized zero-shot settings, which demonstrates the effectiveness of spiral learning in learning generalizable and complex correlations. We also conduct extensive analysis to show that attribute groups and reinforced decision processes can capture complementary semantic information to improve predictions and aid explainability.


title: On growth monotonicity estimates of the principal Dirichlet-Laplacian eigenvalue

abstract: In the present paper we obtain growth monotonicity estimates of the principal Dirichlet-Laplacian eigenvalue in bounded non-Lipschitz domains. The proposed method is based on composition operators generated by quasiconformal mappings and their applications to weighted Sobolev inequalities.


title: The Majority Can Help The Minority: Context-rich Minority Oversampling for Long-tailed Classification

abstract: The problem of class imbalanced data is that the generalization performance of the classifier deteriorates due to the lack of data from minority classes. In this paper, we propose a novel minority over-sampling method to augment diversified minority samples by leveraging the rich context of the majority classes as background images. To diversify the minority samples, our key idea is to paste an image from a minority class onto rich-context images from a majority class, using them as background images. Our method is simple and can be easily combined with the existing long-tailed recognition methods. We empirically prove the effectiveness of the proposed oversampling method through extensive experiments and ablation studies. Without any architectural changes or complex algorithms, our method achieves state-of-the-art performance on various long-tailed classification benchmarks. Our code is made available at https://github.com/naver-ai/cmo.


title: A derivative-free approach to optimal control problems with piecewise constant Mayer cost function

abstract: A piecewise constant Mayer cost function is used to model optimal control problems in which the state space is partitioned into several regions, each having its own Mayer cost value. In such a context, the standard numerical methods used in optimal control theory naturally fail, due to the discontinuities and the null gradients associated with the Mayer cost function. In this paper an hybrid numerical method, based on both derivative-free optimization and smooth optimization techniques, is proposed to solve this class of problems. Numerical simulations are performed on some standard control systems to show the efficiency of the hybrid method, where NOMAD and IPOPT are used as, respectively, derivative-free optimization and smooth optimization solvers.


title: AR-sieve Bootstrap for High-dimensional Time Series

abstract: This paper proposes a new AR-sieve bootstrap approach on high-dimensional time series. The major challenge of classical bootstrap methods on high-dimensional time series is two-fold: the curse dimensionality and temporal dependence. To tackle such difficulty, we utilise factor modelling to reduce dimension and capture temporal dependence simultaneously. A factor-based bootstrap procedure is constructed, which conducts AR-sieve bootstrap on the extracted low-dimensional common factor time series and then recovers the bootstrap samples for original data from the factor model. Asymptotic properties for bootstrap mean statistics and extreme eigenvalues are established. Various simulations further demonstrate the advantages of the new AR-sieve bootstrap under high-dimensional scenarios. Finally, an empirical application on particulate matter (PM) concentration data is studied, where bootstrap confidence intervals for mean vectors and autocovariance matrices are provided.


title: Inequality in economic shock exposures across the global firm-level supply network

abstract: For centuries, national economies created wealth by engaging in international trade and production. The resulting international supply networks not only increase wealth for countries, but also create systemic risk: economic shocks, triggered by company failures in one country, may propagate to other countries. Using global supply network data on the firm-level, we present a method to estimate a country's exposure to direct and indirect economic losses caused by the failure of a company in another country. We show the network of systemic risk-flows across the world. We find that rich countries expose poor countries much more to systemic risk than the other way round. We demonstrate that higher systemic risk levels are not compensated with a risk premium in GDP, nor do they correlate with economic growth. Systemic risk around the globe appears to be distributed more unequally than wealth. These findings put the often praised benefits for developing countries from globalized production in a new light, since they relate them to the involved risks in the production processes. Exposure risks present a new dimension of global inequality, that most affects the poor in supply shock crises. It becomes fully quantifiable with the proposed method.


title: Vorticity equation on surfaces with arbitrary topology

abstract: We derive the vorticity equation for an incompressible fluid on a 2-dimensional surface with arbitrary topology embedded in 3-dimensional Euclidean space by using a tailored Clebsch parametrization of the flow. In the inviscid limit, we identify conserved surface energy and enstrophy, and obtain the corresponding noncanonical Hamiltonian structure. We then discuss the formulation of the diffusion operator on the surface by examining two alternatives. In the first case, we follow the standard approach for the Navier-Stokes equations on a Riemannian manifold and calculate the diffusion operator by requiring that flows corresponding to Killing fields of the Riemannian metric are not subject to dissipation. For an embedded surface, this leads to a diffusion operator including derivatives of the stream function across the surface. In the second case, using an analogy with the Poisson equation for the Newtonian gravitational potential in general relativity, we construct a diffusion operator taking into account the Ricci scalar curvature of the surface. The resulting vorticity equation is 2-dimensional, and the corresponding diffusive equilibria minimize dissipation under the constraint of curvature energy.


title: One-generated nilpotent bicommutative algebras

abstract: We give a classification of $5$- and $6$-dimensional complex one-generated nilpotent bicommutative algebras.


title: Generalized torsion for hyperbolic $3$--manifold groups with arbitrary large rank

abstract: Let $G$ be a group and $g$ a non-trivial element in $G$. If some non-empty finite product of conjugates of $g$ equals to the trivial element, then $g$ is called a generalized torsion element. To the best of our knowledge, we have no hyperbolic $3$--manifold groups with generalized torsion elements whose rank is explicitly known to be greater than two. The aim of this short note is to demonstrate that for a given integer $n > 1$ there are infinitely many closed hyperbolic $3$--manifolds $M_n$ which enjoy the property: (i) the Heegaard genus of $M_n$ is $n$, (ii) the rank of the fundamental group of $M_n$ is $n$, and (ii) the fundamental group of $M_n$ has a generalized torsion element. Furthermore, we may choose $M_n$ as homology lens spaces and so that the order of the generalized torsion element is arbitrarily large.


title: Quantization of symplectic fibrations and canonical metrics

abstract: We relate Berezin-Toeplitz quantization of higher rank vector bundles to quantum-classical hybrid systems and quantization in stages of symplectic fibrations. We apply this picture to the analysis and geometry of vector bundles, including the spectral gap of the Berezin transform and the convergence rate of Donaldson's iterations towards balanced metrics on stable vector bundles. We also establish refined estimates in the scalar case to compute the rate of Donaldson's iterations towards balanced metrics on K\"ahler manifolds with constant scalar curvature.


title: An adaptive mixture-population Monte Carlo method for likelihood-free inference

abstract: This paper focuses on variational inference with intractable likelihood functions that can be unbiasedly estimated. A flexible variational approximation based on Gaussian mixtures is developed, by adopting the mixture population Monte Carlo (MPMC) algorithm in \cite{cappe2008adaptive}. MPMC updates iteratively the parameters of mixture distributions with importance sampling computations, instead of the complicated gradient estimation of the optimization objective in usual variational Bayes. Noticing that MPMC uses a fixed number of mixture components, which is difficult to predict for real applications, we further propose an automatic component--updating procedure to derive an appropriate number of components. The derived adaptive MPMC algorithm is capable of finding good approximations of the multi-modal posterior distributions even with a standard Gaussian as the initial distribution, as demonstrated in our numerical experiments.


title: The orthogonal branching problem for symplectic monogenics

abstract: In this paper we study the sp(2m)-invariant Dirac operator Ds which acts on symplectic spinors, from an orthogonal point of view. By this we mean that we will focus on the subalgebra so(m), as this will allow us to derive branching rules for the space of 1-homogeneous polynomial solutions for the operator Ds (hence generalising the classical Fischer decomposition in harmonic analysis for a vector variable in Rm). To arrive at this result we use techniques from representation theory, including the transvector algebra Z(sp(4),so(4)) and tensor products of Verma modules.


title: Lifetime of quasi-particles in the nearly-free electron metal Sodium

abstract: We report a high-resolution angle-resolved photoemission (ARPES) study of the prototypical nearly-free-electron metal sodium. The observed mass enhancement is slightly smaller than that derived in previous studies. The new results on the lifetime broadening increase the demand for theories beyond the random phase approximation. Our results do not support the proposed strong enhancement of the scattering rates of the charge carriers due to a coupling to spin fluctuations. Moreover, a comparison with earlier electron energy-loss data on sodium yields a strong reduction of the mass enhancement of dipolar electron-hole excitations compared to that of monopole hole excitations, measured by ARPES.


title: Controlling Wasserstein Distances by Kernel Norms with Application to Compressive Statistical Learning

abstract: Comparing probability distributions is at the crux of many machine learning algorithms. Maximum Mean Discrepancies (MMD) and Wasserstein distances are two classes of distances between probability distributions that have attracted abundant attention in past years. This paper establishes some conditions under which the Wasserstein distance can be controlled by MMD norms. Our work is motivated by the compressive statistical learning (CSL) theory, a general framework for resource-efficient large scale learning in which the training data is summarized in a single vector (called sketch) that captures the information relevant to the considered learning task. Inspired by existing results in CSL, we introduce the H\"older Lower Restricted Isometric Property and show that this property comes with interesting guarantees for compressive statistical learning. Based on the relations between the MMD and the Wasserstein distances, we provide guarantees for compressive statistical learning by introducing and studying the concept of Wasserstein regularity of the learning task, that is when some task-specific metric between probability distributions can be bounded by a Wasserstein distance.


title: Multi-Agent Transfer Learning in Reinforcement Learning-Based Ride-Sharing Systems

abstract: Reinforcement learning (RL) has been used in a range of simulated real-world tasks, e.g., sensor coordination, traffic light control, and on-demand mobility services. However, real world deployments are rare, as RL struggles with dynamic nature of real world environments, requiring time for learning a task and adapting to changes in the environment. Transfer Learning (TL) can help lower these adaptation times. In particular, there is a significant potential of applying TL in multi-agent RL systems, where multiple agents can share knowledge with each other, as well as with new agents that join the system. To obtain the most from inter-agent transfer, transfer roles (i.e., determining which agents act as sources and which as targets), as well as relevant transfer content parameters (e.g., transfer size) should be selected dynamically in each particular situation. As a first step towards fully dynamic transfers, in this paper we investigate the impact of TL transfer parameters with fixed source and target roles. Specifically, we label every agent-environment interaction with agent's epistemic confidence, and we filter the shared examples using varying threshold levels and sample sizes. We investigate impact of these parameters in two scenarios, a standard predator-prey RL benchmark and a simulation of a ride-sharing system with 200 vehicle agents and 10,000 ride-requests.


title: How to use Persistent Memory in your Database

abstract: Persistent or Non Volatile Memory (PMEM or NVM) has recently become commercially available under several configurations with different purposes and goals. Despite the attention to the topic, we are not aware of a comprehensive empirical analysis of existing relational database engines under different PMEM configurations. Such a study is important to understand the performance implications of the various hardware configurations and how different DB engines can benefit from them. To this end, we analyze three different engines (PostgreSQL, MySQL, and SQLServer) under common workloads (TPC-C and TPC-H) with all possible PMEM configurations supported by Intel's Optane NVM devices (PMEM as persistent memory in AppDirect mode and PMEM as volatile memory in Memory mode). Our results paint a complex picture and are not always intuitive due to the many factors involved. Based on our findings, we provide insights on how the different engines behave with PMEM and which configurations and queries perform best. Our results show that using PMEM as persistent storage usually speeds up query execution, but with some caveats as the I/O path is not fully optimized. Additionally, using PMEM in Memory mode does not offer any performance advantage despite the larger volatile memory capacity. Through the extensive coverage of engines and parameters, we provide an important starting point for exploiting PMEM in databases and tuning relational engines to take advantage of this new technology.


title: Noisy Bayesian optimization for variational quantum eigensolvers

abstract: The variational quantum eigensolver (VQE) is a hybrid quantum-classical algorithm used to find the ground state of a Hamiltonian using variational methods. In the context of this Lattice symposium, the procedure can be used to study lattice gauge theories (LGTs) in the Hamiltonian formulation. Bayesian optimization (BO) based on Gaussian process regression (GPR) is a powerful algorithm for finding the global minimum of a cost function, e.g. the energy, with a very low number of iterations using data affected by statistical noise. This work proposes an implementation of GPR and BO specifically tailored to perform VQE on quantum computers already available today.


title: Research on Event Accumulator Settings for Event-Based SLAM

abstract: Event cameras are a new type of sensors that are different from traditional cameras. Each pixel is triggered asynchronously by event. The trigger event is the change of the brightness irradiated on the pixel. If the increment or decrement of brightness is higher than a certain threshold, an event is output. Compared with traditional cameras, event cameras have the advantages of high dynamic range and no motion blur. Accumulating events to frames and using traditional SLAM algorithm is a direct and efficient way for event-based SLAM. Different event accumulator settings, such as slice method of event stream, processing method for no motion, using polarity or not, decay function and event contribution, can cause quite different accumulating results. We conducted the research on how to accumulate event frames to achieve a better event-based SLAM performance. For experiment verification, accumulated event frames are fed to the traditional SLAM system to construct an event-based SLAM system. Our strategy of setting event accumulator has been evaluated on the public dataset. The experiment results show that our method can achieve better performance in most sequences compared with the state-of-the-art event frame based SLAM algorithm. In addition, the proposed approach has been tested on a quadrotor UAV to show the potential of applications in real scenario. Code and results are open sourced to benefit the research community of event cameras.


title: Adv-4-Adv: Thwarting Changing Adversarial Perturbations via Adversarial Domain Adaptation

abstract: Whereas adversarial training can be useful against specific adversarial perturbations, they have also proven ineffective in generalizing towards attacks deviating from those used for training. However, we observe that this ineffectiveness is intrinsically connected to domain adaptability, another crucial issue in deep learning for which adversarial domain adaptation appears to be a promising solution. Consequently, we proposed Adv-4-Adv as a novel adversarial training method that aims to retain robustness against unseen adversarial perturbations. Essentially, Adv-4-Adv treats attacks incurring different perturbations as distinct domains, and by leveraging the power of adversarial domain adaptation, it aims to remove the domain/attack-specific features. This forces a trained model to learn a robust domain-invariant representation, which in turn enhances its generalization ability. Extensive evaluations on Fashion-MNIST, SVHN, CIFAR-10, and CIFAR-100 demonstrate that a model trained by Adv-4-Adv based on samples crafted by simple attacks (e.g., FGSM) can be generalized to more advanced attacks (e.g., PGD), and the performance exceeds state-of-the-art proposals on these datasets.


title: Security issues of CFS-like digital signature algorithms

abstract: We analyse the security of some variants of the CFS code-based digital signature scheme. We show how the adoption of some code-based hash-functions to improve the efficiency of CFS leads to the ability of an attacker to produce a forgery compatible to the rightful user's public key.


title: One dimensional commutative groups definable in algebraically closed valued fields and in the pseudo-local fields

abstract: We give a complete list of the one-dimensional groups definable in algebraically closed valued fields and i the pseudo-local fields, up to a finite index subgroup and a quotient by a finite subgroup.


title: MAD: A Scalable Dataset for Language Grounding in Videos from Movie Audio Descriptions

abstract: The recent and increasing interest in video-language research has driven the development of large-scale datasets that enable data-intensive machine learning techniques. In comparison, limited effort has been made at assessing the fitness of these datasets for the video-language grounding task. Recent works have begun to discover significant limitations in these datasets, suggesting that state-of-the-art techniques commonly overfit to hidden dataset biases. In this work, we present MAD (Movie Audio Descriptions), a novel benchmark that departs from the paradigm of augmenting existing video datasets with text annotations and focuses on crawling and aligning available audio descriptions of mainstream movies. MAD contains over 384,000 natural language sentences grounded in over 1,200 hours of videos and exhibits a significant reduction in the currently diagnosed biases for video-language grounding datasets. MAD's collection strategy enables a novel and more challenging version of video-language grounding, where short temporal moments (typically seconds long) must be accurately grounded in diverse long-form videos that can last up to three hours. We have released MAD's data and baselines code at https://github.com/Soldelli/MAD.


title: A benchmark with decomposed distribution shifts for 360 monocular depth estimation

abstract: In this work we contribute a distribution shift benchmark for a computer vision task; monocular depth estimation. Our differentiation is the decomposition of the wider distribution shift of uncontrolled testing on in-the-wild data, to three distinct distribution shifts. Specifically, we generate data via synthesis and analyze them to produce covariate (color input), prior (depth output) and concept (their relationship) distribution shifts. We also synthesize combinations and show how each one is indeed a different challenge to address, as stacking them produces increased performance drops and cannot be addressed horizontally using standard approaches.


title: Demonstration of a three-dimensional current mapping technique around a superconductor in a prototype of a conventional superconducting fault current limiter

abstract: Here we describe a three-dimensional current mapping technology developed for a superconductor using an array of Hall sensors distributed around it. We demonstrate this in a prototype similar to a conventional resistive superconducting fault current limiter (SCFCL). By calibrating the Hall sensor voltage, we can directly measure the distribution of the currents in the superconductor and the shunt. Using pulsed measurements, we measure the fractions of current distributed between the superconductor and shunt resistor parallel combination when a fault-like condition is mimicked in the system. Using the Hall array measurements, we generate a real-time three-dimensional map of local average current distribution around the superconductor used in our prototype of SCFCL. Our measurements show that, even for currents less than the critical current a non-uniform current flow pattern exists around the superconductor which we have used in the prototype. The capability of real-time, three-dimensional monitoring of the average local current distribution offers a way for the early detection of instabilities like hotspots developing in a superconductor. We discuss the use of this technique to not only show how it offers early detection and protection against instabilities developing in the superconductor, but also how it offers an added flexibility, namely, a user-settable fault current threshold.


title: Training Experimentally Robust and Interpretable Binarized Regression Models Using Mixed-Integer Programming

abstract: In this paper, we explore model-based approach to training robust and interpretable binarized regression models for multiclass classification tasks using Mixed-Integer Programming (MIP). Our MIP model balances the optimization of prediction margin and model size by using a weighted objective that: minimizes the total margin of incorrectly classified training instances, maximizes the total margin of correctly classified training instances, and maximizes the overall model regularization. We conduct two sets of experiments to test the classification accuracy of our MIP model over standard and corrupted versions of multiple classification datasets, respectively. In the first set of experiments, we show that our MIP model outperforms an equivalent Pseudo-Boolean Optimization (PBO) model and achieves competitive results to Logistic Regression (LR) and Gradient Descent (GD) in terms of classification accuracy over the standard datasets. In the second set of experiments, we show that our MIP model outperforms the other models (i.e., GD and LR) in terms of classification accuracy over majority of the corrupted datasets. Finally, we visually demonstrate the interpretability of our MIP model in terms of its learned parameters over the MNIST dataset. Overall, we show the effectiveness of training robust and interpretable binarized regression models using MIP.


title: Accelerating Cathode Material Discovery through Ab Initio Random Structure Searching

abstract: The choice of cathode material in Li-ion batteries (LIBs) underpins their overall performance. Discovering new cathode materials is a slow process, and all major commercial cathode materials are still based on those identified in the 1990s. Materials discovery using high-throughput calculations has attracted great research interest, however, reliance on databases of existing materials begs the question of whether these approaches are applicable for finding truly novel materials. In this work, we demonstrate that ab-initio random structure searching (AIRSS), a first-principles structure prediction methods that does not rely on any pre-existing data, can locate low energy structures of complex cathode materials efficiently based only on chemical composition. We use AIRSS to explore three Fe-containing polyanion compounds as low-cost cathodes. Using known quaternary LiFePO4 and quinary LiFeSO4F cathodes as examples, we easily reproduce the known polymorphs, in addition to predicting other, hitherto unknown, low energy polymorphs, and even finding a new polymorph of LiFeSO4F which is more stable than the known ones. We then explore the phase space for Fe-containing fluoroxalates, predicting a range of redox-active phases that have yet to be experimentally synthesized, demonstrating the suitability of AIRSS as a tool for accelerating the discovery of novel cathode materials.


title: Reply to arXiv:2111.13357 ("The Quantum Eraser Non-Paradox'')

abstract: In a recent criticism (arXiv:2111.13357) of our paper arXiv:2111.09347, Drezet argues that we have forgotten to consider superpositions of detector eigenstates. However, such superpositions do not occur in the models our paper is concerned with. We also note that no one has ever observed such detector superpositions.


title: On the circuits of splitting matroids representable over GF(p)

abstract: We extend the splitting operation from binary matroids (Raghunathan et al., 1998) to $p$- matroids, where $p$-matroids refer to matroids representable over $GF(p).$ We also characterize circuits, bases, and independent sets of the resulting matroid. Sufficient conditions to yield Eulerian $p$-matroids from Eulerian and non-Eulerian $p$-matroids by applying the splitting operation are obtained. A class of connected $p$-matroids that gives connected $p$-matroids under the splitting operation is characterized.


title: Pulse induced resonance with angular dependent total enhancement of multi-dimensional solid-state NMR correlation spectra

abstract: We demonstrate a new resonance condition that obeys the relation ${\Delta}{\delta}=n{\nu}_{R}/2$, where ${\Delta}{\delta}$ is the chemical shift difference between two homonuclear-coupled spins, ${\nu}_{R}$ is the magic-angle spinning speed and $n$ is an integer. This modulation on the rotational resonance recoupling condition is obtained by the application of rotor-synchronous $^{1}$H pulses when at least one proton is dipolar-coupled to one of the homonuclear-coupled spins. We suggest a new experimental scheme entitled "pulse induced resonance with angular dependent total enhancement" (PIRATE) that can enhance proton-driven spin diffusion by the application of a single $^{1}$H pulse every rotor period. Experimental evidence is demonstrated on the two carbon spins of glycine and on the Y21M mutant of fd bacteriophage virus. Numerical simulations reveal the existence of the resonances and report on the important interactions governing this phenomena.


title: A General Approach for Lookback Option Pricing under Markov Models

abstract: We propose a very efficient method for pricing various types of lookback options under Markov models. We utilize the model-free representations of lookback option prices as integrals of first passage probabilities. We combine efficient numerical quadrature with continuous-time Markov chain approximation for the first passage problem to price lookbacks. Our method is applicable to a variety of models, including one-dimensional time-homogeneous and time-inhomogeneous Markov processes, regime-switching models and stochastic local volatility models. We demonstrate the efficiency of our method through various numerical examples.


title: Global Convergence of Inexact Augmented Lagrangian Method for Zero-One Composite Optimization

abstract: We consider the problem of minimizing the sum of a smooth function and a composition of a zero-one loss function with a linear operator, namely zero-one composite optimization problem (0/1-COP). It is a versatile model including the support vector machine (SVM), multi-label classification (MLC), maximum rank correlation (MRC) and so on. However, due to the nonconvexity, discontinuity and NP-hardness of the 0/1-COP, it is intractable to design a globally convergent algorithm and the work attempting to solve it directly is scarce. In this paper, we first define and characterize the proximal stationarity to derive the minimum and the strongly exact penalization of the Lyapunov function, which is a variant of the augmented Lagrangian function for the 0/1-COP. Based on this, we propose an inexact augmented Lagrangian method (IALM) for solving 0/1-COP, where the subproblem is solved by the zero-one Bregman alternating linearized minimization (0/1-BALM) algorithm with low computational complexity. Under some suitable assumptions, we prove that the whole sequence generated by the IALM converges to the local minimizer of 0/1-COP. As a direct application, we obtain the global convergence of IALM under the assumption that the data matrix is full row rank for solving the SVM, MLC and MRC.


title: Duality, generalized global symmetries and jet space isometries

abstract: We revisit universal features of duality in linear and nonlinear relativistic scalar and Abelian 1-form theories with single or multiple fields, which exhibit ordinary or generalized global symmetries. We show that such global symmetries can be interpreted as generalized Killing isometries on a suitable, possibly graded, target space of fields or its jet space when the theory contains higher derivatives. This is realized via a generalized sigma model perspective motivated from the fact that higher spin particles can be Nambu-Goldstone bosons of spontaneously broken generalized global symmetries. We work out in detail the 2D examples of a compact scalar and the massless Heisenberg pion fireball model and the 4D examples of Maxwell, Born-Infeld and ModMax electrodynamics. In all cases we identify the 't Hooft anomaly that obstructs the simultaneous gauging of both global symmetries and confirm the anomaly matching under duality. These results readily generalize to higher gauge theories for p-forms. For multifield theories we discuss the transformation of couplings under duality as two sets of Buscher rules for even or odd differential forms.


title: Sign patterns that allow algebraic positivity

abstract: A real square matrix is algebraically positive if there exists a real polynomial $f$ such that $f(A)$ is a positive matrix. In this paper, we give a sufficient condition for a sign pattern matrix to allow algebraic positivity, and give some methods to construct higher-order algebraically positive matrices from some lower-order algebraically positive matrices. We also propose two conjectures related to the problem of allowing algebraic positivity.