title: A machine learning-based classification approach for phase diagram prediction

abstract: Knowledge of phase diagrams is essential for material design as it helps in understanding microstructure evolution during processing. The determination of phase diagrams is thus one of the central tasks in materials science. When exploring new materials for which the phase diagram is unknown, experimentalists often try to determine the key experiments that should be performed by referencing known phase diagrams of similar systems. To enhance this practical strategy, we attempted to estimate unknown phase diagrams based on known phase diagrams using a machine learning-based classification approach. As a proof of concept, we focused on predicting the number of coexisting phases across the 800 K isothermal section of each of the 10 ternaries of the Al-Cu-Mg-Si-Zn system from the other 9 sections. To increase the prediction accuracy, we introduced new descriptors generated from the thermodynamic properties of the elements and CALPHAD extrapolations from lower-order systems. Using the random forest method, the presence of single-, two-, and three-phase domains was predicted with an average accuracy of 84% across all 10 considered sections with a standard deviation of 11%. The proposed approach represents a promising tool for assisting the investigator in developing new materials and determining phase equilibria efficiently.


title: Mission Design of DESTINY+: Toward Active Asteroid (3200) Phaethon and Multiple Small Bodies

abstract: DESTINY+ is an upcoming JAXA Epsilon medium-class mission to fly by the Geminids meteor shower parent body (3200) Phaethon. It will be the world's first spacecraft to escape from a near-geostationary transfer orbit into deep space using a low-thrust propulsion system. In doing so, DESTINY+ will demonstrate a number of technologies that include a highly efficient ion engine system, lightweight solar array panels, and advanced asteroid flyby observation instruments. These demonstrations will pave the way for JAXA's envisioned low-cost, high-frequency space exploration plans. Following the Phaethon flyby observation, DESTINY+ will visit additional asteroids as its extended mission. The mission design is divided into three phases: a spiral-shaped apogee-raising phase, a multi-lunar-flyby phase to escape Earth, and an interplanetary and asteroids flyby phase. The main challenges include the optimization of the many-revolution low-thrust spiral phase under operational constraints; the design of a multi-lunar-flyby sequence in a multi-body environment; and the design of multiple asteroid flybys connected via Earth gravity assists. This paper shows a novel, practical approach to tackle these complex problems, and presents feasible solutions found within the mass budget and mission constraints. Among them, the baseline solution is shown and discussed in depth; DESTINY+ will spend two years raising its apogee with ion engines, followed by four lunar gravity assists, and a flyby of asteroids (3200) Phaethon and (155140) 2005 UD. Finally, the flight operations plan for the spiral phase and the asteroid flyby phase are presented in detail.


title: Duality for p-adic \'etale Tate Twists with modulus

abstract: In this paper, we define p-adic \'etale Tate twists for a modulus pair (X,D), where X is a regular semi-stable family and D is an effective Cartier divisor on X which is flat over a base scheme. The main result of this paper is an arithmetic duality of p-adic \'etale Tate twists for proper modulus pairs (X,D), which holds as a pro-system with respect to the multiplicities of the irreducible components of D.


title: Discrete Phase Space-Continuous Time Relativistic Klein-Gordon and Dirac Equations, and a New Non-Singular Yukawa Potential

abstract: This paper deals with the second quantization of interacting relativistic Fermionic and Bosonic fields in the arena of discrete phase space and continuous time. The mathematical formulation involves partial difference equations. The corresponding Feynman diagrams and a new $S^{\#}$-matrix theory is developed. In the special case of proton-proton Moller scattering via an exchange of a neutral meson, the explicit second order element $\langle f | S^{\#}_{(2)} |i \rangle$ is deduced. In the approximation of very low external three-momenta, a new Yukawa potential is explicitly derived from $\langle f | S^{\#}_{(2)} |i \rangle$. Moreover, it is rigorously proved that this new Yukawa potential is divergence-free. The mass parameter of the exchanged meson may be set to zero to obtain a type of scalar Boson exchange between hypothetical Fermions. This provides a limiting case of a new Coulomb type potential directly from the new singularity free Yukawa potential. A divergence-free Coulomb potential between two Fermions at two discrete points is shown to be proportional to the Euler beta function. Within this relativistic discrete phase space continuous time, a single quanta is shown to occupy the hyper-tori $S^{1}_{n^1} \times S^{1}_{n^3} \times S^{1}_{n^3}$ where $S^{1}_{n}$ is a circle of radius $\sqrt{2n+1}$.


title: Radially excited (n=3)charm mesons in heavy quark effective theory

abstract: By exploring heavy quark effective theory (HQET), we use theoretical available data for bottom mesons to analysis the masses and decays for n = 3 charm mesons. From the predicted masses, we studied ground state strong decay modes in terms of couplings. Comparing the decays with available total decay widths, we provide upper bounds on the associated couplings. We also plot Regge trajectories for our predicted data in planes (J, $M^2$ ) and ($n_r$, $M^2$ ) and estimated higher masses (n = 4) by fixing Regge slopes and intercepts. These Regge trajectories are used to clarify $D_2^*(3000)$ state's $J^P$ as 1F ($2^+$) state. The presented results may further get confirmation through upcoming experimental information.


title: Global Existence for The Massive Dirac Equations with small initial datum on Tori

abstract: In the article we obtain almost global existence for Dirac Equations with high regularity and small initial datum on Tori. Besides, the global existence with low regularity and small initial datum is gotten. The approaches are mainly Gagliardo-Nirenberg-Moser estimates and Bernstein-Type Lemma.


title: Giant $g$-factors and fully spin-polarized states in metamorphic short-period InAsSb/InSb superlattices

abstract: Realizing a large Land\'{e} $g$-factor of electrons in solid-state materials has long been thought of as a rewarding task as it can trigger abundant immediate applications in spintronics and quantum computing. Here, by using metamorphic InAsSb/InSb superlattices (SLs), we demonstrate an unprecedented high value of $g\approx 104$, twice larger than that in bulk InSb, and fully spin-polarized states at low magnetic fields. In addition, we show that the $g$-factor can be tuned on demand from 20 to 110 via varying the SL period. The key ingredients of such a wide tunability are the wavefunction mixing and overlap between the electron and hole states, which have drawn little attention in prior studies. Our work not only establishes metamorphic InAsSb/InSb as a promising and competitive material platform for future quantum devices but also provides a new route toward $g$-factor engineering in semiconductor structures.


title: Planar Black Holes as a Route to Understanding the Weak Gravity Conjecture

abstract: One version of the Weak Gravity Conjecture requires that it should be possible for an extremal black hole to emit a smaller black hole: that is, the original black hole bifurcates. For asymptotically flat and asymptotically AdS Reissner-Nordstr\"{o}m black holes with spherical event horizons, such a bifurcation reduces the total classical entropy of the system, and so it is apparently forbidden by the second law of thermodynamics. It may well be possible to remedy this by taking other (for example, quantum-gravitational) effects into account, but it is difficult to understand this in a quantitative way. In the case of asymptotically AdS Reissner-Nordstr\"{o}m black holes with \emph{planar} event horizons, however, one can show that bifurcations are definitely compatible with the second law. (Naked singularities, generated by the bifurcation, may play an important role here.) Furthermore, in this case one can exhibit a detailed mechanism explaining precisely why planar black holes must indeed be unstable (through emission of branes) when they are sufficiently close to extremality. Thus planar black holes can improve our understanding of the WGC.


title: SMSE: A Serverless Platform for Multimedia Cloud Systems

abstract: Along with the rise of domain-specific computing (ASICs hardware) and domain-specific programming languages, we envision that the next step is the emergence of domain-specific cloud platforms. Developing such platforms for popular applications in the serverless manner, not only can offer a higher efficiency to both users and providers, it can also expedite the application development cycles and enable users to become solution-oriented and focus on their specific business logic. Considering multimedia streaming as one of the most trendy applications in the IT industry, the goal of this study is to develop SMSE, the first domain-specific serverless platform for multimedia streaming. SMSE democratizes multimedia service development via enabling content providers (or even end-users) to rapidly develop their desired functionalities on their multimedia contents. Upon developing SMSE, the next goal of this study is to deal with its efficiency challenges and develop a function container provisioning method that can efficiently utilize cloud resources and improve the users' QoS. In particular, we develop a dynamic method that provisions durable or ephemeral containers depending on the spatiotemporal and data-dependency characteristics of the functions. Evaluating the prototype implementation of SMSE under real-world settings demonstrates its capability to reduce both the containerization overhead, and the makespan time of serving multimedia processing functions (by up to 30%) in compare to the function provision methods that are being used in the general-purpose serverless cloud systems.


title: On conditioned limit structure of the Markov branching process without finite second moment

abstract: Consider the continuous-time Markov Branching Process. In critical case we consider a situation when the generating function of intensity of transformation of particles has the infinite second moment, but its tail regularly varies in sense of Karamata. First we discuss limit properties of transition functions of the process. We prove local limit theorems and investigate ergodic properties of the process. Further we investigate limiting probability function conditioned to be never extinct. Hereupon we obtain a new stochastic population process as a continuous-time Markov chain called the Markov Q-Process. We study main properties of Markov Q-Process.


title: Efficiently Disentangle Causal Representations

abstract: This paper proposes an efficient approach to learning disentangled representations with causal mechanisms based on the difference of conditional probabilities in original and new distributions. We approximate the difference with models' generalization abilities so that it fits in the standard machine learning framework and can be efficiently computed. In contrast to the state-of-the-art approach, which relies on the learner's adaptation speed to new distribution, the proposed approach only requires evaluating the model's generalization ability. We provide a theoretical explanation for the advantage of the proposed method, and our experiments show that the proposed technique is 1.9--11.0$\times$ more sample efficient and 9.4--32.4 times quicker than the previous method on various tasks. The source code is available at \url{https://github.com/yuanpeng16/EDCR}.


title: Machine Learning: Algorithms, Models, and Applications

abstract: Recent times are witnessing rapid development in machine learning algorithm systems, especially in reinforcement learning, natural language processing, computer and robot vision, image processing, speech, and emotional processing and understanding. In tune with the increasing importance and relevance of machine learning models, algorithms, and their applications, and with the emergence of more innovative uses cases of deep learning and artificial intelligence, the current volume presents a few innovative research works and their applications in real world, such as stock trading, medical and healthcare systems, and software automation. The chapters in the book illustrate how machine learning and deep learning algorithms and models are designed, optimized, and deployed. The volume will be useful for advanced graduate and doctoral students, researchers, faculty members of universities, practicing data scientists and data engineers, professionals, and consultants working on the broad areas of machine learning, deep learning, and artificial intelligence.


title: Time as Change

abstract: According to Aristotle "time is the number of change with respect to the before and after". That's certainly a vague concept, but at the same time it's both simple and satisfying from a philosophical point of view: things do not change along time, but they do change and the measurement of such changes is what we call time. This deprives time of any attribute of substantiality, meanwhile depriving it of all problems in defining the properties of time as a substance. With the rise of Classical Mechanics, Aristotle's view is abandoned and Newton's concept of "true" and absolute time imposes itself; time flows independently on changes of any kind. Relativity will then radically modify our concept of time, but won't actually modify the fundamental idea: things keep changing along time -- changes do not make time. This work will argue Aristotle's thesis, showing how such an approach automatically leads to the principles of Special Relativity. An interesting consequence and, at least virtually, measurable will also be highlighted: the fact that synchronizing two clocks with a precision greater than a certain scale is impossible, estimating such scale around $10^{-22}$s.


title: Circuit quantization with time-dependent flux:the parallel-plate SQUID

abstract: Quantum circuit theory has emerged as an essential tool for the study of the dynamics of superconducting circuits. Recently, the problem of accounting for time-dependent driving via external magnetic fields was addressed by Riwar-DiVincenzo in their paper - 'Circuit quantization with time-dependent magnetic fields for realistic geometries' in which they proposed a technique to construct a low-energy Hamiltonian for a given circuit geometry, taking as input the external magnetic field interacting with the geometry. This result generalises previous efforts that dealt only with discrete circuits. Moreover, it shows through the example of a parallel-plate SQUID circuit that assigning individual, discrete capacitances to each individual Josephson junction, as proposed by treatments of discrete circuits, is only possible if we allow for negative, time-dependent and even singular capacitances. In this report, we provide numerical evidence to substantiate this result by performing finite-difference simulations on a parallel-plate SQUID. We furnish continuous geometries with a uniform magnetic field whose distribution we vary such that the capacitances that are to be assigned to each Josephson junction must be negative and even singular. Thus, the necessity for time-dependent capacitances for appropriate quantization emerges naturally when we allow the distribution of the magnetic field to change with time.


title: Nondivergent deflection of light around a photon sphere of a compact object

abstract: We demonstrate that the location of a stable photon sphere (PS) in a compact object is not always an edge such as the inner boundary of a black hole shadow, whereas the location of an unstable PS is known to be the shadow edge notably in the Schwarzschild black hole. If a static spherically symmetric (SSS) spacetime has the stable outermost PS, the spacetime cannot be asymptotically flat. A nondivergent deflection is caused for a photon traveling around a stable PS, though a logarithmic divergent behavior is known to appear in most of SSS compact objects with an unstable photon sphere. The reason for the nondivergence is that the closest approach of a photon is prohibited in the immediate vicinity of the stable PS when the photon is emitted from a source (or reaches a receiver) distant from a lens object. The finite gap size depends on the receiver and source distances from the lens as well as the lens parameters. The mild deflection angle of light can be approximated by an arcsine function. A class of SSS solutions in Weyl gravity exemplify the nondivergent deflection near the stable outer PS.


title: Spatially resolved optical spectroscopy in extreme environment of low temperature, high magnetic fields and high pressure

abstract: We present an experimental set-up developed to perform optical spectroscopy experiments (Raman scattering and photoluminescence measurements) with a micrometer spatial resolution, in an extreme environment of low temperature, high magnetic field and high pressure. This unique experimental setup, to the best of our knowledge, allows us to explore deeply the phase diagram of condensed matter systems by tuning independently these three thermodynamic parameters, while monitoring the low-energy excitations (electronic, phononic or magnetic excitations), to spatially map the Raman scattering response or to investigate objects with low dimensions. We apply this technique to bulk FePS3, a layered antiferromagnet with a Neel temperature of T = 120 K.


title: Evaluation of Distributed Data Processing Frameworks in Hybrid Clouds

abstract: Distributed data processing frameworks (e.g., Hadoop, Spark, and Flink) are widely used to distribute data among computing nodes of a cloud. Recently, there have been increasing efforts aimed at evaluating the performance of distributed data processing frameworks hosted in private and public clouds. However, there is a paucity of research on evaluating the performance of these frameworks hosted in a hybrid cloud, which is an emerging cloud model that integrates private and public clouds to use the best of both worlds. Therefore, in this paper, we evaluate the performance of Hadoop, Spark, and Flink in a hybrid cloud in terms of execution time, resource utilization, horizontal scalability, vertical scalability, and cost. For this study, our hybrid cloud consists of OpenStack (private cloud) and MS Azure (public cloud). We use both batch and iterative workloads for the evaluation. Our results show that in a hybrid cloud (i) the execution time increases as more nodes are borrowed by the private cloud from the public cloud, (ii) Flink outperforms Spark, which in turn outperforms Hadoop in terms of execution time, (iii) Hadoop transfers the largest amount of data among the nodes during the workload execution while Spark transfers the least amount of data, (iv) all three frameworks horizontally scale better as compared to vertical scaling, and (v) Spark is found to be least expensive in terms of $ cost for data processing while Hadoop is found the most expensive.


title: Unbounded-energy solutions to the fluid+disk system and long-time behavior for large initial data

abstract: In this paper, we analyse the long-time behavior of solutions to a coupled system describing the motion of a rigid disk in a 2D viscous incompressible fluid. Following previous approaches, we look at the problem in the system of coordinates associated with the center of mass of the disk. Doing so, we introduce a further nonlinearity to the classical Navier Stokes equations. In comparison with the classical nonlinearities, this new term lacks time and space integrability, thus complicating strongly the analysis of the long-time behavior of solutions. We provide herein two refined tools : a refined analysis of the Gagliardo-Nirenberg inequalities and a thorough description of fractional powers of the so-called fluid-structure operator. On the basis of these two tools we extend previous decay estimates to arbitrary initial data and show local stability of the Lamb-Oseen vortex.


title: Spectral coherence properties of continuum generation in bulk crystals

abstract: The stability of the phase difference between two white-light continua, generated from the same 180-fs pulses at 1035\,nm, is assessed by a modified Bellini-Hansch interferometer. Mutual spectral stability is studied as a function of several parameters: position of the nonlinear crystal with respect to the beam waist, interaction length, and pulse energy. Intensity-to-phase coupling coefficients are measured and stability regions are identified.


title: On the geometric convergence for MALA under verifiable conditions

abstract: While the Metropolis Adjusted Langevin Algorithm (MALA) is a popular and widely used Markov chain Monte Carlo method, very few papers derive conditions that ensure its convergence. In particular, to the authors' knowledge, assumptions that are both easy to verify and guarantee geometric convergence, are still missing. In this work, we establish $V$-uniformly geometric convergence for MALA under mild assumptions about the target distribution. Unlike previous work, we only consider tail and smoothness conditions for the potential associated with the target distribution. These conditions are quite common in the MCMC literature and are easy to verify in practice. Finally, we pay special attention to the dependence of the bounds we derive on the step size of the Euler-Maruyama discretization, which corresponds to the proposal Markov kernel of MALA.


title: Decision trees for regular factorial languages

abstract: In this paper, we study arbitrary regular factorial languages over a finite alphabet $\Sigma$. For the set of words $L(n)$ of the length $n$ belonging to a regular factorial language $L$, we investigate the depth of decision trees solving the recognition and the membership problems deterministically and nondeterministically. In the case of recognition problem, for a given word from $L(n)$, we should recognize it using queries each of which, for some $ i\in \{1,\ldots ,n\}$, returns the $i$th letter of the word. In the case of membership problem, for a given word over the alphabet $\Sigma$ of the length $n$, we should recognize if it belongs to the set $L(n)$ using the same queries. For a given problem and type of trees, instead of the minimum depth $h(n)$ of a decision tree of the considered type solving the problem for $L(n)$, we study the smoothed minimum depth $H(n)=\max\{h(m):m\le n\}$. With the growth of $n$, the smoothed minimum depth of decision trees solving the problem of recognition deterministically is either bounded from above by a constant, or grows as a logarithm, or linearly. For other cases (decision trees solving the problem of recognition nondeterministically, and decision trees solving the membership problem deterministically and nondeterministically), with the growth of $n$, the smoothed minimum depth of decision trees is either bounded from above by a constant or grows linearly. As corollaries of the obtained results, we study joint behavior of smoothed minimum depths of decision trees for the considered four cases and describe five complexity classes of regular factorial languages. We also investigate the class of regular factorial languages over the alphabet $\{0,1\}$ each of which is given by one forbidden word.


title: Aerial Scene Parsing: From Tile-level Scene Classification to Pixel-wise Semantic Labeling

abstract: Given an aerial image, aerial scene parsing (ASP) targets to interpret the semantic structure of the image content, e.g., by assigning a semantic label to every pixel of the image. With the popularization of data-driven methods, the past decades have witnessed promising progress on ASP by approaching the problem with the schemes of tile-level scene classification or segmentation-based image analysis, when using high-resolution aerial images. However, the former scheme often produces results with tile-wise boundaries, while the latter one needs to handle the complex modeling process from pixels to semantics, which often requires large-scale and well-annotated image samples with pixel-wise semantic labels. In this paper, we address these issues in ASP, with perspectives from tile-level scene classification to pixel-wise semantic labeling. Specifically, we first revisit aerial image interpretation by a literature review. We then present a large-scale scene classification dataset that contains one million aerial images termed Million-AID. With the presented dataset, we also report benchmarking experiments using classical convolutional neural networks (CNNs). Finally, we perform ASP by unifying the tile-level scene classification and object-based image analysis to achieve pixel-wise semantic labeling. Intensive experiments show that Million-AID is a challenging yet useful dataset, which can serve as a benchmark for evaluating newly developed algorithms. When transferring knowledge from Million-AID, fine-tuning CNN models pretrained on Million-AID perform consistently better than those pretrained ImageNet for aerial scene classification. Moreover, our designed hierarchical multi-task learning method achieves the state-of-the-art pixel-wise classification on the challenging GID, bridging the tile-level scene classification toward pixel-wise semantic labeling for aerial image interpretation.


title: Federated Optimization of Smooth Loss Functions

abstract: In this work, we study empirical risk minimization (ERM) within a federated learning framework, where a central server minimizes an ERM objective function using training data that is stored across $m$ clients. In this setting, the Federated Averaging (FedAve) algorithm is the staple for determining $\epsilon$-approximate solutions to the ERM problem. Similar to standard optimization algorithms, the convergence analysis of FedAve only relies on smoothness of the loss function in the optimization parameter. However, loss functions are often very smooth in the training data too. To exploit this additional smoothness, we propose the Federated Low Rank Gradient Descent (FedLRGD) algorithm. Since smoothness in data induces an approximate low rank structure on the loss function, our method first performs a few rounds of communication between the server and clients to learn weights that the server can use to approximate clients' gradients. Then, our method solves the ERM problem at the server using inexact gradient descent. To show that FedLRGD can have superior performance to FedAve, we present a notion of federated oracle complexity as a counterpart to canonical oracle complexity. Under some assumptions on the loss function, e.g., strong convexity in parameter, $\eta$-H\"older smoothness in data, etc., we prove that the federated oracle complexity of FedLRGD scales like $\phi m(p/\epsilon)^{\Theta(d/\eta)}$ and that of FedAve scales like $\phi m(p/\epsilon)^{3/4}$ (neglecting sub-dominant factors), where $\phi\gg 1$ is a "communication-to-computation ratio," $p$ is the parameter dimension, and $d$ is the data dimension. Then, we show that when $d$ is small and the loss function is sufficiently smooth in the data, FedLRGD beats FedAve in federated oracle complexity. Finally, in the course of analyzing FedLRGD, we also establish a result on low rank approximation of latent variable models.


title: Proto-neutron star evolution with improved charged-current neutrino-nucleon interactions

abstract: We perform simulations of the Kelvin-Helmholtz cooling phase of proto-neutron stars with a new numerical code in spherical symmetry and using the quasi-static approximation. We use for the first time the full set of charged-current neutrino-nucleon reactions, including neutron decay and modified Urca processes, together with the energy-dependent numerical representation for the inclusion of nuclear correlations with random-phase approximation. Moreover, convective motions are taken into account within the mixing-length theory. As we vary the assumptions for computing neutrino-nucleon reaction rates, we show that the dominant effect on the cooling timescale, neutrino signal and composition of the neutrino-driven wind comes from the inclusion of convective motion. Computation of nuclear correlations within the random phase approximation, as compared to mean field approach, has a relatively small impact.


title: HuSpaCy: an industrial-strength Hungarian natural language processing toolkit

abstract: Although there are a couple of open-source language processing pipelines available for Hungarian, none of them satisfies the requirements of today's NLP applications. A language processing pipeline should consist of close to state-of-the-art lemmatization, morphosyntactic analysis, entity recognition and word embeddings. Industrial text processing applications have to satisfy non-functional software quality requirements, what is more, frameworks supporting multiple languages are more and more favored. This paper introduces HuSpaCy, an industry-ready Hungarian language processing toolkit. The presented tool provides components for the most important basic linguistic analysis tasks. It is open-source and is available under a permissive license. Our system is built upon spaCy's NLP components resulting in an easily usable, fast yet accurate application. Experiments confirm that HuSpaCy has high accuracy while maintaining resource-efficient prediction capabilities.


title: Gravitational energy-momentum pseudo-tensor in Palatini and metric $f(R)$ gravity

abstract: We derive the gravitational energy-momentum pseudo-tensor $\tau^\mu_{\phantom{\mu}\nu}$ in both Palatini and metric approaches to $f(R)$ gravity. We then obtain the related cosmological gravitational energy density. Considering a flat Friedmann-Lema\^itre-Robertson-Walker spacetime, the energy density complex of matter and gravitation vanishes in the metric approach, but results non-vanishing in the Palatini formalism. This feature could be relevant in order to physically discriminate between the two approaches.


title: SQUAD: Combining Sketching and Sampling Is Better than Either for Per-item Quantile Estimation

abstract: Stream monitoring is fundamental in many data stream applications, such as financial data trackers, security, anomaly detection, and load balancing. In that respect, quantiles are of particular interest, as they often capture the user's utility. For example, if a video connection has high tail latency, the perceived quality will suffer, even if the average and median latencies are low. In this work, we consider the problem of approximating the per-item quantiles. Elements in our stream are (ID, latency) tuples, and we wish to track the latency quantiles for each ID. Existing quantile sketches are designed for a single number stream (e.g., containing just the latency). While one could allocate a separate sketch instance for each ID, this may require an infeasible amount of memory. Instead, we consider tracking the quantiles for the heavy hitters (most frequent items), which are often considered particularly important, without knowing them beforehand. We first present a simple sampling algorithm that serves as a benchmark. Then, we design an algorithm that augments a quantile sketch within each entry of a heavy hitter algorithm, resulting in similar space complexity but with a deterministic error guarantee. Finally, we present SQUAD, a method that combines sampling and sketching while improving the asymptotic space complexity. Intuitively, SQUAD uses a background sampling process to capture the behaviour of the latencies of an item before it is allocated with a sketch, thereby allowing us to use fewer samples and sketches. Our solutions are rigorously analyzed, and we demonstrate the superiority of our approach using extensive simulations.


title: Super-fast spreading of billiard orbits in rational polygons and geodesics on translation surfaces

abstract: In this paper, we show that billiard orbits in rational polygons and geodesics on translation surfaces exhibit super-fast spreading, an optimal time-quantitative majority property about the corresponding linear flow that implies uniformity in almost every direction.


title: Zee model with quasidegenerate neutrino masses and where to find it

abstract: We present a Zee model with a family dependent $Z_2$ symmetry for radiative neutrino masses. Our motivation is to get a model that correctly describes neutrino oscillation phenomena, while at the same time offers definite predictions. The imposed $Z_2$ symmetry greatly reduces the number of free parameters in the model. These parameters are then determined from the neutrino data, from which one can study its outcomes. Our setup only admits quasidegenerate neutrino masses with the sum of neutrino masses between 100 and 130 meV, the effective Majorana mass between 20 and 40 meV, and the effective electron neutrino mass between 48 and 53 meV. The ratio of the vacuum expectation values of the Higgs doublets, $\tbeta$, is found to be $\tbeta\lesssim 0.5$ and $\tbeta\gtrsim 10$. The former is ruled out by lepton flavor violation (LFV) processes, such as $\mu\to e\gamma$ and $\mu\to e$ conversion, which are determined up to two loops. For the latter, these LFV processes are within reach of the next generation of experiments. Moreover, for $\tbeta\gtrsim10$, the couplings of heavy neutral scalars to dimuon are significant. If they are sufficiently light, i.e., $\lesssim200$ GeV, collider search for their decays into muon pair provides a stronger constraint on most parts of the model parameter space than the LFV ones.


title: Diversity-boosted Generalization-Specialization Balancing for Zero-shot Learning

abstract: Zero-Shot Learning (ZSL) aims to transfer classification capability from seen to unseen classes. Recent methods have proved that generalization and specialization are two essential abilities to achieve good performance in ZSL. However, focusing on only one of the abilities may result in models that are either too general with degraded classification ability or too specialized to generalize to unseen classes. In this paper, we propose an end-to-end network, termed as BGSNet, which equips and balances generalization and specialization abilities at the instance and dataset level. Specifically, BGSNet consists of two branches: the Generalization Network (GNet), which applies episodic meta-learning to learn generalized knowledge, and the Balanced Specialization Network (BSNet), which adopts multiple attentive extractors to extract discriminative features and achieve instance-level balance. A novel self-adjusted diversity loss is designed to optimize BSNet with redundancy reduced and diversity boosted. We further propose a differentiable dataset-level balance and update the weights in a linear annealing schedule to simulate network pruning and thus obtain the optimal structure for BSNet with dataset-level balance achieved. Experiments on four benchmark datasets demonstrate our model's effectiveness. Sufficient component ablations prove the necessity of integrating and balancing generalization and specialization abilities.


title: Hamiltonian systems on almost cosymplectic manifolds

abstract: We determine the Hamiltonian vector field on an odd dimensional manifold endowed with almost cosymplectic structure. This is a generalization of the corresponding Hamiltonian vector field on manifolds with almost transitive contact structures, which extends the contact Hamiltonian systems. Applications are presented to the equations of motion on a particular five-dimensional manifold, the extended Siegel-Jacobi upper-half plane $\tilde{\mathcal{X}}^J_1$. The $\tilde{\mathcal{X}}^J_1$ manifold is endowed with a generalized transitive almost cosymplectic structure, an almost cosymplectic structure, more general than transitive almost contact structure and cosymplectic structure.The equations of motion on $\tilde{\mathcal{X}}^J_1$ extend the Riccati equations of motion on the four-dimensional Siegel-Jacobi manifold $\mathcal{X}^J_1$ attached to a linear Hamiltonian in the generators of the real Jacobi group $G^J_1(\mathbb{R})$.


title: Anomalous enhancement of dilepton production as a precursor of color superconductivity

abstract: We compute the modification of the photon self-energy due to dynamical diquark fluctuations developed near the critical temperature of the color superconductivity through the Aslamasov-Larkin, Maki-Thompson and density of states terms, which are responsible for the paraconductivity in metals at vanishing energy and momentum. It is shown that the rate has a significant enhancement at low invariant-mass region over a rather wide range of temperature in the normal phase. This enhancement is worth exploration in the relativistic heavy-ion collisions, which may thereby reveal the significance of the diquark fluctuations in dense quark matter.


title: Non-relativistic Conformal Field Theory in the Presence of Boundary

abstract: We study non-relativistic conformal field theory on a flat space in the presence of a planar boundary. We compute correlation functions of primary operators and obtain the expression for the boundary conformal block. We also discuss the non-relativistic conformal field theory on a general curved background in the presence of a boundary. As an example, we discuss the spectrum of boundary primary operator and compute scaling dimensions in a fermionic theory near one and three spatial dimensions.


title: Efficient Global Optimization of Two-layer ReLU Networks: Quadratic-time Algorithms and Adversarial Training

abstract: The non-convexity of the artificial neural network (ANN) training landscape brings inherent optimization difficulties. While the traditional back-propagation stochastic gradient descent (SGD) algorithm and its variants are effective in certain cases, they can become stuck at spurious local minima and are sensitive to initializations and hyperparameters. Recent work has shown that the training of an ANN with ReLU activations can be reformulated as a convex program, bringing hope to globally optimizing interpretable ANNs. However, naively solving the convex training formulation has an exponential complexity, and even an approximation heuristic requires cubic time. In this work, we characterize the quality of this approximation and develop two efficient algorithms that train ANNs with global convergence guarantees. The first algorithm is based on the alternating direction method of multiplier (ADMM). It solves both the exact convex formulation and the approximate counterpart. Linear global convergence is achieved, and the initial several iterations often yield a solution with high prediction accuracy. When solving the approximate formulation, the per-iteration time complexity is quadratic. The second algorithm, based on the "sampled convex programs" theory, is simpler to implement. It solves unconstrained convex formulations and converges to an approximately globally optimal classifier. The non-convexity of the ANN training landscape exacerbates when adversarial training is considered. We apply the robust convex optimization theory to convex training and develop convex formulations that train ANNs robust to adversarial inputs. Our analysis explicitly focuses on one-hidden-layer fully connected ANNs, but can extend to more sophisticated architectures.


title: Spatial and Temporal Chaos of a Bardeen-AdS Black Hole and Effects of Quintessence Dark Energy

abstract: Thermal chaos under spatially/temporally periodic perturbations in the extended phase space of Bardeen-AdS black holes surrounded by quintessence dark energy is investigated. The occurring condition of chaos is obtained with the Melnikov integral. It is shown that spatial chaos is always supposed to occur even for a tiny spatially periodic perturbation imposed on the equilibrium configuration. However, the temporal chaos will arise in the unstable spinodal region only if the given perturbed amplitude {\gamma} is larger than a critical value {\gamma}c. The value of {\gamma}c is determined by the magnetic monopole charge \b{eta}, the initial temperature T0, the quintessence state parameter {\omega}, and the quintessence normalization parameter a. Particularly, combining the effects of {\omega} and a together, we find that the quintessence appears quite similar to an enhancing/damped mechanism. In other words, there exists a critical value \r{ho}c of the quintessence dark energy density \r{ho}. In the region of \r{ho} < \r{ho}c, the existence of quintessence leads to a reduction in the viscosity of black holes and thus makes the system more likely to exhibit chaotic behavior. Conversely, given the energy density \r{ho} > \r{ho}c, the system acquires higher viscosity so that it is endowed with the ability to endure a larger thermal fluctuation.


title: Fibered Multicategory Theory

abstract: Given a fibration in groupoids d : D -> I, we define a fibered multicategory as a particular functor p : M -> I, where M has the same objects as D, and its arrows a : X -> Y should be thought of as families of arrows in the multicategory, indexed by pY. The key axiom extends the reindexing of objects, given by d, to a reindexing of arrows in M along pullback squares in I. When D is included in M, in an appropriate sense, one gets again fibered categories. In this context, cartesian fibered multicategories are defined and studied in a natural way.


title: An FPGA Based energy correction method for one-to-one coupled PET detector: model and evaluation

abstract: A PET scanner based on silicon photomultipliers (SiPMs) has been widely used as an advanced nuclear medicine imaging technique that yields quantitative images of regional in vivo biology and biochemistry. The compact size of the SiPM allows direct one to one coupling between the scintillation crystal and the photosensor, yielding better timing and energy resolutions than the light sharing methods that have to be used in photomultiplier tube (PMT) PET systems. To decrease the volume of readout electronics, a front end multiplexer with position decoder is a common choice for the one to one system without a highly integrated application specific integrated circuit (ASIC). However, in this case we cannot measure each crystal's deposited energy inspired by an annihilation photon, so the inter-crystal scatter (ICS) events will lead to the crystal mispositioning and then deteriorate the detector intrinsic resolution. Besides, considering the events rejection within the energy window resulting from the gain dispersion and nonlinear outputs of the SiPMs, an energy correction mechanism is needed. Yet, lack of the information of each crystal's energy will introduce large energy correction error for the ICS events. For this issue, an online energy correction mechanism implemented on a Kintext-7 Field Programmable Gate Array (FPGA) device is presented in this paper. Experiments in the laboratory were performed using an 8 x 8 segmented LYSO crystals coupled with an 8 x 8 SiPM (J-series, from ON Semiconductor) array which is under 22Na point source excitation. Test results indicate that both the energy of the non-ICS and ICS events can be precisely corrected and the energy resolution is better than 12 %. We also applied this method to an actual clinical PET scanner under a 68Ge line source to verify its multi-channel reliability.


title: Distributed aggregative optimization with quantization communication

abstract: In this paper, we focus on an aggregative optimization problem under the communication bottleneck. The aggregative optimization is to minimize the sum of local cost functions. Each cost function depends on not only local state variables but also the sum of functions of global state variables. The goal is to solve the aggregative optimization problem through distributed computation and local efficient communication over a network of agents without a central coordinator. Using the variable tracking method to seek the global state variables and the quantization scheme to reduce the communication cost spent in the optimization process, we develop a novel distributed quantized algorithm, called D-QAGT, to track the optimal variables with finite bits communication. Although quantization may lose transmitting information, our algorithm can still achieve the exact optimal solution with a linear convergence rate. Simulation experiments on an optimal placement problem is carried out to verify the correctness of the theoretical results.


title: Parallel Multi-Stage Preconditioners with Adaptive Setup for the Black Oil Model

abstract: The black oil model is widely used to describe multiphase porous media flow in the petroleum industry. The fully implicit method features strong stability and weak constraints on time step-sizes; hence, commonly used in the current mainstream commercial reservoir simulators. In this paper, a CPR-type preconditioner with an adaptive "setup phase" is developed to improve parallel efficiency of petroleum reservoir simulation. Furthermore, we propose a multi-color Gauss-Seidel (GS) algorithm for algebraic multigrid method based on the coefficient matrix of strong connections. Numerical experiments show that the proposed preconditioner can improve the parallel performance for both OpenMP and CUDA implements. Moreover, the proposed algorithm yields good parallel speedup as well as same convergence behavior as the corresponding single-threaded algorithm. In particular, for a three-phase benchmark problem, the parallel speedup of the OpenMP version is over 6.5 with 16 threads and the CUDA version reaches more than 9.5.


title: Multi-Label Classification on Remote-Sensing Images

abstract: Acquiring information on large areas on the earth's surface through satellite cameras allows us to see much more than we can see while standing on the ground. This assists us in detecting and monitoring the physical characteristics of an area like land-use patterns, atmospheric conditions, forest cover, and many unlisted aspects. The obtained images not only keep track of continuous natural phenomena but are also crucial in tackling the global challenge of severe deforestation. Among which Amazon basin accounts for the largest share every year. Proper data analysis would help limit detrimental effects on the ecosystem and biodiversity with a sustainable healthy atmosphere. This report aims to label the satellite image chips of the Amazon rainforest with atmospheric and various classes of land cover or land use through different machine learning and superior deep learning models. Evaluation is done based on the F2 metric, while for loss function, we have both sigmoid cross-entropy as well as softmax cross-entropy. Images are fed indirectly to the machine learning classifiers after only features are extracted using pre-trained ImageNet architectures. Whereas for deep learning models, ensembles of fine-tuned ImageNet pre-trained models are used via transfer learning. Our best score was achieved so far with the F2 metric is 0.927.


title: A Framework for Energy-aware Evaluation of Distributed Data Processing Platforms in Edge-Cloud Environment

abstract: Distributed data processing platforms (e.g., Hadoop, Spark, and Flink) are widely used to distribute the storage and processing of data among computing nodes of a cloud. The centralization of cloud resources has given birth to edge computing, which enables the processing of data closer to the data source instead of sending it to the cloud. However, due to resource constraints such as energy limitations, edge computing cannot be used for deploying all kinds of applications. Therefore, tasks are offloaded from an edge device to the more resourceful cloud. Previous research has evaluated the energy consumption of the distributed data processing platforms in the isolated cloud and edge environments. However, there is a paucity of research on evaluating the energy consumption of these platforms in an integrated edge-cloud environment, where tasks are offloaded from a resource-constraint device to a resource-rich device. Therefore, in this paper, we first present a framework for the energy-aware evaluation of the distributed data processing platforms. We then leverage the proposed framework to evaluate the energy consumption of the three most widely used platforms (i.e., Hadoop, Spark, and Flink) in an integrated edge-cloud environment consisting of Raspberry Pi, edge node, edge server node, private cloud, and public cloud. Our evaluation reveals that (i) Flink is most energy-efficient followed by Spark and Hadoop is found least energy-efficient (ii) offloading tasks from resource-constraint to resource-rich devices reduces energy consumption by 55.2%, and (iii) bandwidth and distance between client and server are found key factors impacting the energy consumption.


title: Robust Linear Predictions: Analyses of Uniform Concentration, Fast Rates and Model Misspecification

abstract: The problem of linear predictions has been extensively studied for the past century under pretty generalized frameworks. Recent advances in the robust statistics literature allow us to analyze robust versions of classical linear models through the prism of Median of Means (MoM). Combining these approaches in a piecemeal way might lead to ad-hoc procedures, and the restricted theoretical conclusions that underpin each individual contribution may no longer be valid. To meet these challenges coherently, in this study, we offer a unified robust framework that includes a broad variety of linear prediction problems on a Hilbert space, coupled with a generic class of loss functions. Notably, we do not require any assumptions on the distribution of the outlying data points ($\mathcal{O}$) nor the compactness of the support of the inlying ones ($\mathcal{I}$). Under mild conditions on the dual norm, we show that for misspecification level $\epsilon$, these estimators achieve an error rate of $O(\max\left\{|\mathcal{O}|^{1/2}n^{-1/2}, |\mathcal{I}|^{1/2}n^{-1} \right\}+\epsilon)$, matching the best-known rates in literature. This rate is slightly slower than the classical rates of $O(n^{-1/2})$, indicating that we need to pay a price in terms of error rates to obtain robust estimates. Additionally, we show that this rate can be improved to achieve so-called "fast rates" under additional assumptions.


title: Characterizations of diffusion matrices in homogenization of elliptic equations in nondivergence-form

abstract: We characterize diffusion matrices that yield a $L^{\infty}$ convergence rate of $\mathcal{O}(\varepsilon^2)$ in the theory of periodic homogenization of linear elliptic equations in nondivergence-form. Such type-$\varepsilon^2$ diffusion matrices are of particular interest as the optimal rate of convergence in the generic case is only $\mathcal{O}(\varepsilon)$. First, we provide a new class of type-$\varepsilon^2$ diffusion matrices, confirming a conjecture posed in [15]. Then, we give a complete characterization of diagonal diffusion matrices in two dimensions and a systematic study in higher dimensions.


title: ${W}^{2,p}$ Estimates for Elliptic Equations on $C^{1,\alpha}$ Domains

abstract: In this paper, a new method is represented to investigate boundary $W^{2,p}$ estimates for elliptic equations, which is, roughly speaking, to derive boundary $W^{2,p}$ estimates from interior $W^{2,p}$ estimates by Whitney decomposition. Using it, $W^{2,p}$ estimates on $C^{1,\alpha}$ domains are obtained for nondivergence form linear elliptic equations and further more, fully nonlinear elliptic equations are also considered.


title: SASA: Semantics-Augmented Set Abstraction for Point-based 3D Object Detection

abstract: Although point-based networks are demonstrated to be accurate for 3D point cloud modeling, they are still falling behind their voxel-based competitors in 3D detection. We observe that the prevailing set abstraction design for down-sampling points may maintain too much unimportant background information that can affect feature learning for detecting objects. To tackle this issue, we propose a novel set abstraction method named Semantics-Augmented Set Abstraction (SASA). Technically, we first add a binary segmentation module as the side output to help identify foreground points. Based on the estimated point-wise foreground scores, we then propose a semantics-guided point sampling algorithm to help retain more important foreground points during down-sampling. In practice, SASA shows to be effective in identifying valuable points related to foreground objects and improving feature learning for point-based 3D detection. Additionally, it is an easy-to-plug-in module and able to boost various point-based detectors, including single-stage and two-stage ones. Extensive experiments on the popular KITTI and nuScenes datasets validate the superiority of SASA, lifting point-based detection models to reach comparable performance to state-of-the-art voxel-based methods.


title: Estimating photoevaporative mass loss of exoplanets with PLATYPOS

abstract: We develop PLATYPOS (PLAneTarY PhOtoevaporation Simulator), a python code to perform planetary photoevaporative mass-loss calculations for close-in planets with hydrogen-helium envelopes atop Earth-like rocky cores. With physical and model parameters as input, PLATYPOS calculates the atmospheric mass loss and with it the radius evolution of a planet over time, taking into account also the thermal cooling and subsequent radius evolution of the planet. In particular, we implement different stellar activity evolution tracks over time. Our setup allows for a prediction of whether a planet can hold on to a significant fraction of its atmosphere, or fully evaporates, leaving behind only the bare rocky core. The user supplies information about the star-planet system of interest, which includes planetary and host star parameters, as well as the star's rotational and thus activity evolution. In addition, several details for the evaporative mass-loss rate estimation can be chosen. This includes the effective absorption cross-section for high energy photons, the evaporation efficiency, and the hydrodynamic escape model.


title: An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks

abstract: Convolutional neural networks have gained vast popularity due to their excellent performance in the fields of computer vision, image processing, and others. Unfortunately, it is now well known that convolutional networks often produce erroneous results - for example, minor perturbations of the inputs of these networks can result in severe classification errors. Numerous verification approaches have been proposed in recent years to prove the absence of such errors, but these are typically geared for fully connected networks and suffer from exacerbated scalability issues when applied to convolutional networks. To address this gap, we present here the Cnn-Abs framework, which is particularly aimed at the verification of convolutional networks. The core of Cnn-Abs is an abstraction-refinement technique, which simplifies the verification problem through the removal of convolutional connections in a way that soundly creates an over-approximation of the original problem; and which restores these connections if the resulting problem becomes too abstract. Cnn-Abs is designed to use existing verification engines as a backend, and our evaluation demonstrates that it can significantly boost the performance of a state-of-the-art DNN verification engine, reducing runtime by 15.7% on average.


title: $\infty$-Categorical Approaches to Hodge-Iwasawa Theory I: Introduction and Extensions

abstract: In this paper, we give the introduction to the Hodge-Iwasawa Theory introduced by the author. After that we will give some well-defined extensions to the already shaped framework established in our previous work.


title: Limit theorems for self-intersecting trajectories in Z-extensions

abstract: This paper studies for a class of Z-extensions of dynamical systems including Z-periodic Lorentz gas the asymptotic behavior of the number of self-intersections of the trajectory of the flow. It concludes on a functional limit theorem for the auto-intersection process by studying Skorohod convergence of discrete local time of a dynamical random walk toward the local time of a Brownian motion.


title: Dynamical mechanisms for Kaluza-Klein theories

abstract: We present variational formulations of gauge theories and Einstein--Yang-Mills equations in the spirit of Kaluza-Klein theories. For gaugetheories, only a topological fibration is assumed. For gravitation coupled with gauge fields, no fibration is assumed: Fields are defined on a 'space-time' $Y$ of dimension $4 + r$ without any structure a priori, where $r$ is the dimension of the structure group. If the latter is compact and simply connected, classical solutions allow to construct a manifold $X$ of dimension 4 to be the physical space-time, in such a way that $Y$ acquires the structure of a principal bundle over $X$ and leads to solutions of the Einstein--Yang-Mills systems. The special case of the Einstein-Maxwell system is also discussed: It suffices that at least one fiber closes in on a circle to deduce that the five-dimensional space-time has afiber bundle structure.


title: Dimension computations for tropical determinantal varieties and prevarieties

abstract: This paper proves that when the $r \times r$ minors of an $m \times n$ matrix of indeterminates are not a tropical basis then the tropical prevariety has greater dimension than the tropical variety. It proves the same for the $r \times r$ minors of an $n \times n$ symmetric matrix of indeterminates when r > 4.


title: Multi-Domain Joint Training for Person Re-Identification

abstract: Deep learning-based person Re-IDentification (ReID) often requires a large amount of training data to achieve good performance. Thus it appears that collecting more training data from diverse environments tends to improve the ReID performance. This paper re-examines this common belief and makes a somehow surprising observation: using more samples, i.e., training with samples from multiple datasets, does not necessarily lead to better performance by using the popular ReID models. In some cases, training with more samples may even hurt the performance of the evaluation is carried out in one of those datasets. We postulate that this phenomenon is due to the incapability of the standard network in adapting to diverse environments. To overcome this issue, we propose an approach called Domain-Camera-Sample Dynamic network (DCSD) whose parameters can be adaptive to various factors. Specifically, we consider the internal domain-related factor that can be identified from the input features, and external domain-related factors, such as domain information or camera information. Our discovery is that training with such an adaptive model can better benefit from more training samples. Experimental results show that our DCSD can greatly boost the performance (up to 12.3%) while joint training in multiple datasets.


title: Compact Bidirectional Transformer for Image Captioning

abstract: Most current image captioning models typically generate captions from left to right. This unidirectional property makes them can only leverage past context but not future context. Though recent refinement-based models can exploit both past and future context by generating a new caption in the second stage based on pre-retrieved or pre-generated captions in the first stage, the decoder of these models generally consists of two networks~(i.e. a retriever or captioner in the first stage and a refiner in the second stage), which can only be executed sequentially. In this paper, we introduce a Compact Bidirectional Transformer model for image captioning that can leverage bidirectional context implicitly and explicitly while the decoder can be executed parallelly. Specifically, it is implemented by tightly coupling left-to-right(L2R) and right-to-left(R2L) flows into a single compact model~(i.e. implicitly) and optionally allowing interaction of the two flows(i.e. explicitly), while the final caption is chosen from either L2R or R2L flow in a sentence-level ensemble manner. We conduct extensive ablation studies on the MSCOCO benchmark and find that the compact architecture, which serves as a regularization for implicitly exploiting bidirectional context, and the sentence-level ensemble play more important roles than the explicit interaction mechanism. By combining with word-level ensemble seamlessly, the effect of the sentence-level ensemble is further enlarged. We further extend the conventional one-flow self-critical training to the two-flows version under this architecture and achieve new state-of-the-art results in comparison with non-vision-language-pretraining models. Source code is available at {\color{magenta}\url{https://github.com/YuanEZhou/CBTrans}}.


title: Jointly Efficient and Optimal Algorithms for Logistic Bandits

abstract: Logistic Bandits have recently undergone careful scrutiny by virtue of their combined theoretical and practical relevance. This research effort delivered statistically efficient algorithms, improving the regret of previous strategies by exponentially large factors. Such algorithms are however strikingly costly as they require $\Omega(t)$ operations at each round. On the other hand, a different line of research focused on computational efficiency ($\mathcal{O}(1)$ per-round cost), but at the cost of letting go of the aforementioned exponential improvements. Obtaining the best of both world is unfortunately not a matter of marrying both approaches. Instead we introduce a new learning procedure for Logistic Bandits. It yields confidence sets which sufficient statistics can be easily maintained online without sacrificing statistical tightness. Combined with efficient planning mechanisms we design fast algorithms which regret performance still match the problem-dependent lower-bound of Abeille et al. (2021). To the best of our knowledge, those are the first Logistic Bandit algorithms that simultaneously enjoy statistical and computational efficiency.


title: Adiabatic Solutions in General Relativity as Null Geodesics on the Space of Boundary Diffeomorphisms

abstract: We use a trick similar to Weinberg's for adiabatic modes, in a Manton approximation for general relativity on manifolds with spatial boundary. This results in a description of the slow-time dependent solutions as null geodesics on the space of boundary diffeomorphisms, with respect to a metric we prove to be composed solely of the boundary data. We show how the solutions in the bulk space is determined with the constraints of general relativity. To give our description a larger perspective, we furthermore identify our resulting Lagrangian as a generalized version of the covariantized Lagrangian for continuum mechanics. We study the cases of 3+1 and 2+1 dimensions and show for the solutions we propose, the Hamiltonian constraint becomes the real homogeneous Monge-Ampere equation in the special case of two spatial dimensions.


title: Equilibrium fluctuations for totally asymmetric interacting particle systems

abstract: We study equilibrium fluctuations for a class of totally asymmetric zero-range type interacting particle systems. As a main result, we show that density fluctuation of our process converges to the stationary energy solution of the stochastic Burgers equation. As a special case, microscopic system we consider here is related to $q$-totally asymmetric simple exclusion processes ($q$-TASEPs) and our scaling limit corresponds to letting the quantum parameter $q$ to be one.


title: Can Identifier Splitting Improve Open-Vocabulary Language Model of Code?

abstract: Statistical language models on source code have successfully assisted software engineering tasks. However, developers can create or pick arbitrary identifiers when writing source code. Freely chosen identifiers lead to the notorious out-of-vocabulary (OOV) problem that negatively affects model performance. Recently, Karampatsis et al. showed that using the Byte Pair Encoding (BPE) algorithm to address the OOV problem can improve the language models' predictive performance on source code. However, a drawback of BPE is that it cannot split the identifiers in a way that preserves the meaningful semantics. Prior researchers also show that splitting compound identifiers into sub-words that reflect the semantics can benefit software development tools. These two facts motivate us to explore whether identifier splitting techniques can be utilized to augment the BPE algorithm and boost the performance of open-vocabulary language models considered in Karampatsis et al.'s work. This paper proposes to split identifiers in both constructing vocabulary and processing model inputs procedures, thus exploiting three different settings of applying identifier splitting to language models for the code completion task. We contrast models' performance under these settings and find that simply inserting identifier splitting into the pipeline hurts the model performance, while a hybrid strategy combining identifier splitting and the BPE algorithm can outperform the original open-vocabulary models on predicting identifiers by 3.68% of recall and 6.32% of Mean Reciprocal Rank. The results also show that the hybrid strategy can improve the entropy of language models by 2.02%.


title: SPDL: Blockchain-secured and Privacy-preserving Decentralized Learning

abstract: Decentralized learning involves training machine learning models over remote mobile devices, edge servers, or cloud servers while keeping data localized. Even though many studies have shown the feasibility of preserving privacy, enhancing training performance or introducing Byzantine resilience, but none of them simultaneously considers all of them. Therefore we face the following problem: \textit{how can we efficiently coordinate the decentralized learning process while simultaneously maintaining learning security and data privacy?} To address this issue, in this paper we propose SPDL, a blockchain-secured and privacy-preserving decentralized learning scheme. SPDL integrates blockchain, Byzantine Fault-Tolerant (BFT) consensus, BFT Gradients Aggregation Rule (GAR), and differential privacy seamlessly into one system, ensuring efficient machine learning while maintaining data privacy, Byzantine fault tolerance, transparency, and traceability. To validate our scheme, we provide rigorous analysis on convergence and regret in the presence of Byzantine nodes. We also build a SPDL prototype and conduct extensive experiments to demonstrate that SPDL is effective and efficient with strong security and privacy guarantees.


title: User-Centric Cooperative Transmissions-enabled Handover for Ultra-Dense Networks

abstract: The user-centric cooperative transmission provides a compelling way to alleviate frequent handovers caused by an ever-increasing number of randomly deployed base stations (BSs) in ultra-dense networks (UDNs). This paper proposes a new user-centric cooperative transmissions-based handover scheme, i.e., the group-cell handover (GCHO) scheme, with the aim of reducing the handover rate in UDNs. In the proposed scheme, the boundary of the cooperating cluster depends on the distance among the user equipment (UE) and cooperating BSs. The new scheme captures the dynamicity and irregularity of the cooperating cluster topology resulting from randomly distributed BSs. Based on stochastic-geometry tools where BSs locations are modeled as the Poison point process (PPP), we derive an analytical expression of the handover rate for the UE with an arbitrary movement trajectory. Furthermore, a GCHO skipping (GCHO-S) scheme is proposed to minimize the handover cost, i.e., the percentage of time wasted in handover signaling in user-centric cooperative transmissions scenarios. The numerical results show that the GCHO scheme decreases the handover rate by 42.3% and 72.7% compared with the traditional single BS association and fixed-region cooperative network topology handover approaches, respectively. Moreover, under the same group-cell size and constant velocity, the GCHO-S scheme diminishes the handover cost by 50% against the GCHO scheme.


title: Subsystem entropies of shifts of finite type and sofic shifts on countable amenable groups

abstract: In this work we study the entropies of subsystems of shifts of finite type (SFTs) and sofic shifts on countable amenable groups. We prove that for any countable amenable group $G$, if $X$ is a $G$-SFT with positive topological entropy $h(X) > 0$, then the entropies of the SFT subsystems of $X$ are dense in the interval $[0, h(X)]$. In fact, we prove a "relative" version of the same result: if $X$ is a $G$-SFT and $Y \subset X$ is a subshift such that $h(Y) < h(X)$, then the entropies of the SFTs $Z$ for which $Y \subset Z \subset X$ are dense in $[h(Y), h(X)]$. We also establish analogous results for sofic $G$-shifts.


title: The design of a time-interleaved analog-digital conversion modulator based on FPGA-TDC for PET application

abstract: Fully Field Programmable Gate Array (FPGA)based digitizer for high-resolution time and energy measurement is an attractive low cost solution for the readout electronics in positron emission computed tomography (PET)detector. In recent years, the FPGA based time-digital converter (FPGA-TDC) has been widely used for time measurement in the commercial PET scanners. Yet, for the energy measurement, few studies have been reported on a fully FPGA based, large dynamic range and high resolution alternative to the commercial analog-digital converter (ADC). Our previous research presents a 25 Ms/s FPGA-TDC based free-running ADC (FPGA-ADC), and successfully employed it in the readout electronics for PET detector. In this work-in-progress study, by means of the time-interleaved strategy, a 50 Ms/s FPGA-ADC is presented. With only two off-chip resistors, both the A/D conversion and energy measurement are achieved on a Xilinx Kintex-7 FPGA. Therefore, this method has great advantages inimproving system integration. Initial performance tests are also presented, and we hope it can give us a possibility to develop a new FPGA-only front-end digitizer for PET in future.


abstract: This paper is associated with Nevanlinna class, Dirichlet series and Szeg\"o's problem in infinitely many variables. As we will see, there is a natural connection between these topics. The paper first introduces the Nevanlinna class and the Smirnov class in this context, and generalizes the classical theory in finitely many variables to the infinite-variable setting. These results applied to Szeg\"o's problem on Hardy spaces in infinitely many variables. Moreover, this paper is also devoted to the study of the correspondence between the Nevanlinna functions and Dirichlet series.


title: Optimal Resetting Brownian Bridges

abstract: We introduce a resetting Brownian bridge as a simple model to study search processes where the total search time $t_f$ is finite and the searcher returns to its starting point at $t_f$. This is simply a Brownian motion with a Poissonian resetting rate $r$ to the origin which is constrained to start and end at the origin at time $t_f$. We first provide a rejection-free algorithm to generate such resetting bridges in all dimensions by deriving an effective Langevin equation with an explicit space-time dependent drift $\tilde \mu({\bf x},t)$ and resetting rate $\tilde r({\bf x}, t)$. We also study the efficiency of the search process in one-dimension by computing exactly various observables such as the mean-square displacement, the hitting probability of a fixed target and the expected maximum. Surprisingly, we find that there exists an optimal resetting rate $r^*$ that maximizes the search efficiency, even in the presence of a bridge constraint. We show however that the physical mechanism responsible for this optimal resetting rate for bridges is entirely different from resetting Brownian motions without the bridge constraint.


title: Improving Mandarin End-to-End Speech Recognition with Word N-gram Language Model

abstract: Despite the rapid progress of end-to-end (E2E) automatic speech recognition (ASR), it has been shown that incorporating external language models (LMs) into the decoding can further improve the recognition performance of E2E ASR systems. To align with the modeling units adopted in E2E ASR systems, subword-level (e.g., characters, BPE) LMs are usually used to cooperate with current E2E ASR systems. However, the use of subword-level LMs will ignore the word-level information, which may limit the strength of the external LMs in E2E ASR. Although several methods have been proposed to incorporate word-level external LMs in E2E ASR, these methods are mainly designed for languages with clear word boundaries such as English and cannot be directly applied to languages like Mandarin, in which each character sequence can have multiple corresponding word sequences. To this end, we propose a novel decoding algorithm where a word-level lattice is constructed on-the-fly to consider all possible word sequences for each partial hypothesis. Then, the LM score of the hypothesis is obtained by intersecting the generated lattice with an external word N-gram LM. The proposed method is examined on both Attention-based Encoder-Decoder (AED) and Neural Transducer (NT) frameworks. Experiments suggest that our method consistently outperforms subword-level LMs, including N-gram LM and neural network LM. We achieve state-of-the-art results on both Aishell-1 (CER 4.18%) and Aishell-2 (CER 5.06%) datasets and reduce CER by 14.8% relatively on a 21K-hour Mandarin dataset.


title: Skip Vectors for RDF Data: Extraction Based on the Complexity of Feature Patterns

abstract: The Resource Description Framework (RDF) is a framework for describing metadata, such as attributes and relationships of resources on the Web. Machine learning tasks for RDF graphs adopt three methods: (i) support vector machines (SVMs) with RDF graph kernels, (ii) RDF graph embeddings, and (iii) relational graph convolutional networks. In this paper, we propose a novel feature vector (called a Skip vector) that represents some features of each resource in an RDF graph by extracting various combinations of neighboring edges and nodes. In order to make the Skip vector low-dimensional, we select important features for classification tasks based on the information gain ratio of each feature. The classification tasks can be performed by applying the low-dimensional Skip vector of each resource to conventional machine learning algorithms, such as SVMs, the k-nearest neighbors method, neural networks, random forests, and AdaBoost. In our evaluation experiments with RDF data, such as Wikidata, DBpedia, and YAGO, we compare our method with RDF graph kernels in an SVM. We also compare our method with the two approaches: RDF graph embeddings such as RDF2vec and relational graph convolutional networks on the AIFB, MUTAG, BGS, and AM benchmarks.


title: An exploratory experiment on Hindi, Bengali hate-speech detection and transfer learning using neural networks

abstract: This work presents our approach to train a neural network to detect hate-speech texts in Hindi and Bengali. We also explore how transfer learning can be applied to learning these languages, given that they have the same origin and thus, are similar to some extend. Even though the whole experiment was conducted with low computational power, the obtained result is comparable to the results of other, more expensive, models. Furthermore, since the training data in use is relatively small and the two languages are almost entirely unknown to us, this work can be generalized as an effort to demystify lost or alien languages that no human is capable of understanding.


title: Cellularity for weighted KLRW algebras of types $B$, $A^{(2)}$, $D^{(2)}$

abstract: This paper constructs homogeneous affine sandwich cellular bases of weighted KLRW algebras in types $B$, $A^{(2)}$, $D^{(2)}$. Our construction immediately gives homogeneous sandwich cellular bases for the finite dimensional quotients of these algebras. Since weighted KLRW algebras generalize KLR algebras, we also obtain bases and cellularity results for the (infinite and finite dimensional) KLR algebras.


title: Growth-related formation mechanism of I$_3$-type basal stacking fault in epitaxially grown hexagonal Ge-2H

abstract: The hexagonal-2H crystal phase of Ge recently emerged as a promising direct bandgap semiconductor in the mid-infrared range providing new prospects of additional optoelectronic functionalities of group-IV semiconductors (Ge and SiGe). The controlled synthesis of such hexagonal (2H) Ge phase is a challenge that can be overcome by using wurtzite GaAs nanowires as a template. However, depending on growth conditions, unusual basal stacking faults (BSFs) of I$_3$-type are formed in the metastable 2H structure. The growth of such core/shell heterostructures is observed in situ and in real-time by means of environmental transmission electron microscopy using chemical vapour deposition. The observations provide direct evidence of a step-flow growth of Ge-2H epilayers and reveal the growth-related formation of I$_3$-BSF during unstable growth. Their formation conditions are dynamically investigated. Through these in situ observations, we can propose a scenario for the nucleation of I$_3$-type BSFs that is likely valid for any metastable hexagonal 2H or wurtzite structures grown on m-plane substrates. Conditions are identified to avoid their formation for perfect crystalline synthesis of SiGe-2H.


title: Godement-Jacquet $L$-function, some conjectures and some consequences

abstract: In this paper, we investigate the mean square estimate for the logarithmic derivative of the Godement--Jacquet $L$-function $L_f(s)$ assuming the Riemann hypothesis for $L_f(s)$ and Rudnick--Sarnak conjecture.


title: TransVPR: Transformer-based place recognition with multi-level attention aggregation

abstract: Visual place recognition is a challenging task for applications such as autonomous driving navigation and mobile robot localization. Distracting elements presenting in complex scenes often lead to deviations in the perception of visual place. To address this problem, it is crucial to integrate information from only task-relevant regions into image representations. In this paper, we introduce a novel holistic place recognition model, TransVPR, based on vision Transformers. It benefits from the desirable property of the self-attention operation in Transformers which can naturally aggregate task-relevant features. Attentions from multiple levels of the Transformer, which focus on different regions of interest, are further combined to generate a global image representation. In addition, the output tokens from Transformer layers filtered by the fused attention mask are considered as key-patch descriptors, which are used to perform spatial matching to re-rank the candidates retrieved by the global image features. The whole model allows end-to-end training with a single objective and image-level supervision. TransVPR achieves state-of-the-art performance on several real-world benchmarks while maintaining low computational time and storage requirements.


title: Blizzard: a Distributed Consensus Protocol for Mobile Devices

abstract: We present Blizzard, a Byzantine Fault Tolerant (BFT) distributed ledger protocol that is aimed at making mobile devices first-class citizens in the consensus process. Blizzard introduces a novel two-tier architecture by having the mobile nodes communicate through online brokers, and includes a decentralized matching scheme to ensure each node connects to a certain number of random brokers. Through mathematical analysis, we derive a guaranteed safety region (i.e. the set of ratios of malicious nodes and malicious brokers for which the safety is assured) for the Blizzard protocol. Liveness is shown as well. We analyze the performance of Blizzard in terms of its throughput, latency and message complexity. Through experiments based on a software implementation, we show that Blizzard is capable of throughput on the order of several thousand transactions per second per shard, and sub-second confirmation latency.


title: Classifications and constructions of minimum size linear sets

abstract: This paper aims to study linear sets of minimum size in the projective line, that is $\mathbb{F}_q$-linear sets of rank $k$ in $\mathrm{PG}(1,q^n)$ admitting one point of weight one and having size $q^{k-1}+1$. Examples of these linear sets have been found by Lunardon and the second author (2000) and, more recently, by Jena and Van de Voorde (2021). However, classification results for minimum size linear sets are known only for $k\leq 5$. In this paper we provide classification results for those $L_U$ admitting two points with complementary weights. We construct new examples and also study the related $\mathrm{\Gamma L}(2,q^n)$-equivalence issue. These results solve an open problem posed by Jena and Van de Voorde. The main tool relies on two results by Bachoc, Serra and Z\'emor (2017 and 2018) on the linear analogues of Kneser's and Vosper's theorems. We then conclude the paper pointing out a connection between critical pairs and linear sets, obtaining also some classification results for critical pairs.


title: Probing QCD critical point and induced gravitational wave by black hole physics

abstract: Locating the critical endpoint of QCD and the region of a first-order phase transition at finite baryon chemical potential is an active research area for QCD matter. We provide a gravitational dual description of QCD matter at finite baryon chemical potential and finite temperature using the non-perturbative approach from gauge/gravity duality. After fixing all model parameters using state-of-the-art lattice QCD data at zero chemical potential, the predicted equations of state and QCD trace anomaly relation are in quantitative agreement with the latest lattice results. We then give the exact location of the critical endpoint as well as the first-order transition line, which is within the coverage of many upcoming experimental measurements. Moreover, using the data from our model at finite baryon chemical potential, we calculate the spectrum of the stochastic gravitational wave background associated with the first-order QCD transition in the early universe, which could be observable via pulsar timing in the future.


title: Mean-Field Limits in Statistical Dynamics

abstract: These lectures notes are aimed at introducing the reader to some recent mathematical tools and results for the mean-field limit in statistical dynamics. As a warm-up, lecture 1 reviews the approach to the mean-field limit in classical mechanics following the ideas of W. Braun, K. Hepp and R.L. Dobrushin, based on the notions of phase space empirical measures, Klimontovich solutions and Monge-Kantorovich-Wasserstein distances between probability measures. Lecture 2 discusses an analogue of the notion of Klimontovich solution in quantum dynamics, and explains how this notion appears in Pickl's method to handle the case of interaction potentials with a Coulomb type singularity at the origin. Finally, lecture 3 explains how the mean-field and the classical limits can be taken jointly on quantum $N$-particle dynamics, leading to the Vlasov equation. These lectures are based on a series of joint works with C. Mouhot and T. Paul.


title: A comparison of different methods of identifying publications related to the United Nations Sustainable Development Goals: Case Study of SDG 13: Climate Action

abstract: As sustainability becomes an increasing priority throughout global society, academic and research institutions are assessed on their contribution to relevant research publications. This study compares four methods of identifying research publications related to United Nations Sustainable Development Goal 13: climate action. The four methods, Elsevier, STRINGS, SIRIS, and Dimensions have each developed search strings with the help of subject matter experts which are then enhanced through distinct methods to produce a final set of publications. Our analysis showed that the methods produced comparable quantities of publications but with little overlap between them. We visualised some difference in topic focus between the methods and drew links with the search strategies used. Differences between publications retrieved are likely to come from subjective interpretation of the goals, keyword selection, operationalising search strategies, AI enhancements, and selection of bibliographic database. Each of the elements warrants deeper investigation to understand their role in identifying SDG-related research. Before choosing any method to assess the research contribution to SDGs, end users of SDG data should carefully consider their interpretation of the goal and determine which of the available methods produces the closest dataset. Meanwhile data providers might customise their methods for varying interpretations of the SDGs.


title: Flexible FPGA ECDSA Design with a Field Multiplier Inherently Resistant against HCCA

abstract: In this paper we describe our flexible ECDSA design for elliptic curve over binary extended fields GF(2l). We investigated its resistance against Horizontal Collision Correlation Attacks (HCCA). Due to the fact that our design is based on the Montgomery kP algorithm using Lopez-Dahab projective coordinates the scalar k cannot be successful revealed using HCCA, but this kind of attacks can be helpful to divide the measured traces into parts that correspond to processing of a single bit of the scalar k. The most important contribution of this paper is that our flexible field multiplier is resistant against horizontal attacks. This inherent resistance makes it a valuable building block for designing unified field multipliers.


title: Sparsity-based Feature Selection for Anomalous Subgroup Discovery

abstract: Anomalous pattern detection aims to identify instances where deviation from normalcy is evident, and is widely applicable across domains. Multiple anomalous detection techniques have been proposed in the state of the art. However, there is a common lack of a principled and scalable feature selection method for efficient discovery. Existing feature selection techniques are often conducted by optimizing the performance of prediction outcomes rather than its systemic deviations from the expected. In this paper, we proposed a sparsity-based automated feature selection (SAFS) framework, which encodes systemic outcome deviations via the sparsity of feature-driven odds ratios. SAFS is a model-agnostic approach with usability across different discovery techniques. SAFS achieves more than $3\times$ reduction in computation time while maintaining detection performance when validated on publicly available critical care dataset. SAFS also results in a superior performance when compared against multiple baselines for feature selection.


title: PAEG: Phrase-level Adversarial Example Generation for Neural Machine Translation

abstract: While end-to-end neural machine translation (NMT) has achieved impressive progress, noisy input usually leads models to become fragile and unstable. Generating adversarial examples as the augmented data has been proved to be useful to alleviate this problem. Existing methods for adversarial example generation (AEG) are word-level or character-level, which ignore the ubiquitous phrase structure. In this paper, we propose a Phrase-level Adversarial Example Generation (PAEG) framework to enhance the robustness of the translation model. Our method further improves the gradient-based word-level AEG method by adopting a phrase-level substitution strategy. We verify our method on three benchmarks, including LDC Chinese-English, IWSLT14 German-English, and WMT14 English-German tasks. Experimental results demonstrate that our approach significantly improves translation performance and robustness to noise compared to previous strong baselines.


title: Self-Training Vision Language BERTs with a Unified Conditional Model

abstract: Natural language BERTs are trained with language corpus in a self-supervised manner. Unlike natural language BERTs, vision language BERTs need paired data to train, which restricts the scale of VL-BERT pretraining. We propose a self-training approach that allows training VL-BERTs from unlabeled image data. The proposed method starts with our unified conditional model -- a vision language BERT model that can perform zero-shot conditional generation. Given different conditions, the unified conditional model can generate captions, dense captions, and even questions. We use the labeled image data to train a teacher model and use the trained model to generate pseudo captions on unlabeled image data. We then combine the labeled data and pseudo labeled data to train a student model. The process is iterated by putting the student model as a new teacher. By using the proposed self-training approach and only 300k unlabeled extra data, we are able to get competitive or even better performances compared to the models of similar model size trained with 3 million extra image data.


title: An unambiguous cloudiness index for nonwovens

abstract: Cloudiness or formation is a concept routinely used in industry to address deviations from homogeneity in nonwovens and papers. Measuring a cloudiness index based on image data is a common task in industrial quality assurance. The two most popular ways of quantifying cloudiness are based on power spectrum or correlation function on the one hand or the Laplacian pyramid on the other hand. Here, we recall the mathematical basis of the first approach comprehensively, derive a cloudiness index, and demonstrate its practical estimation. We prove that the Laplacian pyramid as well as other quantities characterizing cloudiness like the range of interaction and the intensity of small-angle scattering are very closely related to the power spectrum. Finally, we show that the power spectrum is easy to be measured image analytically and carries more information than the alternatives.


title: Compact localized boundary states in a quasi-1D electronic diamond-necklace chain

abstract: Zero-energy modes localized at the ends of one-dimensional (1D) wires hold great potential as qubits for fault-tolerant quantum computing. However, all the candidates known to date exhibit a wave function that decays exponentially into the bulk and hybridizes with other nearby zero-modes, thus hampering their use for braiding operations. Here, we show that a quasi-1D diamond-necklace chain exhibits a completely unforeseen type of robust boundary state, namely compact localized zero-energy modes that do not decay into the bulk. We theoretically engineer a lattice geometry to access this mode, and experimentally realize it in an electronic quantum simulator setup. Our work provides a general route for the realization of robust and compact localized zero-energy modes that could potentially be braided without the drawbacks of hybridization.


title: List-decodable Codes for Single-deletion Single-substitution with List-size Two

abstract: In this paper, we present an explicit construction of list-decodable codes for single-deletion and single-substitution with list size two and redundancy 3log n+4, where n is the block length of the code. Our construction has lower redundancy than the best known explicit construction by Gabrys et al. (arXiv 2021), whose redundancy is 4log n+O(1).


title: Effective Action, Spectrum and First Law of Wedge Holography

abstract: In this paper, we study the effective action, the mass spectrum and the first law of entanglement entropy for a novel doubly holographic model called wedge holography. We work out the effective action of quantum gravity on the branes. In the perturbative formulation, it is given by an infinite sum of Pauli-Fierz actions. In the non-perturbative formulation, the effective action is composed of a higher derivative gravity and a matter action. Usually, a higher derivative gravity can be renormalizable but suffers the ghost problem. For our case, since the effective theory on the brane is equivalent to Einstein gravity in the bulk, it must be ghost-free. We notice that the matter action plays an important role in eliminating the ghost. We also provide evidences that the higher derivative gravity on the brane is equivalent to a ghost-free multi-gravity. Besides, we prove that the effective action yields the correct Weyl anomaly. Interestingly, although the effective action on the brane is an infinite tower of higher derivative gravity, the holographic Weyl anomaly is exactly the same as that of Einstein gravity. We also analyze the mass spectrum of wedge holography. Remarkably, there is always a massless mode of gravitons on the end-of-the-world branes in wedge holography. This happens because one imposes Neumann boundary condition on both branes. On the other hand, the massless mode disappears if one imposes Dirichlet boundary condition on one of the branes as in brane world theory and AdS/BCFT. Finally, we verify the first law of entanglement entropy for wedge holography. Interestingly, the massive fluctuations are irrelevant to the first order perturbation of the holographic entanglement entropy. Thus, in many aspects, the effective theory on the brane behaves like massless Einstein gravity.


title: The spectral gap of random regular graphs

abstract: We bound the second eigenvalue of random $d$-regular graphs, for a wide range of degrees $d$, using a novel approach based on Fourier analysis. Let $G_{n, d}$ be a uniform random $d$-regular graph on $n$ vertices, and let $\lambda (G_{n, d})$ be its second largest eigenvalue by absolute value. For some constant $c > 0$ and any degree $d$ with $\log^{10} n \ll d \leq c n$, we show that $\lambda (G_{n, d}) = (2 + o(1)) \sqrt{d (n - d) / n}$ asymptotically almost surely. Combined with earlier results that cover the case of sparse random graphs, this fully determines the asymptotic value of $\lambda (G_{n, d})$ for all $d \leq c n$. To achieve this, we introduce new methods that use mechanisms from discrete Fourier analysis, and combine them with existing tools and estimates on $d$-regular random graphs - especially those of Liebenau and Wormald.


title: Cosmological constant problem on the horizon

abstract: We revisit the quantum cosmological constant problem and highlight the important roles played by the dS horizon of zero point energy. We argue that fields which are light enough to have dS horizon of zero point energy comparable to the FLRW Hubble radius are the main contributors to dark energy. On the other hand, the zero point energy of heavy fields develop nonlinearities on sub-Hubble scales and can not contribute to dark energy. We speculate that our proposal may provide a resolution for both the old and new cosmological constant problems by noting that there exists a field, the (lightest) neutrino, which happens to have a mass comparable to the present background photon temperature. The proposal predicts multiple transient periods of dark energy in early and late expansion history of the universe yielding to a higher value of the current Hubble expansion rate which can resolve the $H_0$ tension problem.


title: Enhancing Egocentric 3D Pose Estimation with Third Person Views

abstract: In this paper, we propose a novel approach to enhance the 3D body pose estimation of a person computed from videos captured from a single wearable camera. The key idea is to leverage high-level features linking first- and third-views in a joint embedding space. To learn such embedding space we introduce First2Third-Pose, a new paired synchronized dataset of nearly 2,000 videos depicting human activities captured from both first- and third-view perspectives. We explicitly consider spatial- and motion-domain features, combined using a semi-Siamese architecture trained in a self-supervised fashion. Experimental results demonstrate that the joint multi-view embedded space learned with our dataset is useful to extract discriminatory features from arbitrary single-view egocentric videos, without needing domain adaptation nor knowledge of camera parameters. We achieve significant improvement of egocentric 3D body pose estimation performance on two unconstrained datasets, over three supervised state-of-the-art approaches. Our dataset and code will be available for research purposes.


title: Super-Reparametrizations of Weighted CSPs: Properties and Optimization Perspective

abstract: The notion of reparametrizations of Weighted CSPs (WCSPs) (also known as equivalence-preserving transformations of WCSPs) is well-known and finds its use in many algorithms to approximate or bound the optimal WCSP value. In contrast, the concept of super-reparametrizations (which are changes of the weights that keep or increase the WCSP objective for every assignment) was already proposed but never studied in detail. To fill this gap, we present a number of theoretical properties of super-reparametrizations and compare them to those of reparametrizations. Furthermore, we propose a framework for computing upper bounds on the optimal value of the (maximization version of) WCSP using super-reparametrizations. We show that it is in principle possible to employ arbitrary (under some technical conditions) constraint propagation rules to improve the bound. For arc consistency in particular, the method reduces to the known Virtual AC (VAC) algorithm. We implemented the method for singleton arc consistency (SAC) and compared it to other strong local consistencies in WCSPs on a public benchmark. The results show that the bounds obtained from SAC are superior for many instance groups.