title: Computing Periodic Points on Veech Surfaces

abstract: A non-square-tiled Veech surface has finitely many periodic points, i.e., points with finite orbit under the affine automorphism group. We present an algorithm that inputs a non-square-tiled Veech surface and outputs its set of periodic points. We apply our algorithm to Prym eigenforms in the minimal stratum in genus 3, proving that in low discriminant these surfaces do not have periodic points, except for the fixed points of the Prym involution.


title: Symplectic evolution of an observed light bundle

abstract: Each and every observational information we obtain from the sky regarding the brightnesses, distances or image distortions resides on the deviation of a null geodesic bundle. In this talk, we present the symplectic evolution of this bundle on a reduced phase space. The resulting formalism is analogous to the one in paraxial Newtonian optics. It allows one to identify any spacetime as an optical device and distinguish its thin lens, pure magnifier and rotator components. We will discuss the fact that the distance reciprocity in relativity results from the symplectic evolution of this null bundle. Other potential applications like wavization and its importance for both electromagnetic and gravitational waves will also be summarized.


title: Ultra-compact nonvolatile plasmonic phase change modulators and switches with dual electrical-optical functionality

abstract: Programmable photonic integrated circuits (PICs) are the foundation of on-chip optical technologies with the optical modulators being one of the main building blocks of such programmable PICs. However, most of the available modulators suffer from high power consumption, low response time and large footprint. To overcome some limitations the nonvolatile phase change materials implemented in the plasmonic structures are proposed that can offer many advantages as a result of high electric field interaction with nonvolatile materials. Consequently, proposed here novel plasmonic nonvolatile switches can operate by phase modulation, absorption modulation, or both and under zero-static power. Thus, only 230 nm long active waveguide is needed to attain full pi phase delay with an insertion loss of 0.12 dB. Apart from it, when operating by amplitude modulation an extinction ration exceeding 2.2 dB/um can be achieved while an insertion loss is kept at 0.185 dB/um. Furthermore, the heating mechanism can be based on the external heaters, internal heaters, electrical (memory) switching or optical switching mechanism what provide a lot of flexibility in terms of a design and requirements.


title: Protecting Intellectual Property of Language Generation APIs with Lexical Watermark

abstract: Nowadays, due to the breakthrough in natural language generation (NLG), including machine translation, document summarization, image captioning, etc NLG models have been encapsulated in cloud APIs to serve over half a billion people worldwide and process over one hundred billion word generations per day. Thus, NLG APIs have already become essential profitable services in many commercial companies. Due to the substantial financial and intellectual investments, service providers adopt a pay-as-you-use policy to promote sustainable market growth. However, recent works have shown that cloud platforms suffer from financial losses imposed by model extraction attacks, which aim to imitate the functionality and utility of the victim services, thus violating the intellectual property (IP) of cloud APIs. This work targets at protecting IP of NLG APIs by identifying the attackers who have utilized watermarked responses from the victim NLG APIs. However, most existing watermarking techniques are not directly amenable for IP protection of NLG APIs. To bridge this gap, we first present a novel watermarking method for text generation APIs by conducting lexical modification to the original outputs. Compared with the competitive baselines, our watermark approach achieves better identifiable performance in terms of p-value, with fewer semantic losses. In addition, our watermarks are more understandable and intuitive to humans than the baselines. Finally, the empirical studies show our approach is also applicable to queries from different domains, and is effective on the attacker trained on a mixture of the corpus which includes less than 10\% watermarked samples.


title: Coronal rain in randomly heated arcades

abstract: Adopting the MPI-AMRVAC code, we present a 2.5-dimensional magnetohydrodynamic (MHD) simulation, which includes thermal conduction and radiative cooling, to investigate the formation and evolution of the coronal rain phenomenon. We perform the simulation in initially linear force-free magnetic fields which host chromospheric, transition region, and coronal plasma, with turbulent heating localized on their footpoints. Due to thermal instability, condensations start to occur at the loop top, and rebound shocks are generated by the siphon inflows. Condensations fragment into smaller blobs moving downwards and as they hit the lower atmosphere, concurrent upflows are triggered. Larger clumps show us clear "coronal rain showers" as dark structures in synthetic EUV hot channels and bright blobs with cool cores in the 304 {\AA} channel, well resembling real observations. Following coronal rain dynamics for more than 10 hours, we carry out a statistical study of all coronal rain blobs to quantify their widths, lengths, areas, velocity distributions, and other properties. The coronal rain shows us continuous heating-condensation cycles, as well as cycles in EUV emissions. Compared to previous studies adopting steady heating, the rain happens faster and in more erratic cycles. Although most blobs are falling downward, upward-moving blobs exist at basically every moment. We also track the movement of individual blobs to study their dynamics and the forces driving their movements. The blobs have a prominence-corona transition-region-like structure surrounding them, and their movements are dominated by the pressure evolution in the very dynamic loop system.


title: The Amplituhedron BCFW Triangulation

abstract: The amplituhedron Ank4 is a geometric object, introduced by Arkani-Hamed and Trnka (2013) in the study of scattering amplitudes in quantum field theories. They conjecture that Ank4 admits a decomposition into images of BCFW positroid cells, arising from the Britto--Cachazo--Feng--Witten recurrence (2005). We prove that this conjecture is true.


title: (In)dependence of the axioms of $\Lambda$-trees

abstract: A $\Lambda$-tree is a $\Lambda$-metric space satisfying three axioms (1), (2) and (3). We give a characterization of those ordered abelian groups $\Lambda$ for which axioms (1) and (2) imply axiom (3). As a special case, it follows that for the important class of ordered abelian groups $\Lambda$ that satisfy $\Lambda=2\Lambda$, (3) follows from (1) and (2). For some ordered abelian groups $\Lambda$, we show that axiom (2) is independent of the axioms (1) and (3) and ask whether this holds for all ordered abelian groups. Part of this work has been formalized in the proof assistant \textsf{Lean}.


title: Beyond Robustness: Resilience Verification of Tree-Based Classifiers

abstract: In this paper we criticize the robustness measure traditionally employed to assess the performance of machine learning models deployed in adversarial settings. To mitigate the limitations of robustness, we introduce a new measure called resilience and we focus on its verification. In particular, we discuss how resilience can be verified by combining a traditional robustness verification technique with a data-independent stability analysis, which identifies a subset of the feature space where the model does not change its predictions despite adversarial manipulations. We then introduce a formally sound data-independent stability analysis for decision trees and decision tree ensembles, which we experimentally assess on public datasets and we leverage for resilience verification. Our results show that resilience verification is useful and feasible in practice, yielding a more reliable security assessment of both standard and robust decision tree models.


title: Achieving Forgetting Prevention and Knowledge Transfer in Continual Learning

abstract: Continual learning (CL) learns a sequence of tasks incrementally with the goal of achieving two main objectives: overcoming catastrophic forgetting (CF) and encouraging knowledge transfer (KT) across tasks. However, most existing techniques focus only on overcoming CF and have no mechanism to encourage KT, and thus do not do well in KT. Although several papers have tried to deal with both CF and KT, our experiments show that they suffer from serious CF when the tasks do not have much shared knowledge. Another observation is that most current CL methods do not use pre-trained models, but it has been shown that such models can significantly improve the end task performance. For example, in natural language processing, fine-tuning a BERT-like pre-trained language model is one of the most effective approaches. However, for CL, this approach suffers from serious CF. An interesting question is how to make the best use of pre-trained models for CL. This paper proposes a novel model called CTR to solve these problems. Our experimental results demonstrate the effectiveness of CTR


title: On representation categories of $A_\infty$-algebras and $A_\infty$-coalgebras

abstract: In this paper, we use the language of monads, comonads and Eilenberg-Moore categories to describe a categorical framework for $A_\infty$-algebras and $A_\infty$-coalgebras, as well as $A_\infty$-modules and $A_\infty$-comodules over them respectively. The resulting formalism leads us to investigate relations between representation categories of $A_\infty$-algebras and $A_\infty$-coalgebras. In particular, we relate $A_\infty$-comodules and $A_\infty$-modules by considering a rational pairing between an $A_\infty$-coalgebra $C$ and an $A_\infty$-algebra $A$. The categorical framework also motivates us to introduce $A_\infty$-contramodules over an $A_\infty$-coalgebra $C$.


title: Global stability analysis and direct numerical simulation of boundary layers with an isolated roughness element

abstract: Global stability analysis and direct numerical simulation (DNS) are performed to study boundary layer flows with an isolated roughness element. Wall-attached cuboids with aspect ratios $\eta=1$ and $\eta=0.5$ are investigated for fixed ratio of roughness height to displacement boundary layer thickness $h/\delta^*=2.86$. Global stability analysis is able to capture the frequency of the primary vortical structures. For $\eta=1$, only varicose instability is seen. For the thinner roughness element ($\eta=0.5$), the varicose instability dominates the sinuous instability, and the sinuous instability becomes more pronounced as $Re_h$ increases, due to increased spanwise shear in the near-wake region. The unstable modes mainly extract energy from the central streak, although the lateral streaks also contribute. The DNS results show that different instability features lead to different behavior and development of vortical structures in the nonlinear transition process. For $\eta=1$, the varicose mode is associated with the shedding of hairpin vortices. As $Re_h$ increases, the breakdown of hairpin vortices occurs closer to the roughness and sinuous breakdown behavior promoting transition to turbulence is seen in the farther wake. A fully-developed turbulent flow is established in both the inner and outer layers farther downstream when $Re_h$ is sufficiently high. For $\eta=0.5$, the sinuous wiggling of hairpin vortices is prominent at higher $Re_h$, leading to stronger interactions in the near wake, as a result of combined varicose and sinuous instabilities. A sinuous mode captured by dynamic mode decomposition (DMD) analysis, and associated with the `wiggling' of streaks persists far downstream.


title: Abnormal heavy-flux flow in cuprate superconductors

abstract: Dynamic charge transfers, or charge fluxes, generated by anharmonic phonon couplings have previously shown some fundamental connections with the pseudogap phase and other important phases in cuprate superconductors. The anharmonicity here suggests the importance of nonadiabatic behaviors of charge fluxes in cuprates. These charge fluxes will result in the dynamic charge transfer that can be directly calculated by the charge difference induced by phonons in density functional theory simulations. However, retrieving the flux field from the calculated charge transfer is nontrivial. In this article, a new method is developed to solve these fluxes, which help identify anharmonically coupled phonons as the generator of nonlocal flux flows beyond local oscillations in cuprates, especially at high frequencies. A strength metric of such nonlocal fluxes shows a strong correlation to the maximum superconducting transition temperature T_(c,max) of different cuprate families. A unique picture is thus proposed where heavy fluxes tunnel through a dynamic energy band near the Fermi level, providing the attraction force through a Bernoulli-like mechanism for the formation of Cooper pairs. Adding the dynamic band to our band simulation also reproduces the flat band feature that appears below the superconducting transition temperature Tc in previous experimental measurements.


title: Engineering Casimir interactions with epsilon-near-zero materials

abstract: In this paper we theoretically demonstrate the tunability of the Casimir force both in sign and magnitude between parallel plates coated with dispersive materials. We show that this force, existing between uncharged plates, can be tuned by carefully choosing the value of the plasma frequency (i.e., the epsilon-near-zero frequency) of the coating in the neighborhood of the resonance frequency of the cavity. The coating layer enables a continuous variation of the force between four limiting values when a coating is placed on each plate. We explore the consequences of such variation when pairs of electric and magnetic conductors (i.e. low and high impedance surfaces) are used as substrates on either side, showing that this continuous variation results in changes in the sign of the force, leading to both stable and unstable conditions, which could find interesting potential applications in nanomechanics including nanoparticle tweezing.


title: Opers on the projective line, Wronskian relations, and the Bethe Ansatz

abstract: It is well-known that the spectra of the Gaudin model may be described in terms of solutions of the Bethe Ansatz equations. A conceptual explanation for the appearance of the Bethe Ansatz equations is provided by appropriate $G$-opers: $G$-connections on the projective line with extra structure. In fact, solutions of the Bethe Ansatz equations are parameterized by an enhanced version of opers called Miura opers; here, the opers appearing have only regular singularities. Feigin, Frenkel, Rybnikov, and Toledano Laredo have introduced an inhomogeneous version of the Gaudin model; this model incorporates an additional twist factor, which is an element of the Lie algebra of $G$. They exhibited the Bethe Ansatz equations for this model and gave a geometric interpretation of the spectra in terms of opers with an irregular singularity. In this paper, we consider a new approach to the study of the spectra of the inhomogeneous Gaudin model in terms of a further enhancement of opers called twisted Miura-Pl\"ucker opers and a certain system of nonlinear differential equations called the $qq$-system. We show that there is a close relationship between solutions of the inhomogeneous Bethe Ansatz equations and polynomial solutions of the $qq$-system and use this fact to construct a bijection between the set of solutions of the inhomogeneous Bethe Ansatz equations and the set of nondegenerate twisted Miura-Pl\"ucker opers. We further prove that as long as certain combinatorial conditions are satisfied, nondegenerate twisted Miura-Pl\"ucker opers are in fact Miura opers.

categories: math.AG hep-th math-ph math.MP math.QA math.RT


title: Interpretable discriminant analysis for functional data supported on random nonlinear domains with an application to Alzheimer's disease

abstract: We introduce a novel framework for the classification of functional data supported on nonlinear, and possibly random, manifold domains. The motivating application is the identification of subjects with Alzheimer's disease from their cortical surface geometry and associated cortical thickness map. The proposed model is based upon a reformulation of the classification problem as a regularized multivariate functional linear regression model. This allows us to adopt a direct approach to the estimation of the most discriminant direction while controlling for its complexity with appropriate differential regularization. Our approach does not require prior estimation of the covariance structure of the functional predictors, which is computationally prohibitive in our application setting. We provide a theoretical analysis of the out-of-sample prediction error of the proposed model and explore the finite sample performance in a simulation setting. We apply the proposed method to a pooled dataset from the Alzheimer's Disease Neuroimaging Initiative and the Parkinson's Progression Markers Initiative. Through this application, we identify discriminant directions that capture both cortical geometric and thickness predictive features of Alzheimer's disease that are consistent with the existing neuroscience literature.


title: Joint Symmetry Detection and Shape Matching for Non-Rigid Point Cloud

abstract: Despite the success of deep functional maps in non-rigid 3D shape matching, there exists no learning framework that models both self-symmetry and shape matching simultaneously. This is despite the fact that errors due to symmetry mismatch are a major challenge in non-rigid shape matching. In this paper, we propose a novel framework that simultaneously learns both self symmetry as well as a pairwise map between a pair of shapes. Our key idea is to couple a self symmetry map and a pairwise map through a regularization term that provides a joint constraint on both of them, thereby, leading to more accurate maps. We validate our method on several benchmarks where it outperforms many competitive baselines on both tasks.


title: CLASSIC: Continual and Contrastive Learning of Aspect Sentiment Classification Tasks

abstract: This paper studies continual learning (CL) of a sequence of aspect sentiment classification(ASC) tasks in a particular CL setting called domain incremental learning (DIL). Each task is from a different domain or product. The DIL setting is particularly suited to ASC because in testing the system needs not know the task/domain to which the test data belongs. To our knowledge, this setting has not been studied before for ASC. This paper proposes a novel model called CLASSIC. The key novelty is a contrastive continual learning method that enables both knowledge transfer across tasks and knowledge distillation from old tasks to the new task, which eliminates the need for task ids in testing. Experimental results show the high effectiveness of CLASSIC.


title: Capillary-type boundary value problems of mean curvature flow with force and transport terms on a bounded domain

abstract: In this paper, we study the forced mean curvature flows and the prescribed mean curvature equations of both graphs and level-sets with capillary-type boundary conditions on a $C^3$ bounded domain, which is not necessarily convex. We prove a priori gradient estimates locally Lipschitz in time. Under an assumption on the forcing term, we prove that the gradient estimates are globally Lipschitz in time. As a consequence, we obtain the existence theorem of solutions. In our formulation, we recover the known results of the gradient estimates on a strictly convex $C^3$ bounded domain. Next, we study the associated eigenvalue problems for mean curvature flows of both graphs and level-sets. We prove the large time behavior of the solutions of mean curvature flows of graphs on a smooth bounded domain. Finally, we compute the asymptotic speed of the solutions of level-set mean curvature flows and the large time profile of level-sets in the radially symmetric case based on optimal control formula. Examples arising in the radially symmetric case demonstrate that the additional assumption on the forcing term is optimal.


title: Cyclic matrices and polynomial interpolation over division rings

abstract: As is well known, any complex cyclic matrix $A$ is similar to the unique companion matrix associated with the minimal polynomial of $A$. On the other hand, a cyclic matrix over a division ring $\mathbb F$ is similar to a companion matrix of a polynomial which is defined up to polynomial similarity. In this paper we study more rigid canonical forms by embedding a given cyclic matrix over a division ring $\mathbb F$ into a controllable or an observable pair. Using the characterization of ideals in $\mathbb F[z]$ in terms of controllable and observable pairs we consider ideal interpolation schemes in $\mathbb F[z]$ which merge into a polynomial interpolation problems containing both left and right interpolation conditions.


title: Building Blocks of a Flip-Chip Integrated Superconducting Quantum Processor

abstract: We have integrated single and coupled superconducting transmon qubits into flip-chip modules. Each module consists of two chips -- one quantum chip and one control chip -- that are bump-bonded together. We demonstrate time-averaged coherence times exceeding $90\,\mu s$, single-qubit gate fidelities exceeding $99.9\%$, and two-qubit gate fidelities above $98.6\%$. We also present device design methods and discuss the sensitivity of device parameters to variation in interchip spacing. Notably, the additional flip-chip fabrication steps do not degrade the qubit performance compared to our baseline state-of-the-art in single-chip, planar circuits. This integration technique can be extended to the realisation of quantum processors accommodating hundreds of qubits in one module as it offers adequate input/output wiring access to all qubits and couplers.


title: The Laplace Transform of Quantum Gravity

abstract: Following analogies with relativistic point particles, and Schild strings, we show that the Einstein gravity and its strong coupling regime (or the Planck mass going to 0) are related to each other through a Laplace transform. The Feynman propagator of gravity in the strong coupling regime satisfies a functional diffusion equation in the three-metric space with the evolution parameter being the volume of spacetime. We conjecture that the relationship between both regimes is consistent with the existence of an evolution operator in which time is replaced by the volume of spacetime


title: A Survey on Deep learning based Document Image Enhancement

abstract: Digitized documents such as scientific articles, tax forms, invoices, contract papers, historic texts are widely used nowadays. These document images could be degraded or damaged due to various reasons including poor lighting conditions, shadow, distortions like noise and blur, aging, ink stain, bleed-through, watermark, stamp, etc. Document image enhancement plays a crucial role as a pre-processing step in many automated document analysis and recognition tasks such as character recognition. With recent advances in deep learning, many methods are proposed to enhance the quality of these document images. In this paper, we review deep learning-based methods, datasets, and metrics for six main document image enhancement tasks, including binarization, debluring, denoising, defading, watermark removal, and shadow removal. We summarize the recent works for each task and discuss their features, challenges, and limitations. We introduce multiple document image enhancement tasks that have received little to no attention, including over and under exposure correction, super resolution, and bleed-through removal. We identify several promising research directions and opportunities for future research.


title: Ring DNA confers enhanced bulk elasticity and restricted macromolecular diffusion in DNA-dextran blends

abstract: Polymer architecture plays critical roles in both bulk rheological properties and microscale macromolecular dynamics in entangled polymer solutions and composites. Ring polymers, in particular, have been the topic of much debate due to the inability of the celebrated reptation model to capture their observed dynamics. Macrorheology and differential dynamic microscopy (DDM) are powerful methods to determine entangled polymer dynamics across scales, yet they typically require different samples under different conditions, preventing direct coupling of bulk rheological properties to the underlying macromolecular dynamics. Here, we perform macrorheology on composites of highly-overlapping DNA and dextran polymers, focusing on the role of DNA topology (rings versus linear chains) as well as the relative volume fractions of DNA and dextran. On the same samples under the same conditions, we perform DDM and single-molecule tracking on embedded fluorescent-labeled DNA molecules immediately before and after bulk measurements. We show DNA-dextran composites exhibit unexpected non-monotonic dependences of bulk viscoelasticity and molecular-level transport properties on the fraction of DNA comprising the composites, with characteristics that are strongly dependent on the DNA topology. We rationalize our results as arising from stretching and bundling of linear DNA versus compaction, swelling, and threading of rings driven by dextran-mediated depletion interactions.


title: NL-Augmenter: A Framework for Task-Sensitive Natural Language Augmentation

abstract: Data augmentation is an important component in the robustness evaluation of models in natural language processing (NLP) and in enhancing the diversity of the data they are trained on. In this paper, we present NL-Augmenter, a new participatory Python-based natural language augmentation framework which supports the creation of both transformations (modifications to the data) and filters (data splits according to specific features). We describe the framework and an initial set of 117 transformations and 23 filters for a variety of natural language tasks. We demonstrate the efficacy of NL-Augmenter by using several of its transformations to analyze the robustness of popular natural language models. The infrastructure, datacards and robustness analysis results are available publicly on the NL-Augmenter repository (https://github.com/GEM-benchmark/NL-Augmenter).


title: A Semidefinite Framework for the Sieve

abstract: We describe a semidefinite programming framework for proving upper bounds on concrete sifting problems, and show that the Large Sieve can be interpreted as a special case of this framework. With a small tweak, the Larger Sieve also falls into this framework. We compare the semidefinite approach to the linear programming approach (i.e., the general framework of the combinatorial sieve and the Selberg sieve), and show that it has a qualitative advantage in a toy case where the primes are completely independent from each other. No new sieve-theoretic bounds are proved.


title: Automated volumetric and statistical shape assessment of cam-type morphology of the femoral head-neck region from 3D magnetic resonance images

abstract: Femoroacetabular impingement (FAI) cam morphology is routinely assessed using two-dimensional alpha angles which do not provide specific data on cam size characteristics. The purpose of this study is to implement a novel, automated three-dimensional (3D) pipeline, CamMorph, for segmentation and measurement of cam volume, surface area and height from magnetic resonance (MR) images in patients with FAI. The CamMorph pipeline involves two processes: i) proximal femur segmentation using an approach integrating 3D U-net with focused shape modelling (FSM); ii) use of patient-specific anatomical information from 3D FSM to simulate healthy femoral bone models and pathological region constraints to identify cam bone mass. Agreement between manual and automated segmentation of the proximal femur was evaluated with the Dice similarity index (DSI) and surface distance measures. Independent t-tests or Mann-Whitney U rank tests were used to compare the femoral head volume, cam volume, surface area and height data between female and male patients with FAI. There was a mean DSI value of 0.964 between manual and automated segmentation of proximal femur volume. Compared to female FAI patients, male patients had a significantly larger mean femoral head volume (66.12cm3 v 46.02cm3, p<0.001). Compared to female FAI patients, male patients had a significantly larger mean cam volume (1136.87mm3 v 337.86mm3, p<0.001), surface area (657.36mm2 v 306.93mm2 , p<0.001), maximum-height (3.89mm v 2.23mm, p<0.001) and average-height (1.94mm v 1.00mm, p<0.001). Automated analyses of 3D MR images from patients with FAI using the CamMorph pipeline showed that, in comparison with female patients, male patients had significantly greater cam volume, surface area and height.


title: $L^2$-bounds for drilling short geodesics in convex co-compact hyperbolic 3-manifolds

abstract: We give $L^2$-bounds on the change in the complex projective structure on the boundary of conformally compact hyperbolic 3-manifold with incompressible boundary after drilling short geodesics. We show that the change is bounded by a universal constant times the square root of the length of the drilled geodesics. While $L^\infty$-bounds of this type where obtained by the second author (2004), our bounds here do not depend on the injectivity radius of the boundary.


title: A hybrid convolutional neural network/active contour approach to segmenting dead trees in aerial imagery

abstract: The stability and ability of an ecosystem to withstand climate change is directly linked to its biodiversity. Dead trees are a key indicator of overall forest health, housing one-third of forest ecosystem biodiversity, and constitute 8%of the global carbon stocks. They are decomposed by several natural factors, e.g. climate, insects and fungi. Accurate detection and modeling of dead wood mass is paramount to understanding forest ecology, the carbon cycle and decomposers. We present a novel method to construct precise shape contours of dead trees from aerial photographs by combining established convolutional neural networks with a novel active contour model in an energy minimization framework. Our approach yields superior performance accuracy over state-of-the-art in terms of precision, recall, and intersection over union of detected dead trees. This improved performance is essential to meet emerging challenges caused by climate change (and other man-made perturbations to the systems), particularly to monitor and estimate carbon stock decay rates, monitor forest health and biodiversity, and the overall effects of dead wood on and from climate change.


title: Interlayer Quasi-Bonding Interactions in 2D Layered Materials: A Classification According to the Occupancy of Involved Energy Bands

abstract: Recent studies have revealed that the interlayer interaction in two-dimensional (2D) layered materials is not simply of van der Waals character but could coexist with quasi-bonding character. Here we classify the interlayer quasi-bonding interactions into two main categories (I: homo-occupancy interaction, II: hetero-occupancy interaction) according to the occupancy of the involved energy bands near the Fermi level. Then we investigate the quasi-bonding-interaction-induced band structure evolution of several representative 2D materials based on density functional theory calculations. Further calculations confirm that this classification is applicable to generic 2D layered materials and provides a unified understanding of the total strength of interlayer interaction, which is a synergetic effect of the van der Waals attraction and the quasi-bonding interaction. The latter is stabilizing in main category II and destabilizing in main category I. Thus, the total interlayer interaction strength is relatively stronger in category II and weaker in category I.


title: Exact-Factorization-Based Surface-Hopping for Multi-State Dynamics

abstract: A surface-hopping algorithm recently derived from the exact factorization approach, SHXF, [Ha, Lee, Min, J. Phys. Chem. Lett. 9, 1097 (2018)] introduces an additional term in the electronic equation of surface-hopping, which couples electronic states through the quantum momentum. This term not only provides a first-principles description of decoherence but here we show it is crucial to accurately capture non-adiabatic dynamics when more than two states are occupied at any given time. Using a vibronic coupling model of the uracil cation, we show that the lack of this term in traditional surface-hopping methods, including those with decoherence-corrections, leads to failure to predict the dynamics through a three-state intersection, while SHXF performs similarly to the multi-configuration time-dependent Hartree quantum dynamics benchmark.


title: Non-Hermitian total-loss high-order topological insulator based on 1D Su-Schrieffer-Heeger (SSH)

abstract: Non-Hermiticity alters topology with the presence of non-Hermitian factors in topological systems. Most existing non-Hermitian topological systems derive their topological phases from Hermitian components, that is, the gain and loss of the system are considered simultaneously. In this work, we reveal two-dimensional non-Hermitian high-order topological insulator based on one-dimensional SSH chain, the nontrivial topology of which induced by total-loss. By introducing the loss of a specific configuration, we get a band gap with corner and edge states whose topology is characterized by the gapped wannier band. In addition, we demonstrate the existence of 'real-energy' edge states in pseudo-PT symmetric domain wall system. These results can be easily implemented in experiments, and promote the research of topological transmission of lossy systems in the real world.


title: Facial Emotion Characterization and Detection using Fourier Transform and Machine Learning

abstract: We present a Fourier-based machine learning technique that characterizes and detects facial emotions. The main challenging task in the development of machine learning (ML) models for classifying facial emotions is the detection of accurate emotional features from a set of training samples, and the generation of feature vectors for constructing a meaningful feature space and building ML models. In this paper, we hypothesis that the emotional features are hidden in the frequency domain; hence, they can be captured by leveraging the frequency domain and masking techniques. We also make use of the conjecture that a facial emotions are convoluted with the normal facial features and the other emotional features; however, they carry linearly separable spatial frequencies (we call computational emotional frequencies). Hence, we propose a technique by leveraging fast Fourier transform (FFT) and rectangular narrow-band frequency kernels, and the widely used Yale-Faces image dataset. We test the hypothesis using the performance scores of the random forest (RF) and the artificial neural network (ANN) classifiers as the measures to validate the effectiveness of the captured emotional frequencies. Our finding is that the computational emotional frequencies discovered by the proposed approach provides meaningful emotional features that help RF and ANN achieve a high precision scores above 93%, on average.


title: Analysis of finite-size effect of infinite-range Ising model under Glauber dynamics

abstract: We consider an infinite-range Ising model under the Glauber dynamics and determine the finite-size effect on the distribution of two spin variables as a perturbation of $O \left( 1/N \right)$. Based on several considerations, ordinary differential equations are derived for describing the time development of both a two-body correlation and the autocorrelation function of magnetization. The results of the calculation fit the simulation results, unless the perturbation theory breaks down because of critical phenomena or magnetization reversal.


title: Detecting DeFi Securities Violations from Token Smart Contract Code

abstract: Decentralized Finance (DeFi) is a system of financial products and services built and delivered through smart contracts on various blockchains. In the past year, DeFi has gained popularity and market capitalization. However, it has also been connected to crime, in particular, various types of securities violations. The lack of Know Your Customer requirements in DeFi poses challenges to governments trying to mitigate potential offending in this space. This study aims to uncover whether this problem is suited to a machine learning approach, namely, whether we can identify DeFi projects potentially engaging in securities violations based on their tokens' smart contract code. We adapt prior work on detecting specific types of securities violations across Ethereum, building classifiers based on features extracted from DeFi projects' tokens' smart contract code (specifically, opcode-based features). Our final model is a random forest model that achieves an 80\% F-1 score against a baseline of 50\%. Notably, we further explore the code-based features that are most important to our model's performance in more detail, analyzing tokens' Solidity code and conducting cosine similarity analyses. We find that one element of the code our opcode-based features may be capturing is the implementation of the SafeMath library, though this does not account for the entirety of our features. Another contribution of our study is a new data set, comprised of (a) a verified ground truth data set for tokens involved in securities violations and (b) a set of legitimate tokens from a reputable DeFi aggregator. This paper further discusses the potential use of a model like ours by prosecutors in enforcement efforts and connects it to the wider legal context.


title: JointLK: Joint Reasoning with Language Models and Knowledge Graphs for Commonsense Question Answering

abstract: Existing KG-augmented models for commonsense question answering primarily focus on designing elaborate Graph Neural Networks (GNNs) to model knowledge graphs (KGs). However, they ignore (i) the effectively fusing and reasoning over question context representations and the KG representations, and (ii) automatically selecting relevant nodes from the noisy KGs during reasoning. In this paper, we propose a novel model, JointLK, which solves the above limitations through the joint reasoning of LM and GNN and the dynamic KGs pruning mechanism. Specifically, JointLK performs joint reasoning between LM and GNN through a novel dense bidirectional attention module, in which each question token attends on KG nodes and each KG node attends on question tokens, and the two modal representations fuse and update mutually by multi-step interactions. Then, the dynamic pruning module uses the attention weights generated by joint reasoning to prune irrelevant KG nodes recursively. We evaluate JointLK on the CommonsenseQA and OpenBookQA datasets, and demonstrate its improvements to the existing LM and LM+KG models, as well as its capability to perform interpretable reasoning.


title: Causality and dimensionality in geometric scattering

abstract: The scattering matrix which describes low-energy, non-relativistic scattering of spin-1/2 fermions interacting via finite-range potentials can be obtained from a geometric action principle in which space and time do not appear explicitly arXiv:2011.01278. In the case of zero-range forces, causality leads to constraints on scattering trajectories in the geometric picture. The effect of spatial dimensionality is also investigated by considering scattering in two and three dimensions. In the geometric formulation it is found that dimensionality is encoded in the phase of the harmonic potential that appears in the geometric action.


title: Weak and viscosity solutions for non-homogeneous fractional equations in Orlicz spaces

abstract: In this paper, we consider non-homogeneous fractional equations in Orlicz spaces, with a source depending on the spatial variable, the unknown function, and its fractional gradient. The latter is adapted to the Orlicz framework. The main contribution of the article is to establish the equivalence between weak and viscosity solutions for such equations.


title: A Dataset of Stationary, Fixed-wing Aircraft on a Collision Course for Vision-Based Sense and Avoid

abstract: The emerging global market for unmanned aerial vehicle (UAV) services is anticipated to reach USD 58.4 billion by 2026, spurring significant efforts to safely integrate routine UAV operations into the national airspace in a manner that they do not compromise the existing safety levels. The commercial use of UAVs would be enhanced by an ability to sense and avoid potential mid-air collision threats however research in this field is hindered by the lack of available datasets as they are expensive and technically complex to capture. In this paper we present a dataset for vision based aircraft detection. The dataset consists of 15 image sequences containing 55,521 images of a fixed-wing aircraft approaching a stationary, grounded camera. Ground truth labels and a performance benchmark are also provided. To our knowledge, this is the first public dataset for studying medium sized, fixed-wing aircraft on a collision course with the observer. The full dataset and ground truth labels are publicly available at https://qcr.github.io/dataset/aircraft-collision-course/.


title: CDGNet: A Cross-Time Dynamic Graph-based Deep Learning Model for Traffic Forecasting

abstract: Traffic forecasting is important in intelligent transportation systems of webs and beneficial to traffic safety, yet is very challenging because of the complex and dynamic spatio-temporal dependencies in real-world traffic systems. Prior methods use the pre-defined or learnable static graph to extract spatial correlations. However, the static graph-based methods fail to mine the evolution of the traffic network. Researchers subsequently generate the dynamic graph for each time slice to reflect the changes of spatial correlations, but they follow the paradigm of independently modeling spatio-temporal dependencies, ignoring the cross-time spatial influence. In this paper, we propose a novel cross-time dynamic graph-based deep learning model, named CDGNet, for traffic forecasting. The model is able to effectively capture the cross-time spatial dependence between each time slice and its historical time slices by utilizing the cross-time dynamic graph. Meanwhile, we design a gating mechanism to sparse the cross-time dynamic graph, which conforms to the sparse spatial correlations in the real world. Besides, we propose a novel encoder-decoder architecture to incorporate the cross-time dynamic graph-based GCN for multi-step traffic forecasting. Experimental results on three real-world public traffic datasets demonstrate that CDGNet outperforms the state-of-the-art baselines. We additionally provide a qualitative study to analyze the effectiveness of our architecture.


title: Joint modeling of geometric features of longitudinal process and discrete survival time measured on nested timescales: an application to fecundity studies

abstract: In biomedical studies, longitudinal processes are collected till time-to-event, sometimes on nested timescales (example, days within months). Most of the literature in joint modeling of longitudinal and time-to-event data has focused on modeling the mean or dispersion of the longitudinal process with the hazard for time-to-event. However, based on the motivating studies, it may be of interest to investigate how the cycle-level {\it geometric features} (such as the curvature, location and height of a peak), of a cyclical longitudinal process is associated with the time-to-event being studied. We propose a shared parameter joint model for a cyclical longitudinal process and a discrete survival time, measured on nested timescales, where the cycle-varying geometric feature is modeled through a linear mixed effects model and a proportional hazards model for the discrete survival time. The proposed approach allows for prediction of survival probabilities for future subjects based on their available longitudinal measurements. Our proposed model and approach is illustrated through simulation and analysis of Stress and Time-to-Pregnancy, a component of Oxford Conception Study. A joint modeling approach was used to assess whether the cycle-specific geometric features of the lutenizing hormone measurements, such as its peak or its curvature, are associated with time-to-pregnancy (TTP).


title: A discrete memristor model and its application in the Rulkov neuron

abstract: Continuous time memristor have been widely used in fields such as chaotic oscillating circuitsand neuromorphic computing systems, but research on the application of discretememristors haven't been noticed yet. In this paper, we designed a new chaoticneuron by applying the discrete model to two-dimensional Rulkov chaotic neuron,and analyzed its dynamical behaviors by extensive experiments involves phasediagram, bifurcation diagram, and spectral entropy complexity algorithm. The experimental results show that the charge of the memristor has an importanteffect on the system dynamics, delaying the occurrence of bifurcation, and evenin the case of full memory, leading to the disappearance of the bifurcation thus makethe system reach a fixed point. Besides, the increase of the current magnification,can also bring about the increase in discharge frequency ofneurons, and a wider and larger range of spectral entropy complexity. The results of our study show the performance of Rulkov chaotic neuronis improved by applying thediscrete memristor, and may provide new insights into the mechanism of memoryand cognition in the nervous.


title: Double Field Theory for Generalized $\lambda$-deformation

abstract: We embed the geometries of the generalized $\lambda$-deformations into the framework of the Double Field Theory.


title: Spatio-Temporal meets Wavelet: Disentangled Traffic Flow Forecasting via Efficient Spectral Graph Attention Network

abstract: Traffic forecasting is crucial for public safety and resource optimization, yet is very challenging due to three aspects: i) current existing works mostly exploit intricate temporal patterns (e.g., the short-term thunderstorm and long-term daily trends) within a single method, which fail to accurately capture spatio-temporal dependencies under different schemas; ii) the under-exploration of the graph positional encoding limit the extraction of spatial information in the commonly used full graph attention network; iii) the quadratic complexity of the full graph attention introduces heavy computational needs. To achieve the effective traffic flow forecasting, we propose an efficient spectral graph attention network with disentangled traffic sequences. Specifically, the discrete wavelet transform is leveraged to obtain the low- and high-frequency components of traffic sequences, and a dual-channel encoder is elaborately designed to accurately capture the spatio-temporal dependencies under long- and short-term schemas of the low- and high-frequency components. Moreover, a novel wavelet-based graph positional encoding and a query sampling strategy are introduced in our spectral graph attention to effectively guide message passing and efficiently calculate the attention. Extensive experiments on four real-world datasets show the superiority of our model, i.e., the higher traffic forecasting precision with lower computational cost.


title: Team Hitachi @ AutoMin 2021: Reference-free Automatic Minuting Pipeline with Argument Structure Construction over Topic-based Summarization

abstract: This paper introduces the proposed automatic minuting system of the Hitachi team for the First Shared Task on Automatic Minuting (AutoMin-2021). We utilize a reference-free approach (i.e., without using training minutes) for automatic minuting (Task A), which first splits a transcript into blocks on the basis of topics and subsequently summarizes those blocks with a pre-trained BART model fine-tuned on a summarization corpus of chat dialogue. In addition, we apply a technique of argument mining to the generated minutes, reorganizing them in a well-structured and coherent way. We utilize multiple relevance scores to determine whether or not a minute is derived from the same meeting when either a transcript or another minute is given (Task B and C). On top of those scores, we train a conventional machine learning model to bind them and to make final decisions. Consequently, our approach for Task A achieve the best adequacy score among all submissions and close performance to the best system in terms of grammatical correctness and fluency. For Task B and C, the proposed model successfully outperformed a majority vote baseline.


title: Hypothesis Test of a Truncated Sample Mean for the Extremely Heavy-Tailed Distributions

abstract: This article deals with the hypothesis test for the extremely heavy-tailed distributions with infinite mean or variance by using a truncated sample mean. We obtain three necessary and sufficient conditions under which the asymptotic distribution of the truncated test statistics converges to normal, neither normal nor stable or converges to $-\infty$ or the combination of stable distributions, respectively. The numerical simulation illustrates an application of the theoretical results above in the hypothesis testing.


title: Separated Contrastive Learning for Organ-at-Risk and Gross-Tumor-Volume Segmentation with Limited Annotation

abstract: Automatic delineation of organ-at-risk (OAR) and gross-tumor-volume (GTV) is of great significance for radiotherapy planning. However, it is a challenging task to learn powerful representations for accurate delineation under limited pixel (voxel)-wise annotations. Contrastive learning at pixel-level can alleviate the dependency on annotations by learning dense representations from unlabeled data. Recent studies in this direction design various contrastive losses on the feature maps, to yield discriminative features for each pixel in the map. However, pixels in the same map inevitably share semantics to be closer than they actually are, which may affect the discrimination of pixels in the same map and lead to the unfair comparison to pixels in other maps. To address these issues, we propose a separated region-level contrastive learning scheme, namely SepaReg, the core of which is to separate each image into regions and encode each region separately. Specifically, SepaReg comprises two components: a structure-aware image separation (SIS) module and an intra- and inter-organ distillation (IID) module. The SIS is proposed to operate on the image set to rebuild a region set under the guidance of structural information. The inter-organ representation will be learned from this set via typical contrastive losses cross regions. On the other hand, the IID is proposed to tackle the quantity imbalance in the region set as tiny organs may produce fewer regions, by exploiting intra-organ representations. We conducted extensive experiments to evaluate the proposed model on a public dataset and two private datasets. The experimental results demonstrate the effectiveness of the proposed model, consistently achieving better performance than state-of-the-art approaches. Code is available at https://github.com/jcwang123/Separate_CL.


title: A new active disturbance controller based on an improved fraction-order extended state observer

abstract: This paper proposes a new fraction-order active disturbance rejection controller based on an improved fraction-order extended state observer (IFESO) for a class of fraction-order systems. Applying the IFESO, the fraction-order system can be approximated as an integer-order integrator (1/s). The parameters that ensure the stability of the IFESO and closed-loop system are provided. The frequency-domain analysis shows that the IFADRC has a stronger disturbance estimation performance for the fraction-order system than an integer-order active disturbance rejection controller (IADRC). The simulation results demonstrates that the proposed IFADRC behaves better than the IADRC and the FADRC.


title: Potential Habitability as a Stellar Property: Effects of Model Uncertainties and Measurement Precision

abstract: Knowledge of a star's evolutionary history combined with estimates of planet occurrence rates allows one to infer its relative quality as a location in the search for biosignatures, and to quantify this intuition using long-term habitability metrics. In this study, we analyse the sensitivity of the biosignature yield metrics formulated by Tuchow & Wright (2020) to uncertainties in observable stellar properties and to model uncertainties. We characterize the uncertainties present in fitting a models to stellar observations by generating a stellar model with known properties and adding synthetic uncertainties in the observable properties. We scale the uncertainty in individual observables and observe the the effects on the precision of properties such as stellar mass, age, and our metrics. To determine model uncertainties we compare four well accepted stellar models using different model physics and see how they vary in terms of the values of our metrics. We determine the ability of future missions to rank target stars according to these metrics, given the current precision to which host star properties can be measured. We show that obtaining independent age constraints decreases both the model and systematic uncertainties in determining these metrics and is the most powerful way to improve assessments of the long-term habitability of planets around low mass stars.


title: Unfairness Despite Awareness: Group-Fair Classification with Strategic Agents

abstract: The use of algorithmic decision making systems in domains which impact the financial, social, and political well-being of people has created a demand for these decision making systems to be "fair" under some accepted notion of equity. This demand has in turn inspired a large body of work focused on the development of fair learning algorithms which are then used in lieu of their conventional counterparts. Most analysis of such fair algorithms proceeds from the assumption that the people affected by the algorithmic decisions are represented as immutable feature vectors. However, strategic agents may possess both the ability and the incentive to manipulate this observed feature vector in order to attain a more favorable outcome. We explore the impact that strategic agent behavior could have on fair classifiers and derive conditions under which this behavior leads to fair classifiers becoming less fair than their conventional counterparts under the same measure of fairness that the fair classifier takes into account. These conditions are related to the the way in which the fair classifier remedies unfairness on the original unmanipulated data: fair classifiers which remedy unfairness by becoming more selective than their conventional counterparts are the ones that become less fair than their counterparts when agents are strategic. We further demonstrate that both the increased selectiveness of the fair classifier, and consequently the loss of fairness, arises when performing fair learning on domains in which the advantaged group is overrepresented in the region near (and on the beneficial side of) the decision boundary of conventional classifiers. Finally, we observe experimentally, using several datasets and learning methods, that this fairness reversal is common, and that our theoretical characterization of the fairness reversal conditions indeed holds in most such cases.


title: Making a Bird AI Expert Work for You and Me

abstract: As powerful as fine-grained visual classification (FGVC) is, responding your query with a bird name of "Whip-poor-will" or "Mallard" probably does not make much sense. This however commonly accepted in the literature, underlines a fundamental question interfacing AI and human -- what constitutes transferable knowledge for human to learn from AI? This paper sets out to answer this very question using FGVC as a test bed. Specifically, we envisage a scenario where a trained FGVC model (the AI expert) functions as a knowledge provider in enabling average people (you and me) to become better domain experts ourselves, i.e. those capable in distinguishing between "Whip-poor-will" and "Mallard". Fig. 1 lays out our approach in answering this question. Assuming an AI expert trained using expert human labels, we ask (i) what is the best transferable knowledge we can extract from AI, and (ii) what is the most practical means to measure the gains in expertise given that knowledge? On the former, we propose to represent knowledge as highly discriminative visual regions that are expert-exclusive. For that, we devise a multi-stage learning framework, which starts with modelling visual attention of domain experts and novices before discriminatively distilling their differences to acquire the expert exclusive knowledge. For the latter, we simulate the evaluation process as book guide to best accommodate the learning practice of what is accustomed to humans. A comprehensive human study of 15,000 trials shows our method is able to consistently improve people of divergent bird expertise to recognise once unrecognisable birds. Interestingly, our approach also leads to improved conventional FGVC performance when the extracted knowledge defined is utilised as means to achieve discriminative localisation. Codes are available at: https://github.com/PRIS-CV/Making-a-Bird-AI-Expert-Work-for-You-and-Me


title: Finite-Size Scaling Analysis of the Planck's Quantum-Driven Integer Quantum Hall Transition in Spin-$1/2$ Kicked Rotor Model

abstract: The quantum kicked rotor (QKR) model is a prototypical system in the research of quantum chaos. In a spin-$1/2$ QKR, tuning the effective Planck parameter realizes a series of transitions between dynamical localization phases, which closely resembles the integer quantum Hall (IQH) effect and the plateau transitions. In this work, we devise and apply the finite-size scaling analysis to the transitions in the spin-$1/2$ QKR model. We obtain an estimate of the critical exponent at the transition point, $\nu=2.62(9)$, which is consistent with the IQH plateau transition universality class. We also give a precise estimate of the universal diffusion rate at the metallic critical state, $\sigma^{*}=0.3253(12)$.

categories: quant-ph cond-mat.dis-nn cond-mat.mes-hall nlin.CD


title: One-shot Talking Face Generation from Single-speaker Audio-Visual Correlation Learning

abstract: Audio-driven one-shot talking face generation methods are usually trained on video resources of various persons. However, their created videos often suffer unnatural mouth shapes and asynchronous lips because those methods struggle to learn a consistent speech style from different speakers. We observe that it would be much easier to learn a consistent speech style from a specific speaker, which leads to authentic mouth movements. Hence, we propose a novel one-shot talking face generation framework by exploring consistent correlations between audio and visual motions from a specific speaker and then transferring audio-driven motion fields to a reference image. Specifically, we develop an Audio-Visual Correlation Transformer (AVCT) that aims to infer talking motions represented by keypoint based dense motion fields from an input audio. In particular, considering audio may come from different identities in deployment, we incorporate phonemes to represent audio signals. In this manner, our AVCT can inherently generalize to audio spoken by other identities. Moreover, as face keypoints are used to represent speakers, AVCT is agnostic against appearances of the training speaker, and thus allows us to manipulate face images of different identities readily. Considering different face shapes lead to different motions, a motion field transfer module is exploited to reduce the audio-driven dense motion field gap between the training identity and the one-shot reference. Once we obtained the dense motion field of the reference image, we employ an image renderer to generate its talking face videos from an audio clip. Thanks to our learned consistent speaking style, our method generates authentic mouth shapes and vivid movements. Extensive experiments demonstrate that our synthesized videos outperform the state-of-the-art in terms of visual quality and lip-sync.


title: An FPGA-based Timing and Control System for the Dynamic Compression Sector

abstract: A field programmable gate array (FPGA) based timing and trigger control system has been developed for the Dynamic Compression Sector (DCS) user facility located at the Advanced Photon Source (APS) at Argonne National Laboratory. The DCS is a first-of-its-kind capability dedicated to dynamic compression science. All components of the DCS laser shock station - x-ray choppers, single-shot shutter, internal laser triggers, and shot diagnostics-must be synchronized with respect to the arrival of x-rays in the hutch. A field-programmable gate array (FPGA) synchronized to the APS storage ring radio frequency (RF) clock (352 MHz) generates trigger signals for each stage of the laser and x-ray shutter system with low jitter. The system is composed of a Zynq FPGA, a debug card, line drivers and power supply. The delay and offsets of trigger signals can be adjusted using a user-friendly graphical user interface (GUI) with high precision. The details of the system architecture, timing requirements, firmware, and software implementation along with the performance evaluation are presented in this paper. The system offers low timing jitter (15.5 ps r.m.s.) with respect to APS 352 MHz clock, suitable for the 50 ps r.m.s. x-ray bunch duration at the APS.


title: Robust training approach of neural networks for fluid flow state estimations

abstract: State estimation from limited sensor measurements is ubiquitously found as a common challenge in a broad range of fields including mechanics, astronomy, and geophysics. Fluid mechanics is no exception -- state estimation of fluid flows is particularly important for flow control and processing of experimental data. However, strong nonlinearities and spatio-temporal high degrees of freedom of fluid flows cause difficulties in reasonable estimations. To handle these issues, neural networks (NNs) have recently been applied to the fluid flow estimation instead of conventional linear methods. The present study focuses on the capability of NNs to various fluid flow estimation problems from a practical viewpoint regarding robust training. Three types of unsteady laminar and turbulent flows are considered for the present demonstration: 1. square cylinder wake, 2. turbulent channel flow, and 3. laminar to turbulent transitional boundary layer. We utilize a convolutional neural network (CNN) to estimate velocity fields from sectional sensor measurements. To assess the practicability of the CNN models, physical quantities required for the input and robustness against lack of sensors are investigated. We also examine the effectiveness of several considerable approaches for model training to gain more robustness against the lack of sensors. The knowledge acquired through the present study in terms of effective training approaches can be transferred towards practical machine learning in fluid flow modeling.


title: End-to-end Adaptive Distributed Training on PaddlePaddle

abstract: Distributed training has become a pervasive and effective approach for training a large neural network (NN) model with processing massive data. However, it is very challenging to satisfy requirements from various NN models, diverse computing resources, and their dynamic changes during a training job. In this study, we design our distributed training framework in a systematic end-to-end view to provide the built-in adaptive ability for different scenarios, especially for industrial applications and production environments, by fully considering resource allocation, model partition, task placement, and distributed execution. Based on the unified distributed graph and the unified cluster object, our adaptive framework is equipped with a global cost model and a global planner, which can enable arbitrary parallelism, resource-aware placement, multi-mode execution, fault-tolerant, and elastic distributed training. The experiments demonstrate that our framework can satisfy various requirements from the diversity of applications and the heterogeneity of resources with highly competitive performance. The ERNIE language model with 260 billion parameters is efficiently trained on thousands of AI processors with 91.7% weak scalability. The throughput of the model from the recommender system by employing the heterogeneous pipeline asynchronous execution can be increased up to 2.1 times and 3.3 times that of the GPU-only and CPU-only training respectively. Moreover, the fault-tolerant and elastic distributed training have been successfully applied to the online industrial applications, which give a reduction of 34.49% in the number of failed long-term training jobs and an increase of 33.91% for the global scheduling efficiency in the production environment.


title: MobRecon: Mobile-Friendly Hand Mesh Reconstruction from Monocular Image

abstract: In this work, we propose a framework for single-view hand mesh reconstruction, which can simultaneously achieve high reconstruction accuracy, fast inference speed, and temporal coherence. Specifically, for 2D encoding, we propose lightweight yet effective stacked structures. Regarding 3D decoding, we provide an efficient graph operator, namely depth-separable spiral convolution. Moreover, we present a novel feature lifting module for bridging the gap between 2D and 3D representations. This module begins with a map-based position regression (MapReg) block to integrate the merits of both heatmap encoding and position regression paradigms for improved 2D accuracy and temporal coherence. Furthermore, MapReg is followed by pose pooling and pose-to-vertex lifting approaches, which transform 2D pose encodings to semantic features of 3D vertices. Overall, our hand reconstruction framework, called MobRecon, comprises affordable computational costs and miniature model size, which reaches a high inference speed of 83FPS on Apple A14 CPU. Extensive experiments on popular datasets such as FreiHAND, RHD, and HO3Dv2 demonstrate that our MobRecon achieves superior performance on reconstruction accuracy and temporal coherence. Our code is publicly available at https://github.com/SeanChenxy/HandMesh.


title: Voltage Stability Constrained Unit Commitment in High IBG-Penetrated Power Systems

abstract: With the increasing penetration of renewable energy sources, power system operation has to be adapted to ensure the system stability and security while considering the distinguished feature of the Power Electronics (PE) interfaced generators. The static voltage stability which is mainly compromised by heavy loading conditions in conventional power systems, faces new challenges due to the large scale integration of PE-interfaced devices. This paper investigates the static voltage stability problem in high PE-penetrated system. The analytic criterion that ensures the voltage stability at the Inverter-Based Generator (IBG) buses are derived with the interaction of different IBGs being considered. Based on this, an optimal system scheduling model is proposed to minimize the overall system operation cost while maintaining the voltage stability during normal operation through dynamically optimizing the active and reactive power output from IBGs. The highly nonlinear voltage stability constraints are effectively converted into Second-Order-Cone (SOC) form, leading to an overall Mixed-Integer SOC Programming (MISOCP), together with the SOC reformulation of AC power flow and frequency constraints. The effectiveness of the proposed model and the impact of various factors on voltage stability are demonstrated in thorough case studies.


title: Blow up of solutions of semilinear wave equations related to nonlinear waves in de Sitter spacetime

abstract: Consider a nonlinear wave equation for a massless scalar field with self-interaction in the spatially flat de Sitter spacetime. We show that blow-up in a finite time occurs for the equation with arbitrary power nonlinearity as well as upper bounds of the lifespan of blow-up solutions.The blow-up condition is the same as in the accelerated expanding Friedmann-Lema\^itre-Robertson-Walker (FLRW) spacetime. We also show the same results for the space derivative nonlinear term.


title: Intrinsic decoherence for the displaced harmonic oscillator

abstract: By using the complete solution of the Milburn equation (beyond the Lindblad form that it is generally used) that describes intrinsic decoherence, we study the decaying dynamics of a displaced harmonic oscillator. We calculate the expectation values of position quadrature, and the number operator in initial coherent and squeezed states.


title: Review of Data Integrity Attacks and Mitigation Methods in Edge computing

abstract: In recent years, edge computing has emerged as a promising technology due to its unique feature of real-time computing and parallel processing. They provide computing and storage capacity closer to the data source and bypass the distant links to the cloud. The edge data analytics process the ubiquitous data on the edge layer to offer real-time interactions for the application. However, this process can be prone to security threats like gaining malicious access or manipulating sensitive data. This can lead to the intruder's control, alter, or add erroneous data affecting the integrity and data analysis efficiency. Due to the lack of transparency of stakeholders processing edge data, it is challenging to identify the vulnerabilities. Many reviews are available on data security issues on the edge layer; however, they do not address integrity issues exclusively. Therefore, this paper concentrates only on data integrity threats that directly influence edge data analysis. Further shortcomings in existing work are identified with few research directions.


title: A Tool for Rejuvenating Feature Logging Levels via Git Histories and Degree of Interest

abstract: Logging is a significant programming practice. Due to the highly transactional nature of modern software applications, massive amount of logs are generated every day, which may overwhelm developers. Logging information overload can be dangerous to software applications. Using log levels, developers can print the useful information while hiding the verbose logs during software runtime. As software evolves, the log levels of logging statements associated with the surrounding software feature implementation may also need to be altered. Maintaining log levels necessitates a significant amount of manual effort. In this paper, we demonstrate an automated approach that can rejuvenate feature log levels by matching the interest level of developers in the surrounding features. The approach is implemented as an open-source Eclipse plugin, using two external plug-ins (JGit and Mylyn). It was tested on 18 open-source Java projects consisting of ~3 million lines of code and ~4K log statements. Our tool successfully analyzes 99.22% of logging statements, increases log level distributions by ~20%, and increases the focus of logs in bug fix contexts ~83% of the time. For further details, interested readers can watch our demonstration video (https://www.youtube.com/watch?v=qIULoAXoDv4).


title: Testing gravitational redshift based on microwave frequency links onboard China Space Station

abstract: In 2022 China Space Station (CSS) will be equipped with atomic clocks and optical clocks with stabilities of $2 \times 10^{-16}$ and $8 \times 10^{-18}$, respectively, which provides an excellent opportunity to test gravitational redshift (GR) with higher accuracy than previous results. Based on high-precise frequency links between CSS and a ground station, we formulated a model and provided simulation experiments to test GR. Simulation results suggest that this method could test the GR at the accuracy level of $(0.27 \pm 2.15) \times10^{-7}$, more than two orders in magnitude higher than the result of the experiment of a hydrogen clock on board a flying rocket more than 40 years ago.


title: Howe duality for a quasi-split exceptional dual pair

abstract: We prove Howe duality for the theta correspondence arising from the $p$-adic dual pair $G_2 \times (\text{PU}_3 \rtimes \mathbb{Z}/2\mathbb{Z})$ inside the adjoint quasi-split group of type $E_6$.


title: BCD Nets: Scalable Variational Approaches for Bayesian Causal Discovery

abstract: A structural equation model (SEM) is an effective framework to reason over causal relationships represented via a directed acyclic graph (DAG). Recent advances have enabled effective maximum-likelihood point estimation of DAGs from observational data. However, a point estimate may not accurately capture the uncertainty in inferring the underlying graph in practical scenarios, wherein the true DAG is non-identifiable and/or the observed dataset is limited. We propose Bayesian Causal Discovery Nets (BCD Nets), a variational inference framework for estimating a distribution over DAGs characterizing a linear-Gaussian SEM. Developing a full Bayesian posterior over DAGs is challenging due to the the discrete and combinatorial nature of graphs. We analyse key design choices for scalable VI over DAGs, such as 1) the parametrization of DAGs via an expressive variational family, 2) a continuous relaxation that enables low-variance stochastic optimization, and 3) suitable priors over the latent variables. We provide a series of experiments on real and synthetic data showing that BCD Nets outperform maximum-likelihood methods on standard causal discovery metrics such as structural Hamming distance in low data regimes.


title: Chirality of plasmonic metasurfaces with rectangular holes

abstract: Chiral response is of tremendous importance to many fields, such as analytical chemistry, polarization manipulation and biological sensing. Here, a chiral metasurface based on rectangular holes is systematically investigated. The results show that the chirality is closely related to the size and the orientation of resonance unit. It is found that the period of the structure is always smaller than the wavelength at which chirality appears, which will provide a good basis for the design of chiral structures. More importantly, the CD is highly sensitive to the orientation of resonance unit. By adjusting the rotation angle, it is not only possible to invert the CD, but also to change the symmetry of the structure to realize the regulation of chirality. The chirality can be significantly enhanced in the proposed structure, and the maximum of circular dichroism (CD) can reach 0.76. To better understand the physical mechanism, the distributions of electric field for LCP and RCP waves are also discussed as well. This work will not only deepen the understanding of chiral metasurfaces, but also provide guidance for the design of similar chiral structures.


title: MetaCloth: Learning Unseen Tasks of Dense Fashion Landmark Detection from a Few Samples

abstract: Recent advanced methods for fashion landmark detection are mainly driven by training convolutional neural networks on large-scale fashion datasets, which has a large number of annotated landmarks. However, such large-scale annotations are difficult and expensive to obtain in real-world applications, thus models that can generalize well from a small amount of labelled data are desired. We investigate this problem of few-shot fashion landmark detection, where only a few labelled samples are available for an unseen task. This work proposes a novel framework named MetaCloth via meta-learning, which is able to learn unseen tasks of dense fashion landmark detection with only a few annotated samples. Unlike previous meta-learning work that focus on solving "N-way K-shot" tasks, where each task predicts N number of classes by training with K annotated samples for each class (N is fixed for all seen and unseen tasks), a task in MetaCloth detects N different landmarks for different clothing categories using K samples, where N varies across tasks, because different clothing categories usually have various number of landmarks. Therefore, numbers of parameters are various for different seen and unseen tasks in MetaCloth. MetaCloth is carefully designed to dynamically generate different numbers of parameters for different tasks, and learn a generalizable feature extraction network from a few annotated samples with a set of good initialization parameters. Extensive experiments show that MetaCloth outperforms its counterparts by a large margin.


title: Hybrid quantum-classical algorithm for computing imaginary-time correlation functions

abstract: Quantitative descriptions of strongly correlated materials pose a considerable challenge in condensed matter physics and chemistry. A promising approach to address this problem is quantum embedding methods. In particular, the dynamical mean-field theory (DMFT) maps the original system to an effective quantum impurity model comprising correlated orbitals embedded in an electron bath. The biggest bottleneck in DMFT calculations is numerically solving the quantum impurity model, i.e., computing Green's function. Past studies have proposed theoretical methods to compute Green's function of a quantum impurity model in polynomial time using a quantum computer. So far, however, efficient methods for computing the imaginary-time Green's functions have not been established despite the advantages of the imaginary-time formulation. We propose a quantum-classical hybrid algorithm for computing imaginary-time Green's functions on quantum devices with limited hardware resources by applying the variational quantum simulation. Using a quantum circuit simulator, we verified this algorithm by computing Green's functions for a dimer model as well as a four-site impurity model obtained by DMFT calculations of the single-band Hubbard model, although our method can be applied to general imaginary-time correlation functions.


title: Circle homeomorphisms with breaks with no $C^{2-\nu}$ conjugacy

abstract: The rigidity theory for circle homeomophisms with breaks was studied intensively in the last 20 years. It was proved that under mild conditions of the Diophantine type on the rotation number any two $C^{2+\alpha}$ smooth circle homeomorphisms with a break point are $C^1$ smoothly conjugate to each other, provided that they have the same rotation number and the same size of the break. In this paper we prove that the conjugacy may not be $C^{2-\nu}$ even if the maps are analytic outside of the break points. This result shows that the rigidity theory for maps with singularities is very different from the linearizable case of circle diffeomorphisms where conjugacy is arbitrarily smooth, or even analytic, for sufficiently smooth diffeomorphisms.


title: Production of $\Omega NN$ and $\Omega\Omega N$ in ultra-relativistic heavy ion collisions

abstract: Even though lots of $\Lambda$-hypernuclei have been found and measured, multi-strangeness hypernuclei consisting of $\Omega$ are not yet discovered. The studies of multi-strangeness hypernuclei help us further understand the interaction between hyperons and nucleons. Recently the $\Omega N$ and $\Omega\Omega$ interactions as well as binding energies were calculated by the HAL-QCD's lattice Quantum Chromo-Dynamics (LQCD) simulations and production rates of $\Omega$-dibaryon in Au + Au collisions at RHIC and Pb + Pb collisions at LHC energies were estimated by a coalescence model. The present work discusses the production of more exotic triple-baryons including $\Omega$, namely $\Omega NN$ and $\Omega\Omega N$ as well as their decay channels. A variation method is used in calculations of bound states and binding energy of $\Omega NN$ and $\Omega\Omega N$ with the potentials from the HAL-QCD's results. The productions of $\Omega NN$ and $\Omega\Omega N$ are predicted by using a blast-wave model plus coalescence model in ultra-relativistic heavy-ion collisions at $\sqrt{s_{NN}} = 200$ GeV and $2.76$ TeV. Furthermore, plots for baryon number dependent yields of different baryons ($N$ and $\Omega$), their dibaryons and hypernuclei are made and the production rate of a more exotic tetra-baryon ($\Omega\Omega NN$) is extrapolated.


title: A General Framework for Debiasing in CTR Prediction

abstract: Most of the existing methods for debaising in click-through rate (CTR) prediction depend on an oversimplified assumption, i.e., the click probability is the product of observation probability and relevance probability. However, since there is a complicated interplay between these two probabilities, these methods cannot be applied to other scenarios, e.g. query auto completion (QAC) and route recommendation. We propose a general debiasing framework without simplifying the relationships between variables, which can handle all scenarios in CTR prediction. Simulation experiments show that: under the simplest scenario, our method maintains a similar AUC with the state-of-the-art methods; in other scenarios, our method achieves considerable improvements compared with existing methods. Meanwhile, in online experiments, the framework also gains significant improvements consistently.


title: Monitoring the SNS basement neutron background with the MARS detector

abstract: We present the analysis and results of the first dataset collected with the MARS neutron detector deployed at the Oak Ridge National Laboratory Spallation Neutron Source (SNS) for the purpose of monitoring and characterizing the beam-related neutron (BRN) background for the COHERENT collaboration. MARS was positioned next to the COH-CsI coherent elastic neutrino-nucleus scattering detector in the SNS basement corridor. This is the basement location of closest proximity to the SNS target and thus, of highest neutrino flux, but it is also well shielded from the BRN flux by infill concrete and gravel. These data show the detector registered roughly one BRN per day. Using MARS' measured detection efficiency, the incoming BRN flux is estimated to be $1.20~\pm~0.56~\text{neutrons}/\text{m}^2/\text{MWh}$ for neutron energies above $\sim3.5$ MeV and up to a few tens of MeV. We compare our results with previous BRN measurements in the SNS basement corridor reported by other neutron detectors.


title: Leptophobic dark photon interpretation of the $\eta^{\left(\prime\right)}\rightarrow\pi^0\left(\eta\right)\gamma\gamma$ puzzle

abstract: The decays of $\eta$ and $\eta^\prime$ mesons provide unique opportunities for testing the properties of low energy Quantum Chromodynamics and for the search of new physics beyond the Standard Model. However, recent experimental results on the rare decays of $\eta^{\left(\prime\right)}\rightarrow\pi^0\left(\eta\right)\gamma\gamma$ cannot be self-consistently described by the combination of the Vector Meson Dominance and Linear Sigma Model employing the same set of parameters. We show that this tension can be attributed to the presence of a leptophobic dark photon $\mathcal{B}$, and find representative values of the parameters which provide consistent description of these three decays, simultaneously. Unlike existing strategies of Dalitz analysis searching for the bump at $m_\mathcal{B}$, we propose the usage of mismatch between these decays to constrain the parameters of the hypothetical dark photon.


title: Search and Learn: Improving Semantic Coverage for Data-to-Text Generation

abstract: Data-to-text generation systems aim to generate text descriptions based on input data (often represented in the tabular form). A typical system uses huge training samples for learning the correspondence between tables and texts. However, large training sets are expensive to obtain, limiting the applicability of these approaches in real-world scenarios. In this work, we focus on few-shot data-to-text generation. We observe that, while fine-tuned pretrained language models may generate plausible sentences, they suffer from the low semantic coverage problem in the few-shot setting. In other words, important input slots tend to be missing in the generated text. To this end, we propose a search-and-learning approach that leverages pretrained language models but inserts the missing slots to improve the semantic coverage. We further fine-tune our system based on the search results to smooth out the search noise, yielding better-quality text and improving inference efficiency to a large extent. Experiments show that our model achieves high performance on E2E and WikiBio datasets. Especially, we cover 98.35% of input slots on E2E, largely alleviating the low coverage problem.


title: Determinants of Laplacians for constant curvature metrics with three conical singularities on 2-sphere

abstract: We deduce an explicit closed formula for the zeta-regularized spectral determinant of the Friedrichs Laplacian on the Riemann sphere equipped with arbitrary constant curvature (flat, spherical, or hyperbolic) metric having three conical singularities of order $\beta_j\in(-1,0)$ (or, equivalently, of angle $2\pi(\beta_j+1)$). We show that among the metrics with a fixed value of the sum $\beta_1+\beta_2+\beta_3$ and a fixed surface area, those with $\beta_1=\beta_2=\beta_3$ correspond to a stationary point of the determinant. If, in addition, the surface area is sufficiently small, then the stationary point is a minimum. As a crucial step towards obtaining these results we find a relation between the determinant of Laplacian and the Liouville action introduced by A. Zamolodchikov and Al. Zamolodchikov in connection with the celebrated DOZZ formula for the three-point structure constants of the Liouville field theory.

categories: math.DG math-ph math.FA math.MP math.NT math.SP


title: ActiveZero: Mixed Domain Learning for Active Stereovision with Zero Annotation

abstract: Traditional depth sensors generate accurate real world depth estimates that surpass even the most advanced learning approaches trained only on simulation domains. Since ground truth depth is readily available in the simulation domain but quite difficult to obtain in the real domain, we propose a method that leverages the best of both worlds. In this paper we present a new framework, ActiveZero, which is a mixed domain learning solution for active stereovision systems that requires no real world depth annotation. First, we demonstrate the transferability of our method to out-of-distribution real data by using a mixed domain learning strategy. In the simulation domain, we use a combination of supervised disparity loss and self-supervised losses on a shape primitives dataset. By contrast, in the real domain, we only use self-supervised losses on a dataset that is out-of-distribution from either training simulation data or test real data. Second, our method introduces a novel self-supervised loss called temporal IR reprojection to increase the robustness and accuracy of our reprojections in hard-to-perceive regions. Finally, we show how the method can be trained end-to-end and that each module is important for attaining the end result. Extensive qualitative and quantitative evaluations on real data demonstrate state of the art results that can even beat a commercial depth sensor.


title: Staring Down the Digital Fulda Gap Path Dependency as a Cyber Defense Vulnerability

abstract: Academia, homeland security, defense, and media have accepted the perception that critical infrastructure in a future cyber war cyber conflict is the main gateway for a massive cyber assault on the U.S. The question is not if the assumption is correct or not, the question is instead of how did we arrive at that assumption. The cyber paradigm considers critical infrastructure the primary attack vector for future cyber conflicts. The national vulnerability embedded in critical infrastructure is given a position in the cyber discourse as close to an unquestionable truth as a natural law. The American reaction to Sept. 11, and any attack on U.S. soil, hint to an adversary that attacking critical infrastructure to create hardship for the population could work contrary to the intended softening of the will to resist foreign influence. It is more likely that attacks that affect the general population instead strengthen the will to resist and fight, similar to the British reaction to the German bombing campaign Blitzen in 1940. We cannot rule out attacks that affect the general population, but there are not enough adversarial offensive capabilities to attack all 16 critical infrastructure sectors and gain strategic momentum. An adversary has limited cyberattack capabilities and needs to prioritize cyber targets that are aligned with the overall strategy. Logically, an adversary will focus their OCO on operations that has national security implications and support their military operations by denying, degrading, and confusing the U.S. information environment and U.S. cyber assets.


title: Saturated Models for the Working Model Theorist

abstract: We put in print a classical result that states that for most purposes, there is no harm in assuming the existence of saturated models in model theory. The presentation is aimed for model theorists with only basic knowledge of axiomatic set theory.


title: Sensor as a Company: On Self-Sustaining IoT Commons

abstract: Beyond the "smart home" and "smart enterprise", the Internet of Things (IoT) revolution is creating "smart communities", where shared IoT devices collectively benefit a large number of residents, for transportation, healthcare, safety, and more. However, large-scale deployments of IoT-powered neighborhoods face two key socio-technical challenges: the significant upfront investment and the lack of information on local IoT needs. In this paper, we present SensorInc, a new IoT deployment paradigm that incentivizes residents to design and manage sensor deployment through sensor liquefaction. By turning shared sensors into liquid (i.e. tradeable) assets akin to company stock or bond, users can design and invest in promising IoT deployments and receive monetary rewards afterward. We present the detailed design of SensorInc and conduct two case studies (parking occupancy sensors and air pollution sensors) to study the self-sustainability and deployment challenges of such a paradigm.


title: Generation of new symmetries from explicit symmetry breaking

abstract: We study how the explicit symmetry breaking, through a continuous parameter in the Lagrangian, can actually lead to the creation of different types of symmetries. As examples we consider the motion of a relativistic particle in a curved background, where a nonzero mass breaks the symmetry of the conformal algebra of the metric, and the motion in a Bogoslovsky-Finsler space-time, where a Lorentz violation takes place. In the first case, new nonlocal conserved charges emerge in the place of those which were previously generated by the conformal Killing vectors, while in the second, rational in the momenta integrals of motion appear to substitute the linear expressions corresponding to those boosts which fail to be symmetries.


title: Quantum-Enhanced Stimulated Brillouin Scattering Spectroscopy and Imaging

abstract: Brillouin microscopy is an emerging label-free imaging technique to assess local viscoelastic properties. Quantum-enhanced stimulated Brillouin scattering is demonstrated for the first time using low power continuous-wave lasers at 795~nm. A signal to noise ratio enhancement of 3.4~dB is reported by using two-mode intensity-difference squeezed light generated with the four-wave mixing process in atomic rubidium vapor. The low optical power and the excitation wavelengths in the water transparency window has the potential to provide a powerful bio-imaging technique for probing mechanical properties of biological samples prone to phototoxicity and thermal effects. The performance enhancement affordable through the use of quantum light may pave the way for significantly improved sensitivity that cannot be achieved classically. The proposed new way of utilizing squeezed light for enhanced stimulated Brillouin scattering can be easily adapted for both spectroscopic and imaging applications in materials science and biology.


title: Error constant estimation under the maximum norm for linear Lagrange interpolation

abstract: For the Lagrange interpolation over a triangular domain, we propose an efficient algorithm to rigorously evaluate the interpolation error constant under the maximum norm by using the finite element method (FEM). In solving the optimization problem corresponding to the interpolation error constant, the maximum norm in the constraint condition is the most difficult part to process. To handle this difficulty, a novel method is proposed by combining the orthogonality of the interpolation associated to the Fujino--Morley FEM space and the convex-hull property of the Bernstein representation of functions in the FEM space. Numerical results for the lower and upper bounds of the interpolation error constant for triangles of various types are presented to verify the efficiency of the proposed method.


title: Revisiting LiDAR Registration and Reconstruction: A Range Image Perspective

abstract: Spinning LiDAR data are prevalent for 3D vision tasks. Since LiDAR data is presented in the form of point clouds, expensive 3D operations are usually required. This paper revisits spinning LiDAR scan formation and presents a cylindrical range image representation with a ray-wise projection/unprojection model. It is built upon raw scans and supports lossless conversion from 2D to 3D, allowing fast 2D operations, including 2D index-based neighbor search and downsampling. We then propose, to the best of our knowledge, the first multi-scale registration and dense signed distance function (SDF) reconstruction system for LiDAR range images. We further collect a dataset of indoor and outdoor LiDAR scenes in the posed range image format. A comprehensive evaluation of registration and reconstruction is conducted on the proposed dataset and the KITTI dataset. Experiments demonstrate that our approach outperforms surface reconstruction baselines and achieves similar performance to state-of-the-art LiDAR registration methods, including a modern learning-based registration approach. Thanks to the simplicity, our registration runs at 100Hz and SDF reconstruction in real time. The dataset and a modularized C++/Python toolbox will be released.


title: Dominating occupancy processes by the independent site approximation

abstract: Occupancy processes are a broad class of discrete time Markov chains on $\{0,1\}^{n}$ encompassing models from diverse areas. This model is compared to a collection of $n$ independent Markov chains on $\{0,1\}$, which we call the independent site model. We establish conditions under which an occupancy process is smaller in the lower orthant order than the independent site model. An analogous result for spin systems follows by a limiting argument.}


title: Adjusting the Ground Truth Annotations for Connectivity-Based Learning to Delineate

abstract: Deep learning-based approaches to delineating 3D structure depend on accurate annotations to train the networks. Yet, in practice, people, no matter how conscientious, have trouble precisely delineating in 3D and on a large scale, in part because the data is often hard to interpret visually and in part because the 3D interfaces are awkward to use. In this paper, we introduce a method that explicitly accounts for annotation inaccuracies. To this end, we treat the annotations as active contour models that can deform themselves while preserving their topology. This enables us to jointly train the network and correct potential errors in the original annotations. The result is an approach that boosts performance of deep networks trained with potentially inaccurate annotations. Code has been released at https://github.com/doruk-oner/AdjustingAnnotationswithSnakes.


title: Inhomogeneous Generalization of Einstein's Static Universe with Sasakian Space

abstract: We construct exact static inhomogeneous solutions to Einstein's equations with counter flow of particle fluid and a positive cosmological constant by using the Sasaki metrics on three-dimensional spaces. The solutions, which admit an arbitrary function that denotes inhomogeneous number density of particles, are a generalization of Einstein's static universe. On some examples of explicit solutions, we discuss non-linear density contrast and deviation of the metric functions.


title: Exclusive hadronic $\tau$ decays, within $\&$ beyond the Standard Model

abstract: Semileptonic exclusive tau decays in the Standard Model are reviewed. As it is well-known, they are a privileged arena to learn about low-energy hadronization. They also allow for a number of clean new physics tests, which have attracted much attention recently, probing scales as high as a few TeV. In light of forthcoming Belle-II data, perspectives on this area are bright.