title: Hole spin qubits in thin curved quantum wells

abstract: Hole spin qubits are frontrunner platforms for scalable quantum computers because of their large spin-orbit interaction which enables ultrafast all-electric qubit control at low power. The fastest spin qubits to date are defined in long quantum dots with two tight confinement directions, when the driving field is aligned to the smooth direction. However, in these systems the lifetime of the qubit is strongly limited by charge noise, a major issue in hole qubits. We propose here a different, scalable qubit design, compatible with planar CMOS technology, where the hole is confined in a curved germanium quantum well surrounded by silicon. This design takes full advantage of the strong spin-orbit interaction of holes, and at the same time suppresses charge noise in a wide range of configurations, enabling highly coherent, ultrafast qubit gates. While here we focus on a Si/Ge/Si curved quantum well, our design is also applicable to different semiconductors. Strikingly, these devices allow for ultrafast operations even in short quantum dots by a transversal electric field. This additional driving mechanism relaxes the demanding design constraints, and opens up a new way to reliably interface spin qubits in a single quantum dot to microwave photons. By considering state-of-the-art high-impedance resonators and realistic qubit designs, we estimate interaction strengths of a few hundreds of MHz, largely exceeding the decay rate of spins and photons. Reaching such a strong coupling regime in hole spin qubits will be a significant step towards high-fidelity entangling operations between distant qubits, as well as fast single-shot readout, and will pave the way towards the implementation of a large-scale semiconducting quantum processor.


title: Index Modulation Pattern Design for Non-Orthogonal Multicarrier Signal Waveforms

abstract: Spectral efficiency improvement is a key focus in most wireless communication systems and achieved by various means such as using large antenna arrays and/or advanced modulation schemes and signal formats. This work proposes to further improve spectral efficiency through combining non-orthogonal spectrally efficient frequency division multiplexing (SEFDM) systems with index modulation (IM), which can efficiently make use of the indices of activated subcarriers as communication information. Recent research has verified that IM may be used with SEFDM to alleviate inter-carrier interference (ICI) and improve error performance. This work proposes new SEFDM signal formats based on novel activation pattern designs, which limit the locations of activated subcarriers and enable a variable number of activated subcarriers in each SEFDM subblock. SEFDM-IM system designs are developed by jointly considering activation patterns, modulation schemes and signal waveform formats, with a set of solutions evaluated under different spectral efficiency scenarios. Detailed modelling of coded systems and simulation studies reveal that the proposed designs not only lead to better bit error rate (BER) but also lower peak-to-average power ratio (PAPR) and reduced computational complexity relative to other reported index-modulated systems.


title: Hamiltonian Particle-in-Cell methods for Vlasov-Poisson equations

abstract: In this paper, Particle-in-Cell algorithms for the Vlasov-Poisson system are presented based on its Poisson bracket structure. The Poisson equation is solved by finite element methods, in which the appropriate finite element spaces are taken to guarantee that the semi-discretized system possesses a well defined discrete Poisson bracket structure. Then, splitting methods are applied to the semi-discretized system by decomposing the Hamiltonian function. The resulting discretizations are proved to be Poisson bracket preserving. Moreover, the conservative quantities of the system are also well preserved. In numerical experiments, we use the presented numerical methods to simulate various physical phenomena. Due to the huge computational effort of the practical computations, we employ the strategy of parallel computing. The numerical results verify the efficiency of the new derived numerical discretizations.


title: Correlations of multiplicative functions with automorphic L-functions

abstract: Let $\lambda_{\phi}(n)$ be the Fourier coefficients of a Hecke holomorphic or Hecke--Maass cusp form on ${\rm SL}_2(\mathbb Z)$, and $f$ be any multiplicative function that satisfies two mild hypotheses. We establish a non-trivial upper bound for the correlation $\sum_{n \leq X}f(n)\lambda_{\phi}(n+h)$ uniformly in $0<|h|\ll X$. As applications, we consider some special cases, including $\lambda_{\pi}(n), \,\mu(n)\lambda_{\pi}(n)$ and any divisor-bounded multiplicative function. Here $\lambda_{\pi}(n)$ denotes the $n$-th Dirichlet coefficient of $\text{GL}_m$ automorphic $L$-function $L(s,\pi)$ for an automorphic irreducible cuspidal representation $\pi$, and $\mu(n)$ denotes the M\"obius function. In particular, some savings are achieved for shifted convolution problems on ${\rm GL}_m\times {\rm GL}_2\, (m\geq 4)$ and Hypothesis C for the first time.


title: A gate-programmable van der Waals metal-ferroelectric-semiconductor memory

abstract: Ferroelecticity, one of the keys to realize nonvolatile memories owing to the remanent electric polarization, has been an emerging phenomenon in the two-dimensional (2D) limit. Yet the demonstrations of van der Waals (vdW) memories using 2D ferroelectric materials as an ingredient are very limited. Especially, gate-tunable ferroelectric vdW memristive device, which holds promises in future neuromorphic applications, remains challenging. Here, we show a prototype gate-programmable memory by vertically assembling graphite, CuInP2S6, and MoS2 layers into a metal-ferroelectric-semiconductor architecture. The resulted devices exhibit two-terminal switchable electro-resistance with on-off ratios exceeding 105 and long-term retention, akin to a conventional memristor but strongly coupled to the ferroelectric characteristics of the CuInP2S6 layer. By controlling the top gate, Fermi level of MoS2 can be set inside (outside) of its band gap to quench (enable) the memristive behaviour, yielding a three-terminal gate programmable nonvolatile vdW memory. Our findings pave the way for the engineering of ferroelectric-mediated memories in future implementations of nanoelectronics.


title: Static and spherically symmetric general relativity solutions in Minimal Theory of Bigravity

abstract: We investigate static and spherically symmetric solutions in the Minimal Theory of Bigravity (MTBG). First, we show that a pair of Schwarzschild-de Sitter spacetimes with different cosmological constants and black hole masses written in the spatially-flat Gullstrand-Painlev\'e (GP) coordinates is a solution in the self-accelerating branch of MTBG, while it cannot be a solution in the normal branch. We then illustrate how Schwarzschild-de Sitter solutions can become compatible with the normal branch when using different coordinates. We also confirm that the self-accelerating branch of MTBG admits static and spherically symmetric general relativity solutions with matter written in the spatially-flat coordinates, including neutron stars with arbitrary matter equations of state. Finally, we show that in the self-accelerating branch nontrivial solutions are given by the Schwarzschild-de Sitter metrics written in nonstandard coordinates.


title: Zeros of the Selberg zeta function for symmetric infinite area hyperbolic surfaces

abstract: In the present paper we give a simple mathematical foundation for describing the zeros of the Selberg zeta functions $Z_X$ for certain very symmetric infinite area surfaces $X$. For definiteness, we consider the case of three funneled surfaces. We show that the zeta function is a complex almost periodic function which can be approximated by complex trigonometric polynomials on large domains (in Theorem 4.2). As our main application, we provide an explanation of the striking empirical results of Borthwick (arXiv:1305.4850) (in Theorem 1.5) in terms of convergence of the affinely scaled zero sets to standard curves $\mathcal C$.


title: Entanglement properties of superconducting qubits coupled to a semi-infinite transmission line

abstract: Quantum entanglement, a key resource in quantum information processing, is reduced by interaction between the quantum system concerned and its unavoidable noisy environment. Therefore it is of particular importance to study the dynamical properties of entanglement in open quantum systems. In this work, we mainly focus on two qubits coupled to an adjustable environment, namely a semi-infinite transmission line. The two qubits' relaxations, through individual channels or collective channel or both, can be adjusted by the qubits' transition frequencies. We examine entanglement dynamics in this model system with initial Werner state, and show that the phenomena of entanglement sudden death and revival can be observed. Due to the hardness of preparing the Werner state experimentally, we introduce a new type of entangled state called pseudo-Werner state, which preserves as much entangling property as the Werner state, and more importantly, is experiment friendly. Furthermore, we provide detailed procedures for generating pseudo-Werner state and studying entanglement dynamics with it, which can be straightforwardly implemented in a superconducting waveguide quantum electrodynamics system.


title: Introduction to Charged Lepton Flavour Violation

abstract: Neutrino masses provide evidence of lepton flavour violation, but no violation in the interactions among the charged leptons has been observed yet. Many models of Physics Beyond the Standard Model (BSM) predict Charged Lepton Flavour Violation (CLFV) in a wide spectrum of processes with rates in reach of upcoming experiments. The experimental searches that provide the current best limits on the CLFV searches are reviewed, with a particular emphasis on the muon-based experiments that give the most stringent constraints on BSM parameter space. The next generation of muon-based experiments (MEG-II, Mu2e, COMET, Mu3e) aim to reach improvements by many orders of magnitude w.r.t. the current best limits, thanks to several technological advancements. We review popular heavy BSM theories, and we present the calculations of the predicted CLFV branching ratios, focusing on the more sensitive $\mu\to e$ sector.


title: Additive divisor problem for multiplicative functions

abstract: Let $\tau$ denote the divisor function, and $f$ be any multiplicative function that satisfies some mild hypotheses. We establish the asymptotic formula or non-trivial upper bound for the shifted convolution sum $\sum_{n \leq X}f(n)\tau(n-1)$. We also derive several applications to multiplicative functions in the automorphic context, including the functions $\lambda_{\pi}(n), \,\mu(n)\lambda_{\pi}(n)$ and $\lambda_{\phi}(n)^l$. Here $\lambda_{\pi}(n)$ denotes the $n$-th Dirichlet coefficient of $\text{GL}_m$ automorphic $L$-function $L(s,\pi)$ for an automorphic irreducible cuspidal representation $\pi$, $\lambda_{\phi}(n)$ denotes the $n$-th Fourier coefficient of a holomorphic or Maass cusp form $\phi$ on ${\rm SL}_2(\mathbb Z)$, and $\mu(n)$ denotes the M\"obius function. We present two different arguments. The first one mainly relies on the uniform estimates for the binary additive divisor problem, while the second is based on the recent estimates of Bettin--Chandee for trilinear forms in Kloosterman fractions. In addition, the Bourgain-K\'atai-Sarnak-Ziegler criterion and Linnik's dispersion method are both employed in these two arguments.


title: Interaction of a Relativistic Magnetized Collisionless Shock with a Dense Clump

abstract: The interactions between a relativistic magnetized collisionless shock and dense clumps have been expected to play a crucial role on the magnetic field amplification and cosmic-ray acceleration. We investigate this process by two-dimensional Particle-In-Cell (PIC) simulations for the first time, where the clump size is much larger than the gyroradius of downstream particles. We also perform relativistic magnetohydrodynamic (MHD) simulations for the same condition to see the kinetic effects. We find that particles escape from the shocked clump along magnetic field lines in the PIC simulations, so that the vorticity is lower than that in the MHD simulations. Moreover, in both the PIC and MHD simulations, the shocked clump quickly decelerates because of relativistic effects. Owing to the escape and the deceleration, the shocked clump cannot amplify the downstream magnetic field in relativistic collisionless shocks. This large-scale PIC simulation opens a new window to understand large-scale behaviors in collisionless plasma systems.


title: Lee-Yang theory of the two-dimensional quantum Ising model

abstract: Determining the phase diagram of interacting quantum many-body systems is an important task for a wide range of problems such as the understanding and design of quantum materials. For classical equilibrium systems, the Lee-Yang formalism provides a rigorous foundation of phase transitions, and these ideas have also been extended to the quantum realm. Here, we develop a Lee-Yang theory of quantum phase transitions that can include thermal fluctuations caused by a finite temperature, and it thereby provides a link between the classical Lee-Yang formalism and recent theories of phase transitions at zero temperature. Our methodology exploits analytic properties of the moment generating function of the order parameter in systems of finite size, and it can be implemented in combination with tensor-network calculations. Specifically, the onset of a symmetry-broken phase is signaled by the zeros of the moment generating function approaching the origin in the complex plane of a counting field that couples to the order parameter. Moreover, the zeros can be obtained by measuring or calculating the high cumulants of the order parameter. We determine the phase diagram of the two-dimensional quantum Ising model and thereby demonstrate the potential of our method to predict the critical behavior of two-dimensional quantum systems at finite temperatures.


title: Convergence in relative error for the Porous Medium equation in a tube

abstract: Given a bounded domain $D \subset \mathbb{R}^N$ and $m > 1$, we study the long-time behaviour of solutions to the Porous Medium equation (PME) posed in a tube \[ \partial_tu = \Delta u^m \quad \text{ in } D \times \mathbb{R}, \quad t > 0, \] with homogeneous Dirichlet boundary conditions on the boundary $\partial D \times \mathbb{R}$ and suitable initial datum at $t=0$. In two previous works, V\'azquez and Gilding & Goncerzewicz proved that a wide class of solutions exhibit a traveling wave behaviour, when computed at a logarithmic time-scale and suitably renormalized. In this paper, we show that, for large times, solutions converge in relative error to the Friendly Giant, i.e., the unique nonnegative solution to the PME posed in the section $D$ of the tube (with homogeneous Dirichlet boundary conditions) having a special self-similar form. In addition, sharp rates of convergence and uniform bounds for the location of the free boundary of solutions are given.


title: High-resolution ALMA observations of transition disk candidates in Lupus

abstract: Transition disks with small inner dust cavities are interesting targets for the study of disk clearing mechanisms. Such disks have been identified through a deficit in the infrared part of their SED, but spatially resolved millimeter imaging is required to confirm the presence of an inner dust cavity. We use high-resolution ALMA observations of 30 mas resolution in Band 6 continuum and $^{12}$CO 2--1 emission of 10 transition disk candidates in the Lupus star forming region, in order to confirm the presence of inner dust cavities and infer the responsible mechanism. The continuum data are analyzed using visibility modeling and the SEDs are compared with radiative transfer models. Out of the six transition disk candidates selected from their SED, only one disk revealed an inner dust cavity of 4 au in radius. Three of the other disks are highly inclined, which limits the detectability of an inner dust cavity but it is also demonstrated to be the possible cause for the infrared deficit in their SED. The two remaining SED-selected disks are very compact, with dust radii of only $\sim$3 au. From the four candidates selected from low-resolution images, three new transition disks with large inner cavities $>$20 au are identified, bringing the total number of transition disks with large cavities in Lupus to 13. SED-selected transition disks with small cavities are biased towards highly inclined and compact disks, which casts doubt on the use of their occurrence rates in estimating dispersal timescales of photoevaporation. Using newly derived disk dust masses and radii, we re-evaluate the size-luminosity and $M_{\rm dust}-M_{\rm star}$ relations. These relations can be understood if the bright disks are dominated by disks with substructure whereas faint disks are dominated by drift-dominated disks. (Abridged)


title: Empirical Evaluation and Theoretical Analysis for Representation Learning: A Survey

abstract: Representation learning enables us to automatically extract generic feature representations from a dataset to solve another machine learning task. Recently, extracted feature representations by a representation learning algorithm and a simple predictor have exhibited state-of-the-art performance on several machine learning tasks. Despite its remarkable progress, there exist various ways to evaluate representation learning algorithms depending on the application because of the flexibility of representation learning. To understand the current representation learning, we review evaluation methods of representation learning algorithms and theoretical analyses. On the basis of our evaluation survey, we also discuss the future direction of representation learning. Note that this survey is the extended version of Nozawa and Sato (2022).


title: The Devil is in the Frequency: Geminated Gestalt Autoencoder for Self-Supervised Visual Pre-Training

abstract: The self-supervised Masked Image Modeling (MIM) schema, following "mask-and-reconstruct" pipeline of recovering contents from masked image, has recently captured the increasing interest in the multimedia community, owing to the excellent ability of learning visual representation from unlabeled data. Aiming at learning representations with high semantics abstracted, a group of works attempts to reconstruct non-semantic pixels with large-ratio masking strategy, which may suffer from "over-smoothing" problem, while others directly infuse semantics into targets in off-line way requiring extra data. Different from them, we shift the perspective to the Fourier domain which naturally has global perspective and present a new Masked Image Modeling (MIM), termed Geminated Gestalt Autoencoder (Ge$^2$-AE) for visual pre-training. Specifically, we equip our model with geminated decoders in charge of reconstructing image contents from both pixel and frequency space, where each other serves as not only the complementation but also the reciprocal constraints. Through this way, more robust representations can be learned in the pre-trained encoders, of which the effectiveness is confirmed by the juxtaposing experimental results on downstream recognition tasks. We also conduct several quantitative and qualitative experiments to investigate the learning behavior of our method. To our best knowledge, this is the first MIM work to solve the visual pre-training through the lens of frequency domain.


title: Human and automated approaches for finite trigonometric sums

abstract: We show that identities involving trigonometric sums recently proved by Harshitha, Vasuki and Yathirajsharma, using Ramanujan's theory of theta functions, were either already in the literature or can be proved easily by adapting results that can be found in the literature. Also we prove two conjectures given in that paper. After mentioning many other works dealing with identities for various trigonometric sums, we end this paper by describing an automated approach for proving such trigonometric identities.


title: Preference Enhanced Social Influence Modeling for Network-Aware Cascade Prediction

abstract: Network-aware cascade size prediction aims to predict the final reposted number of user-generated information via modeling the propagation process in social networks. Estimating the user's reposting probability by social influence, namely state activation plays an important role in the information diffusion process. Therefore, Graph Neural Networks (GNN), which can simulate the information interaction between nodes, has been proved as an effective scheme to handle this prediction task. However, existing studies including GNN-based models usually neglect a vital factor of user's preference which influences the state activation deeply. To that end, we propose a novel framework to promote cascade size prediction by enhancing the user preference modeling according to three stages, i.e., preference topics generation, preference shift modeling, and social influence activation. Our end-to-end method makes the user activating process of information diffusion more adaptive and accurate. Extensive experiments on two large-scale real-world datasets have clearly demonstrated the effectiveness of our proposed model compared to state-of-the-art baselines.


title: An $n$-adic generalization of the Lodha-Moore group

abstract: We generalized the Lodha-Moore group into $n$-adic and showed analogues in the Lodha-Moore group of properties between the Thompson group $F$ and the generalized Thompson group $F(n)$.


title: Long-time behaviour and stability for quasilinear doubly degenerate parabolic equations of higher order

abstract: We study the long-time behaviour of solutions to quasilinear doubly degenerate parabolic problems of fourth order. The equations model for instance the dynamic behaviour of a non-Newtonian thin-film flow on a flat impermeable bottom and with zero contact angle. We consider a shear-rate dependent fluid the rheology of which is described by a constitutive power-law or Ellis-law for the fluid viscosity. In all three cases, positive constants (i.e. positive flat films) are the only positive steady-state solutions. Moreover, we can give a detailed picture of the long-time behaviour of solutions with respect to the $H^1(\Omega)$-norm. In the case of shear-thickening power-law fluids, one observes that solutions which are initially close to a steady state, converge to equilibrium in finite time. In the shear-thinning power-law case, we find that steady states are polynomially stable in the sense that, as time tends to infinity, solutions which are initially close to a steady state, converge to equilibrium at rate $1/t^{1/\beta}$ for some $\beta > 0$. Finally, in the case of an Ellis-fluid, steady states are exponentially stable in $H^1(\Omega)$.


title: Symmetric wormholes in Einstein-vector-Gauss-Bonnet theory

abstract: We construct wormholes in Einstein-vector-Gauss-Bonnet theory where a real massless vector field is coupled to the higher curvature Gauss-Bonnet invariant. We consider three coupling functions which depend on the square of the vector field. The respective domains of existence of wormholes possess as their boundaries i) black holes, ii) solutions with a singular throat, iii) solutions with a degenerate throat and iv) solutions with cusp singularities. Depending on the coupling function wormhole solutions can feature a single throat or an equator surrounded by a double throat. The wormhole solutions need a thin shell of matter at the throat, in order to be symmetrically continued into the second asymptotically flat region. These wormhole spacetimes allow for bound and unbound particle motion as well as light rings.


title: Torsors on the complement of a smooth divisor

abstract: We complete the proof of the Nisnevich conjecture in equal characteristic: for a smooth algebraic variety $X$ over a field $k$, a $k$-smooth divisor $D \subset X$, and a reductive $X$-group $G$ whose base change $G_D$ is totally isotropic, we show that each generically trivial $G$-torsor on $X\setminus D$ trivializes Zariski semilocally on $X$. In mixed characteristic, we show the same when $k$ is a replaced by a discrete valuation ring $\mathcal{O}$, the divisor $D$ is the closed $\mathcal{O}$-fiber of $X$, and either $G$ is quasi-split or $G$ is only defined over $X \setminus D$ but descends to a quasi-split group over $\mathrm{Frac}(\mathcal{O})$ (a Kisin-Pappas type variant). Our arguments combine Gabber-Quillen style presentation lemmas with excision and reembedding d\'{e}vissages to reduce to analyzing generically trivial torsors over a relative affine line. We base this analysis on the geometry of the affine Grassmannian, and we we give a new proof for the Bass-Quillen conjecture for reductive group torsors over $\mathbb{A}^d_R$ in equal characteristic. As for the affine Grassmannian itself, we show that for totally isotropic $G$ it is the presheaf quotient $LG/L^+G$.


title: A Clifford inequality for semistable curves

abstract: Let $X$ be a semistable curve and $L$ a line bundle whose multidegree is uniform, i.e., in the range between those of the structure sheaf and the dualizing sheaf of $X$. We establish an upper bound for $h^0(X,L)$, which generalizes the classic Clifford inequality for smooth curves. The bound depends on the total degree of $L$ and connectivity properties of the dual graph of $X$. It is sharp, in the sense that on any semistable curve there exist line bundles with uniform multidegree that achieve the bound.


title: Table Enrichment System for Machine Learning

abstract: Data scientists are constantly facing the problem of how to improve prediction accuracy with insufficient tabular data. We propose a table enrichment system that enriches a query table by adding external attributes (columns) from data lakes and improves the accuracy of machine learning predictive models. Our system has four stages, join row search, task-related table selection, row and column alignment, and feature selection and evaluation, to efficiently create an enriched table for a given query table and a specified machine learning task. We demonstrate our system with a web UI to show the use cases of table enrichment.


title: Two-Body Strong Decay of the 2P and 3P Charmonium states

abstract: Two-body open charm strong decays of the $2P$ and $3P$ charmonium states are studied by the Bethe-Salpeter(BS) method combined with the $^3P_0$ model. The wave functions and mass spectra of the $2P$ and $3P$ charmonium states are obtained by solving the BS equation with the relativistic correction. The strong decay widths and relative ratios of the $2P$ and $3P$ charmonium states are calculated. Comparing our results with the experimental data, we obtain some interesting results. Considering the $X^*(3860)$ as the $\chi_{c0}(2P)$, the total strong decay width is smaller than the experimental data. But the strong decay width depends on the parameter $\gamma$ in the $^3P_0$ model, and the mass and width of the $X^*(3860)$ have large errors, we cannot rule out the possibility that the $X^*(3860)$ is the $\chi_{c0}(2P)$. The $X(4160)$ is a good candidate for the $\chi_{c0}(3P)$, not only the strong decay width of the $\chi_{c0}(3P)$ is same as the experimental data, but the relative ratios $\frac{\Gamma(\chi_{c0}(3P)\to D\bar D)}{\Gamma(\chi_{c0}(3P)\to D^*\bar D^*)}\approx0.0019<0.09$, and $\frac{\Gamma({\chi_{c0}(3P)\to D\bar D^*})}{\Gamma({\chi_{c0}(3P)\to D^*\bar D^*})}=0<0.22$ are consistent with the experimental results of the $X(4160)$. Taking the $X(4274)$ as the $\chi_{c1}(3P)$, the strong decay width is consistent with the experimental data, so the $X(4274)$ is a good candidate for the $\chi_{c1}(3P)$. Assigning the $X(4350)$ as the $\chi_{c2}(3P)$, the corresponding strong decay width is slightly larger than the experimental data. To identify if the $X(4350)$ is $\chi_{c2}(3P)$, many more investigations are needed. All of the strong decay widths and relative ratios of the $2P$ and $3P$ charmonium states can provide the useful information to discover and confirm these particles in the future.


title: Modx: Binary Level Partial Imported Third-Party Library Detection through Program Modularization and Semantic Matching

abstract: With the rapid growth of software, using third-party libraries (TPLs) has become increasingly popular. The prosperity of the library usage has provided the software engineers with handful of methods to facilitate and boost the program development. Unfortunately, it also poses great challenges as it becomes much more difficult to manage the large volume of libraries. Researches and studies have been proposed to detect and understand the TPLs in the software. However, most existing approaches rely on syntactic features, which are not robust when these features are changed or deliberately hidden by the adversarial parties. Moreover, these approaches typically model each of the imported libraries as a whole, therefore, cannot be applied to scenarios where the host software only partially uses the library code segments. To detect both fully and partially imported TPLs at the semantic level, we propose ModX, a framework that leverages novel program modularization techniques to decompose the program into finegrained functionality-based modules. By extracting both syntactic and semantic features, it measures the distance between modules to detect similar library module reuse in the program. Experimental results show that ModX outperforms other modularization tools by distinguishing more coherent program modules with 353% higher module quality scores and beats other TPL detection tools with on average 17% better in precision and 8% better in recall.


title: Coherent Resonant Coupling between Atoms and a Mechanical Oscillator Mediated by Cavity-Vacuum Fluctuations

abstract: We show that an atom can be coupled to a mechanical oscillator via quantum vacuum fluctuations of a cavity field enabling energy transfer processes between them. In a hybrid quantum system consisting of a cavity resonator with a movable mirror and an atom, these processes are dominated by two pair-creation mechanisms: the counterrotating (atom-cavity system) and dynamical Casimir interaction terms (optomechanical system). Because of these two pair-creation mechanisms, the resonant atom-mirror coupling is the result of high-order virtual processes with different transition paths well described in our theoretical framework. We perform a unitary transformation to the atom-mirror system Hamiltonian, exhibiting two kinds of multiple-order transitions of the pair creation. By tuning the frequency of the atom, we show that photon frequency conversion can be realized within a cavity of multiple modes. Furthermore, when involving two atoms coupled to the same mechanical mode, a single vibrating excitation of the mechanical oscillator can be simultaneously absorbed by the two atoms. Considering recent advances in strong and ultrastrong coupling for cavity optomechanics and other systems, we believe our proposals can be implemented using available technology.


title: Sampling theorems associated with offset linear canonical transform by polar coordinates

abstract: The sampling theorem for the offset linear canonical transform (OLCT) of bandlimited functions in polar coordinates is an important signal analysis tool in many fields of signal processing and medical imaging. This study investigates two sampling theorems for interpolating bandlimited and highest frequency bandlimited functions in the OLCT and offset linear canonical Hankel transform (OLCHT) domains by polar coordinates. Based on the classical Stark's interpolation formulas, we derive the sampling theorems for bandlimited functions in the OLCT and OLCHT domains, respectively. The first interpolation formula is concise and applicable. Due to the consistency of the OLCHT order, the second interpolation formula is superior to the first interpolation formula in computational complexity.


title: Linear Battery Models for Power Systems Analysis

abstract: Mathematical models are just models. The desire to describe battery energy storage system (BESS) operation using computationally tractable model formulations has motivated a long-standing discussion in both the scientific and industrial communities. Linear BESS models are the most widely used so far. However, finding suitable linear BESS models has been controversial. This paper focuses on the description of linear BESS models. Four linear BESS formulations are presented, among the most popularly used. A new formulation is also proposed. The 5 BESS models are tested in 100 random BESS and 1.450 random samples of daily profiles of renewable generation. Two classical problems of power systems, namely, the set-point tracking problem and the transmission expansion planning problem, are selected for numerical analysis. Five thousand simulations are used to draw a better interpretation of each linear formulation presented and showcase specific challenges of BESS models. Practical recommendations are provided based on the findings.


title: GNN-encoder: Learning a Dual-encoder Architecture via Graph Neural Networks for Dense Passage Retrieval

abstract: Recently, retrieval models based on dense representations are dominant in passage retrieval tasks, due to their outstanding ability in terms of capturing semantics of input text compared to the traditional sparse vector space models. A common practice of dense retrieval models is to exploit a dual-encoder architecture to represent a query and a passage independently. Though efficient, such a structure loses interaction between the query-passage pair, resulting in inferior accuracy. To enhance the performance of dense retrieval models without loss of efficiency, we propose a GNN-encoder model in which query (passage) information is fused into passage (query) representations via graph neural networks that are constructed by queries and their top retrieved passages. By this means, we maintain a dual-encoder structure, and retain some interaction information between query-passage pairs in their representations, which enables us to achieve both efficiency and efficacy in passage retrieval. Evaluation results indicate that our method significantly outperforms the existing models on MSMARCO, Natural Questions and TriviaQA datasets, and achieves the new state-of-the-art on these datasets.


title: Fast optimization of common basis for matrix set through Common Singular Value Decomposition

abstract: SVD (singular value decomposition) is one of the basic tools of machine learning, allowing to optimize basis for a given matrix. However, sometimes we have a set of matrices $\{A_k\}_k$ instead, and would like to optimize a single common basis for them: find orthogonal matrices $U$, $V$, such that $\{U^T A_k V\}$ set of matrices is somehow simpler. For example DCT-II is orthonormal basis of functions commonly used in image/video compression - as discussed here, this kind of basis can be quickly automatically optimized for a given dataset. While also discussed gradient descent optimization might be computationally costly, there is proposed CSVD (common SVD): fast general approach based on SVD. Specifically, we choose $U$ as built of eigenvectors of $\sum_i (w_k)^q (A_k A_k^T)^p$ and $V$ of $\sum_k (w_k)^q (A_k^T A_k)^p$, where $w_k$ are their weights, $p,q>0$ are some chosen powers e.g. 1/2, optionally with normalization e.g. $A \to A - rc^T$ where $r_i=\sum_j A_{ij}, c_j =\sum_i A_{ij}$.


title: Solvability of Superlinear Fractional Parabolic Equations

abstract: We study necessary conditions and sufficient conditions for the existence of local-in-time solutions of the Cauchy problem for superlinear fractional parabolic equations. Our conditions are sharp and clarify the relationship between the solvability of the Cauchy problem and the strength of the singularities of the initial measure.


title: RIS-Assisted Cooperative NOMA with SWIPT

abstract: This paper studies the application of reconfigurable intelligent surface (RIS) to cooperative non-orthogonal multiple access (C-NOMA) networks with simultaneous wireless information and power transfer (SWIPT). We aim for maximizing the rate of the strong user with guaranteed weak user's quality of service (QoS) by jointly optimizing power splitting factors, beamforming coefficients, and RIS reflection coefficients in two transmission phases. The formulated problem is difficult to solve due to its complex and non-convex constraints. To tackle this challenging problem, we first use alternating optimization (AO) framework to transform it into three subproblems, and then use the penalty-based arithmetic-geometric mean approximation (PBAGM) algorithm and the successive convex approximation (SCA)-based method to solve them. Numerical results verify the superiority of the proposed algorithm over the baseline schemes.


title: Noether charge formalism for Weyl transverse gravity

abstract: Weyl transverse gravity is a gravitational theory that is invariant under transverse diffeomorphisms and Weyl transformations. It is characterised by having the same classical solutions as general relativity while solving some of its issues with the cosmological constant. In this work, we first find the Noether currents and charges corresponding to local symmetries of Weyl transverse gravity as well as a prescription for the symplectic form. We then employ these results to derive the first law of black hole mechanics in Weyl transverse gravity (both in vacuum and in the presence of a perfect fluid), identifying the total energy, the total angular momentum, and the Wald entropy of black holes. We further obtain the first law and Smarr formula for Schwarzschild-anti-de Sitter and pure de Sitter spacetimes, discussing the contributions of the varying cosmological constant, which naturally appear in Weyl transverse gravity. Lastly, we derive the first law of causal diamonds in vacuum.


title: Uniform in time solutions for a chemotaxis with potential consumption model

abstract: In this work we investigate the following chemo-attraction with consumption model in bounded domains of \, $\mathbb{R}^N$ ($N=1,2,3$): $$ \partial_t u - \Delta u = - \nabla \cdot (u \nabla v), \quad \partial_t v - \Delta v = - u^s v $$ where $s\ge 1$, endowed with isolated boundary conditions and initial conditions for $(u,v)$. The main novelty in the model is the nonlinear potential consumption term $u^sv$. Through the convergence of solutions of an adequate truncated model, two main results are established; existence of uniform in time weak solutions in $3D$ domains, and uniqueness and regularity in $2D$ (or $1D$) domains. Both results are proved imposing minimal regularity assumptions on the boundary of the domain.


title: Joint Multi-view Unsupervised Feature Selection and Graph Learning

abstract: Despite significant progress, previous multi-view unsupervised feature selection methods mostly suffer from two limitations. First, they generally utilize either cluster structure or similarity structure to guide the feature selection, which neglect the possibility of a joint formulation with mutual benefits. Second, they often learn the similarity structure by either global structure learning or local structure learning, which lack the capability of graph learning with both global and local structural awareness. In light of this, this paper presents a joint multi-view unsupervised feature selection and graph learning (JMVFG) approach. Particularly, we formulate the multi-view feature selection with orthogonal decomposition, where each target matrix is decomposed into a view-specific basis matrix and a view-consistent cluster indicator. The cross-space locality preservation is incorporated to bridge the cluster structure learning in the projected space and the similarity learning (i.e., graph learning) in the original space. Further, a unified objective function is presented to enable the simultaneous learning of the cluster structure, the global and local similarity structures, and the multi-view consistency and inconsistency, upon which an alternating optimization algorithm is developed with theoretically proved convergence. Extensive experiments on a variety of real-world multi-view datasets demonstrate the superiority of our approach for both the multi-view feature selection and graph learning tasks. The code is available at https://github.com/huangdonghere/JMVFG.


title: Electromagnetic multipole structure of a spin-one particle: Abel tomography case

abstract: We investigate the three-dimensional~(3D) and two-dimensional~(2D) charge distributions of a spin-one particle in terms of the multipole expansion. On account of the geometrical difference between 2D and 3D spaces, projecting the 3D electric distribution to the 2D one in the Breit frame brings about the influence of the quadrupole distribution upon the monopole one. Thus, the 2D charge distribution becomes spin-dependent. This effect should be sorted out from the relativistic effects arising from the Lorentz boost. We first provide the connections between the 2D and 3D distributions in the Breit frame in terms of the angle-dependent Abel transformation. We then provide the differential equations that enable us to map 2D distributions in the Breit frame to those in the infinite momentum frame.


title: Label-free metabolic imaging of non-alcoholic-fatty-liver-disease (NAFLD) liver by volumetric dynamic optical coherence tomography

abstract: Label-free metabolic imaging of non-alcoholic fatty liver disease (NAFLD) mouse liver is demonstrated ex vivo by dynamic optical coherence tomography (OCT). The NAFLD mouse is a methionine choline-deficient (MCD)-diet model, and two mice fed MCD diet for 1 and 2 weeks are involved in addition to a normal-diet mouse. The dynamic OCT is based on repeating raster scan and logarithmic intensity variance (LIV) analysis which enables volumetric metabolic imaging with a standard-speed (50,000 A-lines/s) OCT system. Metabolic domains associated with lipid droplet accumulation and inflammation are clearly visualized three-dimensionally. Particularly, the normal-diet liver exhibits highly metabolic vessel-like structures of peri-vascular hepatic zones. The 1-week MCD-diet liver shows ring-shaped highly metabolic structures formed with lipid droplets. The 2-week MCD-diet liver exhibits fragmented vessel-like structures associated with inflammation. These results imply that volumetric LIV imaging is useful for visualizing and assessing NAFLD abnormalities.


title: Quantum fluctuations approach to the nonequilibrium $GW$ approximation

abstract: The quantum dynamics of fermionic or bosonic many-body systems following external excitation can be successfully studied using two-time nonequilibrium Green's functions (NEGF) or single-time reduced density matrix methods. Approximations are introduced via a proper choice of the many-particle self-energy or decoupling of the BBGKY hierarchy. These approximations are based on Feynman's diagram approaches or on cluster expansions into single-particle and correlation operators. Here, we develop a different approach where, instead of equations of motion for the many-particle NEGF (or density operators), single-time equations for the correlation functions of fluctuations are analyzed. We present a derivation of the first two equations of the alternative hierarchy of fluctuations and discuss possible decoupling approximations. In particular, we derive the polarization approximation (PA) which is shown to be equivalent to the single-time version [following by applying the generalized Kadanoff-Baym ansatz (GKBA)] of the nonequilibrium $GW$ approximation with exchange effects of NEGF theory, for weak coupling. The main advantage of the quantum fluctuations approach is that the standard ensemble average can be replaced by a semiclassical average over different initial realizations, as was demonstrated before by Lacroix and co-workers [see e.g. D. Lacroix et al., Phys. Rev. B, 2014, 90, 125112]. Here, we introduce the stochastic $GW$ (SGW) approximation and the stochastic polarization approximation (SPA) which are demonstrated to be equivalent to the single-time $GW$ approximation without and with exchange, respectively, in the weak coupling limit. Our numerical tests confirm that our approach has the same favorable linear scaling with the computation time as the recently developed G1-G2 scheme [Schluenzen et al., Phys. Rev. Lett., 2020, 124, 076601].


title: Extremal entropy for graphs with given size

abstract: The first degree-based entropy of a graph is the Shannon entropy of its degree sequence normalized by the degree sum. Its correct interpretation as a measure of uniformity of the degree sequence requires the determination of its extremal values given natural constraints. In this paper, we prove that the graphs with given size that minimize the first degree-based entropy are the colex graphs.


title: The Variational Problem and Background Field in the Renormalization Group Method for Non-Linear Sigma Models

abstract: We study the variational problem as described by Balaban in his renormalization group method for Yang-Mills theories in $d= 3, 4$ and adapt it to a class of Non-Linear Sigma Models in $d=2$. The result of the variational problem is a minimal configuration which can serve as a classical background field in the renormalization group analysis.


title: High-Density Polyethylene Degradation into Low Molecular Weight Gases at 1823 K: An Atomistic Simulation

abstract: Using molecular dynamics simulation, we present a comprehensive study of the volatile thermal degradation of high-density polyethylene (HDPE) across a temperature range of 300 K to 1823 K. We find that degradation at temperatures higher than $\sim$ 1373 K generates significant quantities of reducing gases such as CH$_{\text{n}}$ and hydrogen molecules which are beneficial to the steelmaking industry. Our results provide a new understanding of HDPE's phase transformation from solid to gas that occurs during superheating at steelmaking's electric arc furnace environment offering a new method for eliminating end-of-life HDPE from landfill.


title: Deterministic Low-Diameter Decompositions for Weighted Graphs and Distributed and Parallel Applications

abstract: This paper presents new deterministic and distributed low-diameter decomposition algorithms for weighted graphs. In particular, we show that if one can efficiently compute approximate distances in a parallel or a distributed setting, one can also efficiently compute low-diameter decompositions. This consequently implies solutions to many fundamental distance based problems using a polylogarithmic number of approximate distance computations. Our low-diameter decomposition generalizes and extends the line of work starting from [Rozho\v{n}, Ghaffari STOC 2020] to weighted graphs in a very model-independent manner. Moreover, our clustering results have additional useful properties, including strong-diameter guarantees, separation properties, restricting cluster centers to specified terminals, and more. Applications include: -- The first near-linear work and polylogarithmic depth randomized and deterministic parallel algorithm for low-stretch spanning trees (LSST) with polylogarithmic stretch. Previously, the best parallel LSST algorithm required $m \cdot n^{o(1)}$ work and $n^{o(1)}$ depth and was inherently randomized. No deterministic LSST algorithm with truly sub-quadratic work and sub-linear depth was known. -- The first near-linear work and polylogarithmic depth deterministic algorithm for computing an $\ell_1$-embedding into polylogarithmic dimensional space with polylogarithmic distortion. The best prior deterministic algorithms for $\ell_1$-embeddings either require large polynomial work or are inherently sequential. Even when we apply our techniques to the classical problem of computing a ball-carving with strong-diameter $O(\log^2 n)$ in an unweighted graph, our new clustering algorithm still leads to an improvement in round complexity from $O(\log^{10} n)$ rounds [Chang, Ghaffari PODC 21] to $O(\log^{4} n)$.


title: LBL System for Underwater Acoustic Positioning: Concept and Equations

abstract: GNSS (Global Navigation Satellite System) positioning is not available underwater due to the very short range of electromagnetic waves in the sea water medium. In this article a LBL (Long Base Line) acoustic repeater system of the GNSS positioning is presented. The system is hyperbolic, i.e., based on time differences and it does not need very accurate atomic clocks to synchronize repeaters.


title: Ab initio study of resonance states of exotic 10Li nucleus

abstract: The spectrum, partial and total decay widths of the states of the exotic 10Li nucleus are studied in an ab initio approach. The spectrum is calculated using No-Core Shell Model and corresponding extrapolation procedure. The calculations use the well-proven Daejeon16 potential. The NCSM-based approach, which includes a method for constructing the basis of functions of cluster channels and a procedure for matching the cluster form factors obtained within this method with the asymptotic wave functions, is applied to compute the widths of the levels. The results obtained quite adequately reproduce the pattern given by the most advanced experiments. Detailed predictions of the spectral characteristics of 10Li nucleus states are given.


title: On well-splitting posets

abstract: We introduce a class of proper posets which is preserved under countable support iterations, includes $\omega^\omega$-bounding, Cohen, Miller, and Mathias posets associated to filters with the Hurewicz covering properties, and has the property that the ground model reals remain splitting and unbounded in corresponding extensions. Our results may be considered as a possible path towards solving variations of the famous Roitman problem.


title: Unusual band splitting and superconducting gap evolution with sulfur substitution in FeSe

abstract: High-resolution angle-resolved photoemission measurements were taken on FeSe$_{1-x}$S$_x$ (x=0, 0.04, and 0.08) superconductors. With an ultrahigh energy resolution of 0.4 meV, unusual two hole bands near the Brillouin-zone center, which was possibly a result of additional symmetry breaking, were identified in all the sulfur-substituted samples. In addition, in both of the hole bands highly anisotropic superconducting gaps with resolution limited nodes were evidenced. We find that the larger superconducting gap on the outer hole band is reduced linearly to the nematic transition temperature while the gap on the inner hole is nearly S-substitution independent. Our observations strongly suggest that the superconducting gap increases with enhanced nematicity although the superconducting transition temperature is not only governed by the pairing strength, demonstrating strong constraints on theories in the FeSe family.


title: Inverse problems for Dirac operators with constant delay: uniqueness, characterization, uniform stability

abstract: We initiate studying inverse spectral problems for Dirac-type functional-differential operators with constant delay. For simplicity, we restrict ourselves to the case when the delay parameter is not less than one half of the interval. For the considered case, however, we give answers to the full range of questions usually raised in the inverse spectral theory. Specifically, reconstruction of two complex $L_2$-potentials is studied from either complete spectra or subspectra of two boundary value problems with one common boundary condition. We give conditions on the subspectra that are necessary and sufficient for the unique determination of the potentials. Moreover, necessary and sufficient conditions for the solvability of both inverse problems are obtained. For the inverse problem involving the complete spectra, we establish also uniform stability in each ball. For this purpose, we use recent results on uniform stability of sine-type functions with asymptotically separated zeros.


title: Geometrical bounds on irreversibility in squeezed thermal bath

abstract: Irreversible entropy production (IEP) plays an important role in quantum thermodynamic processes. Here we investigate the geometrical bounds of IEP in nonequilibrium thermodynamics by exemplifying a system coupled to a squeezed thermal bath subject to dissipation and dephasing, respectively. We find that the geometrical bounds of the IEP always shift in contrary way under dissipation and dephasing, where the lower and upper bounds turning to be tighter occurs in the situation of dephasing and dissipation, respectively. However, either under dissipation or under dephasing, we may reduce both the critical time of the IEP itself and the critical time of the bounds for reaching an equilibrium by harvesting the benefits of squeezing effects, in which the values of the IEP, quantifying the degree of thermodynamic irreversibility, also becomes smaller. Therefore, due to the nonequilibrium nature of the squeezed thermal bath, the system-bath interaction energy brings prominent impact on the IEP, leading to tightness of its bounds. Our results are not contradictory with the second law of thermodynamics by involving squeezing of the bath as an available resource, which can improve the performance of quantum thermodynamic devices.


title: Visio-Linguistic Brain Encoding

abstract: Enabling effective brain-computer interfaces requires understanding how the human brain encodes stimuli across modalities such as visual, language (or text), etc. Brain encoding aims at constructing fMRI brain activity given a stimulus. There exists a plethora of neural encoding models which study brain encoding for single mode stimuli: visual (pretrained CNNs) or text (pretrained language models). Few recent papers have also obtained separate visual and text representation models and performed late-fusion using simple heuristics. However, previous work has failed to explore: (a) the effectiveness of image Transformer models for encoding visual stimuli, and (b) co-attentive multi-modal modeling for visual and text reasoning. In this paper, we systematically explore the efficacy of image Transformers (ViT, DEiT, and BEiT) and multi-modal Transformers (VisualBERT, LXMERT, and CLIP) for brain encoding. Extensive experiments on two popular datasets, BOLD5000 and Pereira, provide the following insights. (1) To the best of our knowledge, we are the first to investigate the effectiveness of image and multi-modal Transformers for brain encoding. (2) We find that VisualBERT, a multi-modal Transformer, significantly outperforms previously proposed single-mode CNNs, image Transformers as well as other previously proposed multi-modal models, thereby establishing new state-of-the-art. The supremacy of visio-linguistic models raises the question of whether the responses elicited in the visual regions are affected implicitly by linguistic processing even when passively viewing images. Future fMRI tasks can verify this computational insight in an appropriate experimental setting.


title: Taylor expansions of Jacobi forms and linear relations among theta series

abstract: We study Taylor expansions of Jacobi forms of lattice index. As the main result, we give an embedding from certain space of such forms, whether scalar-valued or vector-valued, integral-weight or half-integral-weight, of any level, with any character, into a product of finitely many spaces of modular forms. As an application, we investigate linear relations among Jacobi theta series of lattice index. Many linear relations among the second powers of such theta series associated with the $D_4$ lattice and $A_3$ lattice are obtained, along with relations among the third powers of series associated with the $A_2$ lattice. We present the complete SageMath code for the $D_4$ lattice.


title: Factual Error Correction for Abstractive Summaries Using Entity Retrieval

abstract: Despite the recent advancements in abstractive summarization systems leveraged from large-scale datasets and pre-trained language models, the factual correctness of the summary is still insufficient. One line of trials to mitigate this problem is to include a post-editing process that can detect and correct factual errors in the summary. In building such a post-editing system, it is strongly required that 1) the process has a high success rate and interpretability and 2) has a fast running time. Previous approaches focus on regeneration of the summary using the autoregressive models, which lack interpretability and require high computing resources. In this paper, we propose an efficient factual error correction system RFEC based on entities retrieval post-editing process. RFEC first retrieves the evidence sentences from the original document by comparing the sentences with the target summary. This approach greatly reduces the length of text for a system to analyze. Next, RFEC detects the entity-level errors in the summaries by considering the evidence sentences and substitutes the wrong entities with the accurate entities from the evidence sentences. Experimental results show that our proposed error correction system shows more competitive performance than baseline methods in correcting the factual errors with a much faster speed.


title: Controlled light scattering of a single nanoparticle by wavefront shaping

abstract: Controlling light scattering by nanoparticles is fundamentally important for the understanding and the control of light with photonic nanostructures, as well as for nanoparticle scattering itself, including Mie scattering. Here, we theoretically and numerically investigate the possibility to manipulate nanoparticle scattering by wavefront shaping that was initially developed to control light scattered by large numbers of nanoparticles in nanophotonic media. By employing a scattering matrix analysis, we find that even a single nanoparticle supports multiple strongly scattering eigenchannels, suggesting wavefront shaping as a promising tool to manipulate scattered light of a single nanoparticle. By sending in shaped wavefronts, we selectively excite eigenchannels, as is apparent from the distinct field distributions. These scattering eigenchannels are related to different resonant leaky modes of the scatterer, that reveal remarkable localized "hot spots" where the field is substantially enhanced. Moreover, we investigate the backscattered spectra; to this send in wavefronts relevant for a particular eigenchannel, and observe that the backscattered spectrum reveals not only the excited channel but also several others. This result points to the existence of short and long-range spectral correlations for an eigenchannel. Our work offers a flexible tool to manipulate light scattering of a single nanoparticle, and thus opens new possibilities to control field patterns and light-matter interactions in a nanoparticle, as well as to explore new features of nanoparticle scattering such as the spectral correlation and temporal response of light scattered by nano scatterers, including Mie spheres.


title: Configuration-Aware Safe Control for Mobile Robotic Arm with Control Barrier Functions

abstract: Collision avoidance is a widely investigated topic in robotic applications. When applying collision avoidance techniques to a mobile robot, how to deal with the spatial structure of the robot still remains a challenge. In this paper, we design a configuration-aware safe control law by solving a Quadratic Programming (QP) with designed Control Barrier Functions (CBFs) constraints, which can safely navigate a mobile robotic arm to a desired region while avoiding collision with environmental obstacles. The advantage of our approach is that it correctly and in an elegant way incorporates the spatial structure of the mobile robotic arm. This is achieved by merging geometric restrictions among mobile robotic arm links into CBFs constraints. Simulations on a rigid rod and the modeled mobile robotic arm are performed to verify the feasibility and time-efficiency of proposed method. Numerical results about the time consuming for different degrees of freedom illustrate that our method scales well with dimension.


title: Type II Dirac Seesaw with Observable $\Delta N_{\rm eff}$ in the light of W-mass Anomaly

abstract: We propose a type II seesaw model for light Dirac neutrinos to provide an explanation for the recently reported anomaly in W boson mass by the CDF collaboration with $7\sigma$ statistical significance. In the minimal model, the required enhancement in W boson mass is obtained at tree level due to the vacuum expectation value of a real scalar triplet, which also plays a role in generating light Dirac neutrino mass. Depending upon the couplings and masses of newly introduced particles, we can have thermally or non-thermally generated relativistic degrees of freedom $\Delta N_{\rm eff}$ in the form of right handed neutrinos which can be observed at future cosmology experiments. Extending the model to a radiative Dirac seesaw scenario can also accommodate dark matter and lepton anomalous magnetic moment.


title: Precursors of fatty alcohols in the ISM: Discovery of n-propanol

abstract: Theories on the origins of life propose that early cell membranes were synthesized from amphiphilic molecules simpler than phospholipids such as fatty alcohols. The discovery in the interstellar medium (ISM) of ethanolamine, the simplest phospholipid head group, raises the question whether simple amphiphilic molecules are also synthesized in space. We investigate whether precursors of fatty alcohols are present in the ISM. For this, we have carried out a spectral survey at 7, 3, 2 and 1 mm toward the Giant Molecular Cloud G+0.693-0.027 located in the Galactic Center using the IRAM 30m and Yebes 40m telescopes. Here, we report the detection in the ISM of the primary alcohol n-propanol (in both conformers Ga-n-C3H7OH and Aa-n-C3H7OH), a precursor of fatty alcohols. The derived column densities of n-propanol are (5.5+-0.4)x10^13 cm^-2 for the Ga conformer and (3.4+-0.3)x10^13 cm^-2 for the Aa conformer, which imply molecular abundances of (4.1+-0.3)x10^-10 for Ga-n-C3H7OH and of (2.5+-0.2)x10^-10 for Aa-n-C3H7OH. We also searched for the AGa conformer of n-butanol (AGa-n-C4H9OH) without success yielding an upper limit to its abundance of <4.1x10^-11. The inferred CH3OH:C2H5OH:C3H7OH:C4H9OH abundance ratios go as 1:0.04:0.006:<0.0004 toward G+0.693-0.027, i.e. they decrease roughly by one order of magnitude for increasing complexity. We also report the detection of both syn and anti conformers of vinyl alcohol, with column densities of (1.11+-0.08)x10^14 cm^-2 and (1.3+-0.4)x10^13 cm^-2, and abundances of (8.2+-0.6)x10^-10 and (9.6+-3.0)x10^-11, respectively. The detection of n-propanol, together with the recent discovery of ethanolamine in the ISM, opens the possibility that precursors of lipids according to theories of the origin of life, could have been brought to Earth from outer space.


title: On the transcendence of a series related to Sturmian words

abstract: Let $b$ be an algebraic number with $|b|>1$ and $\mathcal{H}$ a finite set of algebraic numbers. We study the transcendence of numbers of the form $\sum_{n=0}^\infty \frac{a_n}{b^n}$ where $a_n \in \mathcal{H}$ for all $n\in\mathbb{N}$. We assume that the sequence $(a_n)_{n=0}^\infty$ is generated by coding the orbit of a point under an irrational rotation of the unit circle. In particular, this assumption holds whenever the sequence is Sturmian. Our main result shows that all numbers of the above form are transcendental. We moreover give sufficient conditions for a finite set of such numbers to be linearly independent over~$\bar{\mathbb{Q}}$.


title: Differentiable Time-Frequency Scattering on GPU

abstract: Joint time-frequency scattering (JTFS) is a convolutional operator in the time-frequency domain which extracts spectrotemporal modulations at various rates and scales. It offers an idealized model of spectrotemporal receptive fields (STRF) in the primary auditory cortex, and thus may serve as a biological plausible surrogate for human perceptual judgments at the scale of isolated audio events. Yet, prior implementations of JTFS and STRF have remained outside of the standard toolkit of perceptual similarity measures and evaluation methods for audio generation. We trace this issue down to three limitations: differentiability, speed, and flexibility. In this paper, we present an implementation of time-frequency scattering in Python. Unlike prior implementations, ours accommodates NumPy, PyTorch, and TensorFlow as backends and is thus portable on both CPU and GPU. We demonstrate the usefulness of JTFS via three applications: unsupervised manifold learning of spectrotemporal modulations, supervised classification of musical instruments, and texture resynthesis of bioacoustic sounds.


title: Lane-Free Crossing of CAVs through Intersections as a Minimum-Time Optimal Control Problem

abstract: Unlike conventional cars, connected and autonomous vehicles (CAVs) can cross intersections in a lane-free order and utilise the whole area of intersections. This paper presents a minimum-time optimal control problem to centrally control the CAVs to simultaneously cross an intersection in the shortest possible time. Dual problem theory is employed to convexify the constraints of CAVs to avoid collision with each other and with road boundaries. The developed formulation is smooth and solvable by gradient-based algorithms. Simulation results show that the proposed strategy reduces the crossing time of intersections by an average of 52% and 54% as compared to, respectively, the state-of-the-art reservation-based and lane-free methods. Furthermore, the crossing time by the proposed strategy is fixed to a constant value for an intersection regardless of the number of CAVs.


title: Unsupervised domain adaptation and super resolution on drone images for autonomous dry herbage biomass estimation

abstract: Herbage mass yield and composition estimation is an important tool for dairy farmers to ensure an adequate supply of high quality herbage for grazing and subsequently milk production. By accurately estimating herbage mass and composition, targeted nitrogen fertiliser application strategies can be deployed to improve localised regions in a herbage field, effectively reducing the negative impacts of over-fertilization on biodiversity and the environment. In this context, deep learning algorithms offer a tempting alternative to the usual means of sward composition estimation, which involves the destructive process of cutting a sample from the herbage field and sorting by hand all plant species in the herbage. The process is labour intensive and time consuming and so not utilised by farmers. Deep learning has been successfully applied in this context on images collected by high-resolution cameras on the ground. Moving the deep learning solution to drone imaging, however, has the potential to further improve the herbage mass yield and composition estimation task by extending the ground-level estimation to the large surfaces occupied by fields/paddocks. Drone images come at the cost of lower resolution views of the fields taken from a high altitude and requires further herbage ground-truth collection from the large surfaces covered by drone images. This paper proposes to transfer knowledge learned on ground-level images to raw drone images in an unsupervised manner. To do so, we use unpaired image style translation to enhance the resolution of drone images by a factor of eight and modify them to appear closer to their ground-level counterparts. We then ... ~\url{www.github.com/PaulAlbert31/Clover_SSL}.


title: A Multidimensional Artistic Approach to Enhance Understanding of Julia Sets through Computer Programming

abstract: This article proposes an artistic approach to increase and enrich the understanding of Julia Sets. This approach includes the mathematical, the playful, the artistic and the computational dimensions. It is argued that these four dimensions are not disjointed or dissociated despite general rejection by traditional academic communities and art critics communities. Also, some significant collections of Computational Art or Computer-Generated Mathematical Art are mentioned. Four artistic creations based on Julia Sets are presented as examples using the CFDG language. Finally, an informal application of the approach was carried out and artistic production of students are presented and discussed.


title: Iterative Complexity and Its Applications of Linearized Generalized Alternating Direction Method of Multipliers with Multi-block Case

abstract: We consider a multi-block separable convex optimization problem with the linear constraints, where the objective function is the sum of m individual convex functions without overlapping variables. The linearized version of the generalized alternating direction method of multipliers (L-GADMM) is particularly efficient for the two-block separable convex programming problem and its convergence was proved when two blocks of variables are alternatively updated. However,the convergence and some practical applications of the extension (m>=3) of the L-GADMM is still in its infancy. In this paper, we extend this algorithm to the general case where the objective function consists of the sum of m-block convex functions. Theoretically, we prove global convergence of the new method and establish the worst-case convergence rate in the ergodic and nonergodic senses for the proposed algorithm. The efficiency of the new method is further demonstrated through numerical results on the calibration of the correlation matrices.


title: Iterative Hard Thresholding with Adaptive Regularization: Sparser Solutions Without Sacrificing Runtime

abstract: We propose a simple modification to the iterative hard thresholding (IHT) algorithm, which recovers asymptotically sparser solutions as a function of the condition number. When aiming to minimize a convex function $f(x)$ with condition number $\kappa$ subject to $x$ being an $s$-sparse vector, the standard IHT guarantee is a solution with relaxed sparsity $O(s\kappa^2)$, while our proposed algorithm, regularized IHT, returns a solution with sparsity $O(s\kappa)$. Our algorithm significantly improves over ARHT which also finds a solution of sparsity $O(s\kappa)$, as it does not require re-optimization in each iteration (and so is much faster), is deterministic, and does not require knowledge of the optimal solution value $f(x^*)$ or the optimal sparsity level $s$. Our main technical tool is an adaptive regularization framework, in which the algorithm progressively learns the weights of an $\ell_2$ regularization term that will allow convergence to sparser solutions. We also apply this framework to low rank optimization, where we achieve a similar improvement of the best known condition number dependence from $\kappa^2$ to $\kappa$.

categories: math.OC cs.DS cs.IT cs.LG math.IT stat.ML


title: Evaluations of some series of the type $\sum_{k=0}^\infty(ak+b)x^k/\binom{mk}{nk}$

abstract: In this paper, via the beta function we evaluate some series of the type $\sum_{k=0}^\infty(ak+b)x^k/\binom{mk}{nk}$. We completely determine the values of $$\sum_{k=1}^\infty\frac {k^rx^k}{\binom{3k}k}\ \left(-\frac{27}4<x<\frac{27}4\right)\ \text{and}\ \sum_{k=1}^\infty\frac {k^rx^k}{\binom{4k}{2k}}\ (-16<x<16)$$ for $r=0,\pm1$. For example, we prove that $$\sum_{k=0}^\infty\frac{(49k+1)8^k}{3^k\binom{3k}k}=81+16\sqrt3\,\pi \ \ \text{and}\ \ \sum_{k=0}^\infty\frac{10k-1}{\binom{4k}{2k}}=\frac{4\sqrt 3}{27}\pi.$$ We also establish the following efficient formula for computing $\log n$ with $1<n\le 85/4$: \begin{align*} &\sum_{k=0}^\infty\frac{(2(n^2+6n+1)^2(n^2-10n+1)k+P(n))(n-1)^{4k}} {(-n)^k(n+1)^{2k}\binom{4k}{2k}}\\ \ \ &=6n(n+1)(n-1)^3\log n-32n(n+1)^2(n^2-4n+1), \end{align*} where $$P(n):=n^6-58n^5+159n^4+52n^3+159n^2-58n+1.$$


title: Tournament schedules and incentives in a double round-robin tournament with four teams

abstract: In a round-robin tournament, a team may lack the incentive to win if its final rank does not depend on the outcome of the matches still to be played. This paper introduces a classification scheme to determine these weakly (where one team is indifferent) or strongly (where both teams are indifferent) stakeless matches in a double round-robin contest with four teams. The probability that such matches arise can serve as a novel fairness criterion to compare and evaluate match schedules. Our approach is illustrated by the UEFA Champions League group stage. A simulation model is built to compare the 12 valid schedules for the group matches. Some schedules are shown to be dominated by other schedules. It is found that the strongest team should play at home in the last round against one of the middle teams, depending on the preferences of the tournament organiser. Choosing an optimal sequence of matches with respect to the proposed metric can help to avoid uninteresting matches.


title: A Note on Sun's Conjectures on Ap\'ery-like Sums Involving Lucas Sequences and Harmonic Numbers

abstract: In this paper, we will prove Zhi-Wei Sun's four conjectural identities on Ap\'{e}ry-like sums involving Lucas sequences and harmonic numbers by using a few results of Davydychev--Kalmykov.


title: Emergence of negative viscosities and colored noise under current-driven Ehrenfest molecular dynamics

abstract: Molecules in molecular junctions are subject to current-induced forces that can break chemical bonds, induce reactions, destabilize molecular geometry, and halt the operation of the junction. Theories behind current-driven molecular dynamics simulations rely on a perturbative time-scale separation within the system with subsequent use of nonequilibrium Green's functions (NEGF) to compute conservative, non-conservative, and stochastic forces exerted by electrons on nuclear degrees of freedom. We analyze the effectiveness of this approximation, paying particular attention to the phenomenon of negative viscosities. The perturbative approximation is directly compared to the nonequilibrium Ehrenfest approach. We introduce a novel time-stepping approach to calculate the forces present in the Ehrenfest method via exact integration of the equations of motion for the nonequilibrium Green's functions, which does not necessitate a time-scale separation within the system and provides an exact description for the corresponding classical dynamics. We observe that negative viscosities are not artifacts of a perturbative treatment but also emerge in Ehrenfest dynamics. However, the effects of negative viscosity have the possibility of being overwhelmed by the predominantly positive dissipation due to the higher-order forces unaccounted for by the perturbative approach. Additionally, we assess the validity of the white-noise approximation for the stochastic forces, finding that it is justifiable in the presence of a clear time-scale separation and is more applicable when the current-carrying molecular orbital is moved outside of the voltage window. Finally, we demonstrate the method for molecular junction models consisting of one and two classical degrees of freedom.


title: Communication Bounds for Convolutional Neural Networks

abstract: Convolutional neural networks (CNNs) are important in a wide variety of machine learning tasks and applications, so optimizing their performance is essential. Moving words of data between levels of a memory hierarchy or between processors on a network is much more expensive than the cost of arithmetic, so minimizing communication is critical to optimizing performance. In this paper, we present new lower bounds on data movement for mixed precision convolutions in both single-processor and parallel distributed memory models, as well as algorithms that outperform current implementations such as Im2Col. We obtain performance figures using GEMMINI, a machine learning accelerator, where our tiling provides improvements between 13% and 150% over a vendor supplied algorithm.


title: Non-intrusive reduced-order modeling using convolutional autoencoders

abstract: The use of reduced-order models (ROMs) in physics-based modeling and simulation almost always involves the use of linear reduced basis (RB) methods such as the proper orthogonal decomposition (POD). For some nonlinear problems, linear RB methods perform poorly, failing to provide an efficient subspace for the solution space. The use of nonlinear manifolds for ROMs has gained traction in recent years, showing increased performance for certain nonlinear problems over linear methods. Deep learning has been popular to this end through the use of autoencoders for providing a nonlinear trial manifold for the solution space. In this work, we present a non-intrusive ROM framework for steady-state parameterized partial differential equations (PDEs) that uses convolutional autoencoders (CAEs) to provide a nonlinear solution manifold and is augmented by Gaussian process regression (GPR) to approximate the expansion coefficients of the reduced model. When applied to a numerical example involving the steady incompressible Navier-Stokes equations solving a lid-driven cavity problem, it is shown that the proposed ROM offers greater performance in prediction of full-order states when compared to a popular method employing POD and GPR over a number of ROM dimensions.


title: Decision-Dependent Risk Minimization in Geometrically Decaying Dynamic Environments

abstract: This paper studies the problem of expected loss minimization given a data distribution that is dependent on the decision-maker's action and evolves dynamically in time according to a geometric decay process. Novel algorithms for both the information setting in which the decision-maker has a first order gradient oracle and the setting in which they have simply a loss function oracle are introduced. The algorithms operate on the same underlying principle: the decision-maker repeatedly deploys a fixed decision over the length of an epoch, thereby allowing the dynamically changing environment to sufficiently mix before updating the decision. The iteration complexity in each of the settings is shown to match existing rates for first and zero order stochastic gradient methods up to logarithmic factors. The algorithms are evaluated on a "semi-synthetic" example using real world data from the SFpark dynamic pricing pilot study; it is shown that the announced prices result in an improvement for the institution's objective (target occupancy), while achieving an overall reduction in parking rates.


title: Graded Almost Prime Ideals over Non-Commutative Graded Rings

abstract: The purpose of this article is to define and examine graded almost prime ideals over a non-commutative graded ring, and consider some cases where all graded right ideals of a non-commutative graded ring are graded almost prime.


title: Feature-based intermittent demand forecast combinations: bias, accuracy and inventory implications

abstract: Intermittent demand forecasting is a ubiquitous and challenging problem in production systems and supply chain management. In recent years, there has been a growing focus on developing forecasting approaches for intermittent demand from academic and practical perspectives. However, limited attention has been given to forecast combination methods, which have achieved competitive performance in forecasting fast-moving time series. The current study aims to examine the empirical outcomes of some existing forecast combination methods and propose a generalized feature-based framework for intermittent demand forecasting. The proposed framework has been shown to improve the accuracy of point and quantile forecasts based on two real data sets. Further, some analysis of features, forecasting pools and computational efficiency is also provided. The findings indicate the intelligibility and flexibility of the proposed approach in intermittent demand forecasting and offer insights regarding inventory decisions.


title: Inverse Occam's razor

abstract: Scientists have long preferred the simplest possible explanation of their data. More re-cently, a worrying trend to favor complex interpretations has taken hold because they are perceived as more impactful.


title: Information Theory and Point Processes

abstract: This paper addresses theoretically correct vs. incorrect ways to apply information theory to point processes.


title: A Novel Multi-Task Learning Empowered Codebook Design for Downlink SCMA Networks

abstract: Sparse code multiple access (SCMA) is a promising code-domain non-orthogonal multiple access (NOMA) scheme for the enabling of massive machine-type communication. In SCMA, the design of good sparse codebooks and efficient multiuser decoding have attracted tremendous research attention in the past few years. This paper aims to leverage deep learning to jointly design the downlink SCMA encoder and decoder with the aid of autoencoder. We introduce a novel end-to-end learning based SCMA (E2E-SCMA) design framework, under which improved sparse codebooks and low-complexity decoder are obtained. Compared to conventional SCMA schemes, our numerical results show that the proposed E2E-SCMA leads to significant improvements in terms of error rate and computational complexity.


title: Autocorrelation Invariance Property of Chaos for Wireless Communication

abstract: A new feature of the chaotic signal generated by chaotic shape-forming filter (CSF) is uncovered in this work. We find that, the autocorrelation function (ACF) of the transmitting signal generated by CSF keeps the same as that of the base function of CSF, no matter what information is encoded. We derive the analytical equation to describe the relation between the ACF of the received signal and the wireless channel parameters using the ACF of the transmitted signal as prior knowledge revealed by the finding in this work. This new property can be utilized together with different wireless communication systems to improve the system performance. Specially, to demonstrate the improvement, channel state information (CSI) is identified using the chaotic baseband wireless communication as a paradigm. Two significant benefits by using the new property are 1) the CSI can be identified without the probe information known to the receiver as done in the conventional wireless communication systems, which improves the bandwidth efficiency, especially in the time-varying channel; 2) the correlation operation is insensitive to the channel noise, which improves the identification accuracy as compared to the commonly used methods.


title: Retrospective Observation of Ball Lightning

abstract: Ball lightning is a very rarely observed phenomenon that makes it extremely difficult to characterize scientifically. Eye-witness accounts of ball lightning that describe many features in common have been variously recorded for centuries. This note is an account of my observation of ball lightning almost five decades ago. Although it is mostly a compendium of recalled impressions (no photos or videos), it so happens that certain corroborating information has since become available on the Internet and supports the conclusion that I did indeed observe ball lightning. This note also helps to explain why obtaining hard evidence is even more difficult than is generally assumed. Paradoxically, the inordinate delay between the original observation and this documentation may actually have enhanced its scientific merit.


title: A Dual Generalized Long Memory Modelling for Forecasting Electricity Spot Price: Neural Network and Wavelet Estimate

abstract: In this paper, dual generalized long memory modelling has been proposed to predict the electricity spot price. First, we focus on modelling the conditional mean of the series so we adopt a generalized fractional k-factor Gegenbauer process ( k-factor GARMA). Secondly, the residual from the k-factor GARMA model has been used as a proxy for the conditional variance; these residuals were predicted using two different approaches. In the first approach, a local linear wavelet neural network model (LLWNN) has developed to predict the conditional variance using two different learning algorithms, so we estimate the hybrid k- factor GARMA-LLWNN based backpropagation (BP) algorithm and based particle swarm optimization (PSO) algorithm. In the second approach, the Gegenbauer generalized autoregressive conditional heteroscedasticity process (G-GARCH) has been adopted, and the parameters of the k-factor GARMAG- GARCH model have been estimated using the wavelet methodology based on the discrete wavelet packet transform (DWPT) approach. To illustrate the usefulness of our methodology, we carry out an empirical application using the hourly returns of electricity prices from the Nord Pool market. The empirical results have shown that the k-factor GARMA-G-GARCH model has the best prediction accuracy in terms of forecasting criteria, and find that this is more appropriate for forecasts.


title: Effective reflected entropy and entanglement negativity for general 2D eternal black holes

abstract: Both reflected entropy and entanglement negativity provide valid measures of entanglement between subsystems of a mixed state. For general 2D eternal black holes coupled with CFT matters in large $c$ limit, we perform the replica-trick computation and find that both effective Renyi reflected entropy and effective entanglement negativity can be expressed in terms of the combination of modified backreacting cosmic branes in $\mathrm{AdS}_3$ bulk. We then develop a holographic scheme to calculate effective reflected entropy and entanglement negativity for general 2D eternal black holes coupled with CFT matters in large $c$ limit. Using the scheme, we check the consistency condition of the island formulae for entanglement negativity and reflected entropy. We find that the combinations of modified backreacting cosmic branes in $\mathrm{AdS}_3$ bulk from the two island proposals of entanglement negativity exactly match with each other. Finally, we study the saturation of the reflected entropy inequality.


title: Squeezed States Generation using Cryogenic InP HEMT Transistor Nonlinearity

abstract: This study focuses on generating and manipulating squeezed states with two external oscillators coupled by an InP HEMT transistor operating at cryogenic temperatures. First, the small-signal nonlinear model of the transistor at high frequency at 5 K is analyzed using quantum theory, and the related Lagrangian is theoretically derived. Subsequently, the total quantum Hamiltonian of the system is derived using Legendre transformation. The Hamiltonian of the system includes linear and nonlinear terms, by which the effects on the time evolution of the states are studied. The main result shows that the squeezed state can be generated owing to the nonlinearity of the transistor, and more importantly, it can be manipulated by some specific terms introduced in the nonlinear Hamiltonian. In fact, the nonlinearity of the transistors induces some effects such as capacitance, inductance, and second-order transconductance, by which the properties of the external oscillators are changed. These changes may lead to squeezing or manipulation of the parameters related to squeezing in the oscillators. In addition, it is theoretically derived that the circuit can generate two-mode squeezing. Finally, second-order correlation (photon counting statistics) is studied as a complementary task, and the results demonstrate that the designed circuit exhibits antibunching, where the quadrature operator shows squeezing behavior.


title: StepGame: A New Benchmark for Robust Multi-Hop Spatial Reasoning in Texts

abstract: Inferring spatial relations in natural language is a crucial ability an intelligent system should possess. The bAbI dataset tries to capture tasks relevant to this domain (task 17 and 19). However, these tasks have several limitations. Most importantly, they are limited to fixed expressions, they are limited in the number of reasoning steps required to solve them, and they fail to test the robustness of models to input that contains irrelevant or redundant information. In this paper, we present a new Question-Answering dataset called StepGame for robust multi-hop spatial reasoning in texts. Our experiments demonstrate that state-of-the-art models on the bAbI dataset struggle on the StepGame dataset. Moreover, we propose a Tensor-Product based Memory-Augmented Neural Network (TP-MANN) specialized for spatial reasoning tasks. Experimental results on both datasets show that our model outperforms all the baselines with superior generalization and robustness performance.


title: Experimental Visualization of Dispersion Characteristics of Backward Volume Spin Wave Modes

abstract: Basing on the measurement of spatial spectra (spectra of wavenumbers), the dispersion characteristics of the first three modes of backward volume spin wave, propagating along the direction of a constant uniform magnetic field in a tangentially magnetized ferrite film, were visualized firstly. The study was carried out by microwave probing of spin waves with subsequent use of spatial Fourier analysis of the complex wave amplitude for a series of frequencies. It was found that every m-th mode of the backward volume spins wave can be split into n satellite modes due to the existence of layers with similar magnetic parameters in ferrite film. It was found that satellites of the first mode of this wave are excited most effectively, while satellites of the third mode - least effectively, and the effectiveness of satellites excitation decreases as the number n increases. It is found that the theoretical dispersion dependencies of the first three modes of the wave coincide well with the experimental dispersion dependencies of the satellite mode that are excited most effectively.


title: VCDM and Cuscuton

abstract: We investigate two Type-IIa Minimally Modified Gravity theories, namely VCDM and Cuscuton theories. We confirm that all acceptable Cuscuton solutions are always solutions for VCDM theory. However, the inverse does not hold. We find that VCDM allows for the existence of exact General Relativity (GR) solutions with or without the presence of matter fields and a cosmological constant. We determine the conditions of existence for such GR-VCDM solutions in terms of the trace of the extrinsic curvature and on the fields which define the VCDM theory. On the other hand, for the Cuscuton theory, we find that the same set of exact GR solutions (such as Schwarzschild and Kerr spacetimes) is not compatible with timelike configurations of the Cuscuton field and therefore cannot be considered as acceptable solutions. Nonetheless, in Cuscuton theory, there could exist solutions which are not the same but close enough to GR solutions. We also show the conditions to determine intrinsic-VCDM solutions, i.e. solutions which differ from GR and do not belong to the Cuscuton model. We finally show that in cosmology a mapping between VCDM and the Cuscuton is possible, for a generic form of the VCDM potential. In particular, we find that for a quadratic potential in VCDM theory, this mapping is well defined giving an effective redefinition of the Planck mass for the cosmological background solutions of both theories.


title: Ill-posedness for the stationary Navier-Stokes equations in critical Besov spaces

abstract: This paper presents some progress toward an open question which proposed by Tsurumi (Arch. Ration. Mech. Anal. 234:2, 2019): whether or not the stationary Navier-Stokes equations in $\R^d$ is well-posed from $\dot{B}_{p, q}^{-2}$ to $\mathbb{P} \dot{B}_{p, q}^{0}$ with $p=d$ and $1 \leq q \leq 2$. In this paper, we prove that for the case $1\leq q<\frac d2$ with $d\geq4$ the stationary Navier-Stokes equations is ill-posed from $\dot{B}_{d, q}^{-2}(\R^d)$ to $\mathbb{P} \dot{B}_{d, q}^{0}(\R^d)$ by showing that a sequence of external forces is constructed to show discontinuity of the solution map at zero. Indeed in such case of $q$, there exists a sequence of external forces which converges to zero in $\dot{B}_{d, q}^{-2}$ and yields a sequence of solutions which does not converge to zero in $\dot{B}_{d, q}^{0}$. In particular, we also prove that the stationary Navier-Stokes equations is well-posed from $\dot{B}_{d, 2}^{-2}(\R^d)$ to $\mathbb{P} \dot{B}_{d, 2}^{0}(\R^d)$ with $d=3,4$. Based on these two cases, we demonstrate that the above open question for the dimension $d\geq4$ has been solved completely.


title: Engineering an Interstellar Communications Network by Deploying Relay Probes

abstract: We develop a model for an interstellar communication network that is composed of relay nodes that transmit diffraction-limited beams of photons. We provide a multi-dimensional rationale for such a network of communication in lieu of interstellar beacons. We derive a theoretical expression for the bit rate of communication based on fundamental physics, constrained by the energy available for photons and the diffraction of the beam that dilutes the information by the inverse square law. We find that meter-scale probes are severely limited in their bit rate, under 1 Gbps, over distances of a light year. However, that bit rate is proportional to the 4th power of the size of the optics that transmit and receive the photons, and inversely proportional to the square of the distance between them, thus favoring large optics and short separations between nodes. The optimized architecture of interstellar communication consists of a network of nodes separated by sub-light-year distances and strung out between neighboring stars.

categories: physics.pop-ph astro-ph.EP astro-ph.GA astro-ph.IM astro-ph.SR


title: All-Loop Four-Point Aharony-Bergman-Jafferis-Maldacena Amplitudes from Dimensional Reduction of the Amplituhedron

abstract: We define a new geometry obtained from the all-loop amplituhedron in ${\cal N}=4$ SYM by reducing its four-dimensional external and loop momenta to three dimensions. Focusing on the simplest four-point case, we provide strong evidence that the canonical form of this ``reduced amplituhedron" gives the all-loop integrand of the ABJM four-point amplitude. In addition to various all-loop cuts manifested by the geometry, we present explicitly new results for the integrand up to five loops, which are much simpler than results in ${\cal N}=4$ SYM. One of the reasons for such all-loop simplifications is that only a very small fraction of the so-called negative geometries survive the dimensional reduction, which corresponds to bipartite graphs. Our results suggest an unexpected relation between four-point amplitudes in these two theories.


title: Hidden Quantum Memory: Is Memory There When Somebody Looks?

abstract: In classical physics, memoryless dynamics and Markovian statistics are one and the same. This is not true for quantum dynamics, first and foremost because quantum measurements are invasive. Going beyond measurement invasiveness, here we derive a novel distinction between classical and quantum processes, namely the possibility of hidden quantum memory. While Markovian statistics of classical processes can always be reproduced by a memoryless dynamical model, our main result shows that this is not true in quantum mechanics: We first provide an example of quantum non-Markovianity whose manifestation depends on whether or not a previous measurement is performed -- an impossible phenomenon for memoryless dynamics; we then strengthen this result by demonstrating statistics that are Markovian independent of how they are probed, but are nonetheless still incompatible with memoryless quantum dynamics. Thus, we establish the existence of Markovian statistics gathered by probing a quantum process that nevertheless fundamentally require memory for their creation.


title: Continuity of the drift in groups acting on strongly hyperbolic spaces

abstract: The Avalanche principle, in its original setting, together with large deviations yields a systematic way of proving the continuity of the Lyapunov exponent. In this text we present a geometric version of the Avalanche Principle in the context of hyperbolic spaces, which will extend the usage of these techniques to study the drift in such spaces. This continuity criteria applies not only to the drift but also to the limit point of the process itself. We apply this abstract result to derive continuity of the drift for Markov processes in strongly hyperbolic spaces.


title: Axiomatic Characterizations of Draft Rules

abstract: Drafts are sequential allocation procedures for distributing heterogeneous and indivisible objects among agents subject to some priority order (e.g., allocating players' contract rights to teams in professional sports leagues). Agents report ordinal preferences over objects and bundles are partially ordered by pairwise comparison. We provide a simple characterization of draft rules: they are the only allocation rules which are respectful of a priority (RP), envy-free up to one object (EF1), non-wasteful (NW) and resource monotonic (RM). RP and EF1 are crucial for competitive balance in sports leagues. We also prove three related impossibility theorems showing that the competitive-balance axioms RP and EF1 are generally incompatible with strategy-proofness. However, draft rules satisfy maxmin strategy-proofness. If agents may declare some objects unacceptable, then draft rules are characterized by RP, EF1, NW, and RM, in conjunction with individual rationality and truncation invariance. In a model with variable populations, draft rules are characterized by EF1, EFF, and RM, together with (population) consistency, top-object consistency, and neutrality.