title: Hydrodynamic models of astrophysical wormholes. The general concept

abstract: We study hydrodynamic models of astrophysical wormholes when water waves can be amplified in the course of propagation between two critical points where wave and current speeds coincide. Such models can be realised in shallow laboratory ducts with variable width and depths. In this paper, we derive the basic set of equations for shallow water waves on the spatially variable flow in the duct of a variable cross-section and present the asymptotic analysis of solutions in the neighbourhood of the critical points. The critical points mimic either the black hole (BH) horizon if the flow transits from the subcritical to the supercritical regime, or the white hole (WH) horizon if the flow transits from the supercritical to the subcritical regime. We study then, the wave propagation in the flow with two horizons when the flow transits first the BH horizon and then the WH one. The region between the horizons mimics a wormhole in general relativity. For the sake of completeness, we also study the successive transition through WH and BH horizons. The theoretical results are illustrated by numerical calculations of wave propagation in both these arrangements. It is shown that the wave amplification after passing the active zone between the horizons takes place in BH{WH arrangements only and can occur for different relationships between the subcritical and supercritical flow velocities. The frequency dependence of the amplification factor is obtained and quantified in terms of the velocity ratio within and outside the \wormhole domain". In the next paper, we plan to present exact solutions for the specific velocity profile.


title: Krieger's type for ergodic nonsingular Poisson actions of non-(T) locally compact groups

abstract: It is shown that each non-compact locally compact second countable non-(T) group $G$ possesses non-strongly ergodic weakly mixing IDPFT Poisson actions of arbitrary Krieger's type. These actions are amenable if and only if $G$ is amenable. If $G$ has the Haagerup property then (and only then) these actions can be chosen of 0-type. If $G$ is amenable and unimodular then $G$ has weakly mixing Bernoulli actions of any possible Krieger's type.


title: PassFlow: Guessing Passwords with Generative Flows

abstract: Recent advances in generative machine learning models rekindled research interest in the area of password guessing. Data-driven password guessing approaches based on GANs, language models and deep latent variable models have shown impressive generalization performance and offer compelling properties for the task of password guessing. In this paper, we propose PassFlow, a flow-based generative model approach to password guessing. Flow-based models allow for precise log-likelihood computation and optimization, which enables exact latent variable inference. Additionally, flow-based models provide meaningful latent space representation, which enables operations such as exploration of specific subspaces of the latent space and interpolation. We demonstrate the applicability of generative flows to the context of password guessing, departing from previous applications of flow-networks which are mainly limited to the continuous space of image generation. We show that PassFlow is able to outperform prior state-of-the-art GAN-based approaches in the password guessing task while using a training set that is orders of magnitudes smaller than that of previous art. Furthermore, a qualitative analysis of the generated samples shows that PassFlow can accurately model the distribution of the original passwords, with even non-matched samples closely resembling human-like passwords.


title: The Dynamic k-Mismatch Problem

abstract: The text-to-pattern Hamming distances problem asks to compute the Hamming distances between a given pattern of length $m$ and all length-$m$ substrings of a given text of length $n\ge m$. We focus on the $k$-mismatch version of the problem, where a distance needs to be returned only if it does not exceed a threshold $k$. We assume $n\le 2m$ (in general, one can partition the text into overlapping blocks). In this work, we show data structures for the dynamic version of this problem supporting two operations: An update performs a single-letter substitution in the pattern or the text, and a query, given an index $i$, returns the Hamming distance between the pattern and the text substring starting at position $i$, or reports that it exceeds $k$. First, we show a data structure with $\tilde{O}(1)$ update and $\tilde{O}(k)$ query time. Then we show that $\tilde{O}(k)$ update and $\tilde{O}(1)$ query time is also possible. These two provide an optimal trade-off for the dynamic $k$-mismatch problem with $k \le \sqrt{n}$: we prove that, conditioned on the strong 3SUM conjecture, one cannot simultaneously achieve $k^{1-\Omega(1)}$ time for all operations. For $k\ge \sqrt{n}$, we give another lower bound, conditioned on the Online Matrix-Vector conjecture, that excludes algorithms taking $n^{1/2-\Omega(1)}$ time per operation. This is tight for constant-sized alphabets: Clifford et al. (STACS 2018) achieved $\tilde{O}(\sqrt{n})$ time per operation in that case, but with $\tilde{O}(n^{3/4})$ time per operation for large alphabets. We improve and extend this result with an algorithm that, given $1\le x\le k$, achieves update time $\tilde{O}(\frac{n}{k} +\sqrt{\frac{nk}{x}})$ and query time $\tilde{O}(x)$. In particular, for $k\ge \sqrt{n}$, an appropriate choice of $x$ yields $\tilde{O}(\sqrt[3]{nk})$ time per operation, which is $\tilde{O}(n^{2/3})$ when no threshold $k$ is provided.


title: Cosmology with Planck T-E correlation coefficient

abstract: Tensions in cosmological parameters measurement motivate a revisit of the effects of instrumental systematics. In this article, we focus on the Pearson's correlation coefficient of the cosmic microwave background temperature and polarization E modes $\mathcal{R}_\ell^{\rm TE}$ which has the property of not being biased by multiplicative instrumental systematics. We build a $\mathcal{R}_\ell^{\rm TE}$-based likelihood for the Planck data, and present the first constraints on $\Lambda$CDM parameters from the correlation coefficient. Our results are compatible with parameters derived from a power spectra based likelihood. In particular the value of the Hubble parameter $H_0$ characterizing the expansion of the Universe today, 67.5 $\pm$ 1.3 km/s/Mpc, is consistent with the ones inferred from standard CMB analysis. We also discuss the consistency of the Planck correlation coefficient with the one computed from the most recent ACTPol power spectra.


title: HeunNet: Extending ResNet using Heun's Methods

abstract: There is an analogy between the ResNet (Residual Network) architecture for deep neural networks and an Euler solver for an ODE. The transformation performed by each layer resembles an Euler step in solving an ODE. We consider the Heun Method, which involves a single predictor-corrector cycle, and complete the analogy, building a predictor-corrector variant of ResNet, which we call a HeunNet. Just as Heun's method is more accurate than Euler's, experiments show that HeunNet achieves high accuracy with low computational (both training and test) time compared to both vanilla recurrent neural networks and other ResNet variants.


title: Handel's fixed point theorem: A Morse theoretical point of view

abstract: Michael Handel has proved in [Ha] a fixed point theorem for an orientation preserving homeomorphism of the open unit disk, that turned out to be an efficient tool in the study of the dynamics of surface homeomorphisms. The present article fits into a series of articles by the author [LeC2] and by Juliana Xavier [X1], [X2], where proofs were given, related to the classical Brouwer Theory, instead of the Homotopical Brouwer Theory used in the original article. Like in [LeC2], [X1] and [X2], we will use "free brick decompositions" but will present a more conceptual Morse theoretical argument. It is based on a new preliminary lemma, that gives a nice "condition at infinity" for our problem.


title: The Galerkin-truncated Burgers equation: Crossover from inviscid-thermalised to Kardar-Parisi-Zhang scaling

abstract: The one-dimensional ($1D$) Galerkin-truncated Burgers equation, with both dissipation and noise terms included, is studied using spectral methods. When the truncation-scale Reynolds number $R_{\rm min}$ is varied, from very small values to order $1$ values, the scale-dependent correlation time $\tau(k)$ is shown to follow the expected crossover from the short-distance $\tau(k) \sim k^{-2}$ Edwards-Wilkinson scaling to the universal long-distance Kardar-Parisi-Zhang scaling $\tau(k) \sim k^{-3/2}$. In the inviscid limit: $R_{\rm min}\to \infty$, we show that the system displays {\it another} crossover to the Galerkin-truncated inviscid-Burgers regime that admits thermalised solutions with $\tau(k) \sim k^{-1}$. The scaling form of the time-correlation functions are shown to follow the known analytical laws and the skewness and excess kurtosis of the interface increments distributions are characterised.


title: Quantum Hall effect induced by chiral Landau levels in topological semimetal films

abstract: Motivated by recent transport experiments, we theoretically study the quantum Hall effect in topological semimetal films. Owing to the confinement effect, the bulk subbands originating from the chiral Landau levels establish energy gaps that have quantized Hall conductance and can be observed in relatively thick films. We find that the quantum Hall state is strongly anisotropic for different confinement directions not only due to the presence of the surface states but also because of the bulk chiral Landau levels. As a result, we re-examine the quantum Hall effect from the surface Fermi arcs and chiral modes in Weyl semimetals and give a more general view into this problem. Besides, we also find that when a topological Dirac semimetal is confined in its rotational symmetry axis, it hosts both quantum Hall and quantum spin Hall states, in which the helical edge states are protected by the conservation of the spin-$z$ component.


title: Jets and spectral states with three-components of accretion flow around a black hole

abstract: It is generally believed that high energy radiation (power-law components) can be mostly produced by a hot corona gas in the accreting black holes. There is a very popular hybrid disk radial coupling model that the inner part of cool Keplerian disk (or Shakura-Sunyaev disk) can produce advection-dominated accretion flow or corona-like structure, which can also generate outflows/jets. Here we argue that this simple coupling model cannot explain the whole hardness-intensity diagram of the spectral states and their transitions, and associated jets of a $X-$ray binary. Based on recent theoretical works on advective disk structures around a black hole, as well as many observational behaviors of a source, we conclude that there should be a third component of hot accretion flow with the radial coupling model, which can successfully explain all the spectral states and transitions. Interestingly, this model also provides a new scenario for the jet generation, launching, and evolution during the states with help of created barrier of the inner flow. We have also find out the jet kinetic power expression with our new jet generation scenario.


title: Mortar coupling of $hp$-discontinuous Galerkin and boundary element methods for the Helmholtz equation

abstract: We design and analyze a coupling of a discontinuous Galerkin finite element method with a boundary element method to solve the Helmholtz equation with variable coefficients in three dimensions. The coupling is realized with a mortar variable that is related to an impedance trace on a smooth interface. The method obtained has a block structure with nonsingular subblocks. We prove quasi-optimality of the $h$- and $p$-versions of the scheme, under a threshold condition on the approximability properties of the discrete spaces. Amongst others, an essential tool in the analysis is a novel discontinuous-to-continuous reconstruction operator on tetrahedral meshes with curved faces.


title: Associated charmonium-bottomonium production in a single boson $e^+e^-$ annihilation

abstract: The production cross sections of $J/\psi~\eta_b$, $\Upsilon\;\eta_c$ pairs in a single boson $e^+e^-$ annihilation have been studied in a wide range of energies, which will be achieved at future $e^+e^-$ colliders. The main color singlet contributions to the production processes are taken into account, including the one loop QCD contribution.


title: The Minimal Supersymmetric Universal Seesaw Mechanism (MSUSM)

abstract: We build a supersymmetric model with $SU(2)_{L}\otimes SU(2)_{R}\otimes U(1)_{(B-L)}$ electroweak gauge symmetry, where $SU(2)_{L}$ is the left-handed currents while $SU(2)_{R}$ is the right-handed currents and $B$ and $L$ are the usual baryonic and leptonic numbers. We can generate an universal seesaw mechanism to get masses for all the usual fermions in this model, it means quarks and leptons, and also explain the mixing experimental data. We will also to study the masses of the Gauge Bosons and also the masses of all usual scalars of this model.


title: Efficient executions of Pipelined Conjugate Gradient Method on Heterogeneous Architectures

abstract: The Preconditioned Conjugate Gradient (PCG) method is widely used for solving linear systems of equations with sparse matrices. A recent version of PCG, Pipelined PCG, eliminates the dependencies in the computations of the PCG algorithm so that the non-dependent computations can be overlapped with communication. In this paper, we propose three methods for efficient execution of the Pipelined PCG algorithm on GPU accelerated heterogeneous architectures. The first two methods achieve task-parallelism using asynchronous executions of different tasks on CPU cores and GPU. The third method achieves data parallelism by decomposing the workload between CPU and GPU based on a performance model. The performance model takes into account the relative performance of CPU cores and GPU using some initial executions and performs 2D data decomposition. We also implement optimization strategies like kernel fusion for GPU and merging vector operations for CPU. Our methods give up to 8x speedup and on average 3x speedup over PCG CPU implementation of Paralution and PETSc libraries. They also give up to 5x speedup and on average 1.45x speedup over PCG GPU implementation of Paralution and PETSc libraries. The third method also provides an efficient solution for solving problems that cannot be fit into the GPU memory and gives up to 2.5x speedup for such problems.


title: Quantitative equidistribution of eigenfunctions for toral Schr\"odinger operators

abstract: We prove a quantum ergodicity theorem in position space for the eigenfunctions of a Schr\"odinger operator $-\Delta+V$ on a rectangular torus $\mathbb{T}^2$ for $V\in L^2(\mathbb{T}^2)$ with an algebraic rate of convergence in terms of the eigenvalue. A key application of our theorem is a quantitative equidistribution theorem for the eigenfunctions of a Schr\"odinger operator whose potential models disordered systems with $N$ obstacles. We prove the validity of this equidistribution theorem in the limit, as $N\to\infty$, under the assumption that a weak overlap hypothesis is satisfied by the potentials modeling the obstacles, and we note that, when rescaling to a large torus (such that the density remains finite, as $N\to\infty$) this corresponds to a size decaying regime, as the coupling parameter in front of the potential will decay, as $N\to\infty$. We apply our result to Schr\"odinger operators modeling disordered systems on large tori $\mathbb{T}^2_L$ by scaling back to the fixed torus $\mathbb{T}^2$. In the case of random Schr\"odinger operators, such as random displacement models, we deduce an almost sure equidistribution theorem on certain length scales which depend on the coupling parameter, the density of the potentials and the eigenvalue. In particular, if these parameters converge to finite, nonzero values, we are able to determine at which length scale (as a function of these parameters) equidistribution breaks down. In this sense, we provide a lower bound for the Anderson localization length as a function of energy, coupling parameter and the density of scatterers.


title: Paying Attention to Astronomical Transients: Introducing the Time-series Transformer for Photometric Classification

abstract: Future surveys such as the Legacy Survey of Space and Time (LSST) of the Vera C. Rubin Observatory will observe an order of magnitude more astrophysical transient events than any previous survey before. With this deluge of photometric data, it will be impossible for all such events to be classified by humans alone. Recent efforts have sought to leverage machine learning methods to tackle the challenge of astronomical transient classification, with ever improving success. Transformers are a recently developed deep learning architecture, first proposed for natural language processing, that have shown a great deal of recent success. In this work we develop a new transformer architecture, which uses multi-head self attention at its core, for general multi-variate time-series data. Furthermore, the proposed time-series transformer architecture supports the inclusion of an arbitrary number of additional features, while also offering interpretability. We apply the time-series transformer to the task of photometric classification, minimising the reliance of expert domain knowledge for feature selection, while achieving results comparable to state-of-the-art photometric classification methods. We achieve a logarithmic-loss of 0.507 on imbalanced data in a representative setting using data from the Photometric LSST Astronomical Time-Series Classification Challenge (PLAsTiCC). Moreover, we achieve a micro-averaged receiver operating characteristic area under curve of 0.98 and micro-averaged precision-recall area under curve of 0.87.


title: In vivo investigation of the multi-exponential T2 decay in human white matter at 7T: Implications for myelin water imaging at UHF

abstract: Multicomponent T2-mapping using a gradient and spin-echo (GraSE) acquisition has become standard for myelin water imaging at 3T. Higher magnetic field strengths promise SNR benefits but face specific absorption rate limits and shortened T2 times. This study investigates compartmental T2 times in vivo and addresses advantages and challenges of multi-component T2-mapping at 7T. We acquired 3D multi-echo GraSE data in seven healthy adults at 7T, with three subjects scanned also at 3T. Stimulated echoes arising from B+1 inhomogeneities were accounted for by the extended phase graph (EPG) algorithm. We used the computed T2 distributions to determine T2 times that identify different water pools and assessed signal-to-noise and fit-to-noise characteristics of the signal estimation. We compared short T2 fractions and T2 properties of the intermediate water pool at 3T and 7T. Flip angle mapping confirmed that EPG accurately determined the larger inhomogeneity at 7T. Multi-component T2 analysis demonstrated shortened T2 times at 7T compared to 3T. Fit-to-noise and signal-to-noise ratios were improved at 7T but depended on B1 homogeneity. Lowering the shortest T2 to 8 ms and adjusting the T2 threshold that separates different water compartments to 20 ms, yielded short T2 fractions at 7T that conformed to 3T data. Short T2 fractions in myelin-rich white matter regions were lower at 7T than at 3T, and higher in iron-rich structures. Adjusting the T2 compartment boundaries was required due to the shorter T2 relaxation times at 7T. Shorter echo spacing would better sample the fast decaying signal but would increase peripheral nerve stimulation. We used a multi-echo 3D-GraSE sequence to characterize the multi-exponential T2 decay at 7T. We adapted T2 parameters for evaluation of the short T2 fraction. Obtained 7T multicomponent T2-maps were in good agreement with 3T data.


title: Experimental Investigation of the Fluid-Structure Interaction during the Water Impact of Thin Aluminium Plates at High Horizontal Speed

abstract: The water impact of an inclined flat plate and at high horizontal velocity is experimentally investigated with focus on the fluid-structure interaction aspects. Several test conditions have been examined by varying the vertical to horizontal velocity ratio, the pitch angle and the plate thickness. Measurements are performed in terms of strains, loads and local pressure. The study highlights the significant changes in the strains and, more in general, in the structural behaviour when varying the plate stiffness and the test conditions. For some of the test presented, permanent deformations are also found. The strong fluid-structure interaction is analysed by comparing the simultaneous measurements of strains and pressures, and it is shown that the deformation of the plate leads to a reduction of the pressure peak and to a corresponding pressure rise behind it. The variation in the shape of the spray root caused by the structural deformation are discussed based on both pressure measurements and underwater images. Despite the reduction of the pressure peak intensity, it is shown that the structural deformation leads to an increase in the total loading up to 50% for the test conditions examined in this study. It is also observed that in presence of large structural deformations the hydrodynamic loads do not obey the scaling that works in the case of the thick plates, and some practical conclusions about the scaling of tests in presence of a strong fluid-structure interaction are provided.


title: Characterization of a double torsion pendulum used to detect spin-induced torque based on Beth's experiment

abstract: We characterized a double torsion pendulum system, including measurements of the photon-spin-induced torque. Our experimental strategy was similar to that used in Beth's experiment, which was performed in 1936 to measure photon-spin-induced torque using forced oscillation caused by polarization modulation of light incident on a suspended object. Through simple passive isolation of the suspended object from external vibration noise, the achieved torque sensitivity was 2 x 10^{-17} N m in a measurement time of 10^4 s, which is close to the thermal noise limit and one order smaller than the minimum torque measured in Beth's experiment. The observed spin-induced torque exerted on the light-absorbing optics is consistent with the angular momentum transfer of hbar per photon.


title: Global Wheat Challenge 2020: Analysis of the competition design and winning models

abstract: Data competitions have become a popular approach to crowdsource new data analysis methods for general and specialized data science problems. In plant phenotyping, data competitions have a rich history, and new outdoor field datasets have potential for new data competitions. We developed the Global Wheat Challenge as a generalization competition to see if solutions for wheat head detection from field images would work in different regions around the world. In this paper, we analyze the winning challenge solutions in terms of their robustness and the relative importance of model and data augmentation design decisions. We found that the design of the competition influence the selection of winning solutions and provide recommendations for future competitions in an attempt to garner more robust winning solutions.


title: Adaptive Test-Time Augmentation for Low-Power CPU

abstract: Convolutional Neural Networks (ConvNets) are trained offline using the few available data and may therefore suffer from substantial accuracy loss when ported on the field, where unseen input patterns received under unpredictable external conditions can mislead the model. Test-Time Augmentation (TTA) techniques aim to alleviate such common side effect at inference-time, first running multiple feed-forward passes on a set of altered versions of the same input sample, and then computing the main outcome through a consensus of the aggregated predictions. Unfortunately, the implementation of TTA on embedded CPUs introduces latency penalties that limit its adoption on edge applications. To tackle this issue, we propose AdapTTA, an adaptive implementation of TTA that controls the number of feed-forward passes dynamically, depending on the complexity of the input. Experimental results on state-of-the-art ConvNets for image classification deployed on a commercial ARM Cortex-A CPU demonstrate AdapTTA reaches remarkable latency savings, from 1.49X to 2.21X, and hence a higher frame rate compared to static TTA, still preserving the same accuracy gain.


title: Implementing Quantum Finite Automata Algorithms on Noisy Devices

abstract: Quantum finite automata (QFAs) literature offers an alternative mathematical model for studying quantum systems with finite memory. As a superiority of quantum computing, QFAs have been shown exponentially more succinct on certain problems such as recognizing the language $ MOD_p = \{a^j \mid j \equiv 0 \mod p\} $ with bounded error, where $p$ is a prime number. In this paper we present improved circuit based implementations for QFA algorithms recognizing the $ MOD_p $ problem using the Qiskit framework. We focus on the case $p=11$ and provide a 3 qubit implementation for the $MOD_{11}$ problem reducing the total number of required gates using alternative approaches. We run the circuits on real IBM quantum devices but due to the limitation of the real quantum devices in the NISQ era, the results are heavily affected by the noise. This limitation reveals once again the need for algorithms using less amount of resources. Consequently, we consider an alternative 3 qubit implementation which works better in practice and obtain promising results even for the problem $ MOD_{31} $.


title: Sharp gradient estimates on weighted manifolds with compact boundary

abstract: In this paper, we prove sharp gradient estimates for positive solutions to the weighted heat equation on smooth metric measure spaces with compact boundary. As an application, we prove Liouville theorems for ancient solutions satisfying the Dirichlet boundary condition and some sharp growth restriction near infinity. Our results can be regarded as a refinement of recent results due to Kunikawa and Sakurai.


title: Tracelet Hopf Algebras and Decomposition Spaces (Extended Abstract)

abstract: Tracelets are the intrinsic carriers of causal information in categorical rewriting systems. In this work, we assemble tracelets into a symmetric monoidal decomposition space, inducing a cocommutative Hopf algebra of tracelets. This Hopf algebra captures important combinatorial and algebraic aspects of rewriting theory, and is motivated by applications of its representation theory to stochastic rewriting systems such as chemical reaction networks.


title: On information rates over a binary input channel

abstract: We study communication systems over band-limited Additive White Gaussian Noise (AWGN) channels in which the transmitter output is constrained to be symmetric binary (bi-polar). In this work we improve the original Ozarov-Wyner-Ziv (OWZ) lower bound on capacity by introducing new achievability schemes with two advantages over the studied OWZ scheme which is based on peak-power constrained pulse-amplitude modulation. Our schemes achieve a moderately improved information rate and do so with much less sign transitions of the binary signal. The gap between the known upper-bound based on spectral constrains of bi-polar signals and our achievable lower bound is reduced to 0.93 bits per Nyquist interval at high SNR.


title: SizeNet: Object Recognition via Object Real Size-based Convolutional Networks

abstract: Inspired by the conclusion that humans choose the visual cortex regions corresponding to the real size of an object to analyze its features when identifying objects in the real world, this paper presents a framework, SizeNet, which is based on both the real sizes and features of objects to solve object recognition problems. SizeNet was used for object recognition experiments on the homemade Rsize dataset, and was compared with the state-of-the-art methods AlexNet, VGG-16, Inception V3, Resnet-18, and DenseNet-121. The results showed that SizeNet provides much higher accuracy rates for object recognition than the other algorithms. SizeNet can solve the two problems of correctly recognizing objects with highly similar features but real sizes that are obviously different from each other, and correctly distinguishing a target object from interference objects whose real sizes are obviously different from the target object. This is because SizeNet recognizes objects based not only on their features, but also on their real size. The real size of an object can help exclude the interference object's categories whose real size ranges do not match the real size of the object, which greatly reduces the object's categories' number in the label set used for the downstream object recognition based on object features. SizeNet is of great significance for studying the interpretable computer vision. Our code and dataset will thus be made public.


title: Symmetry origin of Baryon Asymmetry, Dark Matter and Neutrino Mass

abstract: We propose a minimal model based on lepton number symmetry (and violation), to address a common origin of baryon asymmetry, dark matter and neutrino mass generation. The model consists of a vector like fermion to constitute the dark sector, three right handed neutrinos (RHN) to dictate leptogenesis and neutrino mass, while an additional complex scalar is assumed to be present in the early universe the decay of which produces both DM and RHN via lepton number violating and lepton number conserving interactions respectively. Interestingly, the presence of the same scalar helps in making the electroweak vacuum stable till the Planck scale. The unnatural largeness and smallness of the parameters required to describe correct experimental limits are attributed to lepton number violation. The allowed parameter space of the model is illustrated via a numerical scan.


title: On terms in a dynamical divisibility sequence having a fixed G.C.D with their indices

abstract: Let $F$ and $G$ be integer polynomials where $F$ has degree at least $2$. Define the sequence $(a_n)$ by $a_n=F(a_{n-1})$ for all $n\ge 1$ and $a_0=0.$ Let $\mathscr{B}_{F,\,G,\,k}$ be the set of all positive integers $n$ such that $k\mid \gcd(G(n),a_n)$ and if $p\mid \gcd(G(n),a_n)$ for some $p$, then $p\mid k.$ Let $\mathscr{A}_{F,\,G,\,k}$ be the subset of $\mathscr{B}_{F,\,G,\,k}$ such that $\mathscr{A}_{F,\,G,\,k}=\{n\ge 1 : \gcd(G(n),a_n)=k\}$. In this article, we prove that the asymptotic density of $\mathscr{A}_{F,\,G,\,k}$ and $\mathscr{B}_{F,\,G,\,k}$ exists for a class of $(F,G)$ and also compute the explicit density of $\mathscr{A}_{F,\,G,\,k}$ and $\mathscr{B}_{F,\,G,\,k}$ for $G(x)=x.$


title: Searching for new physics through neutrino non-standard interactions

abstract: Due to the absence of any definite signals of new physics at colliders and from precision measurements, it has gradually become more and more popular in the community to utilize the effective field theory (EFT) framework in searching for new physics in a model-independent manner. In this letter, working in the EFT framework and focusing on neutrino non-standard interactions (NSIs), we report our most recent results on these NSIs from considering terrestrial neutrino oscillation experiments Daya Bay, Double Chooz, RENO, T2K and NO$\nu$A, and precision measurements of $N_{\rm eff}$ from Planck and CMB-S4.


title: Estimating customer delay and tardiness sensitivity from periodic queue length observations

abstract: A single server commences its service at time zero every day. A random number of customers decide when to arrive to the system so as to minimize the waiting time and tardiness costs. The costs are proportional to the waiting time and the tardiness with rates $\alpha$ and $\beta$, respectively. Each customer's optimal arrival time depends on the others' decisions, thus the resulting strategy is a Nash equilibrium. This work considers the estimation of the ratio $\displaystyle\theta\equiv \beta/(\alpha+\beta)$ from queue length data observed daily at discrete time points, given that customers use a Nash equilibrium arrival strategy. A method of moments estimator is constructed from the equilibrium conditions. Remarkably, the method does not require estimation of the Nash equilibrium arrival strategy itself, or even an accurate estimate of its support. The estimator is strongly consistent and the estimation error is asymptotically normal. Moreover, the asymptotic variance of the estimation error as a function of the queue length covariance matrix (at sampling times) is derived. The estimator performance is demonstrated through simulations, and is shown to be robust to the number of sampling instants each day.


title: Electron correlation effects in superconducting nanowires in and out of equilibrium

abstract: One-dimensional nanowires with strong spin-orbit coupling and proximity-induced superconductivity are predicted to exhibit topological superconductivity with condensed-matter analogues to Majorana fermions. Here, the nonequilibrium Green's function approach with the generalized Kadanoff-Baym ansatz is employed to study the electron-correlation effects and their role in the topological superconducting phase in and out of equilibrium. Electron-correlation effects are found to affect the transient signatures regarding the zero-energy Majorana states, when the superconducting nanowire is subjected to external perturbations such as magnetic-field quenching, laser-pulse excitation, and coupling to biased normal-metal leads.


title: Geometric Model Checking of Continuous Space

abstract: Topological Spatial Model Checking is a recent paradigm where model checking techniques are developed for the topological interpretation of Modal Logic. The Spatial Logic of Closure Spaces, SLCS, extends Modal Logic with reachability connectives that, in turn, can be used for expressing interesting spatial properties, such as "being near to" or "being surrounded by". SLCS constitutes the kernel of a solid logical framework for reasoning about discrete space, such as graphs and digital images, interpreted as quasi discrete closure spaces. Following a recently developed geometric semantics of Modal Logic, we propose an interpretation of SLCS in continuous space, admitting a geometric spatial model checking procedure, by resorting to models based on polyhedra. Such representations of space are increasingly relevant in many domains of application, due to recent developments of 3D scanning and visualisation techniques that exploit mesh processing. We introduce PolyLogicA, a geometric spatial model checker for SLCS formulas on polyhedra and demonstrate feasibility of our approach on two 3D polyhedral models of realistic size. Finally, we introduce a geometric definition of bisimilarity, proving that it characterises logical equivalence.


title: Suspended Fixed Points

abstract: We study the orientifold of the ${\mathcal{N}} = 1$ superconformal field theories describing D3-branes probing the Suspended Pinch Point singularity, as well as the orientifolds of non-chiral theories obtained by a specific orbifold $\mathbb{Z}_n$ of SPP. We find that these models realize a mechanism analogous to the one recently found for the orientifold of the complex Calabi-Yau cone over the Pseudo del Pezzo surface PdP$_{3c}$: they all flow to a new IR fixed point such that the value of the $a$-charge is less than half the one of the oriented theory. We also find that the value of $a$ coincides with the charge of specific orientifolds of the toric singularities $L^{(\bar{n},\bar{n},\bar{n})}$ with $\bar{n}=3n/2$ for $n$ even or $L^{(\bar{n},\bar{n}+1,\bar{n})}$ with $\bar{n}=(3n{-}1)/2$ for $n$ odd, suggesting the existence of an IR duality.


title: Exact conservation laws for gauge-free electromagnetic gyrokinetic equations

abstract: The exact energy and angular-momentum conservation laws are derived by Noether method for the Hamiltonian and symplectic representations of the gauge-free electromagnetic gyrokinetic Vlasov-Maxwell equations. These gyrokinetic equations, which are solely expressed in terms of electromagnetic fields, describe the low-frequency turbulent fluctuations that perturb a time-independent toroidally-axisymmetric magnetized plasma. The explicit proofs presented here provide a complete picture of the transfer of energy and angular momentum between the gyrocenters and the perturbed electromagnetic fields, in which the crucial roles played by gyrocenter polarization and magnetization effects are highlighted. In addition to yielding an exact angular-momentum conservation law, the gyrokinetic Noether equation yields an exact momentum transport equation, which might be useful in more general equilibrium magnetic geometries.


title: First neutrino interaction candidates at the LHC

abstract: FASER$\nu$ at the CERN Large Hadron Collider (LHC) is designed to directly detect collider neutrinos for the first time and study their cross sections at TeV energies, where no such measurements currently exist. In 2018, a pilot detector employing emulsion films was installed in the far-forward region of ATLAS, 480 m from the interaction point, and collected 12.2 fb$^{-1}$ of proton-proton collision data at a center-of-mass energy of 13 TeV. We describe the analysis of this pilot run data and the observation of the first neutrino interaction candidates at the LHC. This milestone paves the way for high-energy neutrino measurements at current and future colliders.


title: Rate-Splitting Multiple Access with Finite Blocklength for Short-Packet and Low-Latency Downlink Communications

abstract: Rate-Splitting Multiple Access (RSMA) is an emerging flexible and powerful multiple access for downlink multiantenna networks. In this paper, we introduce the concept of RSMA into short-packet downlink communications. We design optimal linear precoders that maximize the sum rate with Finite Blocklength (FBL) constraints. The relations between the sum rate and blocklength of RSMA are investigated for a wide range of network loads and user deployments. Numerical results demonstrate that RSMA can achieve the same transmission rate as Non-Orthogonal Multiple Access (NOMA) and Space Division Multiple Access (SDMA) with shorter blocklengths (and therefore lower latency), especially in overloaded multi-antenna networks. Hence, we conclude that RSMA is a promising multiple access for low-latency communications.


title: Evolutionary instability of selfish learning in repeated games

abstract: Across many domains of interaction, both natural and artificial, individuals use past experience to shape future behaviors. The results of such learning processes depend on what individuals wish to maximize. A natural objective is one's own success. However, when two such "selfish" learners interact with each other, the outcome can be detrimental to both, especially when there are conflicts of interest. Here, we explore how a learner can align incentives with a selfish opponent. Moreover, we consider the dynamics that arise when learning rules themselves are subject to evolutionary pressure. By combining extensive simulations and analytical techniques, we demonstrate that selfish learning is unstable in most classical two-player repeated games. If evolution operates on the level of long-run payoffs, selection instead favors learning rules that incorporate social (other-regarding) preferences. To further corroborate these results, we analyze data from a repeated prisoner's dilemma experiment. We find that selfish learning is insufficient to explain human behavior when there is a trade-off between payoff maximization and fairness.


title: Decentralized Online Learning for Noncooperative Games in Dynamic Environments

abstract: Decentralized online learning for seeking generalized Nash equilibrium (GNE) of noncooperative games in dynamic environments is studied in this paper. Each player aims at selfishly minimizing its own time-varying cost function subject to time-varying coupled constraints and local feasible set constraints. Only local cost functions and local constraints are available to individual players, who can receive their neighbors' information through a fixed and connected graph. In addition, players have no prior knowledge of cost functions and local constraint functions in the future time. In this setting, a novel distributed online learning algorithm for seeking GNE of the studied game is devised based on mirror descent and a primal-dual strategy. It is shown that the presented algorithm can achieve sublinearly bounded dynamic regrets and constraint violation by appropriately choosing decreasing stepsizes. Finally, the obtained theoretical result is corroborated by a numerical simulation.


title: Strategic Successive Refinement Coding for Bayesian Persuasion with Two Decoders

abstract: We study the multi-user Bayesian persuasion game between one encoder and two decoders, where the first decoder is better informed than the second decoder. We consider two perfect links, one to the first decoder only, and the other to both decoders. We consider that the encoder and both decoders are endowed with distinct and arbitrary distortion functions. We investigate the strategic source coding problem in which the encoder commits to an encoding while the decoders select the sequences of symbols that minimize their respective distortion functions. We characterize the optimal encoder distortion value by considering successive refinement coding with respect to a specific probability distribution which involves two auxiliary random variables, and captures the incentives constraints of both decoders.


title: Deciding FO-definability of regular languages

abstract: We prove that, similarly to known PSpace-completeness of recognising FO(<)-definability of the language L(A) of a DFA A, deciding both FO(<,C)- and FO(<,MOD)-definability are PSpace-complete. (Here, FO(<,C) extends the first-order logic FO(<) with the standard congruence modulo n relation, and FO(<,MOD) with the quantifiers checking whether the number of positions satisfying a given formula is divisible by a given n>1. These FO-languages are known to define regular languages that are decidable in AC0 and ACC0, respectively.) We obtain these results by first showing that known algebraic characterisations of FO-definability of L(A) can be captured by `localisable' properties of the transition monoid of A. Using our criterion, we then generalise the known proof of PSpace-hardness of FO(<)-definability, and establish the upper bounds not only for arbitrary DFAs but also for two-way NFAs.


title: Peculiarities of the chemical abundance distribution in galaxies NGC 3963 and NGC 7292

abstract: Spectroscopic observations of 32 HII regions in the spiral galaxy NGC 3963 and the barred irregular galaxy NGC 7292 were carried out with the 2.5-m telescope of the Caucasus Mountain Observatory of the Sternberg Astronomical Institute using the Transient Double-beam Spectrograph with a dispersion of 1A/pixel and a spectral resolution of 3A. These observations were used to estimate the oxygen and nitrogen abundances and the electron temperatures in HII regions through modern strong-line methods. In general, the galaxies have oxygen and nitrogen abundances typical of stellar systems with similar luminosities, sizes, and morphology. However, we have found some peculiarities in chemical abundance distributions in both galaxies. The distorted outer segment of the southern arm of NGC 3963 shows an excess oxygen and nitrogen abundances. Chemical elements abundances in NGC 7292 are constant and do not depend on the galactocentric distance. These peculiarities can be explained in terms of external gas accretion in the case of NGC 3963 and major merging for NGC 7292.


title: Generalized polygons and star graphs of cyclic presentations of groups

abstract: Groups defined by presentations for which the components of the corresponding star graph are the incidence graphs of generalized polygons are of interest as they are small cancellation groups that - via results of Edjvet and Vdovina - are fundamental groups of polyhedra with the generalized polygons as links and so act on Euclidean or hyperbolic buildings; in the hyperbolic case the groups are SQ-universal. A cyclic presentation of a group is a presentation with an equal number of generators and relators that admits a particular cyclic symmetry. We obtain a classification of the non-redundant cyclic presentations where the components of the corresponding star graph are generalized polygons. The classification reveals that both connected and disconnected star graphs are possible and that only generalized triangles (i.e. incidence graphs of projective planes) and regular complete bipartite graphs arise as the components. We list the presentations that arise in the Euclidean case and show that at most two of the corresponding groups are not SQ-universal (one of which is not SQ-universal, the other is unresolved). We obtain results that show that many of the SQ-universal groups are large.


title: Gradient estimates for weighted harmonic function with Dirichlet boundary condition

abstract: We prove a Yau's type gradient estimate for positive $f$-harmonic functions with the Dirichlet boundary condition on smooth metric measure spaces with compact boundary when the infinite dimensional Bakry-Emery Ricci tensor and the weighted mean curvature are bounded below. As an application, we give a Liouville type result for bounded $f$-harmonic functions with the Dirichlet boundary condition. Our results do not depend on any assumption on the potential function $f$.


title: Critical phenomena in the market of competing firms induced by state interventionism

abstract: We achieve two primary goals in this work. First, we propose a flexible algorithm that can simulate various scenarios of state/government intervention. Secondly, we analyze the scenario exhibiting the critical behavior of the market of competing firms, which depends on the degree of government intervention and the activity level of the firms. Thus, we have analyzed the second-order phase transition series, finding the levels of critical intervention and the critical exponent values. As a result, we have observed a sharp increase of fluctuations at a critical intervention level and the local breakdown of the average market technology concerning the frontier technology.


title: Up-down Asymmetries and Angular Distributions in $D\to K_{1}(\to K\pi\pi)\ell^+\nu_{\ell}$

abstract: Using the helicity amplitude technique, we derive differential decay widths and angular distributions for the decay cascade $D\to K_{1}(1270,1400)\ell^+\nu_{\ell}\to (K\pi\pi)\ell^+\nu_{\ell} (\ell=e,\mu)$, in which the electron and muon mass is explicitly included. Using a set of phenomenological results for $D\to K_1$ form factors, we calculate partial decay widths and branching fractions for $D^0\to K_1^-\ell^+\nu_{\ell}$ and $D^+\to K_1^0\ell^+\nu_{\ell}$, but find that results for ${\cal B}(D\to K_1(1270)e^+\nu_{e})$ are larger than recent BESIII measurements by about a factor 1.5. We further demonstrate that the measurement of up-down asymmetry in $D\to K_{1}e^+\nu_e\to (K\pi\pi)e^+\nu_{e}$ and angular distributions in $D\to K_{1}\ell^+\nu_\ell\to (K\pi\pi)\ell^+\nu_{\ell}$ can help to determine the hadronic amplitude requested in $B\to K_1(\to K\pi\pi)\gamma$. Based on the Monte-Carlo simulation with the LHCb geometrical acceptance, we find that the angular distributions of MC events can be well described.


title: Numerical hardware-efficient variational quantum simulation of a soliton solution

abstract: Implementing variational quantum algorithms with noisy intermediate-scale quantum machines of up to a hundred qubits is nowadays considered as one of the most promising routes towards achieving a quantum practical advantage. In multiqubit circuits, running advanced quantum algorithms is hampered by the noise inherent to quantum gates which distances us from the idea of universal quantum computing. Based on a one-dimensional quantum spin chain with competing symmetric and asymmetric pairwise exchange interactions, herein we discuss the capabilities of quantum algorithms with special attention paid to a hardware-efficient variational eigensolver. A delicate interplay between magnetic interactions allows one to stabilize a chiral state that destroys the homogeneity of magnetic ordering, thus making this solution highly entangled. Quantifying entanglement in terms of quantum concurrence, we argue that, while being capable of correctly reproducing a uniform magnetic configuration, the hardware-efficient ansatz meets difficulties in providing a detailed description to a noncollinear magnetic structure. The latter naturally limits the application range of variational quantum computing to solve quantum simulation tasks.


title: DeepObliviate: A Powerful Charm for Erasing Data Residual Memory in Deep Neural Networks

abstract: Machine unlearning has great significance in guaranteeing model security and protecting user privacy. Additionally, many legal provisions clearly stipulate that users have the right to demand model providers to delete their own data from training set, that is, the right to be forgotten. The naive way of unlearning data is to retrain the model without it from scratch, which becomes extremely time and resource consuming at the modern scale of deep neural networks. Other unlearning approaches by refactoring model or training data struggle to gain a balance between overhead and model usability. In this paper, we propose an approach, dubbed as DeepObliviate, to implement machine unlearning efficiently, without modifying the normal training mode. Our approach improves the original training process by storing intermediate models on the hard disk. Given a data point to unlearn, we first quantify its temporal residual memory left in stored models. The influenced models will be retrained and we decide when to terminate the retraining based on the trend of residual memory on-the-fly. Last, we stitch an unlearned model by combining the retrained models and uninfluenced models. We extensively evaluate our approach on five datasets and deep learning models. Compared to the method of retraining from scratch, our approach can achieve 99.0%, 95.0%, 91.9%, 96.7%, 74.1% accuracy rates and 66.7$\times$, 75.0$\times$, 33.3$\times$, 29.4$\times$, 13.7$\times$ speedups on the MNIST, SVHN, CIFAR-10, Purchase, and ImageNet datasets, respectively. Compared to the state-of-the-art unlearning approach, we improve 5.8% accuracy, 32.5$\times$ prediction speedup, and reach a comparable retrain speedup under identical settings on average on these datasets. Additionally, DeepObliviate can also pass the backdoor-based unlearning verification.


title: First-order transition in the stacked-$J_1$-$J_2$ Ising model on a cubic lattice

abstract: We investigate critical properties of the stacked-$J_1$-$J_2$ Ising model on a cubic lattice. Using Monte Carlo simulations and renormalization group, we find a single phase transition of the first order for $J_2/J_1>1/2$. The renormgroup approach predicts that a transition can be of the second order from the universality class of the $O(2)$ model, but the Monte Carlo results show another set of critical exponents: exponents continuously vary form the values typical for a first-order transition in the finite-size scaling theory at $1/2<J_2/J_1<1$ to the Ising values in the limit $J_2/J_1\to\infty$. We also exclude the pseudo-first-order behavior observed in the $J_1$-$J_2$ Ising model on a square lattice for $0.67\lesssim J_2/J_1\lesssim0.9$.


title: Quantized Proximal Averaging Network for Analysis Sparse Coding

abstract: We solve the analysis sparse coding problem considering a combination of convex and non-convex sparsity promoting penalties. The multi-penalty formulation results in an iterative algorithm involving proximal-averaging. We then unfold the iterative algorithm into a trainable network that facilitates learning the sparsity prior. We also consider quantization of the network weights. Quantization makes neural networks efficient both in terms of memory and computation during inference, and also renders them compatible for low-precision hardware deployment. Our learning algorithm is based on a variant of the ADAM optimizer in which the quantizer is part of the forward pass and the gradients of the loss function are evaluated corresponding to the quantized weights while doing a book-keeping of the high-precision weights. We demonstrate applications to compressed image recovery and magnetic resonance image reconstruction. The proposed approach offers superior reconstruction accuracy and quality than state-of-the-art unfolding techniques and the performance degradation is minimal even when the weights are subjected to extreme quantization.


title: Generalized Taylor dispersion for translationally invariant microfluidic systems

abstract: We consider Taylor dispersion for tracer particles in micro-fluidic planar channels with strong confinement. In this context, the channel walls modify the local diffusivity tensor and also interactions between the tracer particles and the walls become important. We provide a simple and general formula for the effective diffusion constant along the channel as well as the first non-trivial finite time correction for arbitrary flows along the channel, arbitrary interaction potentials with the walls and arbitrary expressions for the diffusion tensor. The formula are in particular amenable to a straightforward numerical implementation, rendering them extremely useful for comparison with experiments. We present a number of applications, notably for systems which have parabolically varying diffusivity profiles, to systems with attractive interactions with the walls as well as electroosmotic flows between plates with differing surface charges within the Debye-H\"uckel approximation.


title: Forward-backward asymmetries of the heavy quark pair production in $e^+e^-$ collisions at $\mathcal{O}(\alpha_s^2)$

abstract: The talk is on a computational set-up for calculating the production of a massive quark-antiquark pair in electron positron collisions to order $\alpha_s^2$ in the coupling of quantum chromodynamics (QCD) at the differential level using the antenna subtraction method. Theoretical predictions on the production of top quark pairs in the continuum, and the bottom quark pairs at the $Z$ resonance, will be discussed. In particular, we would be focusing on the order $\alpha_s^2$ QCD corrections to the heavy quark forward-backward asymmetry (AFB) in electron positron collisions. In the case of the AFB of bottom quarks at the $Z$ resonance, the QCD corrections are determined with respect to both the bottom quark axis and the thrust axis. We will also briefly discuss improvements on these QCD corrections brought by applying the optimization procedure based on the Principle of Maximum Conformality.


title: Community evolution in retweet networks

abstract: Communities in social networks often reflect close social ties between their members and their evolution through time. We propose an approach that tracks two aspects of community evolution in retweet networks: flow of the members in, out and between the communities, and their influence. We start with high resolution time windows, and then select several timepoints which exhibit large differences between the communities. For community detection, we propose a two-stage approach. In the first stage, we apply an enhanced Louvain algorithm, called Ensemble Louvain, to find stable communities. In the second stage, we form influence links between these communities, and identify linked super-communities. For the detected communities, we compute internal and external influence, and for individual users, the retweet h-index influence. We apply the proposed approach to three years of Twitter data of all Slovenian tweets. The analysis shows that the Slovenian tweetosphere is dominated by politics, that the left-leaning communities are larger, but that the right-leaning communities and users exhibit significantly higher impact. An interesting observation is that retweet networks change relatively gradually, despite such events as the emergence of the Covid-19 pandemic or the change of government.


title: Elliptic curves with torsion groups $\mathbb{Z}/8\mathbb{Z}$ and $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/6\mathbb{Z}$

abstract: In this paper, we present details of seven elliptic curves over $\mathbb{Q}(u)$ with rank $2$ and torsion group $\mathbb{Z}/ 8\mathbb{Z}$ and five curves over $\mathbb{Q}(u)$ with rank $2$ and torsion group $\mathbb{Z}/ 2\mathbb{Z} \times \mathbb{Z}/ 6\mathbb{Z}$. We also exhibit some particular examples of curves with high rank over $\mathbb{Q}$ by specialization of the parameter. We present several sets of infinitely many elliptic curves in both torsion groups and rank at least $3$ parametrized by elliptic curves having positive rank. In some of these sets we have performed calculations about the distribution of the root number. This has relation with recent heuristics concerning the rank bound for elliptic curves by Park, Poonen, Voight and Wood.


title: Linguistic Inspired Graph Analysis

abstract: Isomorphisms allow human cognition to transcribe a potentially unsolvable problem from one domain to a different domain where the problem might be more easily addressed. Current approaches only focus on transcribing structural information from the source to target structure, ignoring semantic and pragmatic information. Functional Language Theory presents five subconstructs for the classification and understanding of languages. By deriving a mapping between the metamodels in linguistics and graph theory it will be shown that currently, no constructs exist in canonical graphs for the representation of semantic and pragmatic information. It is found that further work needs to be done to understand how graphs can be enriched to allow for isomorphisms to capture semantic and pragmatic information. This capturing of additional information could lead to understandings of the source structure and enhanced manipulations and interrogations of the contained relationships. Current mathematical graph structures in their general definition do not allow for the expression of higher information levels of a source.


title: Multi-Signal Approaches for Repeated Sampling Schemes in Inertial Sensor Calibration

abstract: Inertial sensor calibration plays a progressively important role in many areas of research among which navigation engineering. By performing this task accurately, it is possible to significantly increase general navigation performance by correctly filtering out the deterministic and stochastic measurement errors that characterize such devices. While different techniques are available to model and remove the deterministic errors, there has been considerable research over the past years with respect to modelling the stochastic errors which have complex structures. In order to do the latter, different replicates of these error signals are collected and a model is identified and estimated based on one of these replicates. While this procedure has allowed to improve navigation performance, it has not yet taken advantage of the information coming from all the other replicates collected on the same sensor. However, it has been observed that there is often a change of error behaviour between replicates which can also be explained by different (constant) external conditions under which each replicate was taken. Whatever the reason for the difference between replicates, it appears that the model structure remains the same between replicates but the parameter values vary. In this work we therefore consider and study the properties of different approaches that allow to combine the information from all replicates considering this phenomenon, confirming their validity both in simulation settings and also when applied to real inertial sensor error signals. By taking into account parameter variation between replicates, this work highlights how these approaches can improve the average navigation precision as well as obtain reliable estimates of the uncertainty of the navigation solution.


title: Geometry of Nonrelativistic string

abstract: The nonrelativistic bosonic string theory in a curved manifold is formulated here using gauging of symmetry approach ( Galilean Gauge theory ) . The corresponding model in flat space has some global symmetries . By localizing these symmetries as per Galilean Gauge theory , the action for the nonrelativistic string interacting with gravity is obtained. A canonical analysis of the model has been performed which demonstrate that the transformations of the basic field variables under gauge transformations in phase space are equivalent to the diffeomorphism parameters by an exact mapping. Thus complete consistency of our results from both Lagrangian and Hamiltonian procedures are established.


title: TransferI2I: Transfer Learning for Image-to-Image Translation from Small Datasets

abstract: Image-to-image (I2I) translation has matured in recent years and is able to generate high-quality realistic images. However, despite current success, it still faces important challenges when applied to small domains. Existing methods use transfer learning for I2I translation, but they still require the learning of millions of parameters from scratch. This drawback severely limits its application on small domains. In this paper, we propose a new transfer learning for I2I translation (TransferI2I). We decouple our learning process into the image generation step and the I2I translation step. In the first step we propose two novel techniques: source-target initialization and self-initialization of the adaptor layer. The former finetunes the pretrained generative model (e.g., StyleGAN) on source and target data. The latter allows to initialize all non-pretrained network parameters without the need of any data. These techniques provide a better initialization for the I2I translation step. In addition, we introduce an auxiliary GAN that further facilitates the training of deep I2I systems even from small datasets. In extensive experiments on three datasets, (Animal faces, Birds, and Foods), we show that we outperform existing methods and that mFID improves on several datasets with over 25 points.


title: VSR: A Unified Framework for Document Layout Analysis combining Vision, Semantics and Relations

abstract: Document layout analysis is crucial for understanding document structures. On this task, vision and semantics of documents, and relations between layout components contribute to the understanding process. Though many works have been proposed to exploit the above information, they show unsatisfactory results. NLP-based methods model layout analysis as a sequence labeling task and show insufficient capabilities in layout modeling. CV-based methods model layout analysis as a detection or segmentation task, but bear limitations of inefficient modality fusion and lack of relation modeling between layout components. To address the above limitations, we propose a unified framework VSR for document layout analysis, combining vision, semantics and relations. VSR supports both NLP-based and CV-based methods. Specifically, we first introduce vision through document image and semantics through text embedding maps. Then, modality-specific visual and semantic features are extracted using a two-stream network, which are adaptively fused to make full use of complementary information. Finally, given component candidates, a relation module based on graph neural network is incorported to model relations between components and output final results. On three popular benchmarks, VSR outperforms previous models by large margins. Code will be released soon.


title: New Results from Long-time Photometric Study of UX Orionis Star GM Cephei

abstract: New results from long-term optical photometric observations of the pre-main sequence star GM Cep from UX Orionis type are reported. During ongoing photometric monitoring of the GM Cep four deep minimums in brightness are observed. The collected multicolour photometric data shows the typical of UXor variables colour reversal during the minimums in brightness. Recent $BVRI$ photometric observations of GM Cep have been collected from November 2014 to October 2020.


title: Best practices for constructing, preparing, and evaluating protein-ligand binding affinity benchmarks

abstract: Free energy calculations are rapidly becoming indispensable in structure-enabled drug discovery programs. As new methods, force fields, and implementations are developed, assessing their expected accuracy on real-world systems (benchmarking) becomes critical to provide users with an assessment of the accuracy expected when these methods are applied within their domain of applicability, and developers with a way to assess the expected impact of new methodologies. These assessments require construction of a benchmark - a set of well-prepared, high quality systems with corresponding experimental measurements designed to ensure the resulting calculations provide a realistic assessment of expected performance when these methods are deployed within their domains of applicability. To date, the community has not yet adopted a common standardized benchmark, and existing benchmark reports suffer from a myriad of issues, including poor data quality, limited statistical power, and statistically deficient analyses, all of which can conspire to produce benchmarks that are poorly predictive of real-world performance. Here, we address these issues by presenting guidelines for (1) curating experimental data to develop meaningful benchmark sets, (2) preparing benchmark inputs according to best practices to facilitate widespread adoption, and (3) analysis of the resulting predictions to enable statistically meaningful comparisons among methods and force fields.


title: Teleparallel geometries not characterized by their scalar polynomial torsion invariants

abstract: A teleparallel geometry is an n-dimensional manifold equipped with a frame basis and an independent spin connection. For such a geometry, the curvature tensor vanishes and the torsion tensor is non-zero. A straightforward approach to characterizing teleparallel geometries is to compute scalar polynomial invariants constructed from the torsion tensor and its covariant derivatives. An open question has been whether the set of all scalar polynomial torsion invariants, $\mathcal{I}_T$ uniquely characterize a given teleparallel geometry. In this paper we show that the answer is no and construct the most general class of teleparallel geometries in four dimensions which cannot be characterized by $\mathcal{I}_T$. As a corollary we determine all teleparallel geometries which have vanishing scalar polynomial torsion invariants.


title: LGPMA: Complicated Table Structure Recognition with Local and Global Pyramid Mask Alignment

abstract: Table structure recognition is a challenging task due to the various structures and complicated cell spanning relations. Previous methods handled the problem starting from elements in different granularities (rows/columns, text regions), which somehow fell into the issues like lossy heuristic rules or neglect of empty cell division. Based on table structure characteristics, we find that obtaining the aligned bounding boxes of text region can effectively maintain the entire relevant range of different cells. However, the aligned bounding boxes are hard to be accurately predicted due to the visual ambiguities. In this paper, we aim to obtain more reliable aligned bounding boxes by fully utilizing the visual information from both text regions in proposed local features and cell relations in global features. Specifically, we propose the framework of Local and Global Pyramid Mask Alignment, which adopts the soft pyramid mask learning mechanism in both the local and global feature maps. It allows the predicted boundaries of bounding boxes to break through the limitation of original proposals. A pyramid mask re-scoring module is then integrated to compromise the local and global information and refine the predicted boundaries. Finally, we propose a robust table structure recovery pipeline to obtain the final structure, in which we also effectively solve the problems of empty cells locating and division. Experimental results show that the proposed method achieves competitive and even new state-of-the-art performance on several public benchmarks.


title: Multi-Objective CFD-Driven Development of Coupled Turbulence Closure Models

abstract: This paper introduces two novel concepts in data-driven turbulence modeling that enable the simultaneous development of multiple closure models and the training towards multiple objectives. The concepts extend the evolutionary framework by Weatheritt and Sandberg (2016), which derives interpretable and implementation-ready expressions from high-fidelity simulation data. By assigning a shared fitness value to the evolved closure models and utilizing the CFD-driven training approach by Zhao et al. (2020), the multi-expression training concept introduced here is able to account for the coupling between the trained models, i.e. Reynolds stress anisotropy, turbulent heat flux and turbulence production correction models. As a second concept, a multi-objective optimization algorithm is applied to the framework. The extension yields a diverse set of candidate models and allows a trade-off between the training objectives after analyzing the training results. In this study, the novel concepts are applied to a benchmark periodic hills case and a vertical natural convection flow. The predictions of mean flow quantities are improved compared to decoupled training strategies with distinct and robust improvements for strongly coupled momentum and thermal fields. The coupled training of closure models and the balancing of multiple training objectives are considered important capabilities on the path towards generalized data-driven turbulence models.


title: Robust Beamforming Design and Time Allocation for IRS-assisted Wireless Powered Communication Networks

abstract: In this paper, a novel intelligent reflecting surface (IRS)-assisted wireless powered communication network (WPCN) architecture is proposed for power-constrained Internet-of-Things (IoT) smart devices, where IRS is exploited to improve the performance of WPCN under imperfect channel state information (CSI). We formulate a hybrid access point (HAP) transmit energy minimization problem by jointly optimizing time allocation, HAP energy beamforming, receiving beamforming, user transmit power allocation, IRS energy reflection coefficient and information reflection coefficient under the imperfect CSI and non-linear energy harvesting model. On account of the high coupling of optimization variables, the formulated problem is a non-convex optimization problem that is difficult to solve directly. To address the above-mentioned challenging problem, alternating optimization (AO) technique is applied to decouple the optimization variables to solve the problem. Specifically, through AO, time allocation, HAP energy beamforming, receiving beamforming, user transmit power allocation, IRS energy reflection coefficient and information reflection coefficient are divided into three sub-problems to be solved alternately. The difference-of-convex (DC) programming is used to solve the non-convex rank-one constraint in solving IRS energy reflection coefficient and information reflection coefficient. Numerical simulations verify the superiority of the proposed optimization algorithm in decreasing HAP transmit energy compared with other benchmark schemes.


title: Effect of the structure of lead iodine perovskites on the photovoltaic efficiencies

abstract: Methyl-ammonium lead iodide perovskite crystallizes in different structures depending on the temperature: orthorhombic, tetragonal and cubic. An important point to be considered is the effect of the microscopic properties of the different structures on the optical and photovoltaic properties. Using first principles we obtain the absorption coefficients that will determine the absorption of solar radiation. In order to analyze the contributions of the different atoms to the absorption coefficients we split them into a many-species expansion. Using a similar methodology we also split the efficiencies as a many-species expansion. It allows the contribution of the atomic species to be identified and quantified to the absorption coefficients and to the solar cell efficiency of the different phases. Additionally the effect of the cell thickness w is quantified.


title: SIDE: State Inference for Partially Observable Cooperative Multi-Agent Reinforcement Learning

abstract: As one of the solutions to the decentralized partially observable Markov decision process (Dec-POMDP) problems, the value decomposition method has achieved significant results recently. However, most value decomposition methods require the fully observable state of the environment during training, but this is not feasible in some scenarios where only incomplete and noisy observations can be obtained. Therefore, we propose a novel value decomposition framework, named State Inference for value DEcomposition (SIDE), which eliminates the need to know the global state by simultaneously seeking solutions to the two problems of optimal control and state inference. SIDE can be extended to any value decomposition method to tackle partially observable problems. By comparing with the performance of different algorithms in StarCraft II micromanagement tasks, we verified that though without accessible states, SIDE can infer the current state that contributes to the reinforcement learning process based on past local observations and even achieve superior results to many baselines in some complex scenarios.


title: Reciprocal Feature Learning via Explicit and Implicit Tasks in Scene Text Recognition

abstract: Text recognition is a popular topic for its broad applications. In this work, we excavate the implicit task, character counting within the traditional text recognition, without additional labor annotation cost. The implicit task plays as an auxiliary branch for complementing the sequential recognition. We design a two-branch reciprocal feature learning framework in order to adequately utilize the features from both the tasks. Through exploiting the complementary effect between explicit and implicit tasks, the feature is reliably enhanced. Extensive experiments on 7 benchmarks show the advantages of the proposed methods in both text recognition and the new-built character counting tasks. In addition, it is convenient yet effective to equip with variable networks and tasks. We offer abundant ablation studies, generalizing experiments with deeper understanding on the tasks. Code is available.


title: Fast Black-Box Quantum State Preparation Based on Linear Combination of Unitaries

abstract: Black-box quantum state preparation is a fundamental primitive in quantum algorithms. Starting from Grover, a series of techniques have been devised to reduce the complexity. In this work, we propose to perform black-box state preparation using the technique of linear combination of unitaries (LCU). We provide two algorithms based on a different structure of LCU. Our algorithms improve upon the existed best results by reducing the required additional qubits and Toffoli gates to 2log(n) and n, respectively, in the bit precision n. We demonstrate the algorithms using the IBM Quantum Experience cloud services. The further reduced complexity of the present algorithms brings the black-box quantum state preparation closer to reality.


title: The THDMa revisited -- A preview

abstract: We here present preliminary results on a parameter scan of the THDMa, a new physics model that extends the scalar sector of the Standard Model by an additional doublet as well as a pseudoscalar singlet. In the gauge-eigenbasis, the additional pseudoscalar serves as a portal to the dark sector, with a fermionic dark matter candidate. This model is currently one of the standard benchmarks for the LHC experimental collaborations. We apply all current theoretical and experimental constraints and identify regions in the parameter space that might be interesting for an investigation at possible future $e^+e^-$ facilities.


title: Retrieval-Free Knowledge-Grounded Dialogue Response Generation with Adapters

abstract: To diversify and enrich generated dialogue responses, knowledge-grounded dialogue has been investigated in recent years. The existing methods tackle the knowledge grounding challenge by retrieving the relevant sentences over a large corpus and augmenting the dialogues with explicit extra information. Despite their success, however, the existing works have drawbacks in inference efficiency. This paper proposes KnowExpert, a framework to bypass the explicit retrieval process and inject knowledge into the pre-trained language models with lightweight adapters and adapt to the knowledge-grounded dialogue task. To the best of our knowledge, this is the first attempt to tackle this challenge without retrieval in this task under an open-domain chit-chat scenario. The experimental results show that Knowexpert performs comparably with some retrieval-based baselines while being time-efficient in inference, demonstrating the effectiveness of our proposed method.


title: Parity Quantum Optimization: Compiler

abstract: We introduce parity quantum optimization with the aim of solving optimization problems consisting of arbitrary $k$-body interactions and side conditions using planar quantum chip architectures. The method introduces a decomposition of the problem graph with arbitrary $k$-body terms using generalized closed cycles of a hypergraph. Side conditions of the optimization problem in form of hard constraints can be included as open cycles containing the terms involved in the side conditions. The generalized parity mapping thus circumvents the need to translate optimization problems to a quadratic unconstrained binary optimization problem (QUBO) and allows for the direct encoding of higher-order constrained binary optimization problems (HCBO) on a square lattice and full parallelizability of gates.


title: Quantum-well tunneling anisotropic magnetoresistance above room temperature

abstract: Quantum-well (QW) devices have been extensively investigated in semiconductor structures. More recently, spin-polarized QWs were integrated into magnetic tunnel junctions (MTJs). In this work, we demonstrate the spin-based control of the quantized states in iron $3d$-band QWs, as observed in experiments and theoretical calculations. We find that the magnetization rotation in the Fe QWs significantly shifts the QW quantization levels, which modulate the resonant-tunneling current in MTJs, resulting in a tunneling anisotropic magnetoresistance (TAMR) effect of QWs. This QW-TAMR effect is sizable compared to other types of TAMR effect, and it is present above the room-temperature. In a QW MTJ of Cr/Fe/MgAl$_2$O$_4$/top electrode, where the QW is formed by a mismatch between Cr and Fe in the $d$ band with $\Delta_1$ symmetry, a QW-TAMR ratio of up to 5.4 % was observed at 5 K, which persisted to 1.2 % even at 380K. The magnetic control of QW transport can open new applications for spin-coupled optoelectronic devices, ultra-thin sensors, and memories.


title: Parity Quantum Optimization: Encoding Constraints

abstract: Constraints make hard optimization problems even harder to solve on quantum devices because they are implemented with large energy penalties and additional qubit overhead. The parity mapping, which has been introduced as an alternative to the spin encoding, translates the problem to a representation using only parity variables that encodes products of spin variables. In combining exchange interaction and single spin flip terms in the parity representation, constraints on sums and products of arbitrary k-body terms can be implemented without additional overhead in two-dimensional quantum systems.


title: Near-IR Type Ia SN distances: host galaxy extinction and mass-step corrections revisited

abstract: We present optical and near-infrared (NIR, $YJH$-band) observations of 42 Type Ia supernovae (SNe Ia) discovered by the untargeted intermediate Palomar Transient Factory (iPTF) survey. This new data-set covers a broad range of redshifts and host galaxy stellar masses, compared to previous SN Ia efforts in the NIR. We construct a sample, using also literature data at optical and NIR wavelengths, to examine claimed correlations between the host stellar masses and the Hubble diagram residuals. The SN magnitudes are corrected for host galaxy extinction using either a global total-to-selective extinction ratio, $R_V$=2.0 for all SNe, or a best-fit $R_V$ for each SN individually. Unlike previous studies which were based on a narrower range in host stellar mass, we do not find evidence for a "mass-step", between the color- and stretch-corrected peak $J$ and $H$ magnitudes for galaxies below and above $\log(M_{*}/M_{\odot}) = 10$. However, the mass-step remains significant ($3\sigma$) at optical wavelengths ($g,r,i$) when using a global $R_V$, but vanishes when each SN is corrected using their individual best-fit $R_V$. Our study confirms the benefits of the NIR SN Ia distance estimates, as these are largely exempted from the empirical corrections dominating the systematic uncertainties in the optical.


title: Modular Origin of Mass Hierarchy: Froggatt-Nielsen like Mechanism

abstract: We study Froggatt-Nielsen (FN) like flavor models with modular symmetry. The FN mechanism is a convincing solution to the flavor puzzle in quark sector. The FN mechanism requires an extra $U(1)$ gauge symmetry which is broken at high energy. Alternatively, in the framework of modular symmetry the modular weights can play the role of the FN charges of the extra $U(1)$ symmetry. Based on the FN-like mechanism with modular symmetry we present new flavor models for quark sector. Assuming that the three generations have a common representation under modular symmetry, our models simply reproduce the FN-like Yukawa matrices. We also show that the realistic mass hierarchy and mixing angles, which are related each other through the modular parameters and a scalar vev, can be realized in models with several finite modular groups (and their double covering groups) without unnatural hierarchical parameters.


title: Multi-scale Regional Attention Deeplab3+: Multiple Myeloma Plasma Cells Segmentation in Microscopic Images

abstract: Multiple myeloma cancer is a type of blood cancer that happens when the growth of abnormal plasma cells becomes out of control in the bone marrow. There are various ways to diagnose multiple myeloma in bone marrow such as complete blood count test (CBC) or counting myeloma plasma cell in aspirate slide images using manual visualization or through image processing technique. In this work, an automatic deep learning method for the detection and segmentation of multiple myeloma plasma cell have been explored. To this end, a two-stage deep learning method is designed. In the first stage, the nucleus detection network is utilized to extract each instance of a cell of interest. The extracted instance is then fed to the multi-scale function to generate a multi-scale representation. The objective of the multi-scale function is to capture the shape variation and reduce the effect of object scale on the cytoplasm segmentation network. The generated scales are then fed into a pyramid of cytoplasm networks to learn the segmentation map in various scales. On top of the cytoplasm segmentation network, we included a scale aggregation function to refine and generate a final prediction. The proposed approach has been evaluated on the SegPC2021 grand-challenge and ranked second on the final test phase among all teams.


title: Hybrid stars with large strange quark cores constrained by GW170817

abstract: We analyze the impact of several multi-quark interaction channels on the properties of hybrid stars. Four and eight vector interactions were included in the $SU(3)$ NJL model to describe the quark matter, and all vector like interactions were investigated. The hybrid stars were built starting from an hadronic EoS that satisfy presently accepted nuclear matter properties and considering the quark model constrained by the vacuum properties of several light mesons. The interplay between the 8-quark vector interaction and the 4-quark isovector-vector interaction determine the size of the quark core and its strangeness content. The inclusion of a isovector-vector interaction is essential to obtain large $s$-quark contents and a smaller central speed of sound, although this interaction pushes the onset of quarks to larger densities. It is observed that low mass stars, with a mass below 1.4$M_\odot$, may contain a quark core but with small strangeness content. It is shown that the presently existing mass and tidal deformability constraints from NS observations allow for the existence of hybrid stars with a large strangeness content and large quark cores for binary mass ratios $q=M_2/M_1\gtrsim 0.85$.


title: Parity Quantum Optimization: Benchmarks

abstract: We present benchmarks of the parity transformation for the Quantum Approximate Optimization Algorithm (QAOA). We analyse the gate resources required to implement a single QAOA cycle for real-world scenarios. In particular, we consider random spin models with higher order terms, as well as the problems of predicting financial crashes and finding the ground states of electronic structure Hamiltonians. For the spin models studied our findings imply a significant advantage of the parity mapping compared to the standard gate model. In combination with full parallelizability of gates this has the potential to boost the race for demonstrating quantum advantage.


title: Likelihoods and Parameter Priors for Bayesian Networks

abstract: We develop simple methods for constructing likelihoods and parameter priors for learning about the parameters and structure of a Bayesian network. In particular, we introduce several assumptions that permit the construction of likelihoods and parameter priors for a large number of Bayesian-network structures from a small set of assessments. The most notable assumption is that of likelihood equivalence, which says that data can not help to discriminate network structures that encode the same assertions of conditional independence. We describe the constructions that follow from these assumptions, and also present a method for directly computing the marginal likelihood of a random sample with no missing observations. Also, we show how these assumptions lead to a general framework for characterizing parameter priors of multivariate distributions.


title: Seshadri's criterion and openness of projectivity

abstract: We prove that projectivity is an open condition for deformations of algebraic spaces with rational singularities. V.2: references updated and corrected.


title: On the Cartier duality of certain finite group schemes of order $p^n$, III

abstract: Let $\mathcal{G}^{(\lambda)}$ be a group scheme which deforms $\mathbb{G}_a$ to $\mathbb{G}_m$. We explicitly describe the Cartier dual of the $l$-th Frobenius type kernel $N_l$ of the group scheme $\mathcal{E}^{(\lambda,\mu;D)}$ which is an extension of $\mathcal{G}^{(\lambda)}$ by $\mathcal{G}^{(\mu)}$. Here we assume that the base ring $A$ is a $\mathbb{Z}_{(p)}$-algebra containing some nilpotent elements. The obtained result generalizes a previous result by N. Aki and M. Amano (Tsukuba J.Math. $\textbf{34}$ (2010)) which assumes that $A$ is an $\mathbb{F}_p$-algebra.


title: A Graphical Calculus for Lagrangian Relations

abstract: Symplectic vector spaces are the phase spaces of linear mechanical systems. The symplectic form describes, for example, the relation between position and momentum as well as current and voltage. The category of linear Lagrangian relations between symplectic vector spaces is a symmetric monoidal subcategory of relations which gives a semantics for the evolution -- and more generally linear constraints on the evolution -- of various physical systems. We give a new presentation of the category of Lagrangian relations over an arbitrary field as a `doubled' category of linear relations. More precisely, we show that it arises as a variation of Selinger's CPM construction applied to linear relations, where the covariant orthogonal complement functor plays the role of conjugation. Furthermore, for linear relations over prime fields, this corresponds exactly to the CPM construction for a suitable choice of dagger. We can furthermore extend this construction by a single affine shift operator to obtain a category of affine Lagrangian relations. Using this new presentation, we prove the equivalence of the prop of affine Lagrangian relations with the prop of qudit stabilizer theory in odd prime dimensions. We hence obtain a unified graphical language for several disparate process theories, including electrical circuits, Spekkens' toy theory, and odd-prime-dimensional stabilizer quantum circuits.


title: Integrated luminosity measurement at CEPC

abstract: The very forward region is one of the most challenging regions to instrument at a future $e^+e^-$ collider. At CEPC, machine-detector interface includes, among others, a calorimeter dedicated for precision measurement of the integrated luminosity at a permille level or better. Here we review a feasibility of such precision, from the point of view of luminometer mechanical precision and positioning, beam-related requirements and physics background.A method of the effective center-of-mass determination from $e^+e^- \to \mu^+\mu^-$, initially proposed for FCC, is also discussed for the CEPC beams.


title: Variational Auto Encoder Gradient Clustering

abstract: Clustering using deep neural network models have been extensively studied in recent years. Among the most popular frameworks are the VAE and GAN frameworks, which learns latent feature representations of data through encoder / decoder neural net structures. This is a suitable base for clustering tasks, as the latent space often seems to effectively capture the inherent essence of data, simplifying its manifold and reducing noise. In this article, the VAE framework is used to investigate how probability function gradient ascent over data points can be used to process data in order to achieve better clustering. Improvements in classification is observed comparing with unprocessed data, although state of the art results are not obtained. Processing data with gradient descent however results in more distinct cluster separation, making it simpler to investigate suitable hyper parameter settings such as the number of clusters. We propose a simple yet effective method for investigating suitable number of clusters for data, based on the DBSCAN clustering algorithm, and demonstrate that cluster number determination is facilitated with gradient processing. As an additional curiosity, we find that our baseline model used for comparison; a GMM on a t-SNE latent space for a VAE structure with weight one on reconstruction during training (autoencoder), yield state of the art results on the MNIST data, to our knowledge not beaten by any other existing model.


title: Video Corpus Moment Retrieval with Contrastive Learning

abstract: Given a collection of untrimmed and unsegmented videos, video corpus moment retrieval (VCMR) is to retrieve a temporal moment (i.e., a fraction of a video) that semantically corresponds to a given text query. As video and text are from two distinct feature spaces, there are two general approaches to address VCMR: (i) to separately encode each modality representations, then align the two modality representations for query processing, and (ii) to adopt fine-grained cross-modal interaction to learn multi-modal representations for query processing. While the second approach often leads to better retrieval accuracy, the first approach is far more efficient. In this paper, we propose a Retrieval and Localization Network with Contrastive Learning (ReLoCLNet) for VCMR. We adopt the first approach and introduce two contrastive learning objectives to refine video encoder and text encoder to learn video and text representations separately but with better alignment for VCMR. The video contrastive learning (VideoCL) is to maximize mutual information between query and candidate video at video-level. The frame contrastive learning (FrameCL) aims to highlight the moment region corresponds to the query at frame-level, within a video. Experimental results show that, although ReLoCLNet encodes text and video separately for efficiency, its retrieval accuracy is comparable with baselines adopting cross-modal interaction learning.


title: Upper level sets of Lelong numbers on $\mathbb P^2$ and cubic curves

abstract: Let $T$ be a positive closed current of bidimension $(1,1)$ with unit mass on $\mathbb P^2$ and $V_{\alpha}(T)$ be the upper level sets of Lelong numbers $\nu(T,x)$ of $T$. For any $\alpha\geq \frac{1}{3}$, we show that $|V_{\alpha}(T)\setminus C|\leq 2$ for some cubic curve $C$.


title: Sobolev regularity of occupation measures and paths, variability and compositions

abstract: We prove a result on the fractional Sobolev regularity of composition of paths of low fractional Sobolev regularity with functions of bounded variation. The result relies on the notion of variability, proposed by us in the previous article [43, arXiv:2003.11698]. Here we work under relaxed hypotheses, formulated in terms of Sobolev norms, and we can allow discontinuous paths, which is new. The result applies to typical realizations of certain Gaussian or L\'evy processes, and we use it to show the existence of Stieltjes type integrals involving compositions.


title: 3U-EdgeAI: Ultra-Low Memory Training, Ultra-Low BitwidthQuantization, and Ultra-Low Latency Acceleration

abstract: The deep neural network (DNN) based AI applications on the edge require both low-cost computing platforms and high-quality services. However, the limited memory, computing resources, and power budget of the edge devices constrain the effectiveness of the DNN algorithms. Developing edge-oriented AI algorithms and implementations (e.g., accelerators) is challenging. In this paper, we summarize our recent efforts for efficient on-device AI development from three aspects, including both training and inference. First, we present on-device training with ultra-low memory usage. We propose a novel rank-adaptive tensor-based tensorized neural network model, which offers orders-of-magnitude memory reduction during training. Second, we introduce an ultra-low bitwidth quantization method for DNN model compression, achieving the state-of-the-art accuracy under the same compression ratio. Third, we introduce an ultra-low latency DNN accelerator design, practicing the software/hardware co-design methodology. This paper emphasizes the importance and efficacy of training, quantization and accelerator design, and calls for more research breakthroughs in the area for AI on the edge.


title: Learning Weakly Convex Sets in Metric Spaces

abstract: One of the central problems studied in the theory of machine learning is the question of whether, for a given class of hypotheses, it is possible to efficiently find a {consistent} hypothesis, i.e., which has zero training error. While problems involving {\em convex} hypotheses have been extensively studied, the question of whether efficient learning is possible for non-convex hypotheses composed of possibly several disconnected regions is still less understood. Although it has been shown quite a while ago that efficient learning of weakly convex hypotheses, a parameterized relaxation of convex hypotheses, is possible for the special case of Boolean functions, the question of whether this idea can be developed into a generic paradigm has not been studied yet. In this paper, we provide a positive answer and show that the consistent hypothesis finding problem can indeed be solved in polynomial time for a broad class of weakly convex hypotheses over metric spaces. To this end, we propose a general domain-independent algorithm for finding consistent weakly convex hypotheses and prove sufficient conditions for its efficiency that characterize the corresponding hypothesis classes. To illustrate our general algorithm and its properties, we discuss several non-trivial learning examples to demonstrate how it can be used to efficiently solve the corresponding consistent hypothesis finding problem. Without the weak convexity constraint, these problems are known to be computationally intractable. We then proceed to show that the general idea of our algorithm can even be extended to the case of extensional weakly convex hypotheses, as it naturally arise, e.g., when performing vertex classification in graphs. We prove that using our extended algorithm, the problem can be solved in polynomial time provided the distances in the domain can be computed efficiently.


title: Dark matter Axion search with riNg Cavity Experiment DANCE: Current sensitivity

abstract: Dark matter Axion search with riNg Cavity Experiment (DANCE) was proposed. To search for axion-like particles, we aim to detect the rotation and oscillation of optical linear polarization caused by axion-photon coupling with a bow-tie cavity. DANCE can improve the sensitivity to axion-photon coupling constant $g_{a \gamma}$ for axion mass $m_a < 10^{-10} \, \rm{eV}$ by several orders of magnitude compared to the best upper limits at present. A prototype experiment DANCE Act-1 is in progress to demonstrate the feasibility of the method and to investigate technical noises. We assembled the optics, evaluated the performance of the cavity, and estimated the current sensitivity. If we observe for a year, we can reach $g_{a \gamma} \simeq 9 \times 10^{-7} \, \rm{GeV^{-1}}$ at $m_a \simeq 10^{-13} \, \rm{eV}$. The current sensitivity was believed to be limited by laser intensity noise at low frequencies and by mechanical vibration at high frequencies.