title: The algebraic structure of the densification and the sparsification tasks for CSPs

abstract: The tractability of certain CSPs for dense or sparse instances is known from the 90s. Recently, the densification and the sparsification of CSPs were formulated as computational tasks and the systematical study of their computational complexity was initiated. We approach this problem by introducing the densification operator, i.e. the closure operator that, given an instance of a CSP, outputs all constraints that are satisfied by all of its solutions. According to the Galois theory of closure operators, any such operator is related to a certain implicational system (or, a functional dependency) $\Sigma$. We are specifically interested in those classes of fixed-template CSPs, parameterized by constraint languages $\Gamma$, for which there is an implicational system $\Sigma$ whose size is a polynomial in the number of variables $n$. We show that in the Boolean case, such implicational systems exist if and only if $\Gamma$ is of bounded width. For such languages, $\Sigma$ can be computed in log-space or in a logarithmic time with a polynomial number of processors. Given an implicational system $\Sigma$, the densification task is equivalent to the computation of the closure of input constraints. The sparsification task is equivalent to the computation of the minimal key.


title: Strongly correlated excitonic insulator in atomic double layers

abstract: Excitonic insulators (EI) arise from the formation of bound electron-hole pairs (excitons) in semiconductors and provide a solid-state platform for quantum many-boson physics. Strong exciton-exciton repulsion is expected to stabilize condensed superfluid and crystalline phases by suppressing both density and phase fluctuations. Although spectroscopic signatures of EIs have been reported, conclusive evidence for strongly correlated EI states has remained elusive. Here, we demonstrate a strongly correlated spatially indirect two-dimensional (2D) EI ground state formed in transition metal dichalcogenide (TMD) semiconductor double layers. An equilibrium interlayer exciton fluid is formed when the bias voltage applied between the two electrically isolated TMD layers, is tuned to a range that populates bound electron-hole pairs, but not free electrons or holes. Capacitance measurements show that the fluid is exciton-compressible but charge-incompressible - direct thermodynamic evidence of the EI. The fluid is also strongly correlated with a dimensionless exciton coupling constant exceeding 10. We further construct an exciton phase diagram that reveals both the Mott transition and interaction-stabilized quasi-condensation. Our experiment paves the path for realizing the exotic quantum phases of excitons, as well as multi-terminal exciton circuitry for applications.


title: Spin-phonon coupling and dielectric spectroscopy in nano-crystalline Pr$_2$CoMnO$_6$ double perovskite manganite

abstract: In this paper, we present the spin-phonon coupling and dielectric response of nano-crystalline Pr$_2$CoMnO$_6$ employing Raman and dielectric spectroscopic study. Pr$_2$CoMnO$_6$ is a manganite compound , it undergoes a paramagnetic to ferromagnetic (PM-FM) phase transition around $T_c$ $\sim$172 K. Temperature-dependent Raman scattering experiment is carried out across $T_c$ to study the spin-phonon behavior in this material. The results from Raman study reveal an obvious softening of the phonon mode involving stretching vibrations of the (Co/Mn)O$_6$ octahedra in ferromagnetic temperature regions, indicating a close correlation between magnetism and lattice in Pr$_2$CoMnO$_6$ and conform the spin phonon coupling. Further, we have carried out detailed study on dielectric response, impedance spectroscopy, electric modulus and AC conductivity of Pr$_2$CoMnO$_6$ ceramics in the temperature range of 20 K - 300 K and frequency range of 1kHz - 5.5MHz. We found Pr$_2$CoMnO$_6$ shows strong frequency dependence with large dispersion and large dielectric constant. It is found that thermally activated relaxation mechanism is involve and material is deviated from Debye's model which is confirmed by Nyquist plot and complex modules behavior.


title: Wigner function for noninteracting fermions in hard wall potentials

abstract: The Wigner function $W_N({\bf x}, {\bf p})$ is a useful quantity to characterize the quantum fluctuations of an $N$-body system in its phase space. Here we study $W_N({\bf x}, {\bf p})$ for $N$ noninteracting spinless fermions in a $d$-dimensional spherical hard box of radius $R$ at temperature $T=0$. In the large $N$ limit, the local density approximation (LDA) predicts that $W_N({\bf x}, {\bf p}) \approx 1/(2 \pi \hbar)^d$ inside a finite region of the $({\bf x}, {\bf p})$ plane, namely for $|{\bf x}| < R$ and $|{\bf p}| < k_F$ where $k_F$ is the Fermi momentum, while $W_N({\bf x}, {\bf p})$ vanishes outside this region, or "droplet", on a scale determined by quantum fluctuations. In this paper we investigate systematically, in this quantum region, the structure of the Wigner function along the edge of this droplet, called the Fermi surf. In one dimension, we find that there are three distinct edge regions along the Fermi surf and we compute exactly the associated nontrivial scaling functions in each regime. We also study the momentum distribution $\hat \rho_N(p)$ and find a striking algebraic tail for very large momenta $\hat \rho_N(p) \propto 1/p^4$, well beyond $k_F$, reminiscent of a similar tail found in interacting quantum systems (discussed in the context of Tan's relation). We then generalize these results to higher $d$ and find, remarkably, that the scaling function close to the edge of the box is universal, i.e., independent of the dimension~$d$.

categories: cond-mat.stat-mech cond-mat.quant-gas math-ph math.MP


title: A Non-Negative Matrix Factorization Game

abstract: We present a novel game-theoretic formulation of Non-Negative Matrix Factorization (NNMF), a popular data-analysis method with many scientific and engineering applications. The game-theoretic formulation is shown to have favorable scaling and parallelization properties, while retaining reconstruction and convergence performance comparable to the traditional Multiplicative Updates algorithm.


title: Proof of Travel for Trust-Based Data Validation in V2I Communication

abstract: Previous work on misbehavior detection and trust management for Vehicle-to-Everything (V2X) communication security is effective in identifying falsified and malicious V2X data. Each vehicle in a given region can be a witness to report on the misbehavior of other nearby vehicles, which will then be added to a "blacklist." However, there may not exist enough witness vehicles that are willing to opt-in in the early stage of connected-vehicle deployment. In this paper, we propose a "whitelisting" approach to V2X security, titled Proof-of-Travel (POT), which leverages the support of roadside infrastructure. Our goal is to transform the power of cryptography techniques embedded within Vehicle-to-Infrastructure (V2I) protocols into game-theoretic mechanisms to incentivize connected-vehicle data sharing and validate data trustworthiness simultaneously. The key idea is to determine the reputation of and the contribution made by a vehicle based on its distance traveled and the information it shared through V2I channels. In particular, the total vehicle miles traveled for a vehicle must be testified by digital signatures signed by each infrastructure component along the path of its movement. While building a chain of proofs of spatial movement creates burdens for malicious vehicles, acquiring proofs does not result in extra costs for normal vehicles, which naturally want to move from the origin to the destination. The POT protocol is used to enhance the security of previous voting-based data validation algorithms for V2I crowdsensing applications. For the POT-enhanced voting, we prove that all vehicles choosing to cheat are not a pure Nash equilibrium using game-theoretic analysis. Simulation results suggest that the POT-enhanced voting is more robust to malicious data.


title: Priority Lists for Power System Investments: Locating Phasor Measurement Units

abstract: Power systems incrementally and continuously upgrade their components, such as transmission lines, reactive capacitors, or generating units. Decision-making tools often support the selection of the best set of components to upgrade. Optimization models are often used to support decision making at a given point in time. After certain time intervals, re-optimization is performed to find new components to add. In this paper, we propose a decision-making framework for incrementally updating power system components. This is an alternative approach to the classical sequential re-optimization decision making for an investment problem with modeled budget constraints. Our approach provides a priority list as a solution with a list of new components to upgrade. We show that i) our framework is consistent with the evolution of power system upgrades, and ii) in particular circumstances, both frameworks provide the same solution if the problem satisfies submodularity property. We have selected the problem of phasor measurement unit localization and compared the solution with the classical sequential re-optimization framework. For this particular problem, we show that the two approaches provide close results, while only our proposed algorithm is applicable in practice. The cases of 14 and 118 IEEE buses are used to illustrate the proposed methodology.


title: Instagram Filter Removal on Fashionable Images

abstract: Social media images are generally transformed by filtering to obtain aesthetically more pleasing appearances. However, CNNs generally fail to interpret both the image and its filtered version as the same in the visual analysis of social media images. We introduce Instagram Filter Removal Network (IFRNet) to mitigate the effects of image filters for social media analysis applications. To achieve this, we assume any filter applied to an image substantially injects a piece of additional style information to it, and we consider this problem as a reverse style transfer problem. The visual effects of filtering can be directly removed by adaptively normalizing external style information in each level of the encoder. Experiments demonstrate that IFRNet outperforms all compared methods in quantitative and qualitative comparisons, and has the ability to remove the visual effects to a great extent. Additionally, we present the filter classification performance of our proposed model, and analyze the dominant color estimation on the images unfiltered by all compared methods.


title: Multipoint correlation functions at phase separation. Exact results from field theory

abstract: We consider near-critical two-dimensional statistical systems with boundary conditions inducing phase separation on the strip. By exploiting low-energy properties of two-dimensional field theories, we compute arbitrary $n$-point correlation of the order parameter field. Finite-size corrections and mixed correlations involving the stress tensor trace are also discussed. As an explicit illustration of the technique, we provide a closed-form expression for a three-point correlation function and illustrate the explicit form of the long-ranged interfacial fluctuations as well as their confinement within the interfacial region.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: Compactness and Large-Scale Regularity for Darcy's Law

abstract: This paper is concerned with the quantitative homogenization of the steady Stokes equations with the Dirichlet condition in a periodically perforated domain. Using a compactness method, we establish the large-scale interior $C^{1, \alpha}$ and Lipschitz estimates for the velocity as well as the corresponding estimates for the pressure. These estimates, when combined with the classical regularity estimates for the Stokes equations, yield the uniform Lipschitz estimates. As a consequence, we also obtain the uniform $W^{k, p}$ estimates for $1<p<\infty$.


title: Ultrafast Measurements of the Interfacial Spin Seebeck Effect in Au and Rare-Earth Iron Garnet Bilayers

abstract: We investigate picosecond spin-currents across Au/iron-garnet interfaces in response to ultrafast laser heating of the electrons in the Au film. In the picoseconds after optical heating, interfacial spin currents occur due to an interfacial temperature difference between electrons in the metal and magnons in the insulator. We report measurements of this interfacial longitudinal spin Seebeck effect between Au and rare-earth iron-garnet insulators, i.e. RE$_3$ Fe$_5$O$_{12}$, where RE is Y, Eu, Tb, Tm. We use time domain thermoreflectance (TDTR) measurements to characterize the thermal response of the bilayer to ultrafast optical heating. We use time-resolved magneto-optic Kerr effect (TR-MOKE) measurements of the Au layer to measure the time-evolution of spin accumulation in the Au film. We observe a spin Seebeck effect between Au/TmIG that is three times larger than for an Au/YIG bilayer. The interfacial thermal conductance between electrons in the Au and magnons in the TmIG layer is ~ 3 $\frac{MW}{m^2 K}$.


title: Parallel integrative learning for large-scale multi-response regression with incomplete outcomes

abstract: Multi-task learning is increasingly used to investigate the association structure between multiple responses and a single set of predictor variables in many applications. In the era of big data, the coexistence of incomplete outcomes, large number of responses, and high dimensionality in predictors poses unprecedented challenges in estimation, prediction, and computation. In this paper, we propose a scalable and computationally efficient procedure, called PEER, for large-scale multi-response regression with incomplete outcomes, where both the numbers of responses and predictors can be high-dimensional. Motivated by sparse factor regression, we convert the multi-response regression into a set of univariate-response regressions, which can be efficiently implemented in parallel. Under some mild regularity conditions, we show that PEER enjoys nice sampling properties including consistency in estimation, prediction, and variable selection. Extensive simulation studies show that our proposal compares favorably with several existing methods in estimation accuracy, variable selection, and computation efficiency.


title: CoPE: Conditional image generation using Polynomial Expansions

abstract: Generative modeling has evolved to a notable field of machine learning. Deep polynomial neural networks (PNNs) have demonstrated impressive results in unsupervised image generation, where the task is to map an input vector (i.e., noise) to a synthesized image. However, the success of PNNs has not been replicated in conditional generation tasks, such as super-resolution. Existing PNNs focus on single-variable polynomial expansions which do not fare well to two-variable inputs, i.e., the noise variable and the conditional variable. In this work, we introduce a general framework, called CoPE, that enables a polynomial expansion of two input variables and captures their auto- and cross-correlations. We exhibit how CoPE can be trivially augmented to accept an arbitrary number of input variables. CoPE is evaluated in five tasks (class-conditional generation, inverse problems, edges-to-image translation, image-to-image translation, attribute-guided generation) involving eight datasets. The thorough evaluation suggests that CoPE can be useful for tackling diverse conditional generation tasks. The source code of CoPE is available at \url{https://github.com/grigorisg9gr/polynomial_nets_for_conditional_generation}.


title: Raindrops on Windshield: Dataset and Lightweight Gradient-Based Detection Algorithm

abstract: Autonomous vehicles use cameras as one of the primary sources of information about the environment. Adverse weather conditions such as raindrops, snow, mud, and others, can lead to various image artifacts. Such artifacts significantly degrade the quality and reliability of the obtained visual data and can lead to accidents if they are not detected in time. This paper presents ongoing work on a new dataset for training and assessing vision algorithms' performance for different tasks of image artifacts detection on either camera lens or windshield. At the moment, we present a publicly available set of images containing $8190$ images, of which $3390$ contain raindrops. Images are annotated with the binary mask representing areas with raindrops. We demonstrate the applicability of the dataset in the problems of raindrops presence detection and raindrop region segmentation. To augment the data, we also propose an algorithm for data augmentation which allows the generation of synthetic raindrops on images. Apart from the dataset, we present a novel gradient-based algorithm for raindrop presence detection in a video sequence. The experimental evaluation proves that the algorithm reliably detects raindrops. Moreover, compared with the state-of-the-art cross-correlation-based algorithm \cite{Einecke2014}, the proposed algorithm showed a higher quality of raindrop presence detection and image processing speed, making it applicable for the self-check procedure of real autonomous systems. The dataset is available at \href{https://github.com/EvoCargo/RaindropsOnWindshield}{$github.com/EvoCargo/RaindropsOnWindshield$}.


title: Comparison of Binaural RTF-Vector-Based Direction of Arrival Estimation Methods Exploiting an External Microphone

abstract: In this paper we consider a binaural hearing aid setup, where in addition to the head-mounted microphones an external microphone is available. For this setup, we investigate the performance of several relative transfer function (RTF) vector estimation methods to estimate the direction of arrival (DOA) of the target speaker in a noisy and reverberant acoustic environment. More in particular, we consider the state-of-the-art covariance whitening (CW) and covariance subtraction (CS) methods, either incorporating the external microphone or not, and the recently proposed spatial coherence (SC) method, requiring the external microphone. To estimate the DOA from the estimated RTF vector, we propose to minimize the frequency-averaged Hermitian angle between the estimated head-mounted RTF vector and a database of prototype head-mounted RTF vectors. Experimental results with stationary and moving speech sources in a reverberant environment with diffuse-like noise show that the SC method outperforms the CS method and yields a similar DOA estimation accuracy as the CW method at a lower computational complexity.


title: Investigation of the Effect of Bars on the Properties of Spiral Galaxies: A Multivariate Statistical Study

abstract: Subjective classification of spiral galaxies is not sufficient for studying the effect of bars on their physical characteristics. In reality the problem is to comprehend the complex correlations in a multivariate parametric space. Multivariate tools are the best ones for understanding this complex correlation. In this work an objective classification of a large set (26,089) of spiral galaxies was compiled as a value added galaxy catalogue from sdss DR 15 virtual data archive. Initially for dimensionality reduction, Independent Component Analysis is performed to determine a set of Independent Components that are linear combinations of 48 observed features (namely ionised lines, Lick indices, photometric and morphological properties). Subsequently a K-means cluster analysis is carried out on the basis of the 14 best chosen Independent Components to obtain 12 distinct homogeneous groups of spiral galaxies. Amongst these, 3 groups are the oldest ones (1.6 Gyr - 5.9 Gyr), while 5 groups fall in the medium aged category (1.4 Gyr - 1.6 Gyr), 2 groups consist of only unbarred spirals, 1 group is the youngest one and the remaining one is an outlier. In many groups there are clear indication of recurrent bar formation phenomena which is consistent with few previous simulation works. In order to study the robustness a second method of clustering by Gaussian Mixture Modeling Method (GMMBC) is applied.


title: Transfer Learning for Neural Networks-based Equalizers in Coherent Optical Systems

abstract: In this work, we address the question of the adaptability of artificial neural networks (NNs) used for impairments mitigation in optical transmission systems. We demonstrate that by using well-developed techniques based on the concept of transfer learning, we can efficaciously retrain NN-based equalizers to adapt to the changes in the transmission system, using just a fraction (down to 1%) of the initial training data or epochs. We evaluate the capability of transfer learning to adapt the NN to changes in the launch power, modulation format, symbol rate, or even fiber plants (different fiber types and lengths). The numerical examples utilize the recently introduced NN equalizer consisting of a convolutional layer coupled with bi-directional long-short term memory (biLSTM) recurrent NN element. Our analysis focuses on long-haul coherent optical transmission systems for two types of fibers: the standard single-mode fiber (SSMF) and the TrueWave Classic (TWC) fiber. We underline the specific peculiarities that occur when transferring the learning in coherent optical communication systems and draw the limits for the transfer learning efficiency. Our results demonstrate the effectiveness of transfer learning for the fast adaptation of NN architectures to different transmission regimes and scenarios, paving the way for engineering flexible and universal solutions for nonlinearity mitigation.


title: The Core of Approval Participatory Budgeting with Uniform Costs (or with up to Four Projects) is Non-Empty

abstract: In the Approval Participatory Budgeting problem an agent prefers a set of projects $W'$ over $W$ if she approves strictly more projects in $W'$. A set of projects $W$ is in the core, if there is no other set of projects $W'$ and set of agents $K$ that both prefer $W'$ over $W$ and can fund $W'$. It is an open problem whether the core can be empty, even when project costs are uniform. the latter case is known as the multiwinner voting core. We show that in any instance with uniform costs or with at most four projects (and any number of agents), the core is nonempty.


title: Dielectric behavior of Water in [bmim] [Tf 2 N] room-temperature Ionic Liquid, molecular dynamic study

abstract: In this work we present the dielectric behavior of water with a novel flexible model that improved all three sites water models Different concentrations of the ionic liquid 1- butyl-3-methylimidazolium [bmim] bis(trifluoromethanesulfonyl)imide [Tf 2 N] with water was investigated. The study was performed by molecular dynamics simulations using three water models, being two non-polarizable 3-site SPC/E and SPC/e, and a novel flexible 3-site FAB/epsilon model. Systematic thermodynamics, dynamical and dielectric properties were investigated, such as density, diffusion coefficient, heat of vaporization Delta-Hvap, and surface tension at 300 K and 1 bar. We extrapolated the experimental molar fraction of the mixtures and a pattern change for all properties was observed, evidencing the phase separation previously reported by experimental data. The results also display the dielectric effect of the system on the calculated properties.


title: Constraining Black Hole Spin based on the Absence of Lense-Thirring Precession of Megamaser Clumps

abstract: We make use of the absence of Lense-Thirring precession of the innermost megamaser clumps around black holes in order to place upper limits on the spin amplitude of seven black holes at the center of megamaser galaxies: NGC 4258, NGC 2273, UGC 3789, NGC 3393, NGC 5495, NGC 5765b, and UGC 6093. The constraints are derived by requiring that the associated precession time-scale be longer than the age of the megamaser clumps, in order to preserve the single-plane geometry of the megamasers.


title: Group Convolutional Neural Networks Improve Quantum State Accuracy

abstract: Neural networks are a promising tool for simulating quantum many body systems. Recently, it has been shown that neural network-based models describe quantum many body systems more accurately when they are constrained to have the correct symmetry properties. In this paper, we show how to create maximally expressive models for quantum states with specific symmetry properties by drawing on literature from the machine learning community. We implement group equivariant convolutional networks (G-CNN) \cite{cohen2016group}, and demonstrate that performance improvements can be achieved without increasing memory use. We show that G-CNNs achieve very good accuracy for Heisenberg quantum spin models in both ordered and spin liquid regimes, and improve the ground state accuracy on the triangular lattice over other variational Monte-Carlo methods.


title: Maximal Page Crossing Numbers of Legendrian Surfaces in Closed Contact 5-Manifolds

abstract: We introduce a new Legendrian isotopy invariant for any closed orientable Legendrian surface $L$ embedded in a closed contact $5$-manifold $(M, \xi)$ which admits an "admissable" open book $(B, f)$ (supporting $\xi$) for $L$. We show that to any such $L$ and a fixed page $X$, one can assign an integer $M\mathcal{P}_{X}(L)$, called "Relative Maximal Page Crossing Number of $L$ with respect to $X$", which is invariant under Legendrian isotopies of $L$. We also show that one can extend this to a page-free invariant, i.e., one can assign an integer $M\mathcal{P}_{(B,f)}(L)$, called "Absolute Maximal Page Crossing Number of $L$ with respect to $(B, f)$", which is invariant under Legendrian isotopies of $L$. In particular, this new invariant distinguishes Legendrian surfaces in the standard five-sphere which can not be distinguished by Thurston-Bennequin invariant.


title: Learning from Censored and Dependent Data: The case of Linear Dynamics

abstract: Observations from dynamical systems often exhibit irregularities, such as censoring, where values are recorded only if they fall within a certain range. Censoring is ubiquitous in practice, due to saturating sensors, limit-of-detection effects, and image-frame effects. In light of recent developments on learning linear dynamical systems (LDSs), and on censored statistics with independent data, we revisit the decades-old problem of learning an LDS, from censored observations (Lee and Maddala (1985); Zeger and Brookmeyer (1986)). Here, the learner observes the state $x_t \in \mathbb{R}^d$ if and only if $x_t$ belongs to some set $S_t \subseteq \mathbb{R}^d$. We develop the first computationally and statistically efficient algorithm for learning the system, assuming only oracle access to the sets $S_t$. Our algorithm, Stochastic Online Newton with Switching Gradients, is a novel second-order method that builds on the Online Newton Step (ONS) of Hazan et al. (2007). Our Switching-Gradient scheme does not always use (stochastic) gradients of the function we want to optimize, which we call "censor-aware" function. Instead, in each iteration, it performs a simple test to decide whether to use the censor-aware, or another "censor-oblivious" function, for getting a stochastic gradient. In our analysis, we consider a "generic" Online Newton method, which uses arbitrary vectors instead of gradients, and we prove an error-bound for it. This can be used to appropriately design these vectors, leading to our Switching-Gradient scheme. This framework significantly deviates from the recent long line of works on censored statistics (e.g., Daskalakis et al. (2018); Kontonis et al. (2019); Daskalakis et al. (2019)), which apply Stochastic Gradient Descent (SGD), and their analysis reduces to establishing conditions for off-the-shelf SGD-bounds.


title: A New Look at Optimal Dual Problem Related to Fusion Frames

abstract: The purpose of this work is to examine the structure of optimal dual fusion frames and get more exibility in the use of dual fusion frames for erasures of subspaces. We deal with optimal dual fusion frames with respect to different definitions of duality and compare the advantages of these approaches. In addition, we introduce a new concept so called partial optimal dual which involves less time and computation for detecting optimal dual for erasures in known locations. Then we study the relationship between local and global optimal duals by partial optimal duals which leads to some applicable results. In the sense that, we obtain an overcomplete frame and a family of associated optimal duals by a given Riesz fusion basis. We present some examples to exhibit the effect of error rate when dual fusion frames are applied in reconstruction.


title: The World as a Graph: Improving El Ni\~no Forecasts with Graph Neural Networks

abstract: Deep learning-based models have recently outperformed state-of-the-art seasonal forecasting models, such as for predicting El Ni\~no-Southern Oscillation (ENSO). However, current deep learning models are based on convolutional neural networks which are difficult to interpret and can fail to model large-scale atmospheric patterns. In comparison, graph neural networks (GNNs) are capable of modeling large-scale spatial dependencies and are more interpretable due to the explicit modeling of information flow through edge connections. We propose the first application of graph neural networks to seasonal forecasting. We design a novel graph connectivity learning module that enables our GNN model to learn large-scale spatial interactions jointly with the actual ENSO forecasting task. Our model, \graphino, outperforms state-of-the-art deep learning-based models for forecasts up to six months ahead. Additionally, we show that our model is more interpretable as it learns sensible connectivity structures that correlate with the ENSO anomaly pattern.


title: Transport Estimations of Final State Interaction Effects on Short-range Correlation Studies Using the $(e,e'p)$ and $(e,e'pp)$ Reactions

abstract: Short range correlated (SRC) nucleon-nucleon pairs in nuclei are typically studied using measurements of electron-induced hard nucleon-knockout reactions (e.g. $(e,e'p)$ and $(e,e'pN)$), where the kinematics of the knocked-out nucleons are used to infer their initial state prior to the interaction. The validity of this inference relies on our understanding of the scattering reaction, most importantly how rescattering of the detected nucleons (final state interactions or FSI) distort their kinematical distributions. Recent SRC measurements on medium to heavy nuclei have been performed at high-$x_B$ (i.e., anti-parallel kinematics) where calculations of light nuclei indicate that such distortion effects are small. Here we study the impact of FSI on recent $^{12}$C$(e,e'p)$ and $^{12}$C$(e,e'pp)$ measurements using a transport approach. We find that while FSI can significantly distort the measured kinematical distributions of SRC breakup events, selecting high-$x_B$ anti-parallel events strongly suppresses such distortions. In addition, including the effects of FSI improves the agreement between Generalized Contact Formalism-based calculations and data and can help identify those observables that have minimal sensitivity to FSI effects. This result helps confirm the interpretation of experimental data in terms of initial-state momentum distributions and provides a new tool for the study of SRCs using lepton-scattering reactions.


title: Simple, Optimal Algorithms for Random Sampling Without Replacement

abstract: Consider the fundamental problem of drawing a simple random sample of size k without replacement from [n] := {1, . . . , n}. Although a number of classical algorithms exist for this problem, we construct algorithms that are even simpler, easier to implement, and have optimal space and time complexity.


title: Remark on the Chain rule of fractional derivative in the Sobolev framework

abstract: A chain rule for power product is studied with fractional differential operators in the framework of Sobolev spaces. The fractional differential operators are defined by the Fourier multipliers. The chain rule is considered newly in the case where the order of differential operators is between one and two. The study is based on the analogy of the classical chain rule or Leibniz rule.


title: Load Balancing with Dynamic Set of Balls and Bins

abstract: In dynamic load balancing, we wish to distribute balls into bins in an environment where both balls and bins can be added and removed. We want to minimize the maximum load of any bin but we also want to minimize the number of balls and bins affected when adding or removing a ball or a bin. We want a hashing-style solution where we given the ID of a ball can find its bin efficiently. We are given a balancing parameter $c=1+\epsilon$, where $\epsilon\in (0,1)$. With $n$ and $m$ the current numbers of balls and bins, we want no bin with load above $C=\lceil c n/m\rceil$, referred to as the capacity of the bins. We present a scheme where we can locate a ball checking $1+O(\log 1/\epsilon)$ bins in expectation. When inserting or deleting a ball, we expect to move $O(1/\epsilon)$ balls, and when inserting or deleting a bin, we expect to move $O(C/\epsilon)$ balls. Previous bounds were off by a factor $1/\epsilon$. These bounds are best possible when $C=O(1)$ but for larger $C$, we can do much better: Let $f=\epsilon C$ if $C\leq \log 1/\epsilon$, $f=\epsilon\sqrt{C}\cdot \sqrt{\log(1/(\epsilon\sqrt{C}))}$ if $\log 1/\epsilon\leq C<\tfrac{1}{2\epsilon^2}$, and $C=1$ if $C\geq \tfrac{1}{2\epsilon^2}$. We show that we expect to move $O(1/f)$ balls when inserting or deleting a ball, and $O(C/f)$ balls when inserting or deleting a bin. For the bounds with larger $C$, we first have to resolve a much simpler probabilistic problem. Place $n$ balls in $m$ bins of capacity $C$, one ball at the time. Each ball picks a uniformly random non-full bin. We show that in expectation and with high probability, the fraction of non-full bins is $\Theta(f)$. Then the expected number of bins that a new ball would have to visit to find one that is not full is $\Theta(1/f)$. As it turns out, we obtain the same complexity in our more complicated scheme where both balls and bins can be added and removed.


title: Constructing Contrastive samples via Summarization for Text Classification with limited annotations

abstract: Contrastive Learning has emerged as a powerful representation learning method and facilitates various downstream tasks especially when supervised data is limited. How to construct efficient contrastive samples through data augmentation is key to its success. Unlike vision tasks, the data augmentation method for contrastive learning has not been investigated sufficiently in language tasks. In this paper, we propose a novel approach to construct contrastive samples for language tasks using text summarization. We use these samples for supervised contrastive learning to gain better text representations which greatly benefit text classification tasks with limited annotations. To further improve the method, we mix up samples from different classes and add an extra regularization, named Mixsum, in addition to the cross-entropy-loss. Experiments on real-world text classification datasets (Amazon-5, Yelp-5, AG News, and IMDb) demonstrate the effectiveness of the proposed contrastive learning framework with summarization-based data augmentation and Mixsum regularization.


title: Operational approach to metastability

abstract: In this work, we introduce an information-theoretic approach for considering changes in dynamics of finitely dimensional open quantum systems governed by master equations. This experimentally motivated approach arises from considering how the averages of system observables change with time and quantifies how non-stationary the system is during a given time regime. By drawing an analogy with the exponential decay, we are able to further investigate regimes when such changes are negligible according to the logarithmic scale of time, and thus the system is approximately stationary. While this is always the case within the initial and final regimes of the dynamics, with the system respectively approximated by its initial and asymptotic states, we show that a distinct regime of approximate stationarity may arise. In turn, we establish a quantitative description of the phenomenon of metastability in open quantum systems. The initial relaxation occurring before the corresponding metastable regime and of the long-time dynamics taking place afterwards are also characterised. Furthermore, we explain how metastability relates to the separation in the real part of the master equation spectrum and connect our approach to the spectral theory of metastability, clarifying when the latter follows. All of our general results directly translate to Markovian dynamics of classical stochastic systems.


title: Weak Form Generalized Hamiltonian Learning

abstract: We present a method for learning generalized Hamiltonian decompositions of ordinary differential equations given a set of noisy time series measurements. Our method simultaneously learns a continuous time model and a scalar energy function for a general dynamical system. Learning predictive models in this form allows one to place strong, high-level, physics inspired priors onto the form of the learnt governing equations for general dynamical systems. Moreover, having shown how our method extends and unifies some previous work in deep learning with physics inspired priors, we present a novel method for learning continuous time models from the weak form of the governing equations which is less computationally taxing than standard adjoint methods.


title: Pay attention to your loss: understanding misconceptions about 1-Lipschitz neural networks

abstract: Lipschitz constrained networks have gathered considerable attention in the deep learning community, with usages ranging from Wasserstein distance estimation to the training of certifiably robust classifiers. However they remain commonly considered as less accurate, and their properties in learning are still not fully understood. In this paper we clarify the matter: when it comes to classification 1-Lipschitz neural networks enjoy several advantages over their unconstrained counterpart. First, we show that these networks are as accurate as classical ones, and can fit arbitrarily difficult boundaries. Then, relying on a robustness metric that reflects operational needs we characterize the most robust classifier: the WGAN discriminator. Next, we show that 1-Lipschitz neural networks generalize well under milder assumptions. Finally, we show that hyper-parameters of the loss are crucial for controlling the accuracy-robustness trade-off. We conclude that they exhibit appealing properties to pave the way toward provably accurate, and provably robust neural networks.


title: A note on partial quasi-morphisms and products in Lagrangian Floer homology in cotangent bundles

abstract: We define partial quasi-morphisms on the group of Hamiltonian diffeomorphisms of the cotangent bundle using the spectral invariants in Lagrangian Floer homology with conormal boundary conditions, where the product compatible with the PSS isomorphism and the homological intersection product is lacking.


title: Euclidean Twistor Unification

abstract: Taking Euclidean signature space-time with its local Spin(4)=SU(2)xSU(2) group of space-time symmetries as fundamental, one can consistently gauge one SU(2) factor to get a chiral spin connection formulation of general relativity, the other to get part of the Standard Model gauge fields. Reconstructing a Lorentz signature theory requires introducing a degree of freedom specifying the imaginary time direction, which will play the role of the Higgs field. To make sense of this one needs to work with twistor geometry, which provides tautological spinor degrees of freedom and a framework for relating by analytic continuation spinors in Minkowski and Euclidean space-time. It also provides internal U(1) and SU(3) symmetries as well as a simple construction of the degrees of freedom of a Standard Model generation of matter fields. In this proposal the theory is naturally defined on projective twistor space rather than the usual space-time, so will require further development of a gauge theory and spinor field quantization formalism in that context.


title: McKean-Vlasov type stochastic differential equations arising from the random vortex method

abstract: We study a class of McKean-Vlasov type stochastic differential equations (SDEs) which arise from the random vortex dynamics and other physics models. By introducing a new approach we resolve the existence and uniqueness of both the weak and strong solutions for the McKean-Vlasov stochastic differential equations whose coefficients are defined in terms of singular integral kernels such as the Biot-Savart kernel. These SDEs which involve the distributions of solutions are in general not Lipschitz continuous with respect to the usual distances on the space of distributions such as the Wasserstein distance. Therefore there is an obstacle in adapting the ordinary SDE method for the study of this class of SDEs, and the conventional methods seem not appropriate for dealing with such distributional SDEs which appear in applications such as fluid mechanics.


title: Sub-MHz spectral dip in a resonator-free twisted gain medium

abstract: Ultra-narrow optical spectral features resulting from highly dispersive light-matter interactions are essential for a broad range of applications such as spectroscopy, slow-light, and high-precision sensing. Features approaching sub-MHz, or equivalently, Q-factors approaching ~1 billion and beyond, are challenging to obtain in solid-state systems, ultimately limited by loss. We present a novel approach to achieve tunable sub-MHz spectral features, at room temperature, without resonators. We exploit gain-enhanced polarization pulling in a twisted birefringent medium where polarization eigenmodes are frequency-dependent. Using Brillouin gain in a commercial spun fiber, we experimentally achieve a 0.72 MHz spectral dip, the narrowest backward Brillouin scattering feature ever reported. Further optimization can potentially reduce the linewidth to <0.1 MHz. Our approach is simple and broadly applicable, offering on-demand tunability and high sensitivity, with a wide range of applications such as microwave photonic filters, slow and fast light, and optical sensing.


title: PPT-Multicore: Performance Prediction of OpenMP applications using Reuse Profiles and Analytical Modeling

abstract: We present PPT-Multicore, an analytical model embedded in the Performance Prediction Toolkit (PPT) to predict parallel application performance running on a multicore processor. PPT-Multicore builds upon our previous work towards a multicore cache model. We extract LLVM basic block labeled memory trace using an architecture-independent LLVM-based instrumentation tool only once in an application's lifetime. The model uses the memory trace and other parameters from an instrumented sequentially executed binary. We use a probabilistic and computationally efficient reuse profile to predict the cache hit rates and runtimes of OpenMP programs' parallel sections. We model Intel's Broadwell, Haswell, and AMD's Zen2 architectures and validate our framework using different applications from PolyBench and PARSEC benchmark suites. The results show that PPT-Multicore can predict cache hit rates with an overall average error rate of 1.23% while predicting the runtime with an error rate of 9.08%.


title: Vacuum birefringence and diffraction at XFEL: from analytical estimates to optimal parameters

abstract: We study vacuum birefringence and x-ray photon scattering in the head-on collision of x-ray free electron and high-intensity laser pulses. Resorting to analytical approximations for the numbers of attainable signal photons, we analyze the behavior of the phenomenon under the variation of various experimental key-parameters and provide new analytical scalings. Our optimized approximations allow for quantitatively accurate results on the one-percent level. We in particular demonstrate that an appropriate choice of the x-ray focus and pulse duration can significantly improve the signal for given laser parameters, using the experimental parameters to be available at the Helmholtz International Beamline for Extreme Fields at the European XFEL as example. Our results are essential for the identification of the optimal choice of parameters in a discovery experiment of vacuum birefringence at the high-intensity frontier.


title: Reduced-order modeling of the fluidic pinball

abstract: The fluidic pinball is a geometrically simple flow configuration with three rotating cylinders on the vertex of an equilateral triangle. Yet, it remains physically rich enough to host a range of interacting frequencies and to allow testing of control laws within minutes on a laptop. The system has multiple inputs (the three cylinders can independently rotate around their axis) and multiple outputs (downstream velocity sensors). Investigating the natural flow dynamics, we found that the first unsteady transition undergone by the wake flow, when increasing the Reynolds number, is a Hopf bifurcation leading to the usual time-periodic vortex shedding phenomenon, typical of cylinder wake flows, in which the mean flow field preserves axial symmetry. We extract dynamically consistent modes from the flow data in order to built a reduced-order model (ROM) of this flow regime. We show that the main dynamical features of the primary Hopf bifurcation can be described by a non-trivial lowest-order model made of three degrees of freedom.


title: Dynamiques transitoires de sillage dans le pinball fluidique

abstract: In this work, we are interested in the transient dynamics of a fluid configuration consisting of three fixed cylinders whose axes distribute over an equilateral triangle in transverse flow << fluidic pinball >>. As the Reynolds number is increased on the route to chaos, its transient dynamics tell us about the contribution of the elementary degrees of freedom of the system to the lift and drag coefficients.


title: Low-dimensional Flow Models from high-dimensional Flow data with Machine Learning and First Principles

abstract: Reduced-order modelling and system identification can help us figure out the elementary degrees of freedom and the underlying mechanisms from the high-dimensional and nonlinear dynamics of fluid flow. Machine learning has brought new opportunities to these two processes and is revolutionising traditional methods. We show a framework to obtain a sparse human-interpretable model from complex high-dimensional data using machine learning and first principles.


title: Towards a Collective Agenda on AI for Earth Science Data Analysis

abstract: In the last years we have witnessed the fields of geosciences and remote sensing and artificial intelligence to become closer. Thanks to both the massive availability of observational data, improved simulations, and algorithmic advances, these disciplines have found common objectives and challenges to advance the modeling and understanding of the Earth system. Despite such great opportunities, we also observed a worrying tendency to remain in disciplinary comfort zones applying recent advances from artificial intelligence on well resolved remote sensing problems. Here we take a position on research directions where we think the interface between these fields will have the most impact and become potential game changers. In our declared agenda for AI on Earth sciences, we aim to inspire researchers, especially the younger generations, to tackle these challenges for a real advance of remote sensing and the geosciences.


title: Phase transition for Gibbs Delaunay Tessellations with geometric hardcore conditions

abstract: In this paper, we prove the existence of infinite Gibbs Delaunay Potts tessellations for marked particle configurations. The particle systems has two types of interaction, a so-called \emph{background potential} ensures that small and large triangles are excluded in the Delaunay tessellation, and is similar to the so-called hardcore potential introduced in \cite{Der08}. Particles carry one of $q$ separate marks. Our main result is that for large activities and high \emph{type interaction} strength the model has at least $ q$ distinct translation-invariant Gibbs Delaunay Potts tessellations. The main technique is a coarse-graining procedure using the scales in the system followed by comparison with site percolation on $ \Z^2 $.


title: The two-dimensional one-component plasma is hyperuniform

abstract: We prove that at all positive temperatures in the bulk of a classical two-dimensional one-component plasma (also called Coulomb or log-gas, or jellium) the variance of the number of particles in large disks grows (strictly) more slowly than the area. In other words the system is hyperuniform.


title: Bayesian exponential random graph models for populations of networks

abstract: The collection of data on populations of networks is becoming increasingly common, where each data point can be seen as a realisation of a network-valued random variable. A canonical example is that of brain networks: a typical neuroimaging study collects one or more brain scans across multiple individuals, each of which can be modelled as a network with nodes corresponding to distinct brain regions and edges corresponding to structural or functional connections between these regions. Most statistical network models, however, were originally proposed to describe a single underlying relational structure, although recent years have seen a drive to extend these models to populations of networks. Here, we propose one such extension: a multilevel framework for populations of networks based on exponential random graph models. By pooling information across the individual networks, this framework provides a principled approach to characterise the relational structure for an entire population. To perform inference, we devise a novel exchange-within-Gibbs MCMC algorithm that generates samples from the doubly-intractable posterior. To illustrate our framework, we use it to assess group-level variations in networks derived from fMRI scans, enabling the inference of age-related differences in the topological structure of the brain's functional connectivity.


title: Fast Linking of Mathematical Wikidata Entities in Wikipedia Articles Using Annotation Recommendation

abstract: Mathematical information retrieval (MathIR) applications such as semantic formula search and question answering systems rely on knowledge-bases that link mathematical expressions to their natural language names. For database population, mathematical formulae need to be annotated and linked to semantic concepts, which is very time-consuming. In this paper, we present our approach to structure and speed up this process by supporting annotators with a system that suggests formula names and meanings of mathematical identifiers. We test our approach annotating 25 articles on https://en.wikipedia.org. We evaluate the quality and time-savings of the annotation recommendations. Moreover, we watch editor reverts and comments on Wikipedia formula entity links and Wikidata item creation and population to ground the formula semantics. Our evaluation shows that the AI guidance was able to significantly speed up the annotation process by a factor of 1.4 for formulae and 2.4 for identifiers. Our contributions were reverted in 12% of the edited Wikipedia articles and 33% of the Wikidata items within a test window of one month. The >>AnnoMathTeX<< annotation recommender system is hosted by Wikimedia at https://annomathtex.wmflabs.org. In the future, our data refinement pipeline is ready to be integrated seamlessly into the Wikipedia user interface.


title: iELAS: An ELAS-Based Energy-Efficient Accelerator for Real-Time Stereo Matching on FPGA Platform

abstract: Stereo matching is a critical task for robot navigation and autonomous vehicles, providing the depth estimation of surroundings. Among all stereo matching algorithms, Efficient Large-scale Stereo (ELAS) offers one of the best tradeoffs between efficiency and accuracy. However, due to the inherent iterative process and unpredictable memory access pattern, ELAS can only run at 1.5-3 fps on high-end CPUs and difficult to achieve real-time performance on low-power platforms. In this paper, we propose an energy-efficient architecture for real-time ELAS-based stereo matching on FPGA platform. Moreover, the original computational-intensive and irregular triangulation module is reformed in a regular manner with points interpolation, which is much more hardware-friendly. Optimizations, including memory management, parallelism, and pipelining, are further utilized to reduce memory footprint and improve throughput. Compared with Intel i7 CPU and the state-of-the-art CPU+FPGA implementation, our FPGA realization achieves up to 38.4x and 3.32x frame rate improvement, and up to 27.1x and 1.13x energy efficiency improvement, respectively.


title: On certain Hochschild cohomology groups for the small quantum group

abstract: We apply the sheaf cohomology BGG method developed by the authors and Lachowska-Qi to the computation of Hochschild cohomology groups of various blocks of the small quantum group. All our computations of the center of the corresponding block agree with the conjectures of Lachowska-Qi. In the case of the nontrivial singular block for $\mathfrak{g} = \mathfrak{sl}_3$, we obtain the H*$(\mathfrak{u}, \mathbb{C}) = \mathbb{C}[\mathcal{N}]$-module structure of HH*$(\mathfrak{u}_{\lambda})$.


title: Sample Average Approximations of Strongly Convex Stochastic Programs in Hilbert Spaces

abstract: We analyze the tail behavior of solutions to sample average approximations (SAAs) of stochastic programs posed in Hilbert spaces. We require that the integrand be strongly convex with the same convexity parameter for each realization. Combined with a standard condition from the literature on stochastic programming, we establish non-asymptotic exponential tail bounds for the distance between the SAA solutions and the stochastic program's solution, without assuming compactness of the feasible set. Our assumptions are verified on a class of infinite-dimensional optimization problems governed by affine-linear partial differential equations with random inputs. We present numerical results illustrating our theoretical findings.


title: Disentangling Semantics and Syntax in Sentence Embeddings with Pre-trained Language Models

abstract: Pre-trained language models have achieved huge success on a wide range of NLP tasks. However, contextual representations from pre-trained models contain entangled semantic and syntactic information, and therefore cannot be directly used to derive useful semantic sentence embeddings for some tasks. Paraphrase pairs offer an effective way of learning the distinction between semantics and syntax, as they naturally share semantics and often vary in syntax. In this work, we present ParaBART, a semantic sentence embedding model that learns to disentangle semantics and syntax in sentence embeddings obtained by pre-trained language models. ParaBART is trained to perform syntax-guided paraphrasing, based on a source sentence that shares semantics with the target paraphrase, and a parse tree that specifies the target syntax. In this way, ParaBART learns disentangled semantic and syntactic representations from their respective inputs with separate encoders. Experiments in English show that ParaBART outperforms state-of-the-art sentence embedding models on unsupervised semantic similarity tasks. Additionally, we show that our approach can effectively remove syntactic information from semantic sentence embeddings, leading to better robustness against syntactic variation on downstream semantic tasks.


title: Short-Term Behavior of a Geothermal Energy Storage: Numerical Applications

abstract: This paper is devoted to numerical simulations of the short-term behavior of the spatial temperature distribution in a geothermal energy storage. Such simulations are needed for the optimal control and management of residential heating systems equipped with an underground thermal storage. We apply numerical methods derived in our companion paper [15] in which we study the governing initial boundary value problem for a linear heat equation with convection. Further, we perform extensive numerical experiments in order to investigate properties of the spatio-temporal temperature distribution and of its aggregated characteristics.


title: Tracking Normalized Network Traffic Entropy to Detect DDoS Attacks in P4

abstract: Distributed Denial-of-Service (DDoS) attacks represent a persistent threat to modern telecommunications networks: detecting and counteracting them is still a crucial unresolved challenge for network operators. DDoS attack detection is usually carried out in one or more central nodes that collect significant amounts of monitoring data from networking devices, potentially creating issues related to network overload or delay in detection. The dawn of programmable data planes in Software-Defined Networks can help mitigate this issue, opening the door to the detection of DDoS attacks directly in the data plane of the switches. However, the most widely-adopted data plane programming language, namely P4, lacks supporting many arithmetic operations, therefore, some of the advanced network monitoring functionalities needed for DDoS detection cannot be straightforwardly implemented in P4. This work overcomes such a limitation and presents two novel strategies for flow cardinality and for normalized network traffic entropy estimation that only use P4-supported operations and guarantee a low relative error. Additionally, based on these contributions, we propose a DDoS detection strategy relying on variations of the normalized network traffic entropy. Results show that it has comparable or higher detection accuracy than state-of-the-art solutions, yet being simpler and entirely executed in the data plane.


title: An example of a non-associative Moufang loop of point classes on a cubic surface

abstract: Let $V$ be a cubic surface defined by the equation $T_0^3+T_1^3+T_2^3+\theta T_3^3=0$ over a quadratic extension of 3-adic numbers $k=\mathbb{Q}_3(\theta)$, where $\theta^3=1$. We show that a relation on a set of geometric k-points on $V$ modulo $(1-\theta)^3$ (in a ring of integers of $k$) defines an admissible relation and a commutative Moufang loop associated with classes of this admissible equivalence is non-associative. This answers a problem that was formulated by Yu. I. Manin more than 50 years ago about existence of a cubic surface with a non-associative Moufang loop of point classes.


title: BurstLink: Techniques for Energy-Efficient Conventional and Virtual Reality Video Display

abstract: Conventional planar video streaming is the most popular application in mobile systems and the rapid growth of 360 video content and virtual reality (VR) devices are accelerating the adoption of VR video streaming. Unfortunately, video streaming consumes significant system energy due to the high power consumption of the system components (e.g., DRAM, display interfaces, and display panel) involved in this process. We propose BurstLink, a novel system-level technique that improves the energy efficiency of planar and VR video streaming. BurstLink is based on two key ideas. First, BurstLink directly transfers a decoded video frame from the host system to the display panel, bypassing the host DRAM. To this end, we extend the display panel with a double remote frame buffer (DRFB), instead of the DRAM's double frame buffer, so that the system can directly update the DRFB with a new frame while updating the panel's pixels with the current frame stored in the DRFB. Second, BurstLink transfers a complete decoded frame to the display panel in a single burst, using the maximum bandwidth of modern display interfaces. Unlike conventional systems where the frame transfer rate is limited by the pixel-update throughput of the display panel, BurstLink can always take full advantage of the high bandwidth of modern display interfaces by decoupling the frame transfer from the pixel update as enabled by the DRFB. This direct and burst frame transfer of BurstLink significantly reduces energy consumption in video display by reducing access to the host DRAM and increasing the system's residency at idle power states. We evaluate BurstLink using an analytical power model that we rigorously validate on a real modern mobile system. Our evaluation shows that BurstLink reduces system energy consumption for 4K planar and VR video streaming by 41% and 33%, respectively.


title: Fundamental limit of single-mode integral-field spectroscopy

abstract: There are several high-performance adaptive optics systems that deliver diffraction-limited imaging on ground-based telescopes, which renewed the interest of single-mode fiber (SMF) spectroscopy for exoplanet characterization. However, the fundamental mode of a telescope is not well matched to those of conventional SMFs. With the recent progress in asphere manufacturing techniques it may be possible to reshape the fundamental mode of a SMF into any arbitrary distribution. An optimization problem is setup to investigate what the optimal mode field distribution is and what the fundamental throughput limit is for SMF spectroscopy. Both single-object spectrographs and integral-field spectrographs are investigated. The optimal mode for single-object spectrographs is found to be the aperture function of the exit pupil, while for integral-field spectrographs the optimal mode depends on the spatial sampling of the focal plane. For dense sampling, a uniform mode is optimal, while for sparse sampling, the mode of a conventional SMF is near optimal. With the optimal fiber mode, high throughput (>80%) can be achieved when the focal plane is (super) Nyquist sampled. For the Nyquist sampled cases, the optimal mode has almost 20% more throughput than a conventional SMF.


title: Detecting COVID-19 and Community Acquired Pneumonia using Chest CT scan images with Deep Learning

abstract: We propose a two-stage Convolutional Neural Network (CNN) based classification framework for detecting COVID-19 and Community-Acquired Pneumonia (CAP) using the chest Computed Tomography (CT) scan images. In the first stage, an infection - COVID-19 or CAP, is detected using a pre-trained DenseNet architecture. Then, in the second stage, a fine-grained three-way classification is done using EfficientNet architecture. The proposed COVID+CAP-CNN framework achieved a slice-level classification accuracy of over 94% at identifying COVID-19 and CAP. Further, the proposed framework has the potential to be an initial screening tool for differential diagnosis of COVID-19 and CAP, achieving a validation accuracy of over 89.3% at the finer three-way COVID-19, CAP, and healthy classification. Within the IEEE ICASSP 2021 Signal Processing Grand Challenge (SPGC) on COVID-19 Diagnosis, our proposed two-stage classification framework achieved an overall accuracy of 90% and sensitivity of .857, .9, and .942 at distinguishing COVID-19, CAP, and normal individuals respectively, to rank first in the evaluation. Code and model weights are available at https://github.com/shubhamchaudhary2015/ct_covid19_cap_cnn


title: Thirty-six entangled officers of Euler: Quantum solution to a classically impossible problem

abstract: The negative solution to the famous problem of $36$ officers of Euler implies that there are no two orthogonal Latin squares of order six. We show that the problem has a solution, provided the officers are entangled, and construct orthogonal quantum Latin squares of this size. As a consequence, we find an example of the long-elusive Absolutely Maximally Entangled state AME$(4,6)$ of four subsystems with six levels each, equivalently a $2$-unitary matrix of size $36$, which maximizes the entangling power among all bipartite unitary gates of this dimension, or a perfect tensor with four indices, each running from one to six. This special state deserves the appellation golden AME state as the golden ratio appears prominently in its elements. This result allows us to construct a pure nonadditive quhex quantum error detection code $(\!(3,6,2)\!)_6$, which saturates the Singleton bound and allows one to encode a $6$-level state into a triplet of such states.


title: The Newton Polytope of the Morse Discriminant of a Univariate Polynomial

abstract: In this paper we compute the Newton polytope $\mathcal M_A$ of the Morse discriminant in the space of univariate polynomials with the given support set $A.$ Namely, we establish a surjection between the set of all combinatorial types of Morse univariate tropical polynomials and the vertices of $\mathcal M_A.$


title: A Bop and Beyond: A Second Order Optimizer for Binarized Neural Networks

abstract: The optimization of Binary Neural Networks (BNNs) relies on approximating the real-valued weights with their binarized representations. Current techniques for weight-updating use the same approaches as traditional Neural Networks (NNs) with the extra requirement of using an approximation to the derivative of the sign function - as it is the Dirac-Delta function - for back-propagation; thus, efforts are focused adapting full-precision techniques to work on BNNs. In the literature, only one previous effort has tackled the problem of directly training the BNNs with bit-flips by using the first raw moment estimate of the gradients and comparing it against a threshold for deciding when to flip a weight (Bop). In this paper, we take an approach parallel to Adam which also uses the second raw moment estimate to normalize the first raw moment before doing the comparison with the threshold, we call this method Bop2ndOrder. We present two versions of the proposed optimizer: a biased one and a bias-corrected one, each with its own applications. Also, we present a complete ablation study of the hyperparameters space, as well as the effect of using schedulers on each of them. For these studies, we tested the optimizer in CIFAR10 using the BinaryNet architecture. Also, we tested it in ImageNet 2012 with the XnorNet and BiRealNet architectures for accuracy. In both datasets our approach proved to converge faster, was robust to changes of the hyperparameters, and achieved better accuracy values.


title: Shuffler: A Large Scale Data Management Tool for ML in Computer Vision

abstract: Datasets in the computer vision academic research community are primarily static. Once a dataset is accepted as a benchmark for a computer vision task, researchers working on this task will not alter it in order to make their results reproducible. At the same time, when exploring new tasks and new applications, datasets tend to be an ever changing entity. A practitioner may combine existing public datasets, filter images or objects in them, change annotations or add new ones to fit a task at hand, visualize sample images, or perhaps output statistics in the form of text or plots. In fact, datasets change as practitioners experiment with data as much as with algorithms, trying to make the most out of machine learning models. Given that ML and deep learning call for large volumes of data to produce satisfactory results, it is no surprise that the resulting data and software management associated to dealing with live datasets can be quite complex. As far as we know, there is no flexible, publicly available instrument to facilitate manipulating image data and their annotations throughout a ML pipeline. In this work, we present Shuffler, an open source tool that makes it easy to manage large computer vision datasets. It stores annotations in a relational, human-readable database. Shuffler defines over 40 data handling operations with annotations that are commonly useful in supervised learning applied to computer vision and supports some of the most well-known computer vision datasets. Finally, it is easily extensible, making the addition of new operations and datasets a task that is fast and easy to accomplish.


title: Orbital dynamics in 2D topological and Chern insulators

abstract: Within a relativistic quantum formalism we examine the role of second-order corrections caused by the application of magnetic fields in two-dimensional topological and Chern insulators. This allows to reach analytical expressions for the change of the Berry curvature, orbital magnetic moment, density of states and energy determining their canonical grand potential and transport properties. The present corrections, which become relevant at relatively low fields due to the small gap characterizing these systems, unveil a zero-field diamagnetic susceptibility which can be tuned by the external magnetic field.


title: Dualities in Comparison Theorems and Bundle-Valued Generalized Harmonic Forms on Noncompact Manifolds

abstract: We observe, utilize dualities in differential equations and differential inequalities, dualities between comparison theorems in differential equations, and obtain dualities in "swapping" comparison theorems in differential equations. These dualities generate comparison theorems on differential equations of mixed types I and II and lead to comparison theorems in Riemannian geometry with analytic, geometric, P.D.E.'s and physical applications. In particular, we prove Hessian comparison theorems and Laplacian comparison theorem under varied radial Ricci curvature or radial curvature assumptions, generalizing and extending the work of Han-Li-Ren-Wei, and Wei. We also extend the notion of function or differential form growth to bundle-valued differential form growth of various types and discuss their interrelationship. These provide tools in extending the notion, integrability and decomposition of generalized harmonic forms to those of bundle-valued generalized harmonic forms, introducing Condition W for bundle-valued differential forms, and proving duality theorem and unity theorem, generalizing the work of Andreotti and Vesentini, and Wei. We then apply Hessian and Laplacian comparison theorems to obtain comparison theorems in mean curvature, generalized sharp Caffarelli-Kohn-Nirenberg type inequalities, embedding theorem for weighted Sobolev spaces, geometric differential-integral inequalities, generalized sharp Hardy type inequalities on Riemannian manifolds, monotonicity formulas and vanishing theorems for differential forms of degree $k$ with values in vector bundles, such as $F$-Yang Mills fields (when $F$ is the identity map, they are Yang-Mills fields), generalized Yang-Mills-Born-Infeld fields on manifolds, Liouville type theorems for $F$-harmonic maps, and Dirichlet problems on starlike domains for vector bundle valued differential $1$-forms and $F$-harminic maps, etc.


title: A Scalable Algorithm for Decentralized Actor Termination Detection

abstract: Automatic garbage collection (GC) prevents certain kinds of bugs and reduces programming overhead. GC techniques for sequential programs are based on reachability analysis. However, testing reachability from a root set is inadequate for determining whether an actor is garbage: Observe that an unreachable actor may send a message to a reachable actor. Instead, it is sufficient to check termination (sometimes also called quiescence): an actor is terminated if it is not currently processing a message and cannot receive a message in the future. Moreover, many actor frameworks provide all actors with access to file I/O or external storage; without inspecting an actor's internal code, it is necessary to check that the actor has terminated to ensure that it may be garbage collected in these frameworks. Previous algorithms to detect actor garbage require coordination mechanisms such as causal message delivery or nonlocal monitoring of actors for mutation. Such coordination mechanisms adversely affect concurrency and are therefore expensive in distributed systems. We present a low-overhead deferred reference listing technique (called DRL) for termination detection in actor systems. DRL is based on asynchronous local snapshots and message-passing between actors. This enables a decentralized implementation and transient network partition tolerance. The paper provides a formal description of DRL, shows that all actors identified as garbage have indeed terminated (safety), and that all terminated actors--under certain reasonable assumptions--will eventually be identified (liveness).


title: A Complex Borel-Bernstein Theorem

abstract: Zero-one laws are a central topic in metric Diophantine approximation. A classical example of such laws is the Borel-Bernstein theorem. In this note, we prove a complex analogue of the Borel-Bernstein theorem for complex Hurwitz continued fractions. As a corollary, we obtain a complex version of Khinchin's theorem on Diophantine approximation.


title: Integrating micromagnets and hybrid nanowires for topological quantum computing

abstract: Majorana zero modes are expected to arise in semiconductor-superconductor hybrid systems, with potential topological quantum computing applications. One limitation of this approach is the need for a relatively high external magnetic field that should also change direction at nanoscale. This proposal considers devices that incorporate micromagnets to address this challenge. We perform numerical simulations of stray magnetic fields from different micromagnet configurations, which are then used to solve for Majorana wavefunctions. Several devices are proposed, starting with the basic four-magnet design to align magnetic field with the nanowire and scaling up to nanowire T-junctions. The feasibility of the approach is assessed by performing magnetic imaging of prototype patterns.


title: Prospects for macroscopic dark matter detection at space-based and suborbital experiments

abstract: We compare two different formalisms for modeling the energy deposition of macroscopically sized/massive quark nuggets (a.k.a. macros) in the Earth's atmosphere. We show that for a reference mass of 1 g, there is a discrepancy in the macro luminosity of about 14 orders of magnitude between the predictions of the two formalisms. Armed with our finding we estimate the sensitivity for macro detection at space-based (Mini-EUSO and POEMMA) and suborbital (EUSO-SPB2) experiments.


title: Analyzing Thermal Buckling in Curvilinearly Stiffened Composite Plates with Arbitrary Shaped Cutouts Using Isogeometric Level Set Method

abstract: In this paper we develop a new simple and effective isogeometric analysis for modeling thermal buckling of stiffened laminated composite plates with cutouts using level sets. We employ a first order shear deformation theory to approximate the displacement field of the stiffeners and the plate. Numerical modeling with a treatment of trimmed objects, such as internal cutouts in terms of NURBS-based isogeometric analysis presents several challenges, primarily due to need for using the tensor product of the NURBS basis functions. Due to this feature, the refinement operations can only be performed globally on the domain and not locally around the cutout. The new approach can overcome the drawbacks in modeling complex geometries with multiple-patches as the level sets are used to describe the internal cutouts; while the numerical integration is used only inside the physical domain. Results of parametric studies are presented which show the influence of ply orientation, size and orientation of the cutout and the position and profile of the curvilinear stiffeners. The numerical examples show high reliability and efficiency of the present method compared with other published solutions and ABAQUS.


title: Unconventional SUSY and Conventional Physics: A Pedagogical Review

abstract: In supersymmetric extensions of the Standard Model, the observed particles come in fermion-boson pairs necessary for the realization of supersymmetry (SUSY). In spite of the expected abundance of super-partners for all the known particles, not a single supersymmetric pair has been reported to date. Although a hypothetical SUSY breaking mechanism, operating at high energy inaccessible to current experiments cannot be ruled out, this reduces SUSY's predictive power and it is unclear whether SUSY, in its standard form, can help reducing the remaining puzzles of the standard model (SM). Here we argue that SUSY can be realized in a different way, connecting spacetime and internal bosonic symmetries, combining bosonic gauge fields and fermionic matter particles in a single gauge field, a Lie superalgebra-valued connection. In this unconventional representation, states do not come in SUSY pairs, avoiding the doubling of particles and fields and SUSY is not a fully off-shell invariance of the action. The resulting systems are remarkably simple, closely resembling a standard quantum field theory and SUSY still emerges as a contingent symmetry that depends on the features of the vacuum/ground state. We illustrate the general construction with two examples: i) A 2+1 dimensional system based on the $osp(2,2|2)$ superalgebra, including Lorentz and $u(1)$ generators that describes graphene; ii) A supersymmetric extension of 3+1 conformal gravity with an $SU(2,2|2)$ connection that describes a gauge theory with an emergent chiral symmetry breaking, coupled to gravity. The extensions to higher odd and even dimensions, as well as the extensions to accommodate more general internal symmetries are also outlined.


title: Couplings for Multinomial Hamiltonian Monte Carlo

abstract: Hamiltonian Monte Carlo (HMC) is a popular sampling method in Bayesian inference. Recently, Heng & Jacob (2019) studied Metropolis HMC with couplings for unbiased Monte Carlo estimation, establishing a generic parallelizable scheme for HMC. However, in practice a different HMC method, multinomial HMC, is considered as the go-to method, e.g. as part of the no-U-turn sampler. In multinomial HMC, proposed states are not limited to end-points as in Metropolis HMC; instead points along the entire trajectory can be proposed. In this paper, we establish couplings for multinomial HMC, based on optimal transport for multinomial sampling in its transition. We prove an upper bound for the meeting time - the time it takes for the coupled chains to meet - based on the notion of local contractivity. We evaluate our methods using three targets: 1,000 dimensional Gaussians, logistic regression and log-Gaussian Cox point processes. Compared to Heng & Jacob (2019), coupled multinomial HMC generally attains a smaller meeting time, and is more robust to choices of step sizes and trajectory lengths, which allows re-use of existing adaptation methods for HMC. These improvements together paves the way for a wider and more practical use of coupled HMC methods.


title: ON-OFF Privacy Against Correlation Over Time

abstract: We consider the problem of ON-OFF privacy in which a user is interested in the latest message generated by one of n sources available at a server. The user has the choice to turn privacy ON or OFF depending on whether he wants to hide his interest at the time or not. The challenge of allowing the privacy to be toggled between ON and OFF is that the user's online behavior is correlated over time. Therefore, the user cannot simply ignore the privacy requirement when privacy is OFF. We represent the user's correlated requests by an n-state Markov chain. Our goal is to design ON-OFF privacy schemes with optimal download rate that ensure privacy for past and future requests. We devise a polynomial-time algorithm to construct an ON-OFF privacy scheme. Moreover, we present an upper bound on the achievable rate. We show that the proposed scheme is optimal and the upper bound is tight for some special families of Markov chains. We also give an implicit characterization of the optimal achievable rate as a linear programming (LP).


title: Large evanescently-induced Brillouin scattering at the surrounding of a nanofibre

abstract: Brillouin scattering has been widely exploited for advanced photonics functionalities such as microwave photonics, signal processing, sensing, lasing, and more recently in micro- and nano-photonic waveguides. So far, all the works have focused on the opto-acoustic interaction driven from the core region of micro- and nano-waveguides. Here we observe, for the first time, an efficient Brillouin scattering generated by an evanescent field nearby a sub-wavelength waveguide embedded in a pressurised gas cell, with a maximum gain coefficient of $18.90 \pm 0.17$ m$^{-1}$W$^{-1}$. This gain is 11 times larger than the highest Brillouin gain obtained in a hollow-core fibre and 79 times larger than in a standard single-mode fibre. The realisation of strong free-space Brillouin scattering from a waveguide benefits from the flexibility of confined light while providing a direct access to the opto-acoustic interaction, as required in free-space optoacoustics such as Brillouin spectroscopy and microscopy. Therefore, our work creates an important bridge between Brillouin scattering in waveguides, Brillouin spectroscopy and microscopy, and opens new avenues in light-sound interactions, optomechanics, sensing, lasing and imaging.


title: The nonlinear Quadratic Interactions of the Schr\"odinger type on the half-line

abstract: In this work we study the initial boundary value problem associated with the coupled Schr\"odinger equations {with quadratic nonlinearities, that appears in nonlinear optics}, on the half-line. We obtain local well-posedness for data {in Sobolev spaces} with low regularity, by using a forcing problem on the full line with a presence of a forcing term in order to apply the Fourier restriction method of Bourgain. The crucial point in this work is the new bilinear estimates on the classical Bourgain spaces $X^{s,b}$ with $b<\frac12$, jointly with bilinear estimates in adapted Bourgain spaces that will used to treat the traces of nonlinear part of the solution. Here the understanding of the dispersion relation is the key point in these estimates, where the set of regularity depends strongly of the constant $a$ measures the scaling-diffraction magnitude indices.


title: Unraveling current-induced dissociation mechanisms in single-molecule junctions

abstract: Understanding current-induced bond rupture in single-molecule junctions is both of fundamental interest and a prerequisite for the design of molecular junctions, which are stable at higher bias voltages. In this work, we use a fully quantum mechanical method based on the hierarchical quantum master equation approach to analyze the dissociation mechanisms in molecular junctions. Considering a wide range of transport regimes, from off-resonant to resonant, non-adiabatic to adiabatic transport, and weak to strong vibronic coupling, our systematic study identifies three dissociation mechanisms. In the weak and intermediate vibronic coupling regime, the dominant dissociation mechanism is stepwise vibrational ladder climbing. For strong vibronic coupling, dissociation is induced via multi-quantum vibrational excitations triggered either by a single electronic transition at high bias voltages or by multiple electronic transitions at low biases. Furthermore, the influence of vibrational relaxation on the dissociation dynamics is analyzed and strategies for improving the stability of molecular junctions are discussed.


title: Hearing gravity from the cosmos: GWTC-2 probes general relativity at cosmological scales

abstract: Gravitational-wave (GW) catalogs are rapidly increasing in number, allowing for robust statistical analyses of the population of compact binaries. Nonetheless, GW inference of cosmology has typically relied on additional electromagnetic counterparts or galaxy catalogs. I present a new probe of cosmological modifications of general relativity with GW data only. I focus on deviations of the GW luminosity distance constrained with the astrophysical population of binary black holes (BBHs). The three key observables are 1) the number of events as a function of luminosity distance, 2) the stochastic GW background of unresolved binaries and 3) the location of any feature in the source mass distribution, such as the pair instability supernova (PISN) gap. Despite a priori degeneracies between modified gravity and the unknown evolution of the merger rate and source masses, a large damping of the GW amplitude could be falsifiable since as redshift grows it reduces the events and lowers the edges of the PISN gap, which is against standard astrophysical expectations. Applying a hierarchical Bayesian analysis to the current LIGO--Virgo catalog (GWTC-2), the strongest constraints to date are placed on deviations from the GW luminosity distance, finding $c_{_M}=-3.2^{+3.4}_{-2.0}$ at $68\%$ C.L., which is $\sim10$ times better than multi-messenger GW170817 bounds. These modifications also affects the determination of the BBH masses, which is crucial to accommodate the high-mass binary GW190521 away from the PISN gap. In this analysis it is found that the maximum mass of $99\%$ of the population shifts to lower masses with increased uncertainty, $m_{99\%}=46.2^{+11.4}_{-9.1}M_\odot$ at $68\%$ C.L. Testing gravity at large scales with the population of BBHs will become increasingly relevant with future catalogs, providing an independent and self-contained test of the standard cosmological model.


title: On Generalizations of Graded $r$-ideals

abstract: In this article, we introduce a generalization of the concept of graded $r$-ideals in graded commutative rings with nonzero unity. Let $G$ be a group, $R$ be a $G$-graded commutative ring with nonzero unity and $GI(R)$ be the set of all graded ideals of $R$. Suppose that $\phi: GI(R)\rightarrow GI(R)\bigcup\{\emptyset\}$ is a function. A proper graded ideal $P$ of $R$ is called a graded $\phi$-$r$-ideal of $R$ if whenever $x, y$ are homogeneous elements of $R$ such that $xy\in P-\phi(P)$ and $Ann(x) =\{0\}$, then $y\in P$. Several properties of graded $\phi$-$r$-ideals have been examined.


title: Groups with self-simulable zero-dimensional dynamics

abstract: We say that a finitely generated group $\Gamma$ is (dynamically) self-simulable if every effectively closed action of $\Gamma$ on a closed subset of $\{\mathtt{0},\mathtt{1}\}^{\mathbb{N}}$ is the topological factor of a $\Gamma$-subshift of finite type. We show that self-simulable groups exist, that any direct product of non-amenable finitely generated groups is self-simulable, that under technical conditions self-simulability is inherited from subgroups, and that the subclass of self-simulable groups is stable under commensurability and quasi-isometries of finitely presented groups. Some notable examples of self-simulable groups obtained are the direct product $F_k \times F_k$ of two free groups of rank $k \geq 2$, non-amenable finitely generated branch groups, the simple groups of Burger and Mozes, Thompson's $V$, the groups $\operatorname{GL}_n(\mathbb{Z})$, $\operatorname{SL}_n(\mathbb{Z})$, $\operatorname{Aut}(F_n)$ and $\operatorname{Out}(F_n)$ for $n \geq 5$; The Braid groups $B_m$ for $m \geq 7$, and certain classes of RAAGs. We also show that Thompson's $F$ is self-simulable if and only if $F$ is non-amenable, thus giving a computability characterization of this well-known open problem. We also exhibit a few applications of self-simulability on the dynamics of these groups, notably, that every self-simulable group with decidable word problem admits a nonempty strongly aperiodic subshift of finite type.


title: Discovery of the most X-ray luminous quasar SRGE J170245.3+130104 at redshift z$\approx5.5$

abstract: SRGE J170245.3+130104 was discovered by the eROSITA telescope aboard the SRG space observatory on March 13-15, 2020 during the first half-year scan of its all-sky X-ray survey. The optical counterpart of the X-ray source was photometrically identified as a distant quasar candidate at $z\approx5.5$. Follow-up spectroscopic observations, done in August/September 2020 with the SCORPIO-II instrument at the BTA 6-m telescope, confirmed that SRGE J170245.3+130104 is a distant quasar at redshift z=5.466. The X-ray luminosity of the quasar during the first half-year scan of the eROSITA all-sky survey was $3.6^{+2.1}_{-1.5}\times 10^{46}$ erg/s (in the 2-10 keV energy range), whereas its X-ray spectrum could be described by a power law with a slope of $\Gamma=1.8^{+0.9}_{-0.8}$. Six months later (September 13-14, 2020), during the second half-year scan of the eROSITA all-sky survey, the quasar was detected again and its X-ray luminosity had decreased by a factor of 2 (at the $\approx 1.9\sigma$ confidence level). The SRGE J170245.3+130104 proves to be the most X-ray luminous among all known X-ray quasars at $z>5$. It is also one of the radio-loudest distant quasars (with radio-loudness $R\sim10^3$), which may imply that it is a blazar. In the Appendix, we present the list of all $z>5$ quasars detected in X-rays to date.


title: A Question About Total Positivity and Newman's Fourier Transforms with Real Zeroes

abstract: Given a unitarily invariant ergodic measure on $\infty\times \infty$ Hermitian matrices, it is known that the characteristic function determines (and is determined by) a Polya frequency function $p(t)$. In turn the (finite) measure $d\rho(u):=\frac{1}{p(-iu^2)}du$ has the property that the Fourier transform $Z_b$ of $exp(-bu^2)d\rho(u)$ is an entire function and has real zeroes, for all $b\ge 0$; this is very close (but not identical) to a classification of such measures due to Newman. This raises the question of whether there is a direct connection between (e.g. the spectrum of) random Hermitian matrices and the reality of the zeroes of $Z_b$.


title: Geometric phase methods with Stokes theorem for a general viscous swimmer

abstract: The geometric phase techniques for swimming in viscous flows express the net displacement of a swimmer as a path integral of a field in configuration space. This representation can be transformed into an area integral for simple swimmers using Stokes theorem. Since this transformation applies for any loop, the integrand of this area integral can be used to help design these swimmers. However, the extension of this Stokes theorem technique to more complicated swimmers is hampered by problems with variables that do not commute and by how to visualise and understand the higher dimensional spaces. In this paper, we develop a treatment for each of these problems, thereby allowing the displacement of general swimmers in any environment to be designed and understood similarly to simple swimmers. The net displacement arising from non-commuting variables is tackled by embedding the integral into a higher dimensional space, which can then be visualised through a suitability constructed surface. These methods are developed for general swimmers and demonstrated on {three} benchmark examples: Purcell's two-hinged swimmer, an axisymmetric squirmer in free space {and an axisymmetric squirmer approaching a free interface}. We show in particular that for swimmers with more than two modes of deformation, there exists an infinite set of strokes that generate each net displacement. Hence, in the absence of additional restrictions, general microscopic swimmers do not have a single stroke that maximises their displacement.


title: Event-based Timestamp Image Encoding Network for Human Action Recognition and Anticipation

abstract: Event camera is an asynchronous, high frequency vision sensor with low power consumption, which is suitable for human action understanding task. It is vital to encode the spatial-temporal information of event data properly and use standard computer vision tool to learn from the data. In this work, we propose a timestamp image encoding 2D network, which takes the encoded spatial-temporal images with polarity information of the event data as input and output the action label. In addition, we propose a future timestamp image generator to generate futureaction information to aid the model to anticipate the human action when the action is not completed. Experiment results show that our method can achieve the same level of performance as those RGB-based benchmarks on real world action recognition,and also achieve the state of the art (SOTA) result on gesture recognition. Our future timestamp image generating model can effectively improve the prediction accuracy when the action is not completed. We also provide insight discussion on the importance of motion and appearance information in action recognition and anticipation.


title: Assessing Reference-Free Peer Evaluation for Machine Translation

abstract: Reference-free evaluation has the potential to make machine translation evaluation substantially more scalable, allowing us to pivot easily to new languages or domains. It has been recently shown that the probabilities given by a large, multilingual model can achieve state of the art results when used as a reference-free metric. We experiment with various modifications to this model and demonstrate that by scaling it up we can match the performance of BLEU. We analyze various potential weaknesses of the approach and find that it is surprisingly robust and likely to offer reasonable performance across a broad spectrum of domains and different system qualities.


title: Self-duality protected multi-criticality in deconfined quantum phase transitions

abstract: Duality places an important constraint on the renormalization group flows and the phase diagrams. For self-dual theories, the self-duality can be promoted as a symmetry, this leads to the multi-criticalities. This work investigates a description of the deconfined quantum criticality, the $N_f=2$ QED$_3$, as an example of self-dual theories and its multi-critical behavior under perturbative deformations. The multi-criticality is described by the theory with Gross-Neveu couplings and falls in a different universality class than the standard deconfined quantum criticality. We systematically calculate the scaling dimensions of various operators in the 3d quantum electrodynamics with the Chern-Simons term and Gross-Neveu couplings by the large-$N$ renormalization group analysis. Specifically, we find certain non-relativistic four-fermion interactions corresponding to the dimer-dimer interactions in the lattice model will drive the deconfined quantum criticality to the first-order transition, consistent with previous numerical studies.


title: Low index capillary minimal surfaces in Riemannian $3$-manifolds

abstract: We prove a local rigidity result for infinitesimally rigid capillary surfaces in some Riemannian $3$-manifolds with mean convex boundary. We also derive bounds on the genus, number of boundary components and area of any compact two-sided capillary minimal surface with low index under certain assumptions on the curvature of the ambient manifold and of its boundary.


title: Successive finite element methods for Stokes equations

abstract: This paper will suggest a new finite element method to find a $P^4$-velocity and a $P^3$-pressure solving Stokes equations. The method solves first the decoupled equation for the $P^4$-velocity. Then, four kinds of local $P^3$-pressures and one $P^0$-pressure will be calculated in a successive way. If we superpose them, the resulting $P^3$-pressure shows the optimal order of convergence same as a $P^3$-projection. The chief time cost of the new method is on solving two linear systems for the $P^4$-velocity and $P^0$-pressure, respectively.


title: Probabilistic HIV Recency Classification -- A Logistic Regression without Labeled Individual Level Training Data

abstract: Accurate HIV incidence estimation based on individual recent infection status (recent vs long-term infection) is important for monitoring the epidemic, targeting interventions to those at greatest risk of new infection, and evaluating existing programs of prevention and treatment. Starting from 2015, the Population-based HIV Impact Assessment (PHIA) individual-level surveys are implemented in the most-affected countries in sub-Saharan Africa. PHIA is a nationally-representative HIV-focused survey that combines household visits with key questions and cutting-edge technologies such as biomarker tests for HIV antibody and HIV viral load which offer the unique opportunity of distinguishing between recent infection and long-term infection, and providing relevant HIV information by age, gender, and location. In this article, we propose a semi-supervised logistic regression model for estimating individual level HIV recency status. It incorporates information from multiple data sources -- the PHIA survey where the true HIV recency status is unknown, and the cohort studies provided in the literature where the relationship between HIV recency status and the covariates are presented in the form of a contingency table. It also utilizes the national level HIV incidence estimates from the epidemiology model. Applying the proposed model to Malawi PHIA data, we demonstrate that our approach is more accurate for the individual level estimation and more appropriate for estimating HIV recency rates at aggregated levels than the current practice -- the binary classification tree (BCT).


title: Two families of indexable partially observable restless bandits and Whittle index computation

abstract: We consider the restless bandits with general state space under partial observability with two observational models: first, the state of each bandit is not observable at all, and second, the state of each bandit is observable only if it is chosen. We assume both models satisfy the restart property under which we prove indexability of the models and propose the Whittle index policy as the solution. For the first model, we derive a closed-form expression for the Whittle index. For the second model, we propose an efficient algorithm to compute the Whittle index by exploiting the qualitative properties of the optimal policy. We present detailed numerical experiments for multiple instances of machine maintenance problem. The result indicates that the Whittle index policy outperforms myopic policy and can be close to optimal in different setups.