title: On-shell versus curvature mass parameter fixing schemes in the three flavor quark-meson model with vacuum fluctuations

abstract: The vacuum effective potential and phase diagram for the three (2+1) flavor quark-meson model have been computed and compared in an extended mean-field approximation (e-MFA) where the model parameters are fixed by using different renormalization prescriptions after including quark one-loop vacuum fluctuations. When the vacuum one-loop divergence is regularized in the minimal subtraction scheme and the curvature masses of the scalar and pseudo-scalar mesons are used for fixing the parameters, the setting of the quark-meson model with the vacuum term (QMVT) turns out to be inconsistent as one notes that the curvature masses are defined by the evaluation of self-energy at zero momentum. This work constitutes the first application of the consistent on-shell parameter fixing scheme to the three flavor quark-meson (QM) model. In this setting of the renormalized quark-meson (RQM) model, the physical (pole) masses of the $\pi, K, \eta$ and $\eta^{\prime}$ pseudo-scalar mesons and the scalar $\sigma$ meson,the pion decay constant and kaon decay constant are put into the relation of the running mass parameter and couplings by using the on-shell and the minimal subtraction renormalization schemes. The nonstrange direction normalized vacuum effective potential plots for both the RQM model and QMVT model, are exactly identical for the $m_\sigma=$ 658.8 MeV while the nonstrange direction order parameter temperature variations and phase diagrams for both the models RQM and PQMVT are identical when the $m_\sigma $ value is smaller by 10 MeV i.e. $m_\sigma=$ 648 MeV. This happens because the normalized vacuum effective potential variation in the nonstrange direction is somewhat influenced by its variation in the strange direction.


title: Unsupervised Echocardiography Registration through Patch-based MLPs and Transformers

abstract: Image registration is an essential but challenging task in medical image computing, especially for echocardiography, where the anatomical structures are relatively noisy compared to other imaging modalities. Traditional (non-learning) registration approaches rely on the iterative optimization of a similarity metric which is usually costly in time complexity. In recent years, convolutional neural network (CNN) based image registration methods have shown good effectiveness. In the meantime, recent studies show that the attention-based model (e.g., Transformer) can bring superior performance in pattern recognition tasks. In contrast, whether the superior performance of the Transformer comes from the long-winded architecture or is attributed to the use of patches for dividing the inputs is unclear yet. This work introduces three patch-based frameworks for image registration using MLPs and transformers. We provide experiments on 2D-echocardiography registration to answer the former question partially and provide a benchmark solution. Our results on a large public 2D echocardiography dataset show that the patch-based MLP/Transformer model can be effectively used for unsupervised echocardiography registration. They demonstrate comparable and even better registration performance than a popular CNN registration model. In particular, patch-based models better preserve volume changes in terms of Jacobian determinants, thus generating robust registration fields with less unrealistic deformation. Our results demonstrate that patch-based learning methods, whether with attention or not, can perform high-performance unsupervised registration tasks with adequate time and space complexity. Our codes are available https://gitlab.inria.fr/epione/mlp\_transformer\_registration


title: Assessing the accuracy of hybrid exchange-correlation functionals for the density response of warm dense electrons

abstract: We assess the accuracy of common hybrid exchange-correlation (XC) functionals (PBE0, PBE0-1/3, HSE06, HSE03, and B3LYP) within Kohn-Sham density functional theory (KS-DFT) for the harmonically perturbed electron gas at parameters relevant for the challenging conditions of warm dense matter. Generated by laser-induced compression and heating in the laboratory, warm dense matter is a state of matter that also occurs in white dwarfs and planetary interiors. We consider both weak and strong degrees of density inhomogeneity induced by the external field at various wavenumbers. We perform an error analysis by comparing to exact quantum Monte-Carlo results. In the case of a weak perturbation, we report the static linear density response function and the static XC kernel at a metallic density for both the degenerate ground-state limit and for partial degeneracy at the electronic Fermi temperature. Overall, we observe an improvement in the density response for partial degeneracy when the PBE0, PBE0-1/3, HSE06, and HSE03 functionals are used compared to the previously reported results for the PBE, PBEsol, LDA, AM05, and SCAN functionals; B3LYP, on the other hand, does not perform well for the considered system. Together with the reduction of self-interaction errors, this seems to be the rationale behind the relative success of the HSE03 functional for the description of the experimental data on aluminum and liquid ammonia at WDM conditions.


title: Approximate union closed conjecture

abstract: A set system is called union closed if for any two sets in the set system their union is also in the set system. Gilmer recently proved that in any union closed set system some element belongs to at least a $0.01$ fraction of sets, and conjectured that his technique can be pushed to the constant $\frac{3-\sqrt{5}}{2}$. We verify his conjecture; show that it extends to approximate union closed set systems, where for nearly all pairs of sets their union belong to the set system; and show that for such set systems this bound is optimal.


title: Learn to explain yourself, when you can: Equipping Concept Bottleneck Models with the ability to abstain on their concept predictions

abstract: The Concept Bottleneck Models (CBMs) of Koh et al. [2020] provide a means to ensure that a neural network based classifier bases its predictions solely on human understandable concepts. The concept labels, or rationales as we refer to them, are learned by the concept labeling component of the CBM. Another component learns to predict the target classification label from these predicted concept labels. Unfortunately, these models are heavily reliant on human provided concept labels for each datapoint. To enable CBMs to behave robustly when these labels are not readily available, we show how to equip them with the ability to abstain from predicting concepts when the concept labeling component is uncertain. In other words, our model learns to provide rationales for its predictions, but only whenever it is sure the rationale is correct.


title: Deep Signature Algorithm for Multi-dimensional Path-Dependent Options

abstract: In this work, we study the deep signature algorithms for path-dependent options. We extend the backward scheme in [Hur\'e-Pham-Warin. Mathematics of Computation 89, no. 324 (2020)] for state-dependent FBSDEs with reflections to path-dependent FBSDEs with reflections, by adding the signature layer to the backward scheme. Our algorithm applies to both European and American type option pricing problems while the payoff function depends on the whole paths of the underlying forward stock process. We prove the convergence analysis of our numerical algorithm with explicit dependence on the truncation order of the signature and the neural network approximation errors. Numerical examples for the algorithm are provided including: Amerasian option under the Black-Scholes model, American option with a path-dependent geometric mean payoff function, and the Shiryaev's optimal stopping problem.


title: TinyQMIX: Distributed Access Control for mMTC via Multi-agent Reinforcement Learning

abstract: Distributed access control is a crucial component for massive machine type communication (mMTC). In this communication scenario, centralized resource allocation is not scalable because resource configurations have to be sent frequently from the base station to a massive number of devices. We investigate distributed reinforcement learning for resource selection without relying on centralized control. Another important feature of mMTC is the sporadic and dynamic change of traffic. Existing studies on distributed access control assume that traffic load is static or they are able to gradually adapt to the dynamic traffic. We minimize the adaptation period by training TinyQMIX, which is a lightweight multi-agent deep reinforcement learning model, to learn a distributed wireless resource selection policy under various traffic patterns before deployment. Therefore, the trained agents are able to quickly adapt to dynamic traffic and provide low access delay. Numerical results are presented to support our claims.


title: Lattice Problems Beyond Polynomial Time

abstract: We study the complexity of lattice problems in a world where algorithms, reductions, and protocols can run in superpolynomial time, revisiting four foundational results: two worst-case to average-case reductions and two protocols. We also show a novel protocol. 1. We prove that secret-key cryptography exists if $\widetilde{O}(\sqrt{n})$-approximate SVP is hard for $2^{\varepsilon n}$-time algorithms. I.e., we extend to our setting (Micciancio and Regev's improved version of) Ajtai's celebrated polynomial-time worst-case to average-case reduction from $\widetilde{O}(n)$-approximate SVP to SIS. 2. We prove that public-key cryptography exists if $\widetilde{O}(n)$-approximate SVP is hard for $2^{\varepsilon n}$-time algorithms. This extends to our setting Regev's celebrated polynomial-time worst-case to average-case reduction from $\widetilde{O}(n^{1.5})$-approximate SVP to LWE. In fact, Regev's reduction is quantum, but ours is classical, generalizing Peikert's polynomial-time classical reduction from $\widetilde{O}(n^2)$-approximate SVP. 3. We show a $2^{\varepsilon n}$-time coAM protocol for $O(1)$-approximate CVP, generalizing the celebrated polynomial-time protocol for $O(\sqrt{n/\log n})$-CVP due to Goldreich and Goldwasser. These results show complexity-theoretic barriers to extending the recent line of fine-grained hardness results for CVP and SVP to larger approximation factors. (This result also extends to arbitrary norms.) 4. We show a $2^{\varepsilon n}$-time co-non-deterministic protocol for $O(\sqrt{\log n})$-approximate SVP, generalizing the (also celebrated!) polynomial-time protocol for $O(\sqrt{n})$-CVP due to Aharonov and Regev. 5. We give a novel coMA protocol for $O(1)$-approximate CVP with a $2^{\varepsilon n}$-time verifier. All of the results described above are special cases of more general theorems that achieve time-approximation factor tradeoffs.


title: Exploring Discrete Diffusion Models for Image Captioning

abstract: The image captioning task is typically realized by an auto-regressive method that decodes the text tokens one by one. We present a diffusion-based captioning model, dubbed the name DDCap, to allow more decoding flexibility. Unlike image generation, where the output is continuous and redundant with a fixed length, texts in image captions are categorical and short with varied lengths. Therefore, naively applying the discrete diffusion model to text decoding does not work well, as shown in our experiments. To address the performance gap, we propose several key techniques including best-first inference, concentrated attention mask, text length prediction, and image-free training. On COCO without additional caption pre-training, it achieves a CIDEr score of 117.8, which is +5.0 higher than the auto-regressive baseline with the same architecture in the controlled setting. It also performs +26.8 higher CIDEr score than the auto-regressive baseline (230.3 v.s.203.5) on a caption infilling task. With 4M vision-language pre-training images and the base-sized model, we reach a CIDEr score of 125.1 on COCO, which is competitive to the best well-developed auto-regressive frameworks. The code is available at https://github.com/buxiangzhiren/DDCap.


title: Disentangled Representation Learning

abstract: Disentangled Representation Learning (DRL) aims to learn a model capable of identifying and disentangling the underlying factors hidden in the observable data in representation form. The process of separating underlying factors of variation into variables with semantic meaning benefits in learning explainable representations of data, which imitates the meaningful understanding process of humans when observing an object or relation. As a general learning strategy, DRL has demonstrated its power in improving the model explainability, controlability, robustness, as well as generalization capacity in a wide range of scenarios such as computer vision, natural language processing, and data mining. In this article, we comprehensively investigate DRL from various aspects including motivations, definitions, methodologies, evaluations, applications, and model designs. We first present two well-recognized definitions, i.e., Intuitive Definition and Group Theory Definition for disentangled representation learning. We further categorize the methodologies for DRL into four groups from the following perspectives, the model type, representation structure, supervision signal, and independence assumption. We also analyze principles to design different DRL models that may benefit different tasks in practical applications. Finally, we point out challenges in DRL as well as potential research directions deserving future investigations. We believe this work may provide insights for promoting the DRL research in the community.


title: Partial wave analysis of $\tau^-\to\pi^-\pi^+\pi^-\nu_\tau$ at Belle

abstract: We present simulation studies in preparation for analyzing $\tau^-\to\pi^-\pi^+\pi^-\nu_\tau$ in data from the Belle experiment at the KEK $\mathrm{e}^+\mathrm{e}^-$ collider. Analyzing this decay can shed light on the $\mathrm{a}_1(1260)$ and $\mathrm{a}_1(1420)$ resonances and yield results that improve measurement of the $\tau$ electric and magnetic dipole moments. We show that we can achieve a higher signal efficiency than previous analyses of the same decay. We also demonstrate that neural networks can model our complicated six-dimensional background distributions and that quasi-model-independent partial-wave analysis can extract resonance masses, widths, and production amplitudes and phases.


title: Neutron stars and phase diagram from a double hard-wall

abstract: Description of nuclear matter in the core of neutron stars eludes the main tools of investigation of QCD, such as perturbation theory and the lattice formulation of the theory. Recently, the application of the holographic paradigm (both via top-down and bottom-up models) to this task has led to many encouraging results, both qualitatively and quantitatively. We present our approach to the description of neutron star cores, relying on a simple model of the (double) hard-wall type: we discuss results concerning the nature of homogeneous nuclear matter at high density emerging from the model including a quarkyonic phase, the mass-radius relation for neutron stars, as well as the rather stiff equation of state we have found. We show how, despite the very simple model employed, for an appropriate calibration we are able to obtain neutron stars that only slightly fall short of the observational bounds on radius and tidal deformability.


title: Diagonal restriction of Eisenstein series and Kudla-Millson theta lift

abstract: We consider the Kudla-Millson theta series associated to a quadratic space of signature $(N,N)$. By combining a `see-saw' argument with the Siegel-Weil formula, we show that its (regularized) integral along a torus attached to a totally real field of degree $N$ is the diagonal restriction of an Eisenstein series. It allows us to express the Fourier coefficients of the diagonal restriction as intersection numbers, which generalizes a result of Darmon-Pozzi-Vonk to totally real fields.


title: Explaining Random Forests using Bipolar Argumentation and Markov Networks (Technical Report)

abstract: Random forests are decision tree ensembles that can be used to solve a variety of machine learning problems. However, as the number of trees and their individual size can be large, their decision making process is often incomprehensible. In order to reason about the decision process, we propose representing it as an argumentation problem. We generalize sufficient and necessary argumentative explanations using a Markov network encoding, discuss the relevance of these explanations and establish relationships to families of abductive explanations from the literature. As the complexity of the explanation problems is high, we discuss a probabilistic approximation algorithm and present first experimental results.


title: High-Dimensional Undirected Graphical Models for Arbitrary Mixed Data

abstract: Graphical models are an important tool in exploring relationships between variables in complex, multivariate data. Methods for learning such graphical models are well developed in the case where all variables are either continuous or discrete, including in high-dimensions. However, in many applications data span variables of different types (e.g. continuous, count, binary, ordinal, etc.), whose principled joint analysis is nontrivial. Latent Gaussian copula models, in which all variables are modeled as transformations of underlying jointly Gaussian variables, represent a useful approach. Recent advances have shown how the binary-continuous case can be tackled, but the general mixed variable type regime remains challenging. In this work, we make the simple yet useful observation that classical ideas concerning polychoric and polyserial correlations can be leveraged in a latent Gaussian copula framework. Building on this observation we propose flexible and scalable methodology for data with variables of entirely general mixed type. We study the key properties of the approaches theoretically and empirically, via extensive simulations as well an illustrative application to data from the UK Biobank concerning COVID-19 risk factors.


title: Perceiver-VL: Efficient Vision-and-Language Modeling with Iterative Latent Attention

abstract: We present Perceiver-VL, a vision-and-language framework that efficiently handles high-dimensional multimodal inputs such as long videos and text. Powered by the iterative latent cross-attention of Perceiver, our framework scales with linear complexity, in contrast to the quadratic complexity of self-attention used in many state-of-the-art transformer-based models. To further improve the efficiency of our framework, we also study applying LayerDrop on cross-attention layers and introduce a mixed-stream architecture for cross-modal retrieval. We evaluate Perceiver-VL on diverse video-text and image-text benchmarks, where Perceiver-VL achieves the lowest GFLOPs and latency while maintaining competitive performance. In addition, we also provide comprehensive analyses of various aspects of our framework, including pretraining data, scalability of latent size and input size, dropping cross-attention layers at inference to reduce latency, modality aggregation strategy, positional encoding, and weight initialization strategy. Our code and checkpoints are available at: https://github.com/zinengtang/Perceiver_VL


title: Predicting sub-millimeter flux densities from global galaxy properties

abstract: Recent years have seen growing interest in post-processing cosmological simulations with radiative transfer codes to predict observable fluxes for simulated galaxies. However, this can be slow, and requires a number of assumptions in cases where simulations do not resolve the ISM. Zoom-in simulations better resolve the detailed structure of the ISM and the geometry of stars and gas, however statistics are limited due to the computational cost of simulating even a single halo. In this paper, we make use of a set of high resolution, cosmological zoom-in simulations of massive M_star>10^10.5M_sol at z=2), star-forming galaxies from the FIRE suite. We run the SKIRT radiative transfer code on hundreds of snapshots in the redshift range 1.5<z<5 and calibrate a power law scaling relation between dust mass, star formation rate and 870um flux density. The derived scaling relation shows encouraging consistency with observational results from the sub-millimeter-selected AS2UDS sample. We extend this to other wavelengths, deriving scaling relations between dust mass, stellar mass, star formation rate and redshift and sub-millimeter flux density at observed-frame wavelengths between 340um and 870um. We then apply the scaling relations to galaxies drawn from EAGLE, a large box cosmological simulation. We show that the scaling relations predict EAGLE sub-millimeter number counts that agree well with previous results that were derived using far more computationally expensive radiative transfer techniques. Our scaling relations can be applied to other simulations and semi-analytical or semi-empirical models to generate robust and fast predictions for sub-millimeter number counts.


title: Towards continually learning new languages

abstract: Multilingual speech recognition with neural networks is often implemented with batch-learning, when all of the languages are available before training. An ability to add new languages after the prior training sessions can be economically beneficial, but the main challenge is catastrophic forgetting. In this work, we combine the qualities of weight factorization and elastic weight consolidation in order to counter catastrophic forgetting and facilitate learning new languages quickly. Such combination allowed us to eliminate catastrophic forgetting while still achieving performance for the new languages comparable with having all languages at once, in experiments of learning from an initial 10 languages to achieve 26 languages without catastrophic forgetting and a reasonable performance compared to training all languages from scratch.


title: ESLAM: Efficient Dense SLAM System Based on Hybrid Representation of Signed Distance Fields

abstract: We present ESLAM, an efficient implicit neural representation method for Simultaneous Localization and Mapping (SLAM). ESLAM reads RGB-D frames with unknown camera poses in a sequential manner and incrementally reconstructs the scene representation while estimating the current camera position in the scene. We incorporate the latest advances in Neural Radiance Fields (NeRF) into a SLAM system, resulting in an efficient and accurate dense visual SLAM method. Our scene representation consists of multi-scale axis-aligned perpendicular feature planes and shallow decoders that, for each point in the continuous space, decode the interpolated features into Truncated Signed Distance Field (TSDF) and RGB values. Our extensive experiments on three standard datasets, Replica, ScanNet, and TUM RGB-D show that ESLAM improves the accuracy of 3D reconstruction and camera localization of state-of-the-art dense visual SLAM methods by more than 50%, while it runs up to 10 times faster and does not require any pre-training.


title: Spin Hall effect of radiofrequency waves in magnetized plasmas

abstract: In inhomogeneous media, electromagnetic-wave rays deviate from the trajectories predicted by the leading-order geometrical optics. This effect, called the spin Hall effect of light, is typically neglected in ray-tracing codes used for modeling waves in plasmas. Here, we demonstrate that the spin Hall effect can be significant for radiofrequency waves in toroidal magnetized plasmas whose parameters are in the ballpark of those used in fusion experiments. For example, an electron-cyclotron wave beam can deviate by as large as ten wavelengths ($\sim 0.1\,\text{m}$) relative to the lowest-order ray trajectory in the poloidal direction. We calculate this displacement using gauge-invariant ray equations of extended geometrical optics, and we also compare our theoretical predictions with full-wave simulations.


title: Long time behavior of solutions to the generalized Boussinesq equation

abstract: In this paper, we study the generalized Boussinesq equation as a model for the water wave problem with surface tension. Initially, we investigate the initial value problem within Sobolev spaces, deriving conditions under which solutions are either global or experience blow-up in time. Subsequently, we extend our analysis to Bessel potential and modulation spaces, determining the asymptotic behavior of solutions. We establish the non-existence of solitary waves for certain parameters using Pohozaev-type identities. Additionally, we numerically generate solitary wave solutions of the generalized Boussinesq equation through the Petviashvili iteration method. To further examine the time evolution of solutions, we propose employing the Fourier pseudo-spectral numerical method. Our investigation extends to the gap interval, where neither global existence nor blow-up results have been theoretically established. We find that our numerical results effectively fill these gaps, supplementing the theoretical findings.


title: A tactile model of the night summer northern sky for the teaching of astronomy to the BVI

abstract: Astroaccesible is an outreach project hosted by the Instituto de Astrof\'{\i}sica de Andaluc\'{\i}a - CSIC aimed at the teaching and popularisation of the astronomy among all publics independently of their capabilities and abilities, paying special attention to the collective of blind and visually impaired (BVI). Among the different strategies and resources using in our project, we have developed new 3D models representing in relief some of the stars, constellations and deep sky objects that can be observed during night from the Northern hemisphere in spring and summer. These models can be used by BVI to transmit to them the spatial configuration of the sky during night, but can be also used as an additional resource for all kind of publics to complement their sensorial experience. We also describe additional resources based on sounds that can also be employed to get deeper into this multisensorial experience. Finally, we summarize some of the activities and the context in which this new material has been used in the last 2 years.


title: Is cosmic dynamics self-regulating?

abstract: In this paper we discuss a cosmological model for a universe with self-regulating features. We set up the theoretical framework for the model and determine the time evolution of the scale-factor $a(t)$. It is shown that such a universe repeatedly goes through alternate periods of matter and dark energy domination. The resulting dynamics oscillates about the would-be ideal time-linear or coasting path, with monotonic expansion. When compared to dynamics of the observed physical Universe, the model recovers the observationally-established evolutionary features of the latter, from the big bang to the current acceleration, and farther. It suggests a universe that initially emerges from a non-singular state, associated with a non-inflationary acceleration, and which acceleration it exits naturally with matter-energy generation. The model does not have a horizon problem or a flatness problem. It reproduces the observed current values of standard cosmic parameters, including the age $t_{0}$, the current Hubble parameter $H_{0}$ and dark energy $\Omega_{de}\ $and matter $\Omega_{m}$ density parameters. We find the dark matter density-profile generated by the model naturally leads to flat rotation curves in galaxy halos. The model is falsifiable. It makes predictions that can be tested, as suggested. Finally, we discuss the dimensionless age $(H_{0}t_{0}\simeq1)$ paradox as an example of the model's ability to address standing puzzles. The findings suggest dynamics of the physical Universe may be self-regulating and predictable.


title: Euclid legacy science prospects

abstract: With the immense number of images, data, and sources that Euclid will deliver, the consortium will be in a unique position to create/provide/construct legacy catalogues. The latter will have exquisite imaging quality and good near-infrared spectroscopy, with impact on many areas of galaxy science. These proceedings review the prospects and scientific output that Euclid will be able to achieve in areas of galaxy and active galactic nucleus (AGN) evolution, the local and primeval Universe, studies of the Milky Way and stellar populations, supernovae (SN) and transients, Solar System objects, exoplanets, strong lensing and galaxy clusters.


title: Adaptive Stochastic Optimisation of Nonconvex Composite Objectives

abstract: In this paper, we propose and analyse a family of generalised stochastic composite mirror descent algorithms. With adaptive step sizes, the proposed algorithms converge without requiring prior knowledge of the problem. Combined with an entropy-like update-generating function, these algorithms perform gradient descent in the space equipped with the maximum norm, which allows us to exploit the low-dimensional structure of the decision sets for high-dimensional problems. Together with a sampling method based on the Rademacher distribution and variance reduction techniques, the proposed algorithms guarantee a logarithmic complexity dependence on dimensionality for zeroth-order optimisation problems.


title: CLAWSAT: Towards Both Robust and Accurate Code Models

abstract: We integrate contrastive learning (CL) with adversarial learning to co-optimize the robustness and accuracy of code models. Different from existing works, we show that code obfuscation, a standard code transformation operation, provides novel means to generate complementary `views' of a code that enable us to achieve both robust and accurate code models. To the best of our knowledge, this is the first systematic study to explore and exploit the robustness and accuracy benefits of (multi-view) code obfuscations in code models. Specifically, we first adopt adversarial codes as robustness-promoting views in CL at the self-supervised pre-training phase. This yields improved robustness and transferability for downstream tasks. Next, at the supervised fine-tuning stage, we show that adversarial training with a proper temporally-staggered schedule of adversarial code generation can further improve robustness and accuracy of the pre-trained code model. Built on the above two modules, we develop CLAWSAT, a novel self-supervised learning (SSL) framework for code by integrating $\underline{\textrm{CL}}$ with $\underline{\textrm{a}}$dversarial vie$\underline{\textrm{w}}$s (CLAW) with $\underline{\textrm{s}}$taggered $\underline{\textrm{a}}$dversarial $\underline{\textrm{t}}$raining (SAT). On evaluating three downstream tasks across Python and Java, we show that CLAWSAT consistently yields the best robustness and accuracy ($\textit{e.g.}$ 11$\%$ in robustness and 6$\%$ in accuracy on the code summarization task in Python). We additionally demonstrate the effectiveness of adversarial learning in CLAW by analyzing the characteristics of the loss landscape and interpretability of the pre-trained models.


title: Symplectic Morse Theory and Witten Deformation

abstract: On symplectic manifolds, we introduce a Morse-type complex with elements generated by pairs of critical points of a Morse function. The differential of the complex consists of gradient flows and an integration of the symplectic structure over spaces of gradient flow lines. Using the Witten deformation method, we prove that the cohomology of this complex is independent of both the Riemannian metric and the Morse function used to define the complex and is in fact isomorphic to the cohomology of differential forms of Tsai, Tseng and Yau (TTY). We also obtain Morse-type inequalities that bound the dimensions of the TTY cohomologies by the number of Morse critical points and the interaction of symplectic structure with the critical points.


title: On the monotonicity of a quantum optimal transport cost

abstract: We show that the quantum generalization of the $2$-Wasserstein distance proposed by Chakrabarti et al. is not monotone under partial traces. This disproves a recent conjecture by Friedland et al. Finally, we propose a stabilized version of the original definition, which we show to be monotone under the application of general quantum channels.


title: A construction of a $\frac{3}{2}$-tough plane triangulation with no 2-factor

abstract: In 1956, Tutte proved the celebrated theorem that every 4-connected planar graph is hamiltonian. This result implies that every more than $\frac{3}{2}$-tough planar graph on at least three vertices is hamiltonian and so has a 2-factor. Owens in 1999 constructed non-hamiltonian maximal planar graphs of toughness arbitrarily close to $\frac{3}{2}$ and asked whether there exists a maximal non-hamiltonian planar graph of toughness exactly $\frac{3}{2}$. In fact, the graphs Owens constructed do not even contain a 2-factor. Thus the toughness of exactly $\frac{3}{2}$ is the only case left in asking the existence of 2-factors in tough planar graphs. This question was also asked by Bauer, Broersma, and Schmeichel in a survey. In this paper, we close this gap by constructing a maximal $\frac{3}{2}$-tough plane graph with no 2-factor, answering the question asked by Owens as well as by Bauer, Broersma, and Schmeichel.


title: On closed surfaces with nonnegative curvature in the spectral sense

abstract: We study closed orientable surfaces satisfying the spectral condition $\lambda_1(-\Delta+\beta K)\geq\lambda\geq0$, where $\beta$ is a positive constant and $K$ is the Gauss curvature. This condition naturally arises for stable minimal surfaces in 3-manifolds with positive scalar curvature. We show isoperimetric inequalities, area growth theorems and diameter bounds for such surfaces. The validity of these inequalities are subject to certain bounds for $\beta$. Associated to a positive super-solution $\Delta\varphi\leq\beta K\varphi$, the conformal metric $\varphi^{2/\beta}g$ has pointwise nonnegative curvature. Utilizing the geometry of the new metric, we prove H\"older precompactness and almost rigidity results concerning the main spectral condition.


title: Neural tangent kernel analysis of PINN for advection-diffusion equation

abstract: Physics-informed neural networks (PINNs) numerically approximate the solution of a partial differential equation (PDE) by incorporating the residual of the PDE along with its initial/boundary conditions into the loss function. In spite of their partial success, PINNs are known to struggle even in simple cases where the closed-form analytical solution is available. In order to better understand the learning mechanism of PINNs, this work focuses on a systematic analysis of PINNs for the linear advection-diffusion equation (LAD) using the Neural Tangent Kernel (NTK) theory. Thanks to the NTK analysis, the effects of the advection speed/diffusion parameter on the training dynamics of PINNs are studied and clarified. We show that the training difficulty of PINNs is a result of 1) the so-called spectral bias, which leads to difficulty in learning high-frequency behaviours; and 2) convergence rate disparity between different loss components that results in training failure. The latter occurs even in the cases where the solution of the underlying PDE does not exhibit high-frequency behaviour. Furthermore, we observe that this training difficulty manifests itself, to some extent, differently in advection-dominated and diffusion-dominated regimes. Different strategies to address these issues are also discussed. In particular, it is demonstrated that periodic activation functions can be used to partly resolve the spectral bias issue.


title: Non-commutative intersection theory and unipotent Deligne-Milnor formula

abstract: In this paper, we prove the \emph{unipotent Deligne-Milnor formula}. Our method consists of categorifying Kato-Saito localized intersection product and then applying To\"en-Vezzosi non-commutative Chern character. In fact, a small modification of our strategy also yields Bloch conductor conjecture in several new cases. Along the way, we confirm an expectation of To\"en-Vezzosi's on the relation between their categorical intersection class and Bloch intersection number.


title: Private Counting of Distinct and k-Occurring Items in Time Windows

abstract: In this work, we study the task of estimating the numbers of distinct and $k$-occurring items in a time window under the constraint of differential privacy (DP). We consider several variants depending on whether the queries are on general time windows (between times $t_1$ and $t_2$), or are restricted to being cumulative (between times $1$ and $t_2$), and depending on whether the DP neighboring relation is event-level or the more stringent item-level. We obtain nearly tight upper and lower bounds on the errors of DP algorithms for these problems. En route, we obtain an event-level DP algorithm for estimating, at each time step, the number of distinct items seen over the last $W$ updates with error polylogarithmic in $W$; this answers an open question of Bolot et al. (ICDT 2013).


title: First Steps Toward Understanding the Extrapolation of Nonlinear Models to Unseen Domains

abstract: Real-world machine learning applications often involve deploying neural networks to domains that are not seen in the training time. Hence, we need to understand the extrapolation of nonlinear models -- under what conditions on the distributions and function class, models can be guaranteed to extrapolate to new test distributions. The question is very challenging because even two-layer neural networks cannot be guaranteed to extrapolate outside the support of the training distribution without further assumptions on the domain shift. This paper makes some initial steps toward analyzing the extrapolation of nonlinear models for structured domain shift. We primarily consider settings where the marginal distribution of each coordinate of the data (or subset of coordinates) does not shift significantly across the training and test distributions, but the joint distribution may have a much bigger shift. We prove that the family of nonlinear models of the form $f(x)=\sum f_i(x_i)$, where $f_i$ is an arbitrary function on the subset of features $x_i$, can extrapolate to unseen distributions, if the covariance of the features is well-conditioned. To the best of our knowledge, this is the first result that goes beyond linear models and the bounded density ratio assumption, even though the assumptions on the distribution shift and function class are stylized.


title: Multitask Vision-Language Prompt Tuning

abstract: Prompt Tuning, conditioning on task-specific learned prompt vectors, has emerged as a data-efficient and parameter-efficient method for adapting large pretrained vision-language models to multiple downstream tasks. However, existing approaches usually consider learning prompt vectors for each task independently from scratch, thereby failing to exploit the rich shareable knowledge across different vision-language tasks. In this paper, we propose multitask vision-language prompt tuning (MVLPT), which incorporates cross-task knowledge into prompt tuning for vision-language models. Specifically, (i) we demonstrate the effectiveness of learning a single transferable prompt from multiple source tasks to initialize the prompt for each target task; (ii) we show many target tasks can benefit each other from sharing prompt vectors and thus can be jointly learned via multitask prompt tuning. We benchmark the proposed MVLPT using three representative prompt tuning methods, namely text prompt tuning, visual prompt tuning, and the unified vision-language prompt tuning. Results in 20 vision tasks demonstrate that the proposed approach outperforms all single-task baseline prompt tuning methods, setting the new state-of-the-art on the few-shot ELEVATER benchmarks and cross-task generalization benchmarks. To understand where the cross-task knowledge is most effective, we also conduct a large-scale study on task transferability with 20 vision tasks in 400 combinations for each prompt tuning method. It shows that the most performant MVLPT for each prompt tuning method prefers different task combinations and many tasks can benefit each other, depending on their visual similarity and label similarity. Code is available at https://github.com/sIncerass/MVLPT.


title: The Berlekamp-Massey Algorithm revisited

abstract: We propose a slight modification of the Berlekamp-Massey Algorithm for obtaining the minimal polynomial of a given linearly recurrent sequence. Such a modification enables to explain it in a simpler way and to adapt it to lazy evaluation.


title: Probing the holographic model of $\mathcal{N} =4$ SYM rotating quark-gluon plasma

abstract: We study Wilson loops in holographic duals of the $\mathcal{N}=4$ SYM quark-gluon plasma. For this we consider the Schwarzschild-$AdS_5$ and Kerr-$AdS_5$ black holes, which are dual to the non-rotating and rotating QGPs, correspondingly. From temporal Wilson loops we find the heavy quark potentials in both backgrounds. For the temperature above the critical one we observe the Coulomb-like behaviour of the potentials. We find that increasing the rotation the interquark distance decreases, we also see that the increase of the temperature yields the similar behaviour. Moreover, at high temperatures values of the potentials in Kerr-$AdS_5$ are close to that one calculated in the Schwarzschild-$AdS_5$ black hole. We also explore holographic light-like Wilson loops from which the jet-quenching parameters of a fast parton propagating in the QGP are extracted. We find that the rotation increases the value of the jet-quenching parameter. However, at high temperatures the jet-quenching parameters have a cubic dependence on the temperature as for the AdS black brane.


title: Searches for scalars at LHC and interpretation of the findings

abstract: In view of the future Higgs factories, this work presents the status of scalar searches at the LHC with an emphasis on the H(650) resonance which has been observed in WW, ZZ and h(95)h(125) channels, with a cumulative evidence of about 7 s.d. global significance. Its interpretation in models, restricted to extension of the scalar sector by SU(2) singlets and doublets, is clearly excluded, while its interpretation in models with additional triplets requires an extension with respect to the conventional Georgi-Machacek model. A general picture of these searches is updated, showing that h(95) is also reaching a similar level of evidence while two other candidates, A(400) and h(151), although less prominent, are above the 4 s.d. global evidence.


title: Legal and Political Stance Detection of SCOTUS Language

abstract: We analyze publicly available US Supreme Court documents using automated stance detection. In the first phase of our work, we investigate the extent to which the Court's public-facing language is political. We propose and calculate two distinct ideology metrics of SCOTUS justices using oral argument transcripts. We then compare these language-based metrics to existing social scientific measures of the ideology of the Supreme Court and the public. Through this cross-disciplinary analysis, we find that justices who are more responsive to public opinion tend to express their ideology during oral arguments. This observation provides a new kind of evidence in favor of the attitudinal change hypothesis of Supreme Court justice behavior. As a natural extension of this political stance detection, we propose the more specialized task of legal stance detection with our new dataset SC-stance, which matches written opinions to legal questions. We find competitive performance on this dataset using language adapters trained on legal documents.


title: Thurston norm and Euler classes of tight contact structures

abstract: Bill Thurston proved that taut foliations of hyperbolic 3-manifolds have Euler classes of norm at most one, and conjectured that any integral second cohomology class of norm equal to one is realised as the Euler class of some taut foliation. Recent work of the second author, joint with David Gabai, has produced counterexamples to this conjecture. Since tight contact structures exist whenever taut foliations do and their Euler classes also have norm at most one, it is natural to ask whether the Euler class one conjecture might still be true for tight contact structures. In this short note, we show that the previously constructed counterexamples for Euler classes of taut foliations in [Yaz20] are in fact realised as Euler classes of tight contact structures. This provides some evidence for the Euler class one conjecture for tight contact structures.


title: A Cut-Matching Game for Constant-Hop Expanders

abstract: This paper provides a cut-strategy that produces constant-hop expanders in the well-known cut-matching game framework. Constant-hop expanders strengthen expanders with constant conductance by guaranteeing that any demand can be (obliviously) routed along constant-hop paths - in contrast to the $\Omega(\log n)$-hop routes in expanders. Cut-matching games for expanders are key tools for obtaining close-to-linear-time approximation algorithms for many hard problems, including finding (balanced or approximately-largest) sparse cuts, certifying the expansion of a graph by embedding an (explicit) expander, as well as computing expander decompositions, hierarchical cut decompositions, oblivious routings, multi-cuts, and multicommodity flows. The cut-matching game provided in this paper is crucial in extending this versatile and powerful machinery to constant-hop expanders. It is also a key ingredient towards close-to-linear time algorithms for computing a constant approximation of multicommodity-flows and multi-cuts - the approximation factor being a constant relies on the expanders being constant-hop.


title: Parametric Classification for Generalized Category Discovery: A Baseline Study

abstract: Generalized Category Discovery (GCD) aims to discover novel categories in unlabelled datasets using knowledge learned from labelled samples. Previous studies argued that parametric classifiers are prone to overfitting to seen categories, and endorsed using a non-parametric classifier formed with semi-supervised k-means. However, in this study, we investigate the failure of parametric classifiers, verify the effectiveness of previous design choices when high-quality supervision is available, and identify unreliable pseudo-labels as a key problem. We demonstrate that two prediction biases exist: the classifier tends to predict seen classes more often, and produces an imbalanced distribution across seen and novel categories. Based on these findings, we propose a simple yet effective parametric classification method that benefits from entropy regularisation, achieves state-of-the-art performance on multiple GCD benchmarks and shows strong robustness to unknown class numbers. We hope the investigation and proposed simple framework can serve as a strong baseline to facilitate future studies in this field. Our code is available at: https://github.com/CVMI-Lab/SimGCD.


title: A Review on Contact and Collision Methods for Multi-body Hydrodynamic problems in Complex Flows

abstract: Modeling and direct numerical simulation of particle-laden flows have a tremendous variety of applications in science and engineering across a vast spectrum of scales from pollution dispersion in the atmosphere, to fluidization in the combustion process, to aerosol deposition in spray medication, along with many others. Due to their strongly nonlinear and multiscale nature, the above complex phenomena still raise a very steep challenge to the most computational methods. In this review, we provide comprehensive coverage of multibody hydrodynamic (MBH) problems focusing on particulate suspensions in complex fluidic systems that have been simulated using hybrid Eulerian-Lagrangian particulate flow models. Among these hybrid models, the Immersed Boundary-Lattice Boltzmann Method (IB-LBM) provides mathematically simple and computationally-efficient algorithms for solid-fluid hydrodynamic interactions in MBH simulations. This paper elaborates on the mathematical framework, applicability, and limitations of various 'simple to complex' representations of close-contact interparticle interactions and collision methods, including short-range inter-particle and particle-wall steric interactions, spring and lubrication forces, normal and oblique collisions, and mesoscale molecular models for deformable particle collisions based on hard-sphere and soft-sphere models in MBH models to simulate settling or flow of nonuniform particles of different geometric shapes and sizes in diverse fluidic systems.


title: Quantum majority vote

abstract: Majority vote is a basic method for amplifying correct outcomes that is widely used in computer science and beyond. While it can amplify the correctness of a quantum device with classical output, the analogous procedure for quantum output is not known. We introduce quantum majority vote as the following task: given a product state $|\psi_1\rangle \otimes \dots \otimes |\psi_n\rangle$ where each qubit is in one of two orthogonal states $|\psi\rangle$ or $|\psi^\perp\rangle$, output the majority state. We show that an optimal algorithm for this problem achieves worst-case fidelity of $1/2 + \Theta(1/\sqrt{n})$. Under the promise that at least $2/3$ of the input qubits are in the majority state, the fidelity increases to $1 - \Theta(1/n)$ and approaches $1$ as $n$ increases. We also consider the more general problem of computing any symmetric and equivariant Boolean function $f: \{0,1\}^n \to \{0,1\}$ in an unknown quantum basis, and show that a generalization of our quantum majority vote algorithm is optimal for this task. The optimal parameters for the generalized algorithm and its worst-case fidelity can be determined by a simple linear program of size $O(n)$. The time complexity of the algorithm is $O(n^4 \log n)$ where $n$ is the number of input qubits.


title: Axion from pseudo Goldstone seesaw without Peccei-Quinn symmetry

abstract: It is firmly believed that the axion for solving the strong CP problem must come from the spontaneous breaking of an anomalous Peccei-Quinn global symmetry. Here we show a new possibility that the axion can be induced by a pseudo Goldstone seesaw mechanism although the Peccei-Quinn symmetry is exactly forbidden. Specifically, after the spontaneous breaking of appropriate gauge and discrete symmetries, a heavy pseudo Goldstone coupling to colored fermions is allowed to have a tiny mass mixing with an ultralight pseudo Goldstone. In our scenario, no symmetry breaking is required to happen above the TeV scale. This means rich collider phenomena to explore the origin of axion.


title: Improved Lower Bound for Frankl's Union-Closed Sets Conjecture

abstract: We verify an explicit inequality conjectured recently by Gilmer, thus proving that for any nonempty union-closed family $\mathcal F \subseteq 2^{[n]}$, some $i\in [n]$ is contained in at least $\frac{3-\sqrt{5}}{2} \approx 0.38$ fraction of the sets in $\mathcal F$. One case, an explicit one-variable inequality, is checked by computer calculation.


title: Orthogonal Unitary Bases and a Subfactor Conjecture

abstract: We show that any finite dimensional von Neumann algebra admits an orthonormal unitary basis with respect to its standard trace. We also show that a finite dimensional von Neumann subalgebra of $M_n(\mathbb{C})$ admits an orthonormal unitary basis under normalized matrix trace if and only if the normalized matrix trace and standard trace of the von Neumann subalgebra coincide. As an application, we verify a recent conjecture of Bakshi-Gupta, showing that any finite-index regular inclusion $N\subseteq M$ of $II_1$-factors admits an orthonormal unitary Pimsner-Popa basis.


title: Teaching Structured Vision&Language Concepts to Vision&Language Models

abstract: Vision and Language (VL) models have demonstrated remarkable zero-shot performance in a variety of tasks. However, some aspects of complex language understanding still remain a challenge. We introduce the collective notion of Structured Vision&Language Concepts (SVLC) which includes object attributes, relations, and states which are present in the text and visible in the image. Recent studies have shown that even the best VL models struggle with SVLC. A possible way of fixing this issue is by collecting dedicated datasets for teaching each SVLC type, yet this might be expensive and time-consuming. Instead, we propose a more elegant data-driven approach for enhancing VL models' understanding of SVLCs that makes more effective use of existing VL pre-training datasets and does not require any additional data. While automatic understanding of image structure still remains largely unsolved, language structure is much better modeled and understood, allowing for its effective utilization in teaching VL models. In this paper, we propose various techniques based on language structure understanding that can be used to manipulate the textual part of off-the-shelf paired VL datasets. VL models trained with the updated data exhibit a significant improvement of up to 15% in their SVLC understanding with only a mild degradation in their zero-shot capabilities both when training from scratch or fine-tuning a pre-trained model.


title: PLIKS: A Pseudo-Linear Inverse Kinematic Solver for 3D Human Body Estimation

abstract: We introduce PLIKS (Pseudo-Linear Inverse Kinematic Solver) for reconstruction of a 3D mesh of the human body from a single 2D image. Current techniques directly regress the shape, pose, and translation of a parametric model from an input image through a non-linear mapping with minimal flexibility to any external influences. We approach the task as a model-in-the-loop optimization problem. PLIKS is built on a linearized formulation of the parametric SMPL model. Using PLIKS, we can analytically reconstruct the human model via 2D pixel-aligned vertices. This enables us with the flexibility to use accurate camera calibration information when available. PLIKS offers an easy way to introduce additional constraints such as shape and translation. We present quantitative evaluations which confirm that PLIKS achieves more accurate reconstruction with greater than 10% improvement compared to other state-of-the-art methods with respect to the standard 3D human pose and shape benchmarks while also obtaining a reconstruction error improvement of 12.9 mm on the newer AGORA dataset.


title: Shot noise as a characterization of strongly correlated metals

abstract: Shot noise measures out-of-equilibrium current fluctuations and is a powerful tool to probe the nature of current-carrying excitations in quantum systems. Recent shot noise measurements in the heavy fermion strange metal YbRh$_2$Si$_2$ exhibit a strong suppression of the Fano factor ($F$) -- the ratio of the current noise to the average current in the DC limit. This system is representative of metals in which electron correlations are extremely strong. Here we carry out the first theoretical study on the shot noise of diffusive metals in the regime of strong correlations. A Boltzmann-Langevin equation formulation is constructed in a quasiparticle description in the presence of strong correlations. We find that $F = \sqrt{ 3}/{4}$ in such a correlation regime. Hence, the Fano factor suppression observed in experiments on YbRh$_2$Si$_2$ necessitates a loss of the quasiparticles. Our work opens the door to systematic theoretical studies of shot noise as a means of characterizing strongly correlated metallic phases and materials.


title: Robotic Skill Acquisition via Instruction Augmentation with Vision-Language Models

abstract: In recent years, much progress has been made in learning robotic manipulation policies that follow natural language instructions. Such methods typically learn from corpora of robot-language data that was either collected with specific tasks in mind or expensively re-labelled by humans with rich language descriptions in hindsight. Recently, large-scale pretrained vision-language models (VLMs) like CLIP or ViLD have been applied to robotics for learning representations and scene descriptors. Can these pretrained models serve as automatic labelers for robot data, effectively importing Internet-scale knowledge into existing datasets to make them useful even for tasks that are not reflected in their ground truth annotations? To accomplish this, we introduce Data-driven Instruction Augmentation for Language-conditioned control (DIAL): we utilize semi-supervised language labels leveraging the semantic understanding of CLIP to propagate knowledge onto large datasets of unlabelled demonstration data and then train language-conditioned policies on the augmented datasets. This method enables cheaper acquisition of useful language descriptions compared to expensive human labels, allowing for more efficient label coverage of large-scale datasets. We apply DIAL to a challenging real-world robotic manipulation domain where 96.5% of the 80,000 demonstrations do not contain crowd-sourced language annotations. DIAL enables imitation learning policies to acquire new capabilities and generalize to 60 novel instructions unseen in the original dataset.


title: Algorithmic Applications of Hypergraph and Partition Containers

abstract: We present a general method to convert algorithms into faster algorithms for almost-regular input instances. Informally, an almost-regular input is an input in which the maximum degree is larger than the average degree by at most a constant factor. This family of inputs vastly generalizes several families of inputs for which we commonly have improved algorithms, including bounded-degree inputs and random inputs. It also generalizes families of inputs for which we don't usually have faster algorithms, including regular-inputs of arbitrarily high degree and very dense inputs. We apply our method to achieve breakthroughs in exact algorithms for several central NP-Complete problems including $k$-SAT, Graph Coloring, and Maximum Independent Set. Our main tool is the first algorithmic application of the relatively new Hypergraph Container Method (Saxton and Thomason 2015, Balogh, Morris and Samotij 2015). This recent breakthrough, which generalizes an earlier version for graphs (Kleitman and Winston 1982, Sapozhenko 2001), has been used extensively in recent years in extremal combinatorics. An important component of our work is the generalization of (hyper-)graph containers to Partition Containers.


title: SPARF: Neural Radiance Fields from Sparse and Noisy Poses

abstract: Neural Radiance Field (NeRF) has recently emerged as a powerful representation to synthesize photorealistic novel views. While showing impressive performance, it relies on the availability of dense input views with highly accurate camera poses, thus limiting its application in real-world scenarios. In this work, we introduce Sparse Pose Adjusting Radiance Field (SPARF), to address the challenge of novel-view synthesis given only few wide-baseline input images (as low as 3) with noisy camera poses. Our approach exploits multi-view geometry constraints in order to jointly learn the NeRF and refine the camera poses. By relying on pixel matches extracted between the input views, our multi-view correspondence objective enforces the optimized scene and camera poses to converge to a global and geometrically accurate solution. Our depth consistency loss further encourages the reconstructed scene to be consistent from any viewpoint. Our approach sets a new state of the art in the sparse-view regime on multiple challenging datasets.


title: Excitonic instability towards a Potts-nematic quantum paramagnet

abstract: Magnetic frustration can lead to peculiar magnetic orderings that break a discrete symmetry of the lattice in addition to the fundamental magnetic symmetries (i.e., spin rotation invariance and time-reversal symmetry). In this work, we focus on frustrated quantum magnets and study the nature of the quantum phase transition between a paramagnet and a magnetically ordered state with broken threefold ($Z_3$) crystal rotation symmetry. We predict the transition to happen in two stages, giving rise to an intermediate nematic phase in which rotation symmetry is broken but the system remains magnetically disordered. The nematic transition is described by the three-state Potts model. This prediction is based on an analysis of bound states formed from two-magnon excitations in the paramagnet, which become gapless while single-magnon excitations remain gapped. By considering three different lattice models, we demonstrate a generic instability towards two-magnon bound state formation in the Potts-nematic nematic channel. We present both numerical results and a general analytical perturbative formula for the bound state binding energy similar to BCS theory. We further discuss a number of different materials that realize key features of the model considered, and thus provide promising venues for possible experimental observation.


title: SpeechNet: Weakly Supervised, End-to-End Speech Recognition at Industrial Scale

abstract: End-to-end automatic speech recognition systems represent the state of the art, but they rely on thousands of hours of manually annotated speech for training, as well as heavyweight computation for inference. Of course, this impedes commercialization since most companies lack vast human and computational resources. In this paper, we explore training and deploying an ASR system in the label-scarce, compute-limited setting. To reduce human labor, we use a third-party ASR system as a weak supervision source, supplemented with labeling functions derived from implicit user feedback. To accelerate inference, we propose to route production-time queries across a pool of CUDA graphs of varying input lengths, the distribution of which best matches the traffic's. Compared to our third-party ASR, we achieve a relative improvement in word-error rate of 8% and a speedup of 600%. Our system, called SpeechNet, currently serves 12 million queries per day on our voice-enabled smart television. To our knowledge, this is the first time a large-scale, Wav2vec-based deployment has been described in the academic literature.


title: Sensor Placement for Online Fault Diagnosis

abstract: Fault diagnosis is the problem of determining a set of faulty system components that explain discrepancies between observed and expected behavior. Due to the intrinsic relation between observations and sensors placed on a system, sensors' fault diagnosis and placement are mutually dependent. Consequently, it is imperative to solve the fault diagnosis and sensor placement problems jointly. One approach to modeling systems for fault diagnosis uses answer set programming (ASP). We present a model-based approach to sensor placement for active diagnosis using ASP, where the secondary objective is to reduce the number of sensors used. The proposed method finds locations for system sensors with around 500 components in a few minutes. To address larger systems, we propose a notion of modularity such that it is possible to treat each module as a separate system and solve the sensor placement problem for each module independently. Additionally, we provide a fixpoint algorithm for determining the modules of a system.


title: SceneComposer: Any-Level Semantic Image Synthesis

abstract: We propose a new framework for conditional image synthesis from semantic layouts of any precision levels, ranging from pure text to a 2D semantic canvas with precise shapes. More specifically, the input layout consists of one or more semantic regions with free-form text descriptions and adjustable precision levels, which can be set based on the desired controllability. The framework naturally reduces to text-to-image (T2I) at the lowest level with no shape information, and it becomes segmentation-to-image (S2I) at the highest level. By supporting the levels in-between, our framework is flexible in assisting users of different drawing expertise and at different stages of their creative workflow. We introduce several novel techniques to address the challenges coming with this new setup, including a pipeline for collecting training data; a precision-encoded mask pyramid and a text feature map representation to jointly encode precision level, semantics, and composition information; and a multi-scale guided diffusion model to synthesize images. To evaluate the proposed method, we collect a test dataset containing user-drawn layouts with diverse scenes and styles. Experimental results show that the proposed method can generate high-quality images following the layout at given precision, and compares favorably against existing methods. Project page \url{https://zengxianyu.github.io/scenec/}


title: SinFusion: Training Diffusion Models on a Single Image or Video

abstract: Diffusion models exhibited tremendous progress in image and video generation, exceeding GANs in quality and diversity. However, they are usually trained on very large datasets and are not naturally adapted to manipulate a given input image or video. In this paper we show how this can be resolved by training a diffusion model on a single input image or video. Our image/video-specific diffusion model (SinFusion) learns the appearance and dynamics of the single image or video, while utilizing the conditioning capabilities of diffusion models. It can solve a wide array of image/video-specific manipulation tasks. In particular, our model can learn from few frames the motion and dynamics of a single input video. It can then generate diverse new video samples of the same dynamic scene, extrapolate short videos into long ones (both forward and backward in time) and perform video upsampling. Most of these tasks are not realizable by current video-specific generation methods.


title: Visual Dexterity: In-Hand Reorientation of Novel and Complex Object Shapes

abstract: In-hand object reorientation is necessary for performing many dexterous manipulation tasks, such as tool use in less structured environments that remain beyond the reach of current robots. Prior works built reorientation systems assuming one or many of the following: reorienting only specific objects with simple shapes, limited range of reorientation, slow or quasistatic manipulation, simulation-only results, the need for specialized and costly sensor suites, and other constraints which make the system infeasible for real-world deployment. We present a general object reorientation controller that does not make these assumptions. It uses readings from a single commodity depth camera to dynamically reorient complex and new object shapes by any rotation in real-time, with the median reorientation time being close to seven seconds. The controller is trained using reinforcement learning in simulation and evaluated in the real world on new object shapes not used for training, including the most challenging scenario of reorienting objects held in the air by a downward-facing hand that must counteract gravity during reorientation. Our hardware platform only uses open-source components that cost less than five thousand dollars. Although we demonstrate the ability to overcome assumptions in prior work, there is ample scope for improving absolute performance. For instance, the challenging duck-shaped object not used for training was dropped in 56 percent of the trials. When it was not dropped, our controller reoriented the object within 0.4 radians (23 degrees) 75 percent of the time. Videos are available at: https://taochenshh.github.io/projects/visual-dexterity.


title: Consistent and simultaneous modelling of galaxy clustering and galaxy-galaxy lensing with Subhalo Abundance Matching

abstract: The spatial distribution of galaxies and their gravitational lensing signal offer complementary tests of galaxy formation physics and cosmology. However, their synergy can only be fully exploited if both probes are modelled accurately and consistently. In this paper, we demonstrate that this can be achieved using an extension of Subhalo Abundance Matching, dubbed SHAMe. Specifically, we use mock catalogues built from the TNG300 hydrodynamical simulation to show that SHAMe can simultaneously model the multipoles of the redshift-space galaxy correlation function and galaxy-galaxy lensing, without noticeable bias within the statistical sampling uncertainties of a SDSS volume and on scales r = [0.6-30] Mpc/h. Modelling the baryonic processes in galaxy-galaxy lensing with a baryonification scheme allows SHAMe's range of validity to be extended to r = [0.1-30] Mpc/h. Remarkably, our model achieves this level of precision with just five free parameters beyond those describing the baryonification model. At fixed cosmology, we find that galaxy-galaxy lensing provides a general consistency test but little additional information on galaxy modelling parameters beyond that encoded in the redshift-space multipoles. It does, however, improve constraints if only the projected correlation function is available, as in surveys with only photometric redshifts. We expect SHAMe to have a higher fidelity across a wider range of scales than more traditional methods such as Halo Occupation Distribution modelling. Thus it should provide a significantly more powerful and more robust tool for analysing next-generation large-scale surveys.


title: Last-Mile Embodied Visual Navigation

abstract: Realistic long-horizon tasks like image-goal navigation involve exploratory and exploitative phases. Assigned with an image of the goal, an embodied agent must explore to discover the goal, i.e., search efficiently using learned priors. Once the goal is discovered, the agent must accurately calibrate the last-mile of navigation to the goal. As with any robust system, switches between exploratory goal discovery and exploitative last-mile navigation enable better recovery from errors. Following these intuitive guide rails, we propose SLING to improve the performance of existing image-goal navigation systems. Entirely complementing prior methods, we focus on last-mile navigation and leverage the underlying geometric structure of the problem with neural descriptors. With simple but effective switches, we can easily connect SLING with heuristic, reinforcement learning, and neural modular policies. On a standardized image-goal navigation benchmark (Hahn et al. 2021), we improve performance across policies, scenes, and episode complexity, raising the state-of-the-art from 45% to 55% success rate. Beyond photorealistic simulation, we conduct real-robot experiments in three physical scenes and find these improvements to transfer well to real environments.


title: NEVIS'22: A Stream of 100 Tasks Sampled from 30 Years of Computer Vision Research

abstract: A shared goal of several machine learning communities like continual learning, meta-learning and transfer learning, is to design algorithms and models that efficiently and robustly adapt to unseen tasks. An even more ambitious goal is to build models that never stop adapting, and that become increasingly more efficient through time by suitably transferring the accrued knowledge. Beyond the study of the actual learning algorithm and model architecture, there are several hurdles towards our quest to build such models, such as the choice of learning protocol, metric of success and data needed to validate research hypotheses. In this work, we introduce the Never-Ending VIsual-classification Stream (NEVIS'22), a benchmark consisting of a stream of over 100 visual classification tasks, sorted chronologically and extracted from papers sampled uniformly from computer vision proceedings spanning the last three decades. The resulting stream reflects what the research community thought was meaningful at any point in time, and it serves as an ideal test bed to assess how well models can adapt to new tasks, and do so better and more efficiently as time goes by. Despite being limited to classification, the resulting stream has a rich diversity of tasks from OCR, to texture analysis, scene recognition, and so forth. The diversity is also reflected in the wide range of dataset sizes, spanning over four orders of magnitude. Overall, NEVIS'22 poses an unprecedented challenge for current sequential learning approaches due to the scale and diversity of tasks, yet with a low entry barrier as it is limited to a single modality and well understood supervised learning problems. Moreover, we provide a reference implementation including strong baselines and an evaluation protocol to compare methods in terms of their trade-off between accuracy and compute.


title: Universal Dynamics of Damped-Driven Systems: The Logistic Map as a Normal Form for Energy Balance

abstract: Damped-driven systems are ubiquitous in engineering and science. Despite the diversity of physical processes observed in a broad range of applications, the underlying instabilities observed in practice have a universal characterization which is determined by the overall gain and loss curves of a given system. The universal behavior of damped-driven systems can be understood from a geometrical description of the energy balance with a minimal number of assumptions. The assumptions on the energy dynamics are as follows: the energy increases monotonically as a function of increasing gain, and the losses become increasingly larger with increasing energy, i.e. there are many routes for dissipation in the system for large input energy. The intersection of the gain and loss curves define an energy balanced solution. By constructing an iterative map between the loss and gain curves, the dynamics can be shown to be homeomorphic to the logistic map, which exhibits a period doubling cascade to chaos. Indeed, the loss and gain curves allow for a geometrical description of the dynamics through a simple Verhulst diagram (cobweb plot). Thus irrespective of the physics and its complexities, this simple geometrical description dictates the universal set of logistic map instabilities that arise in complex damped-driven systems. More broadly, damped-driven systems are a class of non-equilibrium pattern forming systems which have a canonical set of instabilities that are manifest in practice.

categories: nlin.AO math.DS nlin.CD physics.data-an physics.pop-ph


title: Towards Automatic Prediction of Outcome in Treatment of Cerebral Aneurysms

abstract: Intrasaccular flow disruptors treat cerebral aneurysms by diverting the blood flow from the aneurysm sac. Residual flow into the sac after the intervention is a failure that could be due to the use of an undersized device, or to vascular anatomy and clinical condition of the patient. We report a machine learning model based on over 100 clinical and imaging features that predict the outcome of wide-neck bifurcation aneurysm treatment with an intravascular embolization device. We combine clinical features with a diverse set of common and novel imaging measurements within a random forest model. We also develop neural network segmentation algorithms in 2D and 3D to contour the sac in angiographic images and automatically calculate the imaging features. These deliver 90% overlap with manual contouring in 2D and 83% in 3D. Our predictive model classifies complete vs. partial occlusion outcomes with an accuracy of 75.31%, and weighted F1-score of 0.74.


title: Reconstructing high-order sequence features of dynamic functional connectivity networks based on diversified covert attention patterns for Alzheimer's disease classification

abstract: Recent studies have applied deep learning methods such as convolutional recurrent neural networks (CRNs) and Transformers to brain disease classification based on dynamic functional connectivity networks (dFCNs), such as Alzheimer's disease (AD), achieving better performance than traditional machine learning methods. However, in CRNs, the continuous convolution operations used to obtain high-order aggregation features may overlook the non-linear correlation between different brain regions due to the essence of convolution being the linear weighted sum of local elements. Inspired by modern neuroscience on the research of covert attention in the nervous system, we introduce the self-attention mechanism, a core module of Transformers, to model diversified covert attention patterns and apply these patterns to reconstruct high-order sequence features of dFCNs in order to learn complex dynamic changes in brain information flow. Therefore, we propose a novel CRN method based on diversified covert attention patterns, DCA-CRN, which combines the advantages of CRNs in capturing local spatio-temporal features and sequence change patterns, as well as Transformers in learning global and high-order correlation features. Experimental results on the ADNI and ADHD-200 datasets demonstrate the prediction performance and generalization ability of our proposed method.


title: Denoising Multi-Similarity Formulation: A Self-paced Curriculum-Driven Approach for Robust Metric Learning

abstract: Deep Metric Learning (DML) is a group of techniques that aim to measure the similarity between objects through the neural network. Although the number of DML methods has rapidly increased in recent years, most previous studies cannot effectively handle noisy data, which commonly exists in practical applications and often leads to serious performance deterioration. To overcome this limitation, in this paper, we build a connection between noisy samples and hard samples in the framework of self-paced learning, and propose a \underline{B}alanced \underline{S}elf-\underline{P}aced \underline{M}etric \underline{L}earning (BSPML) algorithm with a denoising multi-similarity formulation, where noisy samples are treated as extremely hard samples and adaptively excluded from the model training by sample weighting. Especially, due to the pairwise relationship and a new balance regularization term, the sub-problem \emph{w.r.t.} sample weights is a nonconvex quadratic function. To efficiently solve this nonconvex quadratic problem, we propose a doubly stochastic projection coordinate gradient algorithm. Importantly, we theoretically prove the convergence not only for the doubly stochastic projection coordinate gradient algorithm, but also for our BSPML algorithm. Experimental results on several standard data sets demonstrate that our BSPML algorithm has better generalization ability and robustness than the state-of-the-art robust DML approaches.


title: RHCO: A Relation-aware Heterogeneous Graph Neural Network with Contrastive Learning for Large-scale Graphs

abstract: Heterogeneous graph neural networks (HGNNs) have been widely applied in heterogeneous information network tasks, while most HGNNs suffer from poor scalability or weak representation when they are applied to large-scale heterogeneous graphs. To address these problems, we propose a novel Relation-aware Heterogeneous Graph Neural Network with Contrastive Learning (RHCO) for large-scale heterogeneous graph representation learning. Unlike traditional heterogeneous graph neural networks, we adopt the contrastive learning mechanism to deal with the complex heterogeneity of large-scale heterogeneous graphs. We first learn relation-aware node embeddings under the network schema view. Then we propose a novel positive sample selection strategy to choose meaningful positive samples. After learning node embeddings under the positive sample graph view, we perform a cross-view contrastive learning to obtain the final node representations. Moreover, we adopt the label smoothing technique to boost the performance of RHCO. Extensive experiments on three large-scale academic heterogeneous graph datasets show that RHCO achieves best performance over the state-of-the-art models.


title: SplitNet: Learnable Clean-Noisy Label Splitting for Learning with Noisy Labels

abstract: Annotating the dataset with high-quality labels is crucial for performance of deep network, but in real world scenarios, the labels are often contaminated by noise. To address this, some methods were proposed to automatically split clean and noisy labels, and learn a semi-supervised learner in a Learning with Noisy Labels (LNL) framework. However, they leverage a handcrafted module for clean-noisy label splitting, which induces a confirmation bias in the semi-supervised learning phase and limits the performance. In this paper, we for the first time present a learnable module for clean-noisy label splitting, dubbed SplitNet, and a novel LNL framework which complementarily trains the SplitNet and main network for the LNL task. We propose to use a dynamic threshold based on a split confidence by SplitNet to better optimize semi-supervised learner. To enhance SplitNet training, we also present a risk hedging method. Our proposed method performs at a state-of-the-art level especially in high noise ratio settings on various LNL benchmarks.


title: An Algorithm for Routing Vectors in Sequences

abstract: We propose a routing algorithm that takes a sequence of vectors and computes a new sequence with specified length and vector size. Each output vector maximizes "bang per bit," the difference between a net benefit to use and net cost to ignore data, by better predicting the input vectors. We describe output vectors as geometric objects, as latent variables that assign credit, as query states in a model of associative memory, and as agents in a model of a Society of Mind. We implement the algorithm with optimizations that reduce parameter count, computation, and memory use by orders of magnitude, enabling us to route sequences of greater length than previously possible. We evaluate our implementation on natural language and visual classification tasks, obtaining competitive or state-of-the-art accuracy and end-to-end credit assignments that are interpretable.


title: Noncommutative Yang model and its generalizations

abstract: Long time ago, C.N. Yang proposed a model of noncommutative spacetime that generalized the Snyder model to a curved background. In this paper we review his proposal and the generalizations that have been suggested during the years. In particular, we discuss the most general algebras that contain as subalgebras both de Sitter and Snyder algebras, preserving Lorentz invariance, and are generated by a two-parameter deformation of the canonical Heisenberg algebra. We also define their realizations on quantum phase space, giving explicit examples, both exact and in terms of a perturbative expansion in the deformation parameters.


title: A Search for Optical Laser Emission from Alpha Centauri AB

abstract: A search for laser light from the directions of Alpha Centauri A and B was performed by examining 15362 optical, high-resolution spectra obtained between 2004 and 2018. None of the spectra exhibit laser emission lines. The threshold was 10% of the continuum intensity of the spectra of both stars at all wavelengths between 3850 and 6900 {\AA}. This search would have revealed optical laser light from the directions of Alpha Cen B if the laser had a power at least 1.4 to 5.4 MW (depending on wavelength) and was positioned within the 1 arcsecond field of view (projecting to 1.3 AU), for a benchmark 10-meter laser launcher. For Alpha Cen A, the laser power must be 3 times greater for detection. Lasers of smaller aperture would also have been detected but would require more power. Considering all optical surveys, a growing desert is emerging in the search for extraterrestrial technology.


title: Directional dark-field retrieval with single-grid x-ray imaging

abstract: Directional dark-field imaging is an emerging x-ray modality that is sensitive to unresolved anisotropic scattering from sub-pixel sample microstructures. A single-grid imaging set-up can be used to capture dark-field images by looking at changes in a grid pattern projected upon the sample. By creating analytical models for the experiment, we have developed a single-grid directional dark field retrieval algorithm that can extract dark-field parameters such as the dominant scattering direction, and the semi-major and -minor scattering angles. We show that this method is effective even in the presence of high image noise, allowing for low dose and time sequence imaging.


title: A Graph Regularized Point Process Model For Event Propagation Sequence

abstract: Point process is the dominant paradigm for modeling event sequences occurring at irregular intervals. In this paper we aim at modeling latent dynamics of event propagation in graph, where the event sequence propagates in a directed weighted graph whose nodes represent event marks (e.g., event types). Most existing works have only considered encoding sequential event history into event representation and ignored the information from the latent graph structure. Besides they also suffer from poor model explainability, i.e., failing to uncover causal influence across a wide variety of nodes. To address these problems, we propose a Graph Regularized Point Process (GRPP) that can be decomposed into: 1) a graph propagation model that characterizes the event interactions across nodes with neighbors and inductively learns node representations; 2) a temporal attentive intensity model, whose excitation and time decay factors of past events on the current event are constructed via the contextualization of the node embedding. Moreover, by applying a graph regularization method, GRPP provides model interpretability by uncovering influence strengths between nodes. Numerical experiments on various datasets show that GRPP outperforms existing models on both the propagation time and node prediction by notable margins.


title: Learning Cooperative Oversubscription for Cloud by Chance-Constrained Multi-Agent Reinforcement Learning

abstract: Oversubscription is a common practice for improving cloud resource utilization. It allows the cloud service provider to sell more resources than the physical limit, assuming not all users would fully utilize the resources simultaneously. However, how to design an oversubscription policy that improves utilization while satisfying the some safety constraints remains an open problem. Existing methods and industrial practices are over-conservative, ignoring the coordination of diverse resource usage patterns and probabilistic constraints. To address these two limitations, this paper formulates the oversubscription for cloud as a chance-constrained optimization problem and propose an effective Chance Constrained Multi-Agent Reinforcement Learning (C2MARL) method to solve this problem. Specifically, C2MARL reduces the number of constraints by considering their upper bounds and leverages a multi-agent reinforcement learning paradigm to learn a safe and optimal coordination policy. We evaluate our C2MARL on an internal cloud platform and public cloud datasets. Experiments show that our C2MARL outperforms existing methods in improving utilization ($20\%\sim 86\%$) under different levels of safety constraints.


title: A Low Latency Adaptive Coding Spiking Framework for Deep Reinforcement Learning

abstract: In recent years, spiking neural networks (SNNs) have been used in reinforcement learning (RL) due to their low power consumption and event-driven features. However, spiking reinforcement learning (SRL), which suffers from fixed coding methods, still faces the problems of high latency and poor versatility. In this paper, we use learnable matrix multiplication to encode and decode spikes, improving the flexibility of the coders and thus reducing latency. Meanwhile, we train the SNNs using the direct training method and use two different structures for online and offline RL algorithms, which gives our model a wider range of applications. Extensive experiments have revealed that our method achieves optimal performance with ultra-low latency (as low as 0.8% of other SRL methods) and excellent energy efficiency (up to 5X the DNNs) in different algorithms and different environments.


title: From Node Interaction to Hop Interaction: New Effective and Scalable Graph Learning Paradigm

abstract: Existing Graph Neural Networks (GNNs) follow the message-passing mechanism that conducts information interaction among nodes iteratively. While considerable progress has been made, such node interaction paradigms still have the following limitation. First, the scalability limitation precludes the broad application of GNNs in large-scale industrial settings since the node interaction among rapidly expanding neighbors incurs high computation and memory costs. Second, the over-smoothing problem restricts the discrimination ability of nodes, i.e., node representations of different classes will converge to indistinguishable after repeated node interactions. In this work, we propose a novel hop interaction paradigm to address these limitations simultaneously. The core idea is to convert the interaction target among nodes to pre-processed multi-hop features inside each node. We design a simple yet effective HopGNN framework that can easily utilize existing GNNs to achieve hop interaction. Furthermore, we propose a multi-task learning strategy with a self-supervised learning objective to enhance HopGNN. We conduct extensive experiments on 12 benchmark datasets in a wide range of domains, scales, and smoothness of graphs. Experimental results show that our methods achieve superior performance while maintaining high scalability and efficiency. The code is at https://github.com/JC-202/HopGNN.


title: Hierarchical Graph Structures for Congestion and ETA Prediction

abstract: Traffic4cast is an annual competition to predict spatio temporal traffic based on real world data. We propose an approach using Graph Neural Networks that directly works on the road graph topology which was extracted from OpenStreetMap data. Our architecture can incorporate a hierarchical graph representation to improve the information flow between key intersections of the graph and the shortest paths connecting them. Furthermore, we investigate how the road graph can be compacted to ease the flow of information and make use of a multi-task approach to predict congestion classes and ETA simultaneously. Our code and models are released here: https://github.com/floriangroetschla/NeurIPS2022-traffic4cast


title: DS-GPS : A Deep Statistical Graph Poisson Solver (for faster CFD simulations)

abstract: This paper proposes a novel Machine Learning-based approach to solve a Poisson problem with mixed boundary conditions. Leveraging Graph Neural Networks, we develop a model able to process unstructured grids with the advantage of enforcing boundary conditions by design. By directly minimizing the residual of the Poisson equation, the model attempts to learn the physics of the problem without the need for exact solutions, in contrast to most previous data-driven processes where the distance with the available solutions is minimized.


title: Higher-group symmetry in finite gauge theory and stabilizer codes

abstract: A large class of gapped phases of matter can be described by topological finite group gauge theories. In this paper we show how such gauge theories possess a higher-group global symmetry, which we study in detail. We derive the $d$-group global symmetry and its 't Hooft anomaly for topological finite group gauge theories in $(d+1)$ space-time dimensions, including non-Abelian gauge groups and Dijkgraaf-Witten twists. We focus on the 1-form symmetry generated by invertible (Abelian) magnetic defects and the higher-form symmetries generated by invertible topological defects decorated with lower dimensional gauged symmetry-protected topological (SPT) phases. We show that due to a generalization of the Witten effect and charge-flux attachment, the 1-form symmetry generated by the magnetic defects mixes with other symmetries into a higher group. We describe such higher-group symmetry in various lattice model examples. We discuss several applications, including the classification of fermionic SPT phases in (3+1)D for general fermionic symmetry groups, where we also derive a simpler formula for the $[O_5] \in H^5(BG, U(1))$ obstruction that has appeared in prior work. We also show how the $d$-group symmetry is related to fault-tolerant non-Pauli logical gates and a refined Clifford hierarchy in stabilizer codes. We discover new logical gates in stabilizer codes using the $d$-group symmetry, such as a Controlled-Z gate in (3+1)D $\mathbb{Z}_2$ toric code.


title: GalaxyFlow: Upsampling Hydrodynamical Simulations for Realistic Gaia Mock Catalogs

abstract: Cosmological N-body simulations of galaxies operate at the level of "star particles" with a mass resolution on the scale of thousands of solar masses. Turning these simulations into stellar mock catalogs requires "upsampling" the star particles into individual stars following the same phase-space density. In this paper, we demonstrate that normalizing flows provide a viable upsampling method that greatly improves on conventionally-used kernel smoothing algorithms such as EnBiD. We demonstrate our flow-based upsampling technique, dubbed GalaxyFlow, on a neighborhood of the Solar location in two simulated galaxies: Auriga 6 and h277. By eye, GalaxyFlow produces stellar distributions that are smoother than EnBiD-based methods and more closely match the Gaia DR3 catalog. For a quantitative comparison of generative model performance, we introduce a novel multi-model classifier test. Using this classifier test, we show that GalaxyFlow more accurately estimates the density of the underlying star particles than previous methods.


title: The Rumble in the Meson: a leptoquark versus a $Z^\prime$ to fit $b \rightarrow s \mu^+ \mu^-$ anomalies including 2022 LHCb $R_{K^{(\ast)}}$ measurements

abstract: We juxtapose global fits of two bottom-up models (an $S_3$ scalar leptoquark model and a ${B_3-L_2}$ $Z^\prime$ model) of \bsll\ anomalies to flavour data in order to quantify statistical preference or lack thereof. The leptoquark model couples directly to left-handed di-muon pairs, whereas the $Z^\prime$ model couples to di-muon pairs with a vector-like coupling. $B_s-\overline{B_s}$ mixing is a focus because it is typically expected to disfavour $Z^\prime$ explanations. In two-parameter fits to 247 flavour observables, including $B_{s/d} \to \mu^+ \mu^-$ branching ratios for which we provide an updated combination and LHCb $R_{K^{(\ast)}}$ measurements from December 2022, we show that each model provides a similar improvement in quality-of-fit of $\sqrt{\Delta \chi^2}=3.6$ with respect to the Standard Model. The main effect of the $B_s-\overline{B_s}$ mixing constraint in the $Z^\prime$ model is to disfavour values of the $s_L-b_L$ mixing angle greater than about $5|V_{cb}|$. This limit is rather loose, meaning that a good fit to data does not require `alignment' in either quark Yukawa matrix. No curtailment of the $s_L-b_L$ mixing angle is evident in the $S_3$ model.


title: The high-albedo, low polarization disk around HD 114082 harbouring a Jupiter-sized transiting planet

abstract: We present new optical and near-IR images of debris disk around the F-type star HD 114082. We obtained direct imaging observations and analysed the TESS photometric time series data of this target with a goal to search for planetary companions and to characterise the morphology of the debris disk and the scattering properties of dust particles. HD 114082 was observed with the VLT/SPHERE instrument: the IRDIS camera in the K band together with the IFS in the Y, J and H band using the ADI technique as well as IRDIS in the H band and ZIMPOL in the I_PRIME band using the PDI technique. The scattered light images were fitted with a 3D model for single scattering in an optically thin dust disk. We performed aperture photometry in order to derive the scattering and polarized phase functions, polarization fraction and spectral scattering albedo for the dust particles in the disk. This method was also used to obtain the reflectance spectrum of the disk to retrieve the disk color and study the dust reflectivity in comparison to the debris disk HD 117214. We also performed the modeling of the HD 114082 light curve measured by TESS using the models for planet transit and stellar activity to put constraints on radius of the detected planet and its orbit. The debris disk appears as an axisymmetric debris belt with a radius of ~0.37$"$ (35 au), inclination of ~83$^\circ$ and a wide inner cavity. Dust particles in HD 114082 have a maximum polarization fraction of ~17% and a high reflectivity which results in a spectral scattering albedo of 0.65. The analysis of TESS photometric data reveals a transiting planetary companion to HD 114082 with a radius of $\sim$1~$\rm R_{J}$ on an orbit with a semi-major axis of $0.7 \pm 0.4$ au. Combining different data, we reach deep sensitivity limits in terms of companion masses down to ~5$M_{\rm Jup}$ at 50 au, and ~10 $M_{\rm Jup}$ at 30 au from the central star.


title: Large U(1) charges from flux breaking in 4D F-theory models

abstract: We study the massless charged spectrum of U(1) gauge fields in F-theory that arise from flux breaking of a nonabelian group. The U(1) charges that arise in this way can be very large. In particular, using vertical flux breaking, we construct an explicit 4D F-theory model with a U(1) decoupled from other gauge sectors, in which the massless/light fields have charges as large as 657. This result greatly exceeds prior results in the literature. We argue heuristically that this result may provide an upper bound on charges for light fields under decoupled U(1) factors in the F-theory landscape. We also show that the charges can be even larger when the U(1) is coupled to other gauge groups.