title: Speech Tasks Relevant to Sleepiness Determined with Deep Transfer Learning

abstract: Excessive sleepiness in attention-critical contexts can lead to adverse events, such as car crashes. Detecting and monitoring sleepiness can help prevent these adverse events from happening. In this paper, we use the Voiceome dataset to extract speech from 1,828 participants to develop a deep transfer learning model using Hidden-Unit BERT (HuBERT) speech representations to detect sleepiness from individuals. Speech is an under-utilized source of data in sleep detection, but as speech collection is easy, cost-effective, and non-invasive, it provides a promising resource for sleepiness detection. Two complementary techniques were conducted in order to seek converging evidence regarding the importance of individual speech tasks. Our first technique, masking, evaluated task importance by combining all speech tasks, masking selected responses in the speech, and observing systematic changes in model accuracy. Our second technique, separate training, compared the accuracy of multiple models, each of which used the same architecture, but was trained on a different subset of speech tasks. Our evaluation shows that the best-performing model utilizes the memory recall task and categorical naming task from the Boston Naming Test, which achieved an accuracy of 80.07% (F1-score of 0.85) and 81.13% (F1-score of 0.89), respectively.


title: Spin Networks, Wilson Loops and 3nj Wigner Identities

abstract: We exploit the spin network properties of the magnetic eigenstates of SU(2) Hamiltonian lattice gauge theory and use the Wilson loop operators to obtain a wide class of new identities amongst 3nj Wigner coefficients. We also show that the topological ground states of the SU(2) toric code Hamiltonian lead to Wigner 3nj identities with non-trivial phases. The method is very general and involves only the eigenvalue equations of any gauge invariant operator and their solutions. Therefore, it can be extended to any higher dimensional spin networks as well as larger SU(N) groups.


title: Vortex control in superconducting Corbino geometry networks

abstract: In superconductors, vortices induced by a magnetic field are nucleated randomly due to some random fluctuations or pinned by impurities or boundaries, impeding the development of vortex based quantum devices. Here, we propose a superconducting structure which allows to nucleate and control vortices on-demand by controlling magnetic fields and currents. Using time-dependent Ginzburg Landau theory, we study a driven vortex motion in two-dimensional Corbino geometries of superconductor-normal metal-superconductor Josephson junctions. We remedy the randomness of nucleation by introducing normal conducting rails to the Corbino disk to guide the nucleation process and motion of vortices towards the junction. We elaborate on the consequences of rail-vortex and vortex-vortex interactions to the quantization of resistance across the junction. Finally, we simulate the nucleations and manipulations of two and four vortices in Corbino networks, and discuss its application to Majorana zero mode braiding operations. Our study provides a potential route towards quantum computation with non-Abelian anyons.


title: Gaussian curvature conjecture for minimal graphs

abstract: In this paper we solve the longstanding Gaussian curvature conjecture of a minimal graph $S$ over the unit disk. This conjecture states the following. For any minimal graph lying above the entire unit disk, the Gaussian curvature at the point above the origin satisfies the sharp inequality $|\mathcal{K}|< \pi^2/2$. The conjecture is first reduced to the estimation of the Gaussian curvature of certain Scherk type minimal surfaces over some bicentric quadrilaterals inscribed in the unit disk containing the origin. Then we make a sharp estimate of the Gaussian curvature of those minimal surfaces over those bicentric quadrilaterals at the point above the zero. Our proof uses complex-analytic methods since minimal surfaces that we consider allow conformal harmonic parametrization.


title: Isometries of the Space of Sasaki Potentials

abstract: Given any two K\"ahler manifolds $X_1$ and $X_2$, L. Lempert recently proved that if their spaces of K\"ahler potentials are isometric with respect to the Mabuchi metric, then $X_1$ and $X_2$ must be diffeomorphic. We prove that this is no longer the case for Sasaki manifolds. Then, considering regular Sasaki manifolds $M_1$ and $M_2$, we prove that if the spaces of potentials are isometric, then $M_1$ and $M_2$ must have, among others, the same universal covering space. Finally, getting rid of the regularity assumption on $M_1$ and $M_2$, we investigate the consequences of the existence of affine Mabuchi isometries: this leads to a family of Sasaki isospectral structures.


title: Dirichlet $L$-series at $s=0$ and the scarcity of Euler systems

abstract: We study Euler systems for $\mathbb{G}_m$ over a number field $k$. Motivated by a distribution-theoretic idea of Coleman, we formulate a conjecture regarding the existence of such systems that is elementary to state and yet strictly finer than Kato's equivariant Tamagawa number conjecture for Dirichlet $L$-series at $s=0$. To investigate the conjecture, we develop an abstract theory of `Euler limits' and, in particular, prove the existence of canonical `restriction' and `localisation' sequences in this theory. By using this approach we obtain a variety of new results, ranging from a proof, modulo standard $\mu$-vanishing hypotheses, of our central conjecture in the case $k$ is $\mathbb{Q}$ or imaginary quadratic to a proof of the `minus part' of Kato's conjecture in the case $k$ is totally real. In proving these results, we also show that higher-rank Euler systems for a wide class of $p$-adic representations control the structure of Iwasawa-theoretic Selmer groups in the manner predicted by `main conjectures'.


title: DanceTrack: Multi-Object Tracking in Uniform Appearance and Diverse Motion

abstract: A typical pipeline for multi-object tracking (MOT) is to use a detector for object localization, and following re-identification (re-ID) for object association. This pipeline is partially motivated by recent progress in both object detection and re-ID, and partially motivated by biases in existing tracking datasets, where most objects tend to have distinguishing appearance and re-ID models are sufficient for establishing associations. In response to such bias, we would like to re-emphasize that methods for multi-object tracking should also work when object appearance is not sufficiently discriminative. To this end, we propose a large-scale dataset for multi-human tracking, where humans have similar appearance, diverse motion and extreme articulation. As the dataset contains mostly group dancing videos, we name it "DanceTrack". We expect DanceTrack to provide a better platform to develop more MOT algorithms that rely less on visual discrimination and depend more on motion analysis. We benchmark several state-of-the-art trackers on our dataset and observe a significant performance drop on DanceTrack when compared against existing benchmarks. The dataset, project code and competition server are released at: \url{https://github.com/DanceTrack}.


title: KK 242, a faint companion to the isolated Scd galaxy NGC 6503

abstract: Using Hubble Space Telescope imaging of the resolved stellar population of KK~242 = NGC6503-d1 = PGC~4689184, we measure the distance to the galaxy to be $6.46\pm0.32$ Mpc and find that KK~242 is a satellite of the low-mass spiral galaxy NGC~6503 located on the edge of the Local Void. Observations with the Karl G. Jansky Very Large Array show signs of a very faint HI-signal at the position of KK~242 within a velocity range of $V_{hel} = -80\pm10$ km\,s$^{-1}$. This velocity range is severely contaminated by HI emission from the Milky Way and from NGC6503. The dwarf galaxy is classified as the transition type, dIrr/dSph, with a total HI-mass of $< 10^6 M_{\odot}$ and a star formation rate SFR(H$\alpha$) = --4.82 dex ($M{\odot}$/yr). Being at a projected separation of 31 kpc with a radial velocity difference of -- 105 km\,s$^{-1}$ relative to NGC~6503, KK~242 gives an estimate of the halo mass of the spiral galaxy to be $\log(M/M_{\odot}$) = 11.6. Besides NGC~6503, there are 8 more detached low-luminosity spiral galaxies in the Local Volume: M~33, NGC~2403, NGC~7793, NGC~1313, NGC~4236, NGC~5068, NGC~4656 and NGC~7640, from whose small satellites we have estimated the average total mass of the host galaxies and their average total mass-to-K-band-luminosity $\langle M_T/M_{\odot}\rangle = (3.46\pm0.84)\times 10^{11}$ and $(58\pm19) M_{\odot}/L_{\odot}$, respectively.


title: Cones and ping-pong in three dimensions

abstract: We study the hypergeometric group in ${\rm GL}_3(\mathbb{C})$ with parameters $\alpha = (\frac{1}{4}, \frac{1}{2}, \frac{3}{4})$ and $\beta = (0,0,0)$. We give a new proof that this group is isomorphic to the free product $\mathbb{Z}/4\mathbb{Z} * \mathbb{Z}/2\mathbb{Z}$ by exhibiting a ping-pong table. Our table is determined by a simplicial cone in $\mathbb{R}^3$, and we prove that this is the unique simplicial cone (up to sign) for which our construction produces a valid ping-pong table.


title: SAGCI-System: Towards Sample-Efficient, Generalizable, Compositional, and Incremental Robot Learning

abstract: Building general-purpose robots to perform a diverse range of tasks in a large variety of environments in the physical world at the human level is extremely challenging. It requires the robot learning to be sample-efficient, generalizable, compositional, and incremental. In this work, we introduce a systematic learning framework called SAGCI-system towards achieving these above four requirements. Our system first takes the raw point clouds gathered by the camera mounted on the robot's wrist as the inputs and produces initial modeling of the surrounding environment represented as a file of Unified Robot Description Format (URDF). Our system adopts a learning-augmented differentiable simulation that loads the URDF. The robot then utilizes the interactive perception to interact with the environment to online verify and modify the URDF. Leveraging the differentiable simulation, we propose a model-based learning algorithm combining object-centric and robot-centric stages to efficiently produce policies to accomplish manipulation tasks. We apply our system to perform articulated object manipulation tasks, both in the simulation and the real world. Extensive experiments demonstrate the effectiveness of our proposed learning framework. Supplemental materials and videos are available on https://sites.google.com/view/egci.


title: Statistics of projective measurement on a quantum probe as a witness of noncommutativity of algebra of a probed system

abstract: We consider a quantum probe $P$ undergoing pure dephasing due to its interaction with a quantum system $S$. The dynamics of $P$ is then described by a well-defined sub-algebra of operators of $S,$ i.e. the "accessible" algebra on $S$ from the point of view of $P.$ We consider sequences of $n$ measurements on $P,$ and investigate the relationship between Kolmogorov consistency of probabilities of obtaining sequences of results with various $n,$ and commutativity of the accessible algebra. For a finite-dimensional $S$ we find conditions under which the Kolmogorov consistency of measurement on $P,$ given that the state of $S$ can be arbitrarily prepared, is equivalent to the commutativity of this algebra. These allow us to describe witnesses of nonclassicality (understood here as noncommutativity) of part of $S$ that affects the probe. For $P$ being a qubit, the witness is particularly simple: observation of breaking of Kolmogorov consistency of sequential measurements on a qubit coupled to $S$ means that the accessible algebra of $S$ is noncommutative.


title: Destruction of Localization by Thermal Inclusions: Anomalous Transport and Griffiths Effects in the Anderson and Andr\'e-Aubry-Harper Models

abstract: We discuss and compare two recently proposed toy models for anomalous transport and Griffiths effects in random systems near the Many-Body Localization transitions: the random dephasing model, which adds thermal inclusions in an Anderson Insulator as local Markovian dephasing channels that heat up the system, and the random Gaussian Orthogonal Ensemble (GOE) approach which models them in terms of ensembles of random regular graphs. For these two settings we discuss and compare transport and dissipative properties and their statistics. We show that both types of dissipation lead to similar Griffiths-like phenomenology, with the GOE bath being less effective in thermalising the system due to its finite bandwidth. We then extend these models to the case of a quasi-periodic potential as described by the Andr\'e-Aubry-Harper model coupled to random thermal inclusions, that we show to display, for large strength of the quasiperiodic potential, a similar phenomenology to the one of the purely random case. In particular, we show the emergence of subdiffusive transport and broad statistics of the local density of states, suggestive of Griffiths like effects arising from the interplay between quasiperiodic localization and random coupling to the baths.


title: The Computational Drug Repositioning without Negative Sampling

abstract: Computational drug repositioning technology is an effective tool to accelerate drug development. Although this technique has been widely used and successful in recent decades, many existing models still suffer from multiple drawbacks such as the massive number of unvalidated drug-disease associations and the inner product. The limitations of these works are mainly due to the following two reasons: firstly, previous works used negative sampling techniques to treat unvalidated drug-disease associations as negative samples, which is invalid in real-world settings; secondly, the inner product cannot fully take into account the feature information contained in the latent factor of drug and disease. In this paper, we propose a novel PUON framework for addressing the above deficiencies, which models the risk estimator of computational drug repositioning only using validated (Positive) and unvalidated (Unlabelled) drug-disease associations without employing negative sampling techniques. The PUON also proposed an Outer Neighborhood-based classifier for modeling the cross-feature information of the latent facotor. For a comprehensive comparison, we considered 8 popular baselines. Extensive experiments in four real-world datasets showed that PUON model achieved the best performance based on 6 evaluation metrics.


title: Estimates for the lightest baryon masses in $\mathcal{N} = 1$ supersymmetric Yang-Mills theory

abstract: $\mathcal{N} = 1$ supersymmetric Yang-Mills theory describes gluons interacting with gluinos, which are spin-$\frac{1}{2}$ Majorana particles in the adjoint representation of the gauge group. In addition to glueballs and mesonic bound states, the theory contains color neutral bound states of three gluinos, which are analogous to baryons in QCD. We calculate their correlation functions, involving ``sunset diagrams'' and ``spectacle diagrams'', numerically for gauge group SU(2) and present an update on the estimates for the lowest masses.


title: Taylor expansions and Pad\'e approximations for Lefschetz thimbles and beyond

abstract: Deforming the domain of integration after complexification of the field variables is an intriguing idea to tackle the sign problem. In thimble regularization the domain of integration is deformed into an union of manifolds called Lefschetz thimbles. On each thimble the imaginary part of the action stays constant and the sign problem disappears. A long standing issue of this approach is how to determine the relative weight to assign to each thimble contribution in the (multi)-thimble decomposition. Yet this is an issue one has to face, as previous work has shown that different theories exist for which the contributions coming from thimbles other than the dominant one cannot be neglected. Historically, one of the first examples of such theories is the one-dimensional Thirring model. Here we discuss how Taylor expansions can be used to by-pass the need for multi-thimble simulations. If multiple, disjoint regions can be found in the parameters space of the theory where only one thimble gives a relevant contribution, multiple Taylor expansions can be carried out in those regions to reach other regions by single thimble simulations. Better yet, these Taylor expansions can be bridged by Pad\'e interpolants. Not only does this improve the convergence properties of the series, but it also gives access to information about the analytical structure of the observables. The true singularities of the observables can be recovered. We show that this program can be applied to the one-dimensional Thirring model and to a (simple) version of HDQCD. But the general idea behind our strategy can be helpful beyond thimble regularization itself, i.e. it could be valuable in studying the singularities of QCD in the complex $\mu_B$ plane. Indeed this is a program that is currently being carried out by the Bielefeld-Parma collaboration.


title: The Klein quartic maximizes the multiplicity of the first positive eigenvalue of the Laplacian

abstract: We prove that Klein quartic maximizes the multiplicity of the first positive eigenvalue of the Laplacian among all closed hyperbolic surfaces of genus $3$, with multiplicity equal to $8$. We also obtain partial results in genus $2$, where we find that the maximum multiplicity is between $3$ and $6$. Along the way, we show that for every $g\geq 2$, there exists some $\delta_g>0$ such that the multiplicity of any eigenvalue of the Laplacian on a closed hyperbolic surface of genus $g$ in the interval $[0,1/4+\delta_g]$ is at most $2g-1$ despite the fact that this interval can contain arbitrarily many eigenvalues. This extends a result of Otal to a larger interval but with a weaker bound, which nevertheless improves upon the general upper bound of S\'evennec.


title: QND measurements of photon number in monolithic microcavities

abstract: We revisit the idea of quantum nondemolition measurement (QND) of optical quanta via a resonantly enhanced Kerr nonlinearity taking into account quantum back action and show that the monolithic microcavities enable QND measurement of number of quanta in a weak signal field using a spatially overlapping classical probe field. Due to the cross-phase modulation effect, the phase of the probe field acquires information about the signal number of quanta without altering it. We find the exact solution to the Heisenberg equations of motion of this system and calculate the measurement error, accounting for the optical losses in the measurement path. We identify a realistic approximation to obtain the explicit form of the final conditional quantum state of the signal field, accounting for the undesirable self-phase modulation effect and designing the optimal homodyne measurement of the probe beam to evade this effect. We show that the best modern monolithic microcavities allow achieving the measurement imprecision several times better than the standard quantum limit.


title: $\mathbf{B-L}$ model with $\mathbf{D_4\times Z_4\times Z_2}$ symmetry for fermion mass hierarchies and mixings

abstract: We construct a gauge $B-L$ model with $D_4\times Z_4\times Z_2$ symmetry that can explain the quark and lepton mass hierarchies and their mixings with the realistic CP phases via the type-I seesaw mechanism. Six quark mases, three quark mixing angles and CP phase in the quark sector can get the central values and Yukawa couplings in the quark sector are diluted a range of three orders of magnitude difference by the perturbation theory at the first order. For neutrino sector, the smallness of neutrino mass is achieved by the Type-I seesaw mechanism. Both inverted and normal neutrino mass hierarchies are in consistent with the experimental data. The prediction for the sum of neutrino masses for normal and inverted hierarchies, the effective neutrino masses and the Dirac CP phase are well consistent with all the recent limits.


title: Fluxons in high-impedance long Josephson junctions

abstract: The dynamics of fluxons in long Josephson junctions is a well-known example of soliton physics and allows for studying highly nonlinear relativistic electrodynamics on a microscopic scale. Such fluxons are supercurrent vortices that can be accelerated by a bias current up to the Swihart velocity, which is the characteristic velocity of electromagnetic waves in the junction. We experimentally demonstrate slowing down relativistic fluxons in Josephson junctions whose bulk superconducting electrodes are replaced by thin films of a high kinetic inductance superconductor. Here, the amount of magnetic flux carried by each supercurrent vortex is significantly smaller than the magnetic flux quantum $ \Phi_0 $. Our data show that the Swihart velocity is reduced by about one order of magnitude compared to conventional long Josephson junctions. At the same time, the characteristic impedance is increased by an order of magnitude, which makes these junctions suitable for a variety of applications in superconducting electronics.


title: Question Answering for Complex Electronic Health Records Database using Unified Encoder-Decoder Architecture

abstract: An intelligent machine that can answer human questions based on electronic health records (EHR-QA) has a great practical value, such as supporting clinical decisions, managing hospital administration, and medical chatbots. Previous table-based QA studies focusing on translating natural questions into table queries (NLQ2SQL), however, suffer from the unique nature of EHR data due to complex and specialized medical terminology, hence increased decoding difficulty. In this paper, we design UniQA, a unified encoder-decoder architecture for EHR-QA where natural language questions are converted to queries such as SQL or SPARQL. We also propose input masking (IM), a simple and effective method to cope with complex medical terms and various typos and better learn the SQL/SPARQL syntax. Combining the unified architecture with an effective auxiliary training objective, UniQA demonstrated a significant performance improvement against the previous state-of-the-art model for MIMICSQL* (14.2% gain), the most complex NLQ2SQL dataset in the EHR domain, and its typo-ridden versions (approximately 28.8% gain). In addition, we confirmed consistent results for the graph-based EHR-QA dataset, MIMICSPARQL*.


title: A Reduced-Speed-of-Light Formulation of the Magnetohydrodynamic-Particle-in-Cell Method

abstract: A reduced-speed-of-light (RSOL) approximation is a useful technique for magnetohydrodynamic (MHD)-particle-in-cell (PIC) simulations. With a RSOL, some "in-code" speed-of-light $\tilde{c}$ is set to much lower values than the true $c$, allowing simulations to take larger timesteps (which are restricted by the Courant condition given the large CR speeds). However, due to the absence of a well-formulated RSOL implementation from the literature, with naive substitution of the true $c$ with a RSOL, the CR properties in MHD-PIC simulations (e.g.\ CR energy or momentum density, gyro radius) vary artificially with respect to each other and with respect to the converged ($\tilde{c} \rightarrow c$) solutions with different choices of a RSOL. Here, we derive a new formulation of the MHD-PIC equations with a RSOL, and show that (1) it guarantees all steady-state properties of the CR distribution function and background plasma/MHD quantities are {\em independent} of the RSOL $\tilde{c}$ even for $\tilde{c} \ll c$, (2) ensures that the simulation can {\em simultaneously} represent the real physical values of CR number, mass, momentum, and energy density, (3) retains the correct physical meaning of various terms like the electric field, and (4) ensures the numerical timestep for CRs can always be safely increased by a factor $\sim c/\tilde{c}$. This new RSOL formulation should enable greater self-consistency and reduced CPU cost in simulations of CR-MHD interactions.

categories: astro-ph.HE astro-ph.GA astro-ph.IM astro-ph.SR physics.plasm-ph


title: Exponential integrators for second-order in time partial differential equations

abstract: Two types of second-order in time partial differential equations (PDEs), namely semilinear wave equations and semilinear beam equations are considered. To solve these equations with exponential integrators, we present an approach to compute efficiently the action of the matrix exponential as well as those of related matrix functions. Various numerical simulations are presented that illustrate this approach.


title: ESPnet-SLU: Advancing Spoken Language Understanding through ESPnet

abstract: As Automatic Speech Processing (ASR) systems are getting better, there is an increasing interest of using the ASR output to do downstream Natural Language Processing (NLP) tasks. However, there are few open source toolkits that can be used to generate reproducible results on different Spoken Language Understanding (SLU) benchmarks. Hence, there is a need to build an open source standard that can be used to have a faster start into SLU research. We present ESPnet-SLU, which is designed for quick development of spoken language understanding in a single framework. ESPnet-SLU is a project inside end-to-end speech processing toolkit, ESPnet, which is a widely used open-source standard for various speech processing tasks like ASR, Text to Speech (TTS) and Speech Translation (ST). We enhance the toolkit to provide implementations for various SLU benchmarks that enable researchers to seamlessly mix-and-match different ASR and NLU models. We also provide pretrained models with intensively tuned hyper-parameters that can match or even outperform the current state-of-the-art performances. The toolkit is publicly available at https://github.com/espnet/espnet.


title: Real-time Attention Span Tracking in Online Education

abstract: Over the last decade, e-learning has revolutionized how students learn by providing them access to quality education whenever and wherever they want. However, students often get distracted because of various reasons, which affect the learning capacity to a great extent. Many researchers have been trying to improve the quality of online education, but we need a holistic approach to address this issue. This paper intends to provide a mechanism that uses the camera feed and microphone input to monitor the real-time attention level of students during online classes. We explore various image processing techniques and machine learning algorithms throughout this study. We propose a system that uses five distinct non-verbal features to calculate the attention score of the student during computer based tasks and generate real-time feedback for both students and the organization. We can use the generated feedback as a heuristic value to analyze the overall performance of students as well as the teaching standards of the lecturers.


title: Ergodic aspects of trading with threshold strategies

abstract: To profit from price oscillations, investors frequently use threshold-type strategies where changes in the portfolio position are triggered by some indicators reaching prescribed levels. In this paper, we investigate threshold-type strategies in the context of ergodic control. We make the first steps towards their optimization by proving the ergodic properties of related functionals. Assuming Markovian price increments satisfying a minorization condition and (one-sided) boundedness we show, in particular, that for given thresholds, the distribution of the gains converges in the long run. We also extend recent results on the stability of overshoots of random walks from the i.i.d.\ increment case to Markovian increments, under suitable conditions.


title: Linguistic Knowledge in Data Augmentation for Natural Language Processing: An Example on Chinese Question Matching

abstract: To investigate the role of linguistic knowledge in data augmentation (DA) for Natural Language Processing (NLP), we designed two adapted DA programs and applied them to LCQMC (a Large-scale Chinese Question Matching Corpus) for a binary Chinese question matching classification task. The two DA programs produce augmented texts by five simple text editing operations (or DA techniques), largely irrespective of language generation rules, but one is enhanced with a pre-trained n-gram language model to fuse it with prior linguistic knowledge. We then trained four neural network models (BOW, CNN, LSTM, and GRU) and a pre-trained model (ERNIE-Gram) on the LCQMCs train sets of varying size as well as the related augmented train sets produced by the two DA programs. The results show that there are no significant performance differences between the models trained on the two types of augmented train sets, both when the five DA techniques are applied together or separately. Moreover, due to the inability of the five DA techniques to make strictly paraphrastic augmented texts, the results indicate the need of sufficient amounts of training examples for the classification models trained on them to mediate the negative impact of false matching augmented text pairs and improve performance, a limitation of random text editing perturbations used as a DA approach. Similar results were also obtained for English.


title: Gradient flow scale-setting with $N_f=2+1+1$ Wilson-clover twisted-mass fermions

abstract: We present a determination of the gradient flow scales $w_0$, $\sqrt{t_0}$ and $t_0/w_0$ in isosymmetric QCD, making use of the gauge ensembles produced by the Extended Twisted Mass Collaboration (ETMC) with $N_f=2+1+1$ flavours of Wilson-clover twisted-mass quarks including configurations close to the physical point for all dynamical flavours. The simulations are carried out at three values of the lattice spacing and the scale is set through the PDG value of the pion decay constant, yielding $w_0=0.17383(63)$ fm, $\sqrt{t_0}=0.14436(61)$ fm and $t_0/w_0=0.11969(62)$ fm. Finally, fixing the kaon mass to its isosymmetric value, we determine the ratio of the kaon and pion leptonic decay constants to be $f_K/f_{\pi}=1.1995(44)$.


title: Two strategies for modeling nonlinear optics in lossy integrated photonic structures

abstract: We present two complementary strategies for modeling nonlinear quantum optics in realistic integrated optical devices, where scattering loss is present. In the first strategy, we model scattering loss as an attenuation; in the second, we employ a Hamiltonian treatment that includes a mechanism for scattering loss, such as a `phantom waveguide.' These strategies can be applied to a broad range of structures and processes. As an example, we use these two approaches to model spontaneous four-wave mixing in (i) a ring-channel system and (ii) an add-drop system. Even for these well-understood systems, our strategies yield some novel results. We show the rates of photon pairs, broken pairs, and lost pairs and their dependence on system parameters. We show that the properties of lost and broken photon pairs in such structures can be related to those of the un-scattered photon pairs, which are relatively simple to measure.


title: Prediction of Large Magnetic Moment Materials With Graph Neural Networks and Random Forests

abstract: Magnetic materials are crucial components of many technologies that could drive the ecological transition, including electric motors, wind turbine generators and magnetic refrigeration systems. Discovering materials with large magnetic moments is therefore an increasing priority. Here, using state-of-the-art machine learning methods, we scan the Inorganic Crystal Structure Database (ICSD) of hundreds of thousands of existing materials to find those that are ferromagnetic and have large magnetic moments. Crystal graph convolutional neural networks (CGCNN), materials graph network (MEGNet) and random forests are trained on the Materials Project database that contains the results of high-throughput DFT predictions. For random forests, we use a stochastic method to select nearly one hundred relevant descriptors based on chemical composition and crystal structure. This gives results that are comparable to those of neural networks. The comparison between these different machine learning approaches gives an estimate of the errors for our predictions on the ICSD database. Validating our final predictions by comparisons with available experimental data, we found 15 materials that are likely to have large magnetic moments and have not been yet studied experimentally.


title: Weyl Anomalies of Four Dimensional Conformal Boundaries and Defects

abstract: Motivated by questions about quantum information and classification of quantum field theories, we consider Conformal Field Theories (CFTs) in spacetime dimension $d\geq 5$ with a conformally-invariant spatial boundary (BCFTs) or $4$-dimensional conformal defect (DCFTs). We determine the boundary or defect contribution to the Weyl anomaly using the standard algorithm, which includes imposing Wess-Zumino consistency and fixing finite counterterms. These boundary/defect contributions are built from the intrinsic and extrinsic curvatures, as well as the pullback of the ambient CFT's Weyl tensor. For a co-dimension one boundary or defect (i.e. $d=5$), we reproduce the $9$ parity-even terms found by Astaneh and Solodukhin, and we discover $3$ parity-odd terms. For larger co-dimension, we find $23$ parity-even terms and $6$ parity-odd terms. The coefficient of each term defines a "central charge" that characterizes the BCFT or DCFT. We show how several of the parity-even central charges enter physical observables, namely the displacement operator two-point function, the stress-tensor one-point function, and the universal part of the entanglement entropy. We compute several parity-even central charges in tractable examples: monodromy and conical defects of free, massless scalars and Dirac fermions in $d=6$; probe branes in Anti-de Sitter (AdS) space dual to defects in CFTs with $d \geq 6$; and Takayanagi's AdS/BCFT with $d=5$. We demonstrate that several of our examples obey the boundary/defect $a$-theorem, as expected.


title: A neural ordinary differential equation framework for modeling inelastic stress response via internal state variables

abstract: We propose a neural network framework to preclude the need to define or observe incompletely or inaccurately defined states of a material in order to describe its response. The neural network design is based on the classical Coleman-Gurtin internal state variable theory. In the proposed framework the states of the material are inferred from observable deformation and stress. A neural network describes the flow of internal states and another represents the map from internal state and strain to stress. We investigate tensor basis, component, and potential-based formulations of the stress model. Violations of the second law of thermodynamics are prevented by a constraint on the weights of the neural network. We extend this framework to homogenization of materials with microstructure with a graph-based convolutional neural network that preprocesses the initial microstructure into salient features. The modeling framework is tested on large datasets spanning inelastic material classes to demonstrate its general applicability.


title: Optomechanics for quantum technologies

abstract: The ability to control the motion of mechanical systems through its interaction with light has opened the door to a plethora of applications in fundamental and applied physics. With experiments routinely reaching the quantum regime, the focus has now turned towards creating and exploiting interesting non-classical states of motion and entanglement in optomechanical systems. Quantumness has also shifted from being the very reason why experiments are constructed to becoming a resource for the investigation of fundamental physics and the creation of quantum technologies. Here, by focusing on opto- and electromechanical platforms we review recent progress in quantum state preparation and entanglement of mechanical systems, together with applications to signal processing and transduction, quantum sensing, topological physics, as well as small-scale thermodynamics.


title: Equiseparability on Terminal Wiener Index and Distances

abstract: Teminal Wiener index is one of the commonly used topological index in mathematical chemistry. If two or more chemical compounds have the same terminal Wiener index then they will have similar physico-chemical properties. In this work we propose a new method for constructing equiseparable trees w.r.t terminal Wiener index. The existing method is based on the number of pendent vertices but the proposed method is based on distance parameters.


title: Existence of Ginzburg-Landau minimizers with optimal boundary data and applications

abstract: We perform the classical Ginzburg-Landau analysis originated from the celebrated paper by Bethuel, Brezis, H\'elein for optimal boundary data. More precisely, we give optimal regularity assumptions on the boundary curve of planar domains and Dirichlet boundary data on them. When the Dirichlet boundary data is the tangent vector field of the boundary curve, our framework allows us to define a natural energy minimizing frame for simply connected domains enclosing Weil-Petersson curves.


title: Smooth Toric Quiver Varieties

abstract: We study smoothness of toric quiver varieties. When a quiver $Q$ is defined with the identity dimension vector, the corresponding quiver variety is also a toric variety. So it has both fan representation and quiver representation. We work only on quivers with canonical weight and we classify smooth such toric quiver varieties. We show that a variety corresponding to a quiver with the identity dimension vector and the canonical weight is smooth if and only if it is a product of projective spaces or their blowups.


title: Leptogenesis and eV scale sterile neutrino

abstract: We consider the minimal extended seesaw model which can accommodate an eV scale sterile neutrino. The scenario also includes three heavy right handed neutrinos in addition to the light sterile neutrino. In this model, the active-sterile mixing act as non-unitary parameters. If the values of these mixing angles are of $\mathcal{O}(0.1)$, the model introduces deviation of the PMNS matrix from unitarity to this order. We find that the oscillation data from various experiments imposes an upper bound on the lightest heavy neutrino mass scale as $\sim 10^{11}$ GeV in the context of this model. We study {\it vanilla} leptogenesis in this scheme, where the decay of the heavy right handed neutrinos in the early universe can give rise to the observed baryon asymmetry. Here, even though the eV scale sterile neutrino does not participate directly in leptogenesis, its effect is manifested through the non-unitary effects. We find that the parameter space that can give rise to successful leptogenesis is constrained by the bounds on the active-sterile mixing as obtained from the global analysis.


title: A Case for a Programmable Edge Storage Middleware

abstract: Edge computing is a fast-growing computing paradigm where data is processed at the local site where it is generated, close to the end-devices. This can benefit a set of disruptive applications like autonomous driving, augmented reality, and collaborative machine learning, which produce incredible amounts of data that need to be shared, processed and stored at the edge to meet low latency requirements. However, edge storage poses new challenges due to the scarcity and heterogeneity of edge infrastructures and the diversity of edge applications. In particular, edge applications may impose conflicting constraints and optimizations that are hard to be reconciled on the limited, hard-to-scale edge resources. In this vision paper we argue that a new middleware for constrained edge resources is needed, providing a unified storage service for diverse edge applications. We identify programmability as a critical feature that should be leveraged to optimize the resource sharing while delivering the specialization needed for edge applications. Following this line, we make a case for eBPF and present the design for Griffin - a flexible, lightweight programmable edge storage middleware powered by eBPF.


title: A white-boxed ISSM approach to estimate uncertainty distributions of Walmart sales

abstract: We present our solution for the M5 Forecasting - Uncertainty competition. Our solution ranked 6\ts{th} out of 909 submissions across all hierarchical levels and ranked first for prediction at the finest level of granularity (product-store sales, i.e.\ SKUs). The model combines a multi-stage state-space model and Monte Carlo simulations to generate the forecasting scenarios (trajectories). Observed sales are modelled with negative binomial distributions to represent discrete over-dispersed sales. Seasonal factors are hand-crafted and modelled with linear coefficients that are calculated at the store-department level.


title: Conjugacy depth function for generalised lamplighter groups

abstract: In this article, we completely characterize the asymptotic behavior of conjugacy separability for the lamplighter groups. More generally, we give exponential upper and lower bounds for all wreath products of finitely generated abelian groups where the acting group is infinite and base group is finite.


title: Quantum fluctuations, particles and entanglement: a discussion towards the solution of the quantum measurement problems

abstract: The quantum measurement problems are revisited from a new perspective. One of the main ideas of this work is that the basic entities of our world are various types of particles, elementary or composite. It follows that each elementary process, hence each measurement process at its core, is a spacetime, pointlike, event. Another key idea is that, when a microsystem $\psi$ gets into contact with the experimental device, factorization of $\psi$ rapidly fails and entangled mixed states appear. The wave functions for the microsystem-apparatus coupled systems for different measurement outcomes then lack overlapping spacetime support. It means that the aftermath of each measurement is a single term in the sum: a "wave-function collapse". Our discussion leading to a diagonal density matrix, $\rho= {\rm diag} ( |c_1|^2, \ldots, |c_n|^2, \ldots )$ shows how the information encoded in the wave function $|\psi\rangle = \sum_n c_n | n \rangle$ gets transcribed, via entanglement with the experimental device and environment, into the relative frequencies ${\cal P}_n = |c_n|^2$ for various experimental results $F=f_n$. These results represent new, significant steps towards filling in the logical gaps in the standard interpretation based on Born's rule, and replacing it with a more natural one. Accepting objective reality of quantum fluctuations, independent of any experiments, and independently of human presence, one renounces the idea that in a fundamental, complete theory of Nature the result of each single experiment must necessarily be predictable. A few well-known puzzles such as the Schr\"odinger cat conundrum and the EPR paradox are briefly reviewed: they can all be naturally explained away.


title: Encoding Causal Macrovariables

abstract: In many scientific disciplines, coarse-grained causal models are used to explain and predict the dynamics of more fine-grained systems. Naturally, such models require appropriate macrovariables. Automated procedures to detect suitable variables would be useful to leverage increasingly available high-dimensional observational datasets. This work introduces a novel algorithmic approach that is inspired by a new characterisation of causal macrovariables as information bottlenecks between microstates. Its general form can be adapted to address individual needs of different scientific goals. After a further transformation step, the causal relationships between learned variables can be investigated through additive noise models. Experiments on both simulated data and on a real climate dataset are reported. In a synthetic dataset, the algorithm robustly detects the ground-truth variables and correctly infers the causal relationships between them. In a real climate dataset, the algorithm robustly detects two variables that correspond to the two known variations of the El Nino phenomenon.


title: Searching the Search Space of Vision Transformer

abstract: Vision Transformer has shown great visual representation power in substantial vision tasks such as recognition and detection, and thus been attracting fast-growing efforts on manually designing more effective architectures. In this paper, we propose to use neural architecture search to automate this process, by searching not only the architecture but also the search space. The central idea is to gradually evolve different search dimensions guided by their E-T Error computed using a weight-sharing supernet. Moreover, we provide design guidelines of general vision transformers with extensive analysis according to the space searching process, which could promote the understanding of vision transformer. Remarkably, the searched models, named S3 (short for Searching the Search Space), from the searched space achieve superior performance to recently proposed models, such as Swin, DeiT and ViT, when evaluated on ImageNet. The effectiveness of S3 is also illustrated on object detection, semantic segmentation and visual question answering, demonstrating its generality to downstream vision and vision-language tasks. Code and models will be available at https://github.com/microsoft/Cream.


title: Do Invariances in Deep Neural Networks Align with Human Perception?

abstract: An evaluation criterion for safe and trustworthy deep learning is how well the invariances captured by representations of deep neural networks (DNNs) are shared with humans. We identify challenges in measuring these invariances. Prior works used gradient-based methods to generate identically represented inputs (IRIs), ie, inputs which have identical representations (on a given layer) of a neural network, and thus capture invariances of a given network. One necessary criterion for a network's invariances to align with human perception is for its IRIs look 'similar' to humans. Prior works, however, have mixed takeaways; some argue that later layers of DNNs do not learn human-like invariances (\cite{jenelle2019metamers}) yet others seem to indicate otherwise (\cite{mahendran2014understanding}). We argue that the loss function used to generate IRIs can heavily affect takeaways about invariances of the network and is the primary reason for these conflicting findings. We propose an adversarial regularizer on the IRI generation loss that finds IRIs that make any model appear to have very little shared invariance with humans. Based on this evidence, we argue that there is scope for improving models to have human-like invariances, and further, to have meaningful comparisons between models one should use IRIs generated using the regularizer-free loss. We then conduct an in-depth investigation of how different components (eg architectures, training losses, data augmentations) of the deep learning pipeline contribute to learning models that have good alignment with humans. We find that architectures with residual connections trained using a (self-supervised) contrastive loss with $\ell_p$ ball adversarial data augmentation tend to learn invariances that are most aligned with humans. Code: \url{github.com/nvedant07/Human-NN-Alignment}.


title: Torsion properties of modified diagonal classes on triple products of modular curves

abstract: Consider three normalised cuspidal eigenforms of weight $2$ and prime level $p$. Under the assumption that the global root number of the associated triple product $L$-function is $+1$, we prove that the complex Abel-Jacobi image of the modified diagonal cycle of Gross-Kudla-Schoen on the triple product of the modular curve $X_0(p)$ is torsion in the corresponding Hecke isotypic component of the Griffiths intermediate Jacobian. The same result holds with the complex Abel-Jacobi map replaced by its \'etale counterpart. As an application, we deduce torsion properties of Chow-Heegner points associated with modified diagonal cycles on elliptic curves of prime level with split multiplicative reduction. The approach also works in the case of composite square-free level.


title: Incremental Proximal Multi-Forecast Model Predictive Control

abstract: Multi-forecast model predictive control (MF-MPC) is a control policy that creates a plan of actions over a horizon for each of a given set of forecasted scenarios or contingencies, with the constraint that the first action in all plans be the same. In this note we show how these coupled plans can be found by solving a sequence of single plans, using an incremental proximal method. We refer to this policy as incremental proximal model predictive control (IP-MPC). We have observed that even when the iterations in IP-MPC are not carried out to convergence, we obtain a policy that achieves much of the improvement of MF-MPC over single-forecast model predictive control (MPC).


title: On a topological Ramsey Theorem

abstract: We introduce natural strengthenings of sequential compactness called the $r$-Ramsey property for each natural number $r\geq 1$. We prove that metrizable compact spaces are $r$-Ramsey for all $r$ and give examples of compact spaces that are $r$-Ramsey but not $r+1$-Ramsey for each $r\geq 1$ (assuming CH for all $r>1$


title: Understanding Out-of-distribution: A Perspective of Data Dynamics

abstract: Despite machine learning models' success in Natural Language Processing (NLP) tasks, predictions from these models frequently fail on out-of-distribution (OOD) samples. Prior works have focused on developing state-of-the-art methods for detecting OOD. The fundamental question of how OOD samples differ from in-distribution samples remains unanswered. This paper explores how data dynamics in training models can be used to understand the fundamental differences between OOD and in-distribution samples in extensive detail. We found that syntactic characteristics of the data samples that the model consistently predicts incorrectly in both OOD and in-distribution cases directly contradict each other. In addition, we observed preliminary evidence supporting the hypothesis that models are more likely to latch on trivial syntactic heuristics (e.g., overlap of words between two sentences) when making predictions on OOD samples. We hope our preliminary study accelerates the data-centric analysis on various machine learning phenomena.


title: Mixed Correlator Dispersive CFT Sum Rules

abstract: Conformal field theory (CFT) dispersion relations reconstruct correlators in terms of their double discontinuity. When applied to the crossing equation, such dispersive transforms lead to sum rules that suppress the double-twist sector of the spectrum and enjoy positivity properties at large twist. In this paper, we construct dispersive CFT functionals for correlators of unequal scalar operators in position- and Mellin-space. We then evaluate these functionals in the Regge limit to construct mixed correlator holographic CFT functionals which probe scalar particle scattering in Anti-de Sitter spacetime. Finally, we test properties of these dispersive sum rules when applied to the 3D Ising model, and we use truncated sum rules to find approximate solutions to the crossing equation.


title: Quantum dynamics of disordered arrays of interacting superconducting qubits: signatures of quantum collective states

abstract: We study theoretically the collective quantum dynamics occurring in various interacting superconducting qubits arrays (SQAs) in the presence of a spread of individual qubit frequencies. The interaction is provided by mutual inductive coupling between adjacent qubits (short-range Ising interaction) or inductive coupling to a low-dissipative resonator (long-range exchange interaction). In the absence of interaction the Fourier transform of temporal correlation function of the total polarization ($z$-projection of the total spin), i.e. the dynamic susceptibility $C(\omega)$, demonstrates a set of sharp small magnitude resonances corresponding to the transitions of individual superconducting qubits. We show that even a weak interaction between qubits can overcome the disorder with a simultaneous formation of the collective excited states. This collective behavior manifests itself by a single large resonance in $C(\omega)$. In the presence of a weak non-resonant microwave photon field in the low-dissipative resonator, the positions of dominant resonances depend on the number of photons, i.e. the collective ac Stark effect. Coupling of an SQA to the transmission line allows a straightforward experimental access of the collective states in microwave transmission experiments and, at the same time, to employ SQAs as sensitive single-photon detectors.


title: Crime Prediction with Graph Neural Networks and Multivariate Normal Distributions

abstract: Existing approaches to the crime prediction problem are unsuccessful in expressing the details since they assign the probability values to large regions. This paper introduces a new architecture with the graph convolutional networks (GCN) and multivariate Gaussian distributions to perform high-resolution forecasting that applies to any spatiotemporal data. We tackle the sparsity problem in high resolution by leveraging the flexible structure of GCNs and providing a subdivision algorithm. We build our model with Graph Convolutional Gated Recurrent Units (Graph-ConvGRU) to learn spatial, temporal, and categorical relations. In each node of the graph, we learn a multivariate probability distribution from the extracted features of GCNs. We perform experiments on real-life and synthetic datasets, and our model obtains the best validation and the best test score among the baseline models with significant improvements. We show that our model is not only generative but also precise.


title: Violation of Local Detailed Balance Despite a Clear Time-Scale Separation

abstract: Integrating out fast degrees of freedom is known to yield, to a good approximation, memory-less, i.e. Markovian, dynamics. In the presence of such a time-scale separation local detailed balance is believed to emerge and to guarantee thermodynamic consistency arbitrarily far from equilibrium. Here we present a transparent example of a Markov model of a molecular motor where local detailed balance can be violated despite a clear time-scale separation and hence Markovian dynamics. Driving the system far from equilibrium can lead to a violation of local detailed balance against the driving force. We further show that local detailed balance can be restored, even in the presence of memory, if the coarse-graining is carried out as Milestoning. Our work establishes Milestoning not only as a kinetically but for the first time also as a thermodynamically consistent coarse-graining method. Our results are relevant as soon as individual transition paths are appreciable or can be resolved.


title: Extending the FIP bias sample to magnetically active stars. Challenging the FIP bias paradigm?

abstract: The different elemental abundances of the photosphere and the corona are striking features of not only the Sun, but other stars as well. This phenomenon is known as the FIP effect (FIP stands for first ionization potential), and its strength can be characterized by the FIP bias, the logarithmic abundance difference between low- and high-FIP elements in the corona, compared to the photosphere. The FIP bias was shown to depend on the surface temperature of the star. We compiled FIP bias and other parameters for 59 stars for which coronal composition is available, now including evolved stars. Using principal component analysis and linear discriminant analysis, we searched for correlations with other astrophysical parameters within the sample which may influence the stellar FIP bias. Adding stars to the $T_{\rm eff}-$FIP bias diagram unveiled new features in its structure. In addition to the previously known relationship, there appears to be a second branch, a parallel sequence about 0.5 dex above it. While the $T_{\rm eff}$ remains the main determinant of the FIP bias, other parameters such as stellar activity indicators also have influence. We find three clusters in the FIP bias determinant parameter space. One distinct group is formed by the evolved stars. Two groups contain main sequence stars in continuation separated roughly by the sign change of the FIP-bias value. The new branch of the $T_{\rm eff}-$FIP bias diagram contains stars with higher activity level, in terms of X-ray flux and rotational velocity. The two main sequence clusters run from the earliest spectral types of A-F with shallow convection zones through G-K-early M stars with gradually deeper convection zones, and end up with the fully convective M dwarf stars, depicting the change of the dynamo type with the internal differences of the main sequence stars in connection with the FIP-bias values.


title: Formalization of dependent type theory: The example of CaTT

abstract: We present the type theory CaTT, originally introduced by Finster and Mimram to describe globular weak $\omega$-categories, and we formalise this theory in the language of homotopy type theory. Most of the studies about this type theory assume that it is well-formed and satisfy the usual syntactic properties that dependent type theories enjoy, without being completely clear and thorough about what these properties are exactly. We use the formalisation that we provide to list and formally prove all of these meta-properties, thus filling a gap in the foundational aspect. We discuss the key aspects of the formalisation inherent to the theory CaTT, in particular that the absence of definitional equality greatly simplify the study, but also that specific side conditions are challenging to properly model. We present the formalisation in a way that not only handles the type theory CaTT but also all the related type theories that share the same structure, and in particular we show that this formalisation provides a proper ground to the study of the theory MCaTT which describes the globular, monoidal weak $\omega$-categories. The article is accompanied by a development in the proof assistant Agda to actually check the formalisation that we present.


title: Beyond Time-Average Convergence: Near-Optimal Uncoupled Online Learning via Clairvoyant Multiplicative Weights Update

abstract: In this paper, we provide a novel and simple algorithm, Clairvoyant Multiplicative Weights Updates (CMWU) for regret minimization in general games. CMWU effectively corresponds to the standard MWU algorithm but where all agents, when updating their mixed strategies, use the payoff profiles based on tomorrow's behavior, i.e. the agents are clairvoyant. CMWU achieves constant regret of $\ln(m)/\eta$ in all normal-form games with m actions and fixed step-sizes $\eta$. Although CMWU encodes in its definition a fixed point computation, which in principle could result in dynamics that are neither computationally efficient nor uncoupled, we show that both of these issues can be largely circumvented. Specifically, as long as the step-size $\eta$ is upper bounded by $\frac{1}{(n-1)V}$, where $n$ is the number of agents and $[0,V]$ is the payoff range, then the CMWU updates can be computed linearly fast via a contraction map. This implementation results in an uncoupled online learning dynamic that admits a $O (\log T)$-sparse sub-sequence where each agent experiences at most $O(nV\log m)$ regret. This implies that the CMWU dynamics converge with rate $O(nV \log m \log T / T)$ to a \textit{Coarse Correlated Equilibrium}. The latter improves on the current state-of-the-art convergence rate of \textit{uncoupled online learning dynamics} \cite{daskalakis2021near,anagnostides2021near}.


title: Atom recoil in collectively interacting dipoles using quantized vibrational states

abstract: The recoil of atoms in dense ensembles during light matter interactions is studied using quantized vibrational states for the atomic motion. The recoil resulting from the forces due to the near-field collective dipole interactions and far-field laser and decay interactions are explored. The contributions to the recoil and the dependence on the trap frequency of the different terms of the Hamiltonian and Lindbladian are studied. These calculations are compared with previous results using the impulse model in the slow oscillation approximation. Calculations in highly subradiant systems show enhanced recoil indicating that recoil effects cannot be ignored in such cases.


title: Correlated electronic structure of a quintuple-layer nickelate

abstract: We present a comparative density-functional theory plus dynamical mean-field theory (DFT+DMFT) study of the two known superconducting members of the rare-earth (R) layered nickelate family: hole-doped RNiO$_{2}$ ($n=\infty$) and R$_{6}$Ni$_{5}$O$_{12}$ ($n=5$). At the same nominal carrier concentration, these two materials exhibit nearly identical electronic structures and many-body correlations effects: mass enhancements, self-energies, and occupations. However, the fermiology of the quintuple-layer nickelate is more two-dimensional-like than its infinite-layer counterpart making this new superconducting quintuple-layer nickelate more cuprate-like without the need for chemical doping.


title: Partial regularity for minima of higher-order quasiconvex integrands with natural Orlicz growth

abstract: A partial regularity theorem is presented for minimisers of $k$th-order functionals subject to a quasiconvexity and general growth condition. We will assume a natural growth condition governed by an $N$-function satisfying the $\Delta_2$ and $\nabla_2$ conditions, assuming no quantitative estimates on the second derivative of the integrand; this is new even in the $k = 1$ case. These results will also be extended to the case of strong local minimisers.


title: Domain Adaptation of Networks for Camera Pose Estimation: Learning Camera Pose Estimation Without Pose Labels

abstract: One of the key criticisms of deep learning is that large amounts of expensive and difficult-to-acquire training data are required in order to train models with high performance and good generalization capabilities. Focusing on the task of monocular camera pose estimation via scene coordinate regression (SCR), we describe a novel method, Domain Adaptation of Networks for Camera pose Estimation (DANCE), which enables the training of models without access to any labels on the target task. DANCE requires unlabeled images (without known poses, ordering, or scene coordinate labels) and a 3D representation of the space (e.g., a scanned point cloud), both of which can be captured with minimal effort using off-the-shelf commodity hardware. DANCE renders labeled synthetic images from the 3D model, and bridges the inevitable domain gap between synthetic and real images by applying unsupervised image-level domain adaptation techniques (unpaired image-to-image translation). When tested on real images, the SCR model trained with DANCE achieved comparable performance to its fully supervised counterpart (in both cases using PnP-RANSAC for final pose estimation) at a fraction of the cost. Our code and dataset are available at https://github.com/JackLangerman/dance


title: A tropical version of Hilbert polynomial (in dimension one)

abstract: For a tropical univariate polynomial $f$ we define its tropical Hilbert function as the dimension of a tropical linear prevariety of solutions of the tropical Macauley matrix of the polynomial up to a (growing) degree. We show that the tropical Hilbert function equals (for sufficiently large degrees) a sum of a linear function and a periodic function with an integer period. The leading coefficient of the linear function coincides with the tropical entropy of $f$. Also we establish sharp bounds on the tropical entropy.


title: High-efficiency and broadband electro-optic frequency combs enabled by coupled micro-resonators

abstract: Developments in integrated photonics have led to stable, compact, and broadband comb generators that support a wide range of applications. Current on-chip comb generators, however, are still limited by low optical pump-to-comb conversion efficiencies. Here, we demonstrate an integrated electro-optic frequency comb with a conversion efficiency of 30% and an optical bandwidth of 132 nm, featuring a 100-times higher conversion efficiency and 2.2-times broader optical bandwidth compared with previous state-of-the-art integrated electro-optic combs. We further show that, enabled by the high efficiency, the device acts as an on-chip femtosecond pulse source (336 fs pulse duration), which is important for applications in nonlinear optics, sensing, and computing. As an example, in the ultra-fast and high-power regime, we demonstrate the observation of a combined EO-\chi^(3) nonlinear frequency comb. Our device paves the way for practical optical frequency comb generators enabling energy-efficient computing, communication, and metrology, and provides a platform to investigate new regimes of optical physics that simultaneously involve multiple nonlinearities.


title: Improvement of the Envelope Theory for Systems with Different Particles

abstract: The envelope theory is a method to compute approximate eigensolutions of quantum $N$-body Hamiltonians with a quite general structure in $D$ dimensions. The advantages of the method are that it is easy to implement and that $N$ is treated as any other parameters of the Hamiltonian, allowing the computation for systems of all sizes. If solutions are reliable, they are generally not very accurate. In the case of systems with identical particles for $D \ge 2$, it is possible to improve the precision of the eigenvalues by combining the envelope theory with a generalisation to $N$-body of the dominantly orbital state method. It is shown that a similar improvement can be achieved in the case of systems composed of identical particles plus a different one. The quality of the new procedure is tested with different systems.


title: A Simple Long-Tailed Recognition Baseline via Vision-Language Model

abstract: The visual world naturally exhibits a long-tailed distribution of open classes, which poses great challenges to modern visual systems. Existing approaches either perform class re-balancing strategies or directly improve network modules to address the problem. However, they still train models with a finite set of predefined labels, limiting their supervision information and restricting their transferability to novel instances. Recent advances in large-scale contrastive visual-language pretraining shed light on a new pathway for visual recognition. With open-vocabulary supervisions, pretrained contrastive vision-language models learn powerful multimodal representations that are promising to handle data deficiency and unseen concepts. By calculating the semantic similarity between visual and text inputs, visual recognition is converted to a vision-language matching problem. Inspired by this, we propose BALLAD to leverage contrastive vision-language models for long-tailed recognition. We first continue pretraining the vision-language backbone through contrastive learning on a specific long-tailed target dataset. Afterward, we freeze the backbone and further employ an additional adapter layer to enhance the representations of tail classes on balanced training samples built with re-sampling strategies. Extensive experiments have been conducted on three popular long-tailed recognition benchmarks. As a result, our simple and effective approach sets the new state-of-the-art performances and outperforms competitive baselines with a large margin. Code is released at https://github.com/gaopengcuhk/BALLAD.


title: Dynamic Inference

abstract: Traditional statistical estimation, or statistical inference in general, is static, in the sense that the estimate of the quantity of interest does not change the future evolution of the quantity. In some sequential estimation problems however, we encounter the situation where the future values of the quantity to be estimated depend on the estimate of its current value. Examples include stock price prediction by big investors, interactive product recommendation, and behavior prediction in multi-agent systems. We may call such problems as dynamic inference. In this work, a formulation of this problem under a Bayesian probabilistic framework is given, and the optimal estimation strategy is derived as the solution to minimize the overall inference loss. How the optimal estimation strategy works is illustrated through two examples, stock trend prediction and vehicle behavior prediction. When the underlying models for dynamic inference are unknown, we can consider the problem of learning for dynamic inference. This learning problem can potentially unify several familiar machine learning problems, including supervised learning, imitation learning, and reinforcement learning.


title: A canonical bracket for open gravitational system

abstract: This paper shows that the generalization of the Barnich-Troessaert bracket recently proposed to represent the extended corner algebra can be obtained as the canonical bracket for an extended gravitational Lagrangian. This extension effectively allows one to reabsorb the symplectic flux into the dressing of the Lagrangian by an embedding field. It also implies that the canonical Poisson bracket of charges forms a representation of the extended corner symmetry algebra.


title: The Loewner Energy via the Renormalised Energy of Moving Frames

abstract: We obtain a new formula for the Loewner energy of Jordan curves on the sphere, which is a K\"ahler potential for the essentially unique K\"ahler metric on the Weil-Petersson universal Teichm\"uller space, as the renormalised energy of moving frames on the two domains of the sphere delimited by the given curve.


title: Method of distinguishing between black holes and wormholes

abstract: Beginning with a brief review of the regular space-time with asymptotically Minkowski core, we can consider two copies of the space-time connected through a short-throat wormhole whose radius of mouth is equal to or larger than an extremal regular black hole with asymptotically Minkowski core's event horizon radius. If the wormhole is traversable and smooth, fluxes in these two space-times will interact with and flow into each other. On the cosmological scale, gravity is a candidate for the flux. As the gravitational field changes in one space-time, the behaviours of stars around the wormhole will be affected by the other space-time since we assume there exists enough exotic matter to keep the wormhole open. The changes in a gravitational field can be quantized through the gauge invariant perturbations. The variances in orbits of stars can be reflected by changes in the kinematic shifts of photon frequencies. Then, we use this to distinguish between the black hole and wormhole generated by the same space-time line element, since black hole can not connect two space-times and is unaffected by other space-time.


title: One-loop corrections to ALP couplings

abstract: We derive the one-loop contributions to ALP-SM effective couplings, including all finite corrections. The complete leading-order -- dimension five -- effective linear Lagrangian is considered. The ALP is left off-shell, which is of particular impact on LHC and accelerator searches of ALP couplings to $\gamma\gamma$, $ZZ$, $Z\gamma$, $WW$, gluons and fermions. All results are obtained in the covariant $R_\xi$ gauge. A few phenomenological consequences are also explored as illustration, with flavour diagonal channels in the case of fermions: in particular, we explore constraints on the coupling of the ALP to top quarks, that can be extracted from LHC data, from astrophysical sources and from Dark Matter direct detection experiments such as PandaX, LUX and XENON1T.


title: Plastic Laminate Antireflective Coatings for Millimeter-wave Optics in BICEP Array

abstract: The BICEP/Keck series of experiments target the Cosmic Microwave Background at degree-scale resolution from the South Pole. Over the next few years, the "Stage-3" BICEP Array (BA) telescope will improve the program's frequency coverage and sensitivity to primordial B-mode polarization by an order of magnitude. The first receiver in the array, BA1, began observing at 30/40 GHz in early 2020. The next two receivers, BA2 and BA3, are currently being assembled and will map the southern sky at frequencies ranging from 95 GHz to 150 GHz. Common to all BA receivers is a refractive, on-axis, cryogenic optical design that focuses microwave radiation onto a focal plane populated with antenna-coupled bolometers. High-performance antireflective coatings up to 760 mm in aperture are needed for each element in the optical chain, and must withstand repeated thermal cycles down to 4 K. Here we present the design and fabrication of the 30/40 GHz anti-reflection coatings for the recently deployed BA1 receiver, then discuss laboratory measurements of their reflectance. We review the lamination method for these single- and dual-layer plastic coatings with indices matched to various polyethylene, nylon and alumina optics. We also describe ongoing efforts to optimize coatings for the next BA cryostats, which may inform technological choices for future Small-Aperture Telescopes of the CMB "Stage 4" experiment.


title: On $\star$-metric spaces

abstract: Metric spaces are generalized by many scholars. Recently, Khatami and Mirzavaziri use a mapping called $t$-definer to popularize the triangle inequality and give a generalization of the notion of a metric, which is called a $\star$-metric. In this paper, we prove that every $\star$-metric space is metrizable. Also, we study the total boundedness and completeness of $\star$-metric spaces.


title: Clausius Equation for Horizons in $F(R)$ Gravity

abstract: Covariant Hamiltonian formulation of $F(R)$ gravity is used to find variation of surface Hamiltonian which leads to formulation of temperature and entropy of a horizon. These thermodynamic quantities are then used to establish an analogy between Einstein equation and Clausius equation. The obtained results are compared to those from classical General Relativity.


title: Optimal and $H_\infty$ Control of Stochastic Reaction Networks

abstract: Stochastic reaction networks is a powerful class of models for the representation a wide variety of population models including biochemistry. The control of such networks has been recently considered due to their important implications for the control of biological systems. Their optimal control, however, has been relatively few studied until now. The continuous-time finite-horizon optimal control problem is formulated first and explicitly solved in the case of unimolecular reaction networks. The problems of the optimal sampled-data control, the continuous $H_\infty$ control, and the sampled-data $H_\infty$ control of such networks are addressed next. The results in the unimolecular case take the form of nonstandard Riccati differential equations or differential Lyapunov equations coupled with difference Riccati equations, which can all be solved numerically by backward-in-time integration.


title: FaceAtlasAR: Atlas of Facial Acupuncture Points in Augmented Reality

abstract: Acupuncture is a technique in which practitioners stimulate specific points on the body. Those points, called acupuncture points (or acupoints), anatomically define areas on the skin relative to specific landmarks on the body. However, mapping the acupoints to individuals could be challenging for inexperienced acupuncturists. In this project, we proposed a system to localize and visualize facial acupoints for individuals in an augmented reality (AR) context. This system combines a face alignment model and a hair segmentation model to provide dense reference points for acupoints localization in real-time (60FPS). The localization process takes the proportional bone (B-cun or skeletal) measurement method, which is commonly operated by specialists; however, in the real practice, operators sometimes find it inaccurate due to skill-related error. With this system, users, even without any skills, can locate the facial acupoints as a part of the self-training or self-treatment process.


title: Automated Benchmark-Driven Design and Explanation of Hyperparameter Optimizers

abstract: Automated hyperparameter optimization (HPO) has gained great popularity and is an important ingredient of most automated machine learning frameworks. The process of designing HPO algorithms, however, is still an unsystematic and manual process: Limitations of prior work are identified and the improvements proposed are -- even though guided by expert knowledge -- still somewhat arbitrary. This rarely allows for gaining a holistic understanding of which algorithmic components are driving performance, and carries the risk of overlooking good algorithmic design choices. We present a principled approach to automated benchmark-driven algorithm design applied to multifidelity HPO (MF-HPO): First, we formalize a rich space of MF-HPO candidates that includes, but is not limited to common HPO algorithms, and then present a configurable framework covering this space. To find the best candidate automatically and systematically, we follow a programming-by-optimization approach and search over the space of algorithm candidates via Bayesian optimization. We challenge whether the found design choices are necessary or could be replaced by more naive and simpler ones by performing an ablation analysis. We observe that using a relatively simple configuration, in some ways simpler than established methods, performs very well as long as some critical configuration parameters have the right value.


title: The surface category and tropical curves

abstract: We compute the classifying space of the surface category $\mathrm{Cob}_2$ whose objects are closed $1$-manifolds and whose morphisms are diffeomorphism classes of surface bordisms, and show that it is rationally equivalent to a circle. It is hence much smaller than the classifying space of the topologically enriched surface category $\mathcal{C}_2$ studied by Galatius-Madsen-Tillmann-Weiss. However, we also show that for the wide subcategory $\mathrm{Cob}_2^{\chi\le0} \subset \mathrm{Cob}_2$ that contains all morphisms without disks or spheres, the classifying space $B\mathrm{Cob}_2^{\chi\le0}$ is surprisingly large. Its rational homotopy groups contain the homology of all moduli spaces of tropical curves $\Delta_g$ as a summand. The technical key result shows that a version of positive boundary surgery applies to a large class of discrete symmetric monoidal categories, which we call labelled cospan categories. We also use this to show that the $(2,1)$-category of cospans of finite sets has a contractible classifying space.


title: Local convergence of alternating low-rank optimization methods with overrelaxation

abstract: The local convergence of alternating optimization methods with overrelaxation for low-rank matrix and tensor problems is established. The analysis is based on the linearization of the method which takes the form of an SOR iteration for a positive semidefinite Hessian and can be studied in the corresponding quotient geometry of equivalent low-rank representations. In the matrix case, the optimal relaxation parameter for accelerating the local convergence can be determined from the convergence rate of the standard method. This result relies on a version of Young's SOR theorem for positive semidefinite $2 \times 2$ block systems.


title: Fast algorithms for solving the Hamilton Cycle problem with high probability

abstract: We study the Hamilton cycle problem with input a random graph G=G(n,p) in two settings. In the first one, G is given to us in the form of randomly ordered adjacency lists while in the second one we are given the adjacency matrix of G. In each of the settings we give a deterministic algorithm that w.h.p. either it finds a Hamilton cycle or it returns a certificate that such a cycle does not exists, for p > 0. The running times of our algorithms are w.h.p. O(n) and O(n/p) respectively each being best possible in its own setting.


title: Reconstructing spectral functions via automatic differentiation

abstract: Reconstructing spectral functions from Euclidean Green's functions is an important inverse problem in many-body physics. However, the inversion is proved to be ill-posed in the realistic systems with noisy Green's functions. In this Letter, we propose an automatic differentiation(AD) framework as a generic tool for the spectral reconstruction from propagator observable. Exploiting the neural networks' regularization as a non-local smoothness regulator of the spectral function, we represent spectral functions by neural networks and use the propagator's reconstruction error to optimize the network parameters unsupervisedly. In the training process, except for the positive-definite form for the spectral function, there are no other explicit physical priors embedded into the neural networks. The reconstruction performance is assessed through relative entropy and mean square error for two different network representations. Compared to the maximum entropy method, the AD framework achieves better performance in the large-noise situation. It is noted that the freedom of introducing non-local regularization is an inherent advantage of the present framework and may lead to substantial improvements in solving inverse problems.


title: Adaptive First- and Second-Order Algorithms for Large-Scale Machine Learning

abstract: In this paper, we consider both first- and second-order techniques to address continuous optimization problems arising in machine learning. In the first-order case, we propose a framework of transition from deterministic or semi-deterministic to stochastic quadratic regularization methods. We leverage the two-phase nature of stochastic optimization to propose a novel first-order algorithm with adaptive sampling and adaptive step size. In the second-order case, we propose a novel stochastic damped L-BFGS method that improves on previous algorithms in the highly nonconvex context of deep learning. Both algorithms are evaluated on well-known deep learning datasets and exhibit promising performance.


title: Riemannian Functional Map Synchronization for Probabilistic Partial Correspondence in Shape Networks

abstract: We consider the problem of graph-matching on a network of 3D shapes with uncertainty quantification. We assume that the pairwise shape correspondences are efficiently represented as \emph{functional maps}, that match real-valued functions defined over pairs of shapes. By modeling functional maps between nearly isometric shapes as elements of the Lie group $SO(n)$, we employ \emph{synchronization} to enforce cycle consistency of the collection of functional maps over the graph, hereby enhancing the accuracy of the individual maps. We further introduce a tempered Bayesian probabilistic inference framework on $SO(n)$. Our framework enables: (i) synchronization of functional maps as maximum-a-posteriori estimation on the Riemannian manifold of functional maps, (ii) sampling the solution space in our energy based model so as to quantify uncertainty in the synchronization problem. We dub the latter \emph{Riemannian Langevin Functional Map (RLFM) Sampler}. Our experiments demonstrate that constraining the synchronization on the Riemannian manifold $SO(n)$ improves the estimation of the functional maps, while our RLFM sampler provides for the first time an uncertainty quantification of the results.


title: Resolvents for fractional-order operators with nonhomogeneous local boundary conditions

abstract: For $2a$-order strongly elliptic operators $P$ generalizing $(-\Delta )^a$, $0<a<1$, the treatment of the homogeneous Dirichlet problem on a bounded open set $\Omega \subset R^n$ by pseudodifferential methods, has been extended in a recent joint work with Helmut Abels to nonsmooth settings, showing regularity theorems in $L_q$-Sobolev spaces $H_q^s$ for $1<q<\infty $, when $\Omega $ is $C^{\tau +1}$ with a finite $\tau >2a$. Presently, we study the $L_q$-Dirichlet realizations of $P$ and $P^*$, showing invertibility or Fredholmness, finding smoothness results for the kernels and cokernels, and establishing similar results for $P-\lambda I$, $\lambda \in C$. The solution spaces equal $a$-transmission spaces $H_q^{a(s+2a)}(\bar\Omega)$. Similar results are shown for nonhomogeneous Dirichlet problems, prescribing the local Dirichlet trace $(u/d^{a-1})|_{\partial\Omega }$, $d(x)=dist(x,\partial\Omega)$. They are solvable in the larger spaces $H_q^{(a-1)(s+2a)}(\bar\Omega)$. Moreover, the nonhomogeneous problem with a spectral parameter $\lambda \in C$, $$ Pu-\lambda u = f \text { in }\Omega ,\quad u=0 \text { in }R^n\setminus \Omega ,\quad (u/d^{a-1 })|_{\partial\Omega }=\varphi \text{ on }\partial\Omega , $$ is for $q<(1-a)^{-1}$ shown to be uniquely resp. Fredholm solvable when $\lambda $ is in the resolvent set resp. the spectrum of the $L_2$-Dirichlet realization. Finally, we show solvability results for evolution problems $Pu+d_tu= f(x,t)$ in $L_2$ and $L_q$-based spaces over $C^{1+\tau}$-domains, including nonhomogeneous local boundary conditions.


title: Stress-energy Tensor for a Quantized Scalar Field in a Four-Dimensional Black Hole Spacetime that Forms From the Collapse of a Null Shell

abstract: A method is presented which allows for the numerical computation of the stress-energy tensor for a quantized massless minimally coupled scalar field in the region outside the event horizon of a 4D Schwarzschild black hole that forms from the collapse of a null shell. This method involves taking the difference between the stress-energy tensor for the in state in the collapsing null shell spacetime and that for the Unruh state in Schwarzschild spacetime. The construction of the modes for the in vacuum state and the Unruh state is discussed. Applying the method, the renormalized stress-energy tensor in the 2D case has been computed numerically and shown to be in agreement with the known analytic solution. In 4D, the presence of an effective potential in the mode equation causes scattering effects that make the construction of the in modes more complicated. The numerical computation of the in modes in this case is given.


title: Shape Optimization for the Mitigation of Coastal Erosion via Porous Shallow Water Equations

abstract: Coastal erosion describes the displacement of land caused by destructive sea waves, currents or tides. Major efforts have been made to mitigate these effects using groynes, breakwaters and various other structures. We address this problem by applying shape optimization techniques on the obstacles. We model the propagation of waves towards the coastline using two-dimensional porous Shallow Water Equations with artificial viscosity. The obstacle's shape, which is assumed to be permeable, is optimized over an appropriate cost function to minimize the height and velocities of water waves along the shore, without relying on a finite-dimensional design space, but based on shape calculus.


title: Mesarovician Abstract Learning Systems

abstract: The solution methods used to realize artificial general intelligence (AGI) may not contain the formalism needed to adequately model and characterize AGI. In particular, current approaches to learning hold notions of problem domain and problem task as fundamental precepts, but it is hardly apparent that an AGI encountered in the wild will be discernable into a set of domain-task pairings. Nor is it apparent that the outcomes of AGI in a system can be well expressed in terms of domain and task, or as consequences thereof. Thus, there is both a practical and theoretical use for meta-theories of learning which do not express themselves explicitly in terms of solution methods. General systems theory offers such a meta-theory. Herein, Mesarovician abstract systems theory is used as a super-structure for learning. Abstract learning systems are formulated. Subsequent elaboration stratifies the assumptions of learning systems into a hierarchy and considers the hierarchy such stratification projects onto learning theory. The presented Mesarovician abstract learning systems theory calls back to the founding motivations of artificial intelligence research by focusing on the thinking participants directly, in this case, learning systems, in contrast to the contemporary focus on the problems thinking participants solve.


title: A Graph Deep Learning Framework for High-Level Synthesis Design Space Exploration

abstract: The design of efficient hardware accelerators for high-throughput data-processing applications, e.g., deep neural networks, is a challenging task in computer architecture design. In this regard, High-Level Synthesis (HLS) emerges as a solution for fast prototyping application-specific hardware starting from a behavioural description of the application computational flow. This Design-Space Exploration (DSE) aims at identifying Pareto optimal synthesis configurations whose exhaustive search is often unfeasible due to the design-space dimensionality and the prohibitive computational cost of the synthesis process. Within this framework, we effectively and efficiently address the design problem by proposing, for the first time in the literature, graph neural networks that jointly predict acceleration performance and hardware costs of a synthesized behavioral specification given optimization directives. The learned model can be used to rapidly approach the Pareto curve by guiding the DSE, taking into account performance and cost estimates. The proposed method outperforms traditional HLS-driven DSE approaches, by accounting for arbitrary length of computer programs and the invariant properties of the input. We propose a novel hybrid control and data flow graph representation that enables training the graph neural network on specifications of different hardware accelerators; the methodology naturally transfers to unseen data-processing applications too. Moreover, we show that our approach achieves prediction accuracy comparable with that of commonly used simulators without having access to analytical models of the HLS compiler and the target FPGA, while being orders of magnitude faster. Finally, the learned representation can be exploited for DSE in unexplored configuration spaces by fine-tuning on a small number of samples from the new target domain.


title: Dynamically groomed jet radius in heavy-ion collisions

abstract: We explore the ability of a recently proposed jet substructure technique, Dynamical Grooming, to pin down the properties of the Quark-Gluon Plasma formed in ultra-relativistic heavy-ion collisions. In particular, we compute, both analytically and via Monte-Carlo simulations, the opening angle $\theta_g$ of the hardest splitting in the jet as defined by Dynamical Grooming. Our calculation, grounded in perturbative QCD, accounts for the factorization in time between vacuum-like and medium-induced processes in the double logarithmic approximation. We observe that the dominating scale in the $\theta_g$-distribution is the decoherence angle $\theta_c$ which characterises the resolution power of the medium to propagating color probes. This feature also persists in strong coupling models for jet quenching. We further propose for potential experimental measurements a suitable combination of the Dynamical Grooming condition and the jet radius that leads to a pQCD dominated observable with a very small sensitivity ($\leq 10\%$) to medium response.


title: A variational approach to $S^1$-harmonic maps and applications

abstract: We present a renormalization procedure of the Dirichlet Lagrangian for maps from surfaces with or without boundary into $S^1$ and whose finite energy critical points are the $S^1-$harmonic maps with isolated singularities. We give some applications of this renormalization scheme in two different frameworks. The first application has to do with the renormalization of the Willmore energy for Lagrangian singular immersions into K\"ahler-Einstein Surfaces while the second application is dealing with frame energies for surfaces immersions into Euclidian spaces.


title: Interface-Induced Conservation of Momentum Leads to Chiral-Induced Spin Selectivity

abstract: We study the non-equilibrium dynamics of electron transmission from a straight waveguide to a helix with spin-orbit coupling. Transmission is found to be spin-selective and can lead to large spin polarizations of the itinerant electrons. The degree of spin selectivity depends on the width of the interface region, and no polarization is found for single-point couplings. We show that this is due to momentum conservation conditions arising from extended interfaces. We therefore identify interface structure and conservation of momentum as crucial ingredients for chiral-induced spin selectivity, and confirm that this mechanism is robust against static disorder.


title: A fast algorithm on average for solving the Hamilton Cycle problem

abstract: We present CertifyHAM, an algorithm which takes as input a graph G and either finds a Hamilton cycle of G or it outputs that such a cycle does not exists. If G=G(n, p) and p >2000/n then the expected running time of CertifyHAM is O(n/p). This improves upon previous results due to Gurevich and Shelah, Thomason and Alon and Krivelevich.


title: Benchmarking exchange-correlation potentials with the mstar60 dataset: Importance of the nonlocal exchange potential for effective mass calculations in semiconductors

abstract: The accuracy of effective masses predicted by density functional theory depends on the exchange-correlation functional employed, with nonlocal hybrid functionals giving more accurate results than semilocal functionals. In this article, we benchmark the performance of the Perdew-Burke-Ernzerhof (PBE), Tran-Blaha modified Becke-Johnson (TB-mBJ), and the hybrid Heyd-Scuseria-Ernzerhof (HSE06) exchange-correlation functionals and potentials for the calculation of effective masses with perturbation theory. We introduce the mstar60 dataset, which contains 60 effective masses derived from 18 semiconductors. The ratio between experimental and calculated effective masses is $1.70 \pm 0.20$ for PBE, $0.76 \pm 0.04$ for TB-mBJ, $0.99 \pm 0.04$ for HSE06. We reveal that the nonlocal exchange in HSE06 enlarges the optical transition matrix elements leading to the superior accuracy of the hybrid functional in the calculation of effective masses. The omission of nonlocal exchange in the transition operator for HSE leads to serious errors. For the semilocal PBE functional, the errors in the bandgap and the optical transition matrix elements partially cancel out in the calculation of effective masses. The TB-mBJ functional yields PBE-like matrix elements paired with realistic bandgaps leading to a consistent overestimation of effective masses. However, if only limited computational resources are available, experimental masses can be estimated by multiplying TB-mBJ masses with the factor of 0.76. We then compare effective masses of transition metal dichalcogenide bulk and monolayer materials: we show that changes in the matrix elements are important in understanding the layer-dependent effective mass renormalization.


title: Trace anomaly and evaporation of spherical black holes

abstract: The evaporation of four-dimensional spherically symmetric black holes is presented in the framework of quantum field theory in curved spacetimes and semiclassical gravity. It is discussed how the evaporation process can be sourced by the presence of the trace anomaly of a massless, conformally coupled scalar field outside the apparent horizon of the black hole.


title: An investigation into Lie algebra representations obtained from regular holonomic D-modules

abstract: Beilinson--Bernstein localisation relates representations of a Lie algebra $\mathfrak{g}$ to certain $\mathcal{D}$-modules on the flag variety of $\mathfrak{g}$. In [arXiv:2002.01540], examples of $\mathfrak{sl}_2$-representations which correspond to $\mathcal{D}$-modules on $\mathbb{CP}^1$ were computed. In this expository article, we give a topological description of these and extended examples via the Riemann-Hilbert correspondence. We generalise this to a full characterisation of $\mathfrak{sl}_2$-representations which correspond to holonomic $\mathcal{D}$-modules on $\mathbb{CP}^1$ with at most 2 regular singularities. We construct further examples with more singularities and develop a computer program for the computation of this correspondence in more general cases.


title: Kinematic Fitting for Particle Flow Detectors at Future Higgs Factories

abstract: In many analyses in Higgs, top and electroweak physics, the kinematic reconstruction of the final state is improved by constrained fits. This is a particularly powerful tool at $e^{+}e^{-}$ colliders, where the initial state four-momentum is known and can be employed to constrain the final state. A crucial ingredient to kinematic fitting is an accurate estimate of the measurement uncertainties, in particular for composed objects like jets. This contribution will show how the particle flow concept, which is a design-driver for most detectors proposed for future Higgs factories, can -- in addition to an excellent jet energy measurement -- provide detailed estimates of the covariance matrices for each individual particle flow object (PFO) and each individual jet. Combined with information about leptons and secondary vertices in the jets, the kinematic fit enables to correct $b$- and $c$-jets for missing momentum from neutrinos from semi-leptonic heavy quark decays. The impact on the reconstruction of invariant di-jet masses and the resulting improvement in $ZH$ vs $ZZ$ separation will be presented, using the full simulation of the International Large Detector (ILD), as an example of highly-granular ParticleFlow optimized detector concept.