title: Pseudoperiodic Words and a Question of Shevelev

abstract: We generalize the familiar notion of periodicity in sequences to a new kind of pseudoperiodicity, and we prove some basic results about it. We revisit the results of a 2012 paper of Shevelev and reprove his results in a simpler and more unified manner, and provide a complete answer to one of his previously unresolved questions. We consider finding words with specific pseudoperiod and having the smallest possible critical exponent. Finally, we consider the problem of determining whether a finite word is pseudoperiodic of a given size, and show that it is NP-complete.


title: Video Anomaly Detection by Solving Decoupled Spatio-Temporal Jigsaw Puzzles

abstract: Video Anomaly Detection (VAD) is an important topic in computer vision. Motivated by the recent advances in self-supervised learning, this paper addresses VAD by solving an intuitive yet challenging pretext task, i.e., spatio-temporal jigsaw puzzles, which is cast as a multi-label fine-grained classification problem. Our method exhibits several advantages over existing works: 1) the spatio-temporal jigsaw puzzles are decoupled in terms of spatial and temporal dimensions, responsible for capturing highly discriminative appearance and motion features, respectively; 2) full permutations are used to provide abundant jigsaw puzzles covering various difficulty levels, allowing the network to distinguish subtle spatio-temporal differences between normal and abnormal events; and 3) the pretext task is tackled in an end-to-end manner without relying on any pre-trained models. Our method outperforms state-of-the-art counterparts on three public benchmarks. Especially on ShanghaiTech Campus, the result is superior to reconstruction and prediction-based methods by a large margin.


title: Benchmark tests of atom segmentation deep learning models with a consistent dataset

abstract: The information content of atomic resolution scanning transmission electron microscopy (STEM) images can often be reduced to a handful of parameters describing each atomic column, chief amongst which is the column position. Neural networks (NNs) are a high performance, computationally efficient method to automatically locate atomic columns in images, which has led to a profusion of NN models and associated training datasets. We have developed a benchmark dataset of simulated and experimental STEM images and used it to evaluate the performance of two sets of recent NN models for atom location in STEM images. Both models exhibit high performance for images of varying quality from several different crystal lattices. However, there are important differences in performance as a function of image quality, and both models perform poorly for images outside the training data, such as interfaces with large difference in background intensity. Both the benchmark dataset and the models are available using the Foundry service for dissemination, discovery, and reuse of machine learning models.


title: Scene Recognition with Objectness, Attribute and Category Learning

abstract: Scene classification has established itself as a challenging research problem. Compared to images of individual objects, scene images could be much more semantically complex and abstract. Their difference mainly lies in the level of granularity of recognition. Yet, image recognition serves as a key pillar for the good performance of scene recognition as the knowledge attained from object images can be used for accurate recognition of scenes. The existing scene recognition methods only take the category label of the scene into consideration. However, we find that the contextual information that contains detailed local descriptions are also beneficial in allowing the scene recognition model to be more discriminative. In this paper, we aim to improve scene recognition using attribute and category label information encoded in objects. Based on the complementarity of attribute and category labels, we propose a Multi-task Attribute-Scene Recognition (MASR) network which learns a category embedding and at the same time predicts scene attributes. Attribute acquisition and object annotation are tedious and time consuming tasks. We tackle the problem by proposing a partially supervised annotation strategy in which human intervention is significantly reduced. The strategy provides a much more cost-effective solution to real world scenarios, and requires considerably less annotation efforts. Moreover, we re-weight the attribute predictions considering the level of importance indicated by the object detected scores. Using the proposed method, we efficiently annotate attribute labels for four large-scale datasets, and systematically investigate how scene and attribute recognition benefit from each other. The experimental results demonstrate that MASR learns a more discriminative representation and achieves competitive recognition performance compared to the state-of-the-art methods


title: Optimization-Based Reference Generator for Nonlinear Model Predictive Control of Legged Robots

abstract: Model Predictive Control (MPC) approaches are widely used in robotics, since they guarantee feasibility and allow the computation of updated trajectories while the robot is moving. They generally require heuristic references for the tracking terms and proper tuning of the parameters of the cost function in order to obtain good performance. For instance, when a legged robot has to react to disturbances from the environment (e.g., recover after a push) or track a specific goal with statically unstable gaits, the effectiveness of the algorithm can degrade. In this work, we propose a novel optimization-based Reference Generator which exploits a Linear Inverted Pendulum (LIP) model to compute reference trajectories for the Center of Mass while taking into account the possible under-actuation of a gait (e.g., in a trot). The obtained trajectories are used as references for the cost function of the Nonlinear MPC presented in our previous work. We also present a formulation that ensures guarantees on the response time to reach a goal without the need to tune the weights of the cost terms. In addition, footholds are corrected using the optimized reference to drive the robot towards the goal. We demonstrate the effectiveness of our approach both in simulations and experiments in different scenarios with the Aliengo robot.


title: Theoretical evaluation of solar proton-proton fusion reaction rate and its uncertainties

abstract: The weak proton-proton fusion into a deuteron ($^2$H) is the driving reaction in the energy production in the Sun, as well as similar main sequence stars. Its reaction rate in the solar interior is determined only theoretically. Here, we provide a new determination of the rate of this reaction in solar conditions $S^{11}(0)$, and analyze theoretical and experimental sources for uncertainties, using effective field theory of quantum chromo-dynamics without explicit pions at next-to-leading order. We find an enhancement of $S^{11}$ by $1-4\%$ over the previously recommended value. This change reduces the calculated fluxes of neutrinos originating in $^8$B and $^7$Be nuclear reactions in the Sun, thus favoring higher abundances for metallic photospheric elements, in the tension between different composition determination, known as the ``Solar Composition Problem''.


title: Stability Window of Trapless Polariton Bose-Einstein condensates

abstract: We theoretically explore the possibility of stabilizing the trapless polariton Bose-Einstein condensates (pBECs). Exploiting the variational method, we solve the associated nonlinear, complex Gross-Pitaevskii (cGP) equation and derive the equation of motion for the amplitude and width of the condensate. These variational results described by ordinary differential equations are rewritten to perform a linear stability analysis to generate a stability window in the repulsive domain. A set of coupled nonlinear ordinary differential equations obtained through variational approach are then solved by numerical simulations through the fourth order Runge-Kutta method, which are further supported by split-step Crank-Nicholson method, thereby setting the platform for stable pBECs. In particular, we generate a window containing system parameters in the $g_1-\gamma_{eff}$ space within which the system can admit stable condensates. The highlight of the results is that one observes beating effects in the real time evolution of the condensates with attractive interactions much similar to multicomponent BECs, and their periodicity can be varied by manipulating linear and nonlinear loss/gain terms. For repulsive condensates, one notices the stretching of the density.


title: The GRANDMA network in preparation for the fourth gravitational-wave observing run

abstract: GRANDMA is a world-wide collaboration with the primary scientific goal of studying gravitational-wave sources, discovering their electromagnetic counterparts and characterizing their emission. GRANDMA involves astronomers, astrophysicists, gravitational-wave physicists, and theorists. GRANDMA is now a truly global network of telescopes, with (so far) 30 telescopes in both hemispheres. It incorporates a citizen science programme (Kilonova-Catcher) which constitutes an opportunity to spread the interest in time-domain astronomy. The telescope network is an heterogeneous set of already-existing observing facilities that operate coordinated as a single observatory. Within the network there are wide-field imagers that can observe large areas of the sky to search for optical counterparts, narrow-field instruments that do targeted searches within a predefined list of host-galaxy candidates, and larger telescopes that are devoted to characterization and follow-up of the identified counterparts. Here we present an overview of GRANDMA after the third observing run of the LIGO/VIRGO gravitational-wave observatories in $2019-2020$ and its ongoing preparation for the forthcoming fourth observational campaign (O4). Additionally, we review the potential of GRANDMA for the discovery and follow-up of other types of astronomical transients.


title: Relativistic Calculation of Energies, Transition Parameters Hyperfine Structure, Land\'e g$_J$ and Isotope shifts factors for Ar$^{7+}$, Kr$^{25+}$ and Xe$^{43+}$ ions

abstract: In this study a comprehensive calculations of energies, hyperfine structure constants, Land\'e g$_J$ factors and isotope shifts have been performed for the lowest 71 states of Na-like Ar$^{7+}$, Kr$^{25+}$ and Xe$^{43+}$ ions. Radiative parameters viz., transition rates, wavelengths, oscillator strengths and lifetimes are also estimated for the electric and magnetic dipole and quadrupole transitions among these levels. The states under consideration includes $1s^2s^22p^6nl$ where n = 3 to 9 and l = s to i and fully relativistic multiconfiguration Dirac Fock method integrated in the latest version of general purpose relativistic atomic structure package is used. The relativistic calculation viz., Briet interactions and quantum electrodynamics effects are also included and their effects on energies are analysed. To inspect the reliability of MCDF results, we carried out another calculations using many body perturbation theory method integrated in Flexi Atomic code. A thorough comparison between the two obtained calculations and with the previous theoretical and experimental results, wherever available, is carried out and a good agreement is observed. The present calculations will considerably extend the already existing results for these Na-like ions as most of the results are reported for the first time Further, we believe that our results are of high accuracy and will be beneficial for spectral analysis and diagnosis in plasma and astrophysics.


title: Controllable and Guided Face Synthesis for Unconstrained Face Recognition

abstract: Although significant advances have been made in face recognition (FR), FR in unconstrained environments remains challenging due to the domain gap between the semi-constrained training datasets and unconstrained testing scenarios. To address this problem, we propose a controllable face synthesis model (CFSM) that can mimic the distribution of target datasets in a style latent space. CFSM learns a linear subspace with orthogonal bases in the style latent space with precise control over the diversity and degree of synthesis. Furthermore, the pre-trained synthesis model can be guided by the FR model, making the resulting images more beneficial for FR model training. Besides, target dataset distributions are characterized by the learned orthogonal bases, which can be utilized to measure the distributional similarity among face datasets. Our approach yields significant performance gains on unconstrained benchmarks, such as IJB-B, IJB-C, TinyFace and IJB-S (+5.76% Rank1).


title: Flow-based Visual Quality Enhancer for Super-resolution Magnetic Resonance Spectroscopic Imaging

abstract: Magnetic Resonance Spectroscopic Imaging (MRSI) is an essential tool for quantifying metabolites in the body, but the low spatial resolution limits its clinical applications. Deep learning-based super-resolution methods provided promising results for improving the spatial resolution of MRSI, but the super-resolved images are often blurry compared to the experimentally-acquired high-resolution images. Attempts have been made with the generative adversarial networks to improve the image visual quality. In this work, we consider another type of generative model, the flow-based model, of which the training is more stable and interpretable compared to the adversarial networks. Specifically, we propose a flow-based enhancer network to improve the visual quality of super-resolution MRSI. Different from previous flow-based models, our enhancer network incorporates anatomical information from additional image modalities (MRI) and uses a learnable base distribution. In addition, we impose a guide loss and a data-consistency loss to encourage the network to generate images with high visual quality while maintaining high fidelity. Experiments on a 1H-MRSI dataset acquired from 25 high-grade glioma patients indicate that our enhancer network outperforms the adversarial networks and the baseline flow-based methods. Our method also allows visual quality adjustment and uncertainty estimation.


title: on a second critical value for the local existence of solutions in lebesgue spaces

abstract: We provide new conditions for the local existence of solutions to the time-weighted parabolic equation $ u_t - \Delta u = h(t)f(u) \mbox{ in } \Omega \times (0,T),$ where $ \Omega $ is a arbitrary smooth domain, $f\in C(\mathbb{R})$, $h\in C([0,\infty))$ and $u(0)\in L^r(\Omega)$. As consequence of our results, considering a suitable behavior of the non-negative initial data, we obtain a second critical value $\rho^\star = 2r/(p-1),$ when $f(u)=u^p$ and $p> 1 + 2r/N$, which determines the existence (or not) of a local solution $u \in L^\infty((0,T), L^r(\Omega)).$


title: 2D GANs Meet Unsupervised Single-view 3D Reconstruction

abstract: Recent research has shown that controllable image generation based on pre-trained GANs can benefit a wide range of computer vision tasks. However, less attention has been devoted to 3D vision tasks. In light of this, we propose a novel image-conditioned neural implicit field, which can leverage 2D supervisions from GAN-generated multi-view images and perform the single-view reconstruction of generic objects. Firstly, a novel offline StyleGAN-based generator is presented to generate plausible pseudo images with full control over the viewpoint. Then, we propose to utilize a neural implicit function, along with a differentiable renderer to learn 3D geometry from pseudo images with object masks and rough pose initializations. To further detect the unreliable supervisions, we introduce a novel uncertainty module to predict uncertainty maps, which remedy the negative effect of uncertain regions in pseudo images, leading to a better reconstruction performance. The effectiveness of our approach is demonstrated through superior single-view 3D reconstruction results of generic objects.


title: On Leclerc's conjectural cluster structures for open Richardson varieties

abstract: In 2016, Leclerc constructed conjectural cluster structures on open Richardson varieties using representations of preprojective algebras. A variant with more explicit seeds was obtained by M\'enard in his thesis. We show that M\'enard's seeds do yield *upper* cluster algebra structures on open Richardson varieties and discuss the problems that remain in order to prove that they are cluster algebra structures.


title: An Introduction to Modern Statistical Learning

abstract: This work in progress aims to provide a unified introduction to statistical learning, building up slowly from classical models like the GMM and HMM to modern neural networks like the VAE and diffusion models. There are today many internet resources that explain this or that new machine-learning algorithm in isolation, but they do not (and cannot, in so brief a space) connect these algorithms with each other or with the classical literature on statistical models, out of which the modern algorithms emerged. Also conspicuously lacking is a single notational system which, although unfazing to those already familiar with the material (like the authors of these posts), raises a significant barrier to the novice's entry. Likewise, I have aimed to assimilate the various models, wherever possible, to a single framework for inference and learning, showing how (and why) to change one model into another with minimal alteration (some of them novel, others from the literature). Some background is of course necessary. I have assumed the reader is familiar with basic multivariable calculus, probability and statistics, and linear algebra. The goal of this book is certainly not completeness, but rather to draw a more or less straight-line path from the basics to the extremely powerful new models of the last decade. The goal then is to complement, not replace, such comprehensive texts as Bishop's \emph{Pattern Recognition and Machine Learning}, which is now 15 years old.


title: Axonemal regulation by curvature explains sperm flagellar waveform modulation

abstract: Flagellar motility is critical to natural and many forms of assisted reproduction. Rhythmic beating and wave propagation by the flagellum propels sperm through fluid and enables modulation between penetrative progressive motion, activated side-to-side yaw and hyperactivated motility associated with detachment from epithelial binding. These motility changes occur in response to the properties of the surrounding fluid environment, biochemical activation state, and physiological ligands, however a parsimonious mechanistic explanation of flagellar beat generation that can explain motility modulation is lacking. In this paper we present the Axonemal Regulation of Curvature, Hysteretic model (ARCH), a curvature control-type theory based on switching of active moment by local curvature, embedded within a geometrically nonlinear elastic model of the flagellum exhibiting planar flagellar beats, together with nonlocal viscous fluid dynamics. The biophysical system is parameterised completely by four dimensionless parameter groupings. The effect of parameter variation is explored through computational simulation, revealing beat patterns that are qualitatively representative of penetrative (straight progressive), activated (highly yawing) and hyperactivated (non-progressive) modes. Anaylsis of the flagellar limit cycles and associated swimming velocity reveals a cusp catastrophe between progressive and non-progressive modes, and hysteresis in the response to changes in critical curvature parameter. Quantitative comparison to experimental data on human sperm exhibiting typical penetrative, activated and hyperactivated beats shows a good fit to the time-average absolute curvature profile along the flagellum, providing evidence that the model is capable of providing a framework for quantitative interpretation of imaging data.


title: Accurate prediction of Hall mobilities in two-dimensional materials through gauge-covariant quadrupolar contributions

abstract: Despite considerable efforts, accurate computations of electron-phonon and carrier transport properties of low-dimensional materials from first principles have remained elusive. By building on recent advances in the description of long-range electrostatics, we develop a general approach to the calculation of electron-phonon couplings in two-dimensional materials. We show that the nonanalytic behavior of the electron-phonon matrix elements depends on the Wannier gauge, but that a missing Berry connection restores invariance to quadrupolar order. We showcase these contributions in a MoS$_2$ monolayer, calculating intrinsic drift and Hall mobilities with precise Wannier interpolations. We also find that the contributions of dynamical quadrupoles to the scattering potential are essential, and that their neglect leads to errors of 23% and 76% in the room temperature electron and hole Hall mobilities, respectively.


title: Bitwidth-Adaptive Quantization-Aware Neural Network Training: A Meta-Learning Approach

abstract: Deep neural network quantization with adaptive bitwidths has gained increasing attention due to the ease of model deployment on various platforms with different resource budgets. In this paper, we propose a meta-learning approach to achieve this goal. Specifically, we propose MEBQAT, a simple yet effective way of bitwidth-adaptive quantization aware training (QAT) where meta-learning is effectively combined with QAT by redefining meta-learning tasks to incorporate bitwidths. After being deployed on a platform, MEBQAT allows the (meta-)trained model to be quantized to any candidate bitwidth then helps to conduct inference without much accuracy drop from quantization. Moreover, with a few-shot learning scenario, MEBQAT can also adapt a model to any bitwidth as well as any unseen target classes by adding conventional optimization or metric-based meta-learning. We design variants of MEBQAT to support both (1) a bitwidth-adaptive quantization scenario and (2) a new few-shot learning scenario where both quantization bitwidths and target classes are jointly adapted. We experimentally demonstrate their validity in multiple QAT schemes. By comparing their performance to (bitwidth-dedicated) QAT, existing bitwidth adaptive QAT and vanilla meta-learning, we find that merging bitwidths into meta-learning tasks achieves a higher level of robustness.


title: On direct and inverse Poletsky inequality with a tangential dilatation on the plane

abstract: This article is devoted to the study of mappings defined in the region on the plane. Under certain conditions, the upper estimate of the distortion of the modulus of families of paths is obtained. Similarly, the upper estimate of the modulus of the families of paths in the pre-image under the mapping is also obtained.


title: Long-range electrostatic contribution to the electron-phonon couplings and mobilities of two-dimensional and bulk materials

abstract: Charge transport plays a crucial role in manifold potential applications of two-dimensional materials, including field effect transistors, solar cells, and transparent conductors. At most operating temperatures, charge transport is hindered by scattering of carriers by lattice vibrations. Assessing the intrinsic phonon-limited carrier mobility is thus of paramount importance to identify promising candidates for next-generation devices. Here we provide a framework to efficiently compute the drift and Hall carrier mobility of two-dimensional materials through the Boltzmann transport equation by relying on a Fourier-Wannier interpolation. Building on a recent formulation of long-range contributions to dynamical matrices and phonon dispersions [Phys. Rev. X 11, 041027 (2021)], we extend the approach to electron-phonon coupling including the effect of dynamical dipoles and quadrupoles. We identify an unprecedented contribution associated with the Berry connection that is crucial to preserve the Wannier-gauge covariance of the theory. This contribution is not specific to 2D crystals, but also concerns the 3D case, as we demonstrate via an application to bulk SrO. We showcase our method on a wide selection of relevant monolayers ranging from SnS2 to MoS2, graphene, BN, InSe, and phosphorene. We also discover a non-trivial temperature evolution of the Hall hole mobility in InSe whereby the mobility increases with temperature above 150 K due to the mexican-hat electronic structure of the InSe valence bands. Overall, we find that dynamical quadrupoles are essential and can impact the carrier mobility in excess of 75%.


title: Limiting distributions of the likelihood ratio test statistics for independence of normal random vectors

abstract: Consider the likelihood ratio test (LRT) statistics for the independence of sub-vectors from a $p$-variate normal random vector. We are devoted to deriving the limiting distributions of the LRT statistics based on a random sample of size $n$. It is well known that the limit is chi-square distribution when the dimension of the data or the number of the parameters are fixed. In a recent work by Qi, Wang and Zhang (Ann Inst Stat Math (2019) 71: 911--946), it was shown that the LRT statistics are asymptotically normal under condition that the lengths of the normal random sub-vectors are relatively balanced if the dimension $p$ goes to infinity with the sample size $n$. In this paper, we investigate the limiting distributions of the LRT statistic under general conditions. We find out all types of limiting distributions and obtain the necessary and sufficient conditions for the LRT statistic to converge to a normal distribution when $p$ goes to infinity. We also investigate the limiting distribution of the adjusted LRT test statistic proposed in Qi, Wang and Zhang (2019). Moreover, we present simulation results to compare the performance of classical chi-square approximation, normal and non-normal approximation to the LRT statistics, chi-square approximation to the adjusted test statistic, and some other test statistics.


title: Building Human Values into Recommender Systems: An Interdisciplinary Synthesis

abstract: Recommender systems are the algorithms which select, filter, and personalize content across many of the worlds largest platforms and apps. As such, their positive and negative effects on individuals and on societies have been extensively theorized and studied. Our overarching question is how to ensure that recommender systems enact the values of the individuals and societies that they serve. Addressing this question in a principled fashion requires technical knowledge of recommender design and operation, and also critically depends on insights from diverse fields including social science, ethics, economics, psychology, policy and law. This paper is a multidisciplinary effort to synthesize theory and practice from different perspectives, with the goal of providing a shared language, articulating current design approaches, and identifying open problems. It is not a comprehensive survey of this large space, but a set of highlights identified by our diverse author cohort. We collect a set of values that seem most relevant to recommender systems operating across different domains, then examine them from the perspectives of current industry practice, measurement, product design, and policy approaches. Important open problems include multi-stakeholder processes for defining values and resolving trade-offs, better values-driven measurements, recommender controls that people use, non-behavioral algorithmic feedback, optimization for long-term outcomes, causal inference of recommender effects, academic-industry research collaborations, and interdisciplinary policy-making.


title: The Forecast Trap

abstract: Encouraged by decision makers' appetite for future information on topics ranging from elections to pandemics, and enabled by the explosion of data and computational methods, model based forecasts have garnered increasing influence on a breadth of decisions in modern society. Using several classic examples from fisheries management, I demonstrate that selecting the model or models that produce the most accurate and precise forecast (measured by statistical scores) can sometimes lead to worse outcomes (measured by real-world objectives). This can create a forecast trap, in which the outcomes such as fish biomass or economic yield decline while the manager becomes increasingly convinced that these actions are consistent with the best models and data available. The forecast trap is not unique to this example, but a fundamental consequence of non-uniqueness of models. Existing practices promoting a broader set of models are the best way to avoid the trap.


title: Recovery of coefficients in semilinear transport equations

abstract: We consider the inverse problem for time-dependent semilinear transport equations. We show that time-independent coefficients of both the linear (absorption or scattering coefficients) and nonlinear terms can be uniquely determined, in a stable way, from the boundary measurements by applying a linearization scheme and Carleman estimates for the linear transport equations. We establish results in both Euclidean and general geometry settings.


title: Anomalies in fluid dynamics: flows in a chiral background via variational principle

abstract: We study flows of barotropic perfect fluid under the simultaneous action of the electromagnetic field and the axial-vector potential, the external field conjugate to the fluid helicity. We obtain the deformation of the Euler equation by the axial-vector potential and the deformations of various currents by two external fields. We show that the divergence of the vector and axial currents are controlled by the chiral anomaly known in quantum field theories with Dirac fermions. We obtain these results by extending the variational principle for barotropic flows of a perfect fluid by coupling with the external axial-vector potential.


title: Structural correlations and phase separation in binary mixtures of charged and uncharged colloids

abstract: Structural correlations between colloids in a binary mixture of charged and uncharged spheres are calculated using computer simulations of the primitive model with explicit microions. For aqueous suspensions in a solvent of large dielectric constant, the traditional Derjaguin-Landau-Vervey-Overbeek (DLVO) theory of linear screening, supplemented with hard core interactions, reproduces the structural correlations obtained in the full primitive model quantitatively. However for lower dielectric contrast, the increasing Coulomb coupling between the micro- and macroions results in strong deviations. We find a fluid-fluid phase separation into two regions either rich in charged or rich in uncharged particles which is not reproduced by DLVO theory. Our results are verifiable in scattering or real-space experiments on charged-uncharged mixtures of colloids or nanoparticles.


title: Haptic Sensation-Based Scanning Probe Microscopy: Exploring Perceived Forces for Optimal Intuition-Driven Control

abstract: We demonstrate a cryogenic scanned probe microscope (SPM) that has been modified to be controlled with a haptic device, such that the operator can `feel' the surface of a sample under investigation. This system allows for direct tactile sensation of the atoms in and on top of a crystal, and we simulate, by using different SPM modalities, a sensation that is representative of the relevant atomic forces controlling the SPM. In particular, we operate the microscope in modes of (1) conventional STM feedback, (2) energy-dependent electron density imaging, (3) q-plus AFM frequency and amplitude based force sensing, and (4) atomic manipulation/sliding. We also use software to modify the haptic feedback sensation to mimic different interatomic forces, including covalent bonding, Coulomb repulsion, Van der Waals repulsion and a full Leonard-Jones potential. This manner of SPM control creates new opportunities for human-based intuition scanning, and it also acts as a novel educational tool to aid in understanding materials at an atomic level.


title: Clarification of exceptional point contribution for photonic sensing

abstract: Exceptional points, with simultaneous coalescence of eigen-values and eigen-vectors, can be realized with non-Hermitian photonic systems. With the enhanced response, exceptional points have been proposed to improve the performance of photonic sensing. Recently, there are intense debate about the actual sensing advantage of exceptional points. The major concern is that intrinsic noise is also amplified at exceptional points. Here, we aim to clarify the contribution of exceptional points for photonic sensing. This is achieved by analyzing the condition to realize divergent quantum Fisher information in linear non-Hermitian photonic systems. We show that the divergence of quantum Fisher information is the result of lasing threshold, instead of exceptional points. However, exceptional points correspond to the condition that lasing threshold is simultaneously achieved across multiple photonic modes. Therefore, exceptional points can further improve the sensitivity on top of lasing threshold. On the other hand, exceptional points alone cannot provide sensing advantage.


title: Provably tuning the ElasticNet across instances

abstract: An important unresolved challenge in the theory of regularization is to set the regularization coefficients of popular techniques like the ElasticNet with general provable guarantees. We consider the problem of tuning the regularization parameters of Ridge regression, LASSO, and the ElasticNet across multiple problem instances, a setting that encompasses both cross-validation and multi-task hyperparameter optimization. We obtain a novel structural result for the ElasticNet which characterizes the loss as a function of the tuning parameters as a piecewise-rational function with algebraic boundaries. We use this to bound the structural complexity of the regularized loss functions and show generalization guarantees for tuning the ElasticNet regression coefficients in the statistical setting. We also consider the more challenging online learning setting, where we show vanishing average expected regret relative to the optimal parameter pair. We further extend our results to tuning classification algorithms obtained by thresholding regression fits regularized by Ridge, LASSO, or ElasticNet. Our results are the first general learning-theoretic guarantees for this important class of problems that avoid strong assumptions on the data distribution. Furthermore, our guarantees hold for both validation and popular information criterion objectives.


title: Revisiting Hotels-50K and Hotel-ID

abstract: In this paper, we propose revisited versions for two recent hotel recognition datasets: Hotels50K and Hotel-ID. The revisited versions provide evaluation setups with different levels of difficulty to better align with the intended real-world application, i.e. countering human trafficking. Real-world scenarios involve hotels and locations that are not captured in the current data sets, therefore it is important to consider evaluation settings where classes are truly unseen. We test this setup using multiple state-of-the-art image retrieval models and show that as expected, the models' performances decrease as the evaluation gets closer to the real-world unseen settings. The rankings of the best performing models also change across the different evaluation settings, which further motivates using the proposed revisited datasets.


title: Hybrid CNN-Transformer Model For Facial Affect Recognition In the ABAW4 Challenge

abstract: This paper describes our submission to the fourth Affective Behavior Analysis (ABAW) competition. We proposed a hybrid CNN-Transformer model for the Multi-Task-Learning (MTL) and Learning from Synthetic Data (LSD) task. Experimental results on validation dataset shows that our method achieves better performance than baseline model, which verifies that the effectiveness of proposed network.


title: Maximum size of black holes in our accelerating Universe

abstract: In accordance with current models of the accelerating Universe as a spacetime with a positive cosmological constant, new results about a cosmological upper bound for the area of stable marginally outer trapped surfaces are found taking into account angular momentum, gravitational waves and matter. Compared to previous results which take into account only some of the aforementioned variables, the bound is found to be tighter, giving a concrete limit to the size of black holes especially relevant in the early Universe.


title: Two emitters coupled to a bath with Kerr-like non-linearity: Exponential decay, fractional populations, and Rabi oscillations

abstract: We consider two non-interacting two-level emitters that are coupled weakly to a one-dimensional non-linear wave guide. Due to the Kerr-like non-linearity, the wave guide considered supports -- in addition to the scattering continuum -- a two-body bound state. As such, the wave guide models a bath with non-trivial mode structure. Solving the time-dependent Schr\"odinger equation, the radiation dynamics of the two emitters, initially prepared in their excited states, is presented. Changing the emitter frequency such that the two-emitter energy is in resonance with one of the two-body bound states, radiation dynamics ranging from exponential decay to fractional populations to Rabi oscillations is observed. Along with the detuning, the dependence on the separation of the two emitters is investigated. Approximate reduced Hilbert space formulations, which result in effective emitter-separation and momentum dependent interactions, elucidate the underlying physical mechanisms and provide an avenue to showcase the features that would be absent if the one-dimensional wave guide did not contain a non-linearity. Our theoretical findings apply to a number of experimental platforms and the predictions can be tested with state-of-the-art technology. In addition, the weak-coupling Schr\"odinger equation based results provide critical guidance for the development of master equation approaches.


title: Watermark-Based Code Construction for Finite-State Markov Channel with Synchronisation Errors

abstract: With advancements in telecommunications, data transmission over increasingly harsher channels that produce synchronisation errors is inevitable. Coding schemes for such channels are available through techniques such as the Davey-MacKay watermark coding; however, this is limited to memoryless channel estimates. Memory must be accounted for to ensure a realistic channel approximation - similar to a Finite State Markov Chain or Fritchman Model. A novel code construction and decoder are developed to correct synchronisation errors while considering the channel's correlated memory effects by incorporating ideas from the watermark scheme and memory modelling. Simulation results show that the proposed code construction and decoder rival the first and second-order Davey-MacKay type watermark decoder and even perform slightly better when the inner-channel capacity is higher than 0.9. The proposed system and decoder may prove helpful in fields such as free-space optics and possibly molecular communication, where harsh channels are used for communication.


title: On the Robustness of 3D Object Detectors

abstract: In recent years, significant progress has been achieved for 3D object detection on point clouds thanks to the advances in 3D data collection and deep learning techniques. Nevertheless, 3D scenes exhibit a lot of variations and are prone to sensor inaccuracies as well as information loss during pre-processing. Thus, it is crucial to design techniques that are robust against these variations. This requires a detailed analysis and understanding of the effect of such variations. This work aims to analyze and benchmark popular point-based 3D object detectors against several data corruptions. To the best of our knowledge, we are the first to investigate the robustness of point-based 3D object detectors. To this end, we design and evaluate corruptions that involve data addition, reduction, and alteration. We further study the robustness of different modules against local and global variations. Our experimental results reveal several intriguing findings. For instance, we show that methods that integrate Transformers at a patch or object level lead to increased robustness, compared to using Transformers at the point level.


title: Extremal inhomogeneous Gibbs states for SOS-models and finite-spin models on trees

abstract: We consider $\mathbb Z$-valued $p$-SOS-models with nearest neighbor interactions of the form $|\omega_v-\omega_w|^p$, and finite-spin ferromagnetic models on regular trees. This includes the classical SOS-model, the discrete Gaussian model and the Potts model. We exhibit a family of extremal inhomogeneous (i.e. tree automorphism non-invariant) Gibbs measures arising as low temperature perturbations of ground states (local energy minimizers), which have a sparse enough set of broken bonds together with uniformly bounded increments along them. These low temperature states in general do not possess any symmetries of the tree. This generalises the results of Gandolfo, Ruiz and Shlosman \cite{GRS12} about the Ising model, and shows that the latter behaviour is robust. We treat three different types of extensions: non-compact state space gradient models, models without spin-symmetry, and models in small random fields. We give a detailed construction and full proofs of the extremality of the low-temperature states in the set of all Gibbs measures, analysing excess energies relative to the ground states, convergence of low-temperature expansions, and properties of cutsets.


title: Undamped Rabi oscillations due to polaron-emitter hybrid states in non-linear photonic wave guide coupled to emitters

abstract: The collective dynamics of two non-interacting two-level emitters, which are coupled to a structured wave guide that supports two-photon bound states, is investigated. Tuning the energy of the two emitters such that they are in resonance with the two-photon bound state energy band, we identify parameter regimes where the system displays fractional populations and essentially undamped Rabi oscillations. The Rabi oscillations, which have no analog in the single-emitter dynamics, are attributed to the existence of a collective polaron-like photonic state that is induced by the emitter-photon coupling. The full dynamics is reproduced by a two-state model, in which the photonic polaron interacts with the state $|e,e,\text{vac} \rangle$ (two emitters in their excited state and empty wave guide) through a Rabi coupling frequency that depends on the emitter separation. Our work demonstrates that emitter-photon coupling can lead to an all-to-all momentum space interaction between two-photon bound states and tunable non-Markovian dynamics, opening up a new direction for emitter arrays coupled to a waveguide.


title: Proof of single-replica equivalence in short-range spin glasses

abstract: We consider short-range Ising spin glasses in equilibrium at infinite system size, and prove that, for fixed bond realization and a given Gibbs state drawn from a suitable metastate, each translation- and locally-invariant function (for example, self-overlaps) of a single pure state in the decomposition of the Gibbs state takes the same value for all the pure states in that Gibbs state. We describe several significant applications to spin glasses.

categories: cond-mat.dis-nn cond-mat.stat-mech math-ph math.MP


title: Mean field games with common noise and degenerate idiosyncratic noise

abstract: We study the forward-backward system of stochastic partial differential equations describing a mean field game for a large population of small players subject to both idiosyncratic and common noise. The unique feature of the problem is that the idiosyncratic noise coefficient may be degenerate, so that the system does not admit smooth solutions in general. We develop a new notion of weak solutions for backward stochastic Hamilton-Jacobi-Bellman equations, and use this to build probabilistically weak solutions of the mean field game system.


title: Homodyne measurement with a Schr\"odinger cat state as a local oscillator

abstract: Homodyne measurements are a widely used quantum measurement. Using a coherent state of large amplitude as the local oscillator, it can be shown that the quantum homodyne measurement limits to a field quadrature measurement. In this work, we give an example of a general idea: injecting non-classical states as a local oscillator can led to non-classical measurements. Specifically we consider injecting a superposition of coherent states, a Schr\"odinger cat state, as a local oscillator. We derive the Kraus operators and the positive operator-valued measure (POVM) in this situation.


title: The differentiation operator on discrete function spaces of a tree

abstract: In this paper, we study the differentiation operator acting on discrete function spaces; that is spaces of functions defined on an infinite rooted tree. We discuss, through its connection with composition operators, the boundedness and compactness of this operator. In addition, we discuss the operator norm and spectrum, and consider when such an operator can be an isometry. We then apply these results to the operator acting on the discrete Lipschitz space and weighted Banach spaces, as well as the Hardy spaces defined on homogeneous trees.


title: Scalability Analysis of a Global Blockchain For Immunization Records

abstract: While vaccinations continue to be rolled out to curb the ongoing COVID-19 pandemic, their verification is becoming a requirement for the re-incorporation of individuals into many social activities or travel. Blockchain technology has been widely proposed to manage vaccination records and their verification in many politically-bound regions. However, the high contagiousness of COVID-19 calls for a global vaccination campaign. Therefore, a blockchain for vaccination management must scale up to support such a campaign and be adaptable to the requirements of different countries. While there have been many proposals of blockchain frameworks that balance the access and immutability of vaccination records, their scalability, a critical feature, has not yet been addressed. In this paper, we propose a scalable and cooperative Global Immunization Information Blockchain-based System (GEOS) that leverages the global interoperability of immunization information systems. We model GEOS and describe its requirements, features, and operation. We analyze the communications and the delays incurred by the national and international consensus processes and blockchain interoperability in GEOS. Such communications are pivotal in enabling global-scale interoperability and access to electronic vaccination records for verification. We show that GEOS ably keeps up with the global vaccination rates of COVID-19 as an example of its scalability.


title: Spotting Temporally Precise, Fine-Grained Events in Video

abstract: We introduce the task of spotting temporally precise, fine-grained events in video (detecting the precise moment in time events occur). Precise spotting requires models to reason globally about the full-time scale of actions and locally to identify subtle frame-to-frame appearance and motion differences that identify events during these actions. Surprisingly, we find that top performing solutions to prior video understanding tasks such as action detection and segmentation do not simultaneously meet both requirements. In response, we propose E2E-Spot, a compact, end-to-end model that performs well on the precise spotting task and can be trained quickly on a single GPU. We demonstrate that E2E-Spot significantly outperforms recent baselines adapted from the video action detection, segmentation, and spotting literature to the precise spotting task. Finally, we contribute new annotations and splits to several fine-grained sports action datasets to make these datasets suitable for future work on precise spotting.


title: The Toda flow as a porous medium equation

abstract: We describe the geometry of the incompressible porous medium (IPM) equation: we prove that it is a gradient dynamical system on the group of area-preserving diffeomorphisms and has a special double-bracket form. Furthermore, we show its similarities and differences with the dispersionless Toda system. The Toda flow describes an integrable interaction of several particles on a line with an exponential potential between neighbours, while its continuous version is an integrable PDE, whose physical meaning was obscure. Here we show that this continuous Toda flow can be naturally regarded as a special IPM equation, while the key double-bracket property of Toda is shared by all equations of the IPM type, thus manifesting their gradient and non-autonomous Hamiltonian origin. Finally, we comment on Toda and IPM modifications of the QR diagonalization algorithm, as well as describe double-bracket flows in an invariant setting of general Lie groups with arbitrary inertia operators.


title: Rotational spectroscopy of a single molecular ion at sub part-per-trillion resolution

abstract: We use quantum-logic spectroscopy (QLS) and interrogate rotational transitions of a single CaH+ ion with a highly coherent frequency comb, achieving a fractional statistical uncertainty for a transition line center of 4 x 10^-13. We also improve the resolution in measurement of the Stark effect due to the radio-frequency (rf) electric field experienced by a molecular ion in an rf Paul trap, which we characterize and model. This allows us to determine the electric dipole moment of CaH+ by systematically displacing the ion to sample different known rf electric fields and measuring the resultant shifts in transition frequency.


title: Globally stable and locally optimal model predictive control using a softened initial state constraint -- extended version

abstract: To address feasibility issues in model predictive control (MPC), most implementations relax hard state constraints using additional slack variables with a suitable penalty. We propose an alternative strategy for open-loop asymptotically/Lyapunov stable nonlinear systems by relaxing the initial state constraint with a suitable penalty. The proposed MPC framework is globally feasible, ensures (semi-)global asymptotic stability, and (approximately) recovers the closed-loop properties of the nominal MPC on the feasible set. The proposed framework can be naturally combined with a robust formulation to ensure robustness subject to bounded disturbances while retaining input-ot-state stability in case of arbitrarily large disturbances. We also show how the overall design can be simplified in case the nonlinear system is exponentially stable. In the special case of linear systems, the proposed MPC formulation reduces to a quadratic program and the offline design and online computational complexity is only marginally increased compared to anominal design. Benefits compared to classical soft contrained MPC formulations are demonstrated with numerical examples.


title: Hydra: Hybrid Server Power Model

abstract: With the growing complexity of big data workloads that require abundant data and computation, data centers consume a tremendous amount of power daily. In an effort to minimize data center power consumption, several studies developed power models that can be used for job scheduling either reducing the number of active servers or balancing workloads across servers at their peak energy efficiency points. Due to increasing software and hardware heterogeneity, we observed that there is no single power model that works the best for all server conditions. Some complicated machine learning models themselves incur performance and power overheads and hence it is not desirable to use them frequently. There are no power models that consider containerized workload execution. In this paper, we propose a hybrid server power model, Hydra, that considers both prediction accuracy and performance overhead. Hydra dynamically chooses the best power model for the given server conditions. Compared with state-of-the-art solutions, Hydra outperforms across all compute-intensity levels on heterogeneous servers.


title: The Game of Hidden Rules: A New Kind of Benchmark Challenge for Machine Learning

abstract: As machine learning (ML) is more tightly woven into society, it is imperative that we better characterize ML's strengths and limitations if we are to employ it responsibly. Existing benchmark environments for ML, such as board and video games, offer well-defined benchmarks for progress, but constituent tasks are often complex, and it is frequently unclear how task characteristics contribute to overall difficulty for the machine learner. Likewise, without a systematic assessment of how task characteristics influence difficulty, it is challenging to draw meaningful connections between performance in different benchmark environments. We introduce a novel benchmark environment that offers an enormous range of ML challenges and enables precise examination of how task elements influence practical difficulty. The tool frames learning tasks as a "board-clearing game," which we call the Game of Hidden Rules (GOHR). The environment comprises an expressive rule language and a captive server environment that can be installed locally. We propose a set of benchmark rule-learning tasks and plan to support a performance leader-board for researchers interested in attempting to learn our rules. GOHR complements existing environments by allowing fine, controlled modifications to tasks, enabling experimenters to better understand how each facet of a given learning task contributes to its practical difficulty for an arbitrary ML algorithm.


title: An IRS Backscatter Enabled Integrated Sensing, Communication and Computation System

abstract: This paper proposes to leverage intelligent reflecting surface (IRS) backscatter to realize radio-frequency-chain-free uplink-transmissions (RFCF-UT). In this communication paradigm, IRS works as an information carrier, whose elements are capable of adjusting their amplitudes and phases to collaboratively portray an electromagnetic image like a dynamic quick response (QR) code, rather than a familiar reflection device, while a full-duplex base station (BS) is used as a scanner to collect and recognize the information on IRS. To elaborate it, an integrated sensing, communication and computation system as an example is presented, in which a dual-functional radar-communication BS simultaneously detects the target and collects the data from user equipments each connected to an IRS. Based on the established model, partial and binary data offloading strategies are respectively considered. By defining a performance metric named weighted throughput capacity (WTC), two maximization problems of WTC are formulated. According to the coupling degree of optimization variables in the objective function and the constraints, each optimization problem is firstly decomposed into two subproblems. Then, the methods of linear programming, fractional programming, integer programming and alternative optimization are developed to solve the subproblems. The simulation results demonstrate the achievable WTC of the considered system, thereby validating RFCF-UT.


title: Weakly Isolated Horizons: $3+1$ decomposition and canonical formulations in self-dual variables

abstract: The notion of Isolated Horizons has played an important role in gravitational physics, being useful from the characterization of the endpoint of black hole mergers to (quantum) black hole entropy. In particular, the definition of {\it weakly} isolated horizons (WIHs) as quasilocal generalizations of event horizons is purely geometrical, and is independent of the variables used in describing the gravitational field. Here we consider a canonical decomposition of general relativity in terms of connection and vierbein variables starting from a first order action. Within this approach, the information about the existence of a (weakly) isolated horizon is obtained through a set of boundary conditions on an internal boundary of the spacetime region under consideration. We employ, for the self-dual action, a generalization of the Dirac algorithm for regions with boundary. While the formalism for treating gauge theories with boundaries is unambiguous, the choice of dynamical variables on the boundary is not. We explore this freedom and consider different canonical formulations for non-rotating black holes as defined by WIHs. We show that both the notion of horizon degrees of freedom and energy associated to the horizon is not unique, even when the descriptions might be self-consistent. This represents a generalization of previous work on isolated horizons both in the exploration of this freedom and in the type of horizons considered. We comment on previous results found in the literature.


title: Slimmable Quantum Federated Learning

abstract: Quantum federated learning (QFL) has recently received increasing attention, where quantum neural networks (QNNs) are integrated into federated learning (FL). In contrast to the existing static QFL methods, we propose slimmable QFL (SlimQFL) in this article, which is a dynamic QFL framework that can cope with time-varying communication channels and computing energy limitations. This is made viable by leveraging the unique nature of a QNN where its angle parameters and pole parameters can be separately trained and dynamically exploited. Simulation results corroborate that SlimQFL achieves higher classification accuracy than Vanilla QFL, particularly under poor channel conditions on average.


title: Direct Localization in Underwater Acoustics via Convolutional Neural Networks: A Data-Driven Approach

abstract: Direct localization (DLOC) methods, which use the observed data to localize a source at an unknown position in a one-step procedure, generally outperform their indirect two-step counterparts (e.g., using time-difference of arrivals). However, underwater acoustic DLOC methods require prior knowledge of the environment, and are computationally costly, hence slow. We propose, what is to the best of our knowledge, the first data-driven DLOC method. Inspired by classical and contemporary optimal model-based DLOC solutions, and leveraging the capabilities of convolutional neural networks (CNNs), we devise a holistic CNN-based solution. Our method includes a specifically-tailored input structure, architecture, loss function, and a progressive training procedure, which are of independent interest in the broader context of machine learning. We demonstrate that our method outperforms attractive alternatives, and asymptotically matches the performance of an oracle optimal model-based solution.


title: Fairness Testing: A Comprehensive Survey and Analysis of Trends

abstract: Unfair behaviors of Machine Learning (ML) software have garnered increasing attention and concern among software engineers. To tackle this issue, extensive research has been dedicated to conducting fairness testing of ML software, and this paper offers a comprehensive survey of existing studies in this field. We collect 100 papers and organize them based on the testing workflow (i.e., how to test) and testing components (i.e., what to test). Furthermore, we analyze the research focus, trends, and promising directions in the realm of fairness testing. We also identify widely-adopted datasets and open-source tools for fairness testing.


title: Triangular Recurrences, Generalized Eulerian Numbers, and Related Number Triangles

abstract: Many combinatorial and other number triangles are solutions of recurrences of the Graham-Knuth-Patashnik (GKP) type. Such triangles and their defining recurrences are investigated analytically. They are acted on by a transformation group generated by two involutions: a left-right reflection and an upper binomial transformation, acting row-wise. The group also acts on the bivariate exponential generating function (EGF) of the triangle. By the method of characteristics, the EGF of any GKP triangle has an implicit representation in terms of the Gauss hypergeometric function. There are several parametric cases when this EGF can be obtained in closed form. One is when the triangle elements are the generalized Stirling numbers of Hsu and Shiue. Another is when they are generalized Eulerian numbers of a newly defined kind. These numbers are related to the Hsu-Shiue ones by an upper binomial transformation, and can be viewed as coefficients of connection between polynomial bases, in a manner that generalizes the classical Worpitzky identity. Many identities involving these generalized Eulerian numbers and related generalized Narayana numbers are derived, including closed-form evaluations in combinatorially significant cases.


title: On Label Granularity and Object Localization

abstract: Weakly supervised object localization (WSOL) aims to learn representations that encode object location using only image-level category labels. However, many objects can be labeled at different levels of granularity. Is it an animal, a bird, or a great horned owl? Which image-level labels should we use? In this paper we study the role of label granularity in WSOL. To facilitate this investigation we introduce iNatLoc500, a new large-scale fine-grained benchmark dataset for WSOL. Surprisingly, we find that choosing the right training label granularity provides a much larger performance boost than choosing the best WSOL algorithm. We also show that changing the label granularity can significantly improve data efficiency.


title: Improving Privacy-Preserving Vertical Federated Learning by Efficient Communication with ADMM

abstract: Federated learning (FL) enables distributed resource-constrained devices to jointly train shared models while keeping the training data local for privacy purposes. Vertical FL (VFL), which allows each client to collect partial features, has attracted intensive research efforts recently. We identified the main challenges that existing VFL frameworks are facing: the server needs to communicate gradients with the clients for each training step, incurring high communication cost that leads to rapid consumption of privacy budgets. To address these challenges, in this paper, we introduce a VFL framework with multiple heads (VIM), which takes the separate contribution of each client into account, and enables an efficient decomposition of the VFL optimization objective to sub-objectives that can be iteratively tackled by the server and the clients on their own. In particular, we propose an Alternating Direction Method of Multipliers (ADMM)-based method to solve our optimization problem, which allows clients to conduct multiple local updates before communication, and thus reduces the communication cost and leads to better performance under differential privacy (DP). We provide the user-level DP mechanism for our framework to protect user privacy. Moreover, we show that a byproduct of VIM is that the weights of learned heads reflect the importance of local clients. We conduct extensive evaluations and show that on four vertical FL datasets, VIM achieves significantly higher performance and faster convergence compared with the state-of-the-art. We also explicitly evaluate the importance of local clients and show that VIM enables functionalities such as client-level explanation and client denoising. We hope this work will shed light on a new way of effective VFL training and understanding.


title: The tropical geometry of causal inference for extremes

abstract: Extreme value statistics is the max analogue of classical statistics, while tropical geometry is the max analogue of classical geometry. In this paper, we review recent work where insights from tropical geometry were used to develop new, efficient learning algorithms with leading performance on benchmark datasets in extreme value statistics. We give intuition, backed by performances on benchmark datasets, for why and when causal inference for extremes should be employed over classical methods. Finally, we list some open problems at the intersection of causal inference, tropical geometry and deep learning.


title: MeshMAE: Masked Autoencoders for 3D Mesh Data Analysis

abstract: Recently, self-supervised pre-training has advanced Vision Transformers on various tasks w.r.t. different data modalities, e.g., image and 3D point cloud data. In this paper, we explore this learning paradigm for 3D mesh data analysis based on Transformers. Since applying Transformer architectures to new modalities is usually non-trivial, we first adapt Vision Transformer to 3D mesh data processing, i.e., Mesh Transformer. In specific, we divide a mesh into several non-overlapping local patches with each containing the same number of faces and use the 3D position of each patch's center point to form positional embeddings. Inspired by MAE, we explore how pre-training on 3D mesh data with the Transformer-based structure benefits downstream 3D mesh analysis tasks. We first randomly mask some patches of the mesh and feed the corrupted mesh into Mesh Transformers. Then, through reconstructing the information of masked patches, the network is capable of learning discriminative representations for mesh data. Therefore, we name our method MeshMAE, which can yield state-of-the-art or comparable performance on mesh analysis tasks, i.e., classification and segmentation. In addition, we also conduct comprehensive ablation studies to show the effectiveness of key designs in our method.


title: Spatial Aware Multi-Task Learning Based Speech Separation

abstract: During the Covid, online meetings have become an indispensable part of our lives. This trend is likely to continue due to their convenience and broad reach. However, background noise from other family members, roommates, office-mates not only degrades the voice quality but also raises serious privacy issues. In this paper, we develop a novel system, called Spatial Aware Multi-task learning-based Separation (SAMS), to extract audio signals from the target user during teleconferencing. Our solution consists of three novel components: (i) generating fine-grained location embeddings from the user's voice and inaudible tracking sound, which contains the user's position and rich multipath information, (ii) developing a source separation neural network using multi-task learning to jointly optimize source separation and location, and (iii) significantly speeding up inference to provide a real-time guarantee. Our testbed experiments demonstrate the effectiveness of our approach


title: On Linear Power Control Policies for Energy Harvesting Communications

abstract: A comprehensive analysis of linear power control polices, which include the well-known greedy policy and fixed fraction policy as special cases, is provided. The notions of maximin optimal linear policy for given battery capacity $c$ and mean-to-capacity ratio $p$ as well as its $c$-universal versions are introduced. It is shown, among others, that the fixed fraction policy is $c$-universal additive-gap optimal but not $c$-universal multiplicative-factor optimal. Tight semi-universal bounds on the battery-capacity-threshold for the optimality of the greedy policy are established for certain families of energy arrival distributions.


title: On minimax density estimation via measure transport

abstract: We study the convergence properties, in Hellinger and related distances, of nonparametric density estimators based on measure transport. These estimators represent the measure of interest as the pushforward of a chosen reference distribution under a transport map, where the map is chosen via a maximum likelihood objective (equivalently, minimizing an empirical Kullback-Leibler loss) or a penalized version thereof. We establish concentration inequalities for a general class of penalized measure transport estimators, by combining techniques from M-estimation with analytical properties of the transport-based density representation. We then demonstrate the implications of our theory for the case of triangular Knothe-Rosenblatt (KR) transports on the $d$-dimensional unit cube, and show that both penalized and unpenalized versions of such estimators achieve minimax optimal convergence rates over H\"older classes of densities. Specifically, we establish optimal rates for unpenalized nonparametric maximum likelihood estimation over bounded H\"older-type balls, and then for certain Sobolev-penalized estimators and sieved wavelet estimators.


title: Optimal, centralized dynamic curbside parking space zoning

abstract: In this paper we formulate a dynamic mixed integer program for optimally zoning curbside parking spaces subject to transportation policy-inspired constraints and regularization terms. First, we illustrate how given some objective of curb zoning valuation as a function of zone type (e.g., paid parking or bus stop), dynamically rezoning involves unrolling this optimization program over a fixed time horizon. Second, we implement two different solution methods that optimize for a given curb zoning value function. In the first method, we solve long horizon dynamic zoning problems via approximate dynamic programming. In the second method, we employ Dantzig-Wolfe decomposition to break-up the mixed-integer program into a master problem and several sub-problems that we solve in parallel; this decomposition accelerates the MIP solver considerably. We present simulation results and comparisons of the different employed techniques on vehicle arrival-rate data obtained for a neighborhood in downtown Seattle, Washington, USA


title: Geometry and physics in the deformations of crystalline caps

abstract: Elucidating the interplay of stress and geometry is a fundamental scientific question arising in multiple fields. In this work, we investigate the geometric frustration of crystalline caps confined on the sphere in both elastic and plastic regimes. Based on the revealed quasi-conformal ordering, we discover the partial, but uniform screening of the substrate curvature by the induced curvature underlying the inhomogeneous lattice. This scenario is fundamentally different from the conventional screening mechanism based on topological defects. In the plastic regime, the yield of highly stressed caps leads to fractures with featured morphologies not found in planar systems. We also demonstrate the strategy of engineering stress and fractures by vacancies. These results advance our general understanding on the organization and adaptivity of geometrically-frustrated crystalline order.


title: Chance constrained day-ahead robust flexibility needs assessment for low voltage distribution network

abstract: For market-based procurement of low voltage (LV) flexibility, DSOs identify the amount of flexibility needed for resolving probable distribution network (DN) voltage and thermal congestion. A framework is required to avoid over or under procurement of flexibility in the presence of uncertainty. To this end, we propose a scenario-based robust chance-constrained (CC) day-ahead flexibility needs assessment (FNA) framework. The CC level is analogous to the risk DSO is willing to take in flexibility planning. Multi-period optimal power flow is performed to calculate the amount of flexibility needed to avoid network issues. Flexibility is defined in terms of nodal power ramp-up and ramp-down and cumulative energy needs over a full day for each node. Future uncertainties are considered as multiple scenarios generated using multivariate Gaussian distribution and Cholesky decomposition. These scenarios are utilized to solve the flexibility needs assessment optimal power flow (FNA-OPF) problem. Zonal clustering of an LV feeder is performed using electrical distance as a measure and spatial partitioning. The FNA tool calculates ramp-up and ramp-down flexibility's power and energy requirements. Energy and power needs are often valued differently in many energy markets. We identify the marginal value of flexibility associated with energy and power needs separately. From numerical results for an LV feeder, it is observed that zonal flexibility needs assessment is more immune to uncertainty than nodal flexibility needs, making it more useful for DSOs to evaluate day-ahead flexibility procurement. We also propose a Pareto optimal mechanism for selecting CC level to reduce flexibility needs while reducing DN congestion.


title: Quintessential Cosmological Tensions

abstract: Several cosmological tensions have emerged in light of recent data, most notably in the inferences of the parameters $H_0$ and $\sigma_8$. We explore the possibility of alleviating both these tensions {\it simultaneously} by means of the Albrecht-Skordis ``quintessence'' potential. The field can reduce the size of the sound horizon $r_s^*$ while concurrently suppressing the power in matter density fluctuations before it comes to dominate the energy density budget today. Interestingly, this rich set of dynamics is governed entirely by one free parameter that is of $\mathcal{O}(10)$ in Planck units. We find that the inferred value of $H_0$ can be increased, while that of $\sigma_8$ can be decreased, both by $\approx 1\sigma$ compared to the $\Lambda$CDM case. However, ultimately the model is disfavored by Planck and BAO data alone, compared to the standard $\Lambda$CDM model, with a $\Delta \chi^2 \approx +6$. When including large scale structure and supernova data $\Delta \chi^2 \approx +1$. We note that historically much attention has been focused on preserving the three angular scales $\theta_D$, $\theta_{EQ}$, and $\theta_s^*$ to their $\Lambda$CDM values. Our work presents an example of how, while doing so indeed maintains a relatively good fit to the CMB data for an increased number of ultra-relativistic species, it is a-priori insufficient in maintaining such a fit in more general model spaces.


title: Special Correspondences of CM Abelian Varieties and Eisenstein Series II

abstract: In this paper, we prove the relation between special cycles on a Rapoport-Smithling-Zhang Shimura variety and special values of the derivative of a Hilbert Eisenstein series.


title: SPIN: An Empirical Evaluation on Sharing Parameters of Isotropic Networks

abstract: Recent isotropic networks, such as ConvMixer and vision transformers, have found significant success across visual recognition tasks, matching or outperforming non-isotropic convolutional neural networks (CNNs). Isotropic architectures are particularly well-suited to cross-layer weight sharing, an effective neural network compression technique. In this paper, we perform an empirical evaluation on methods for sharing parameters in isotropic networks (SPIN). We present a framework to formalize major weight sharing design decisions and perform a comprehensive empirical evaluation of this design space. Guided by our experimental results, we propose a weight sharing strategy to generate a family of models with better overall efficiency, in terms of FLOPs and parameters versus accuracy, compared to traditional scaling methods alone, for example compressing ConvMixer by 1.9x while improving accuracy on ImageNet. Finally, we perform a qualitative study to further understand the behavior of weight sharing in isotropic architectures. The code is available at https://github.com/apple/ml-spin.


title: A Simple Condensation Model for the H2SO4-H2O Gas-cloud System on Venus

abstract: The current Venus climate is largely regulated by globally-covered concentrated sulfuric acid clouds from binary condensation of sulfuric acid (H2SO4) and water (H2O). To understand this complicated H2SO4-H2O gas-cloud system, previous theoretical studies either adopted complicated microphysical calculations or assumed that both H2SO4 and H2O vapor follow their saturation vapor pressure. In this study, we developed a simple one-dimensional cloud condensation model including condensation, diffusion and sedimentation of H2SO4 and H2O but without detailed microphysics. Our model is able to explain the observed vertical structure of cloud and upper haze mass loading, cloud acidity, H2SO4, and H2O vapor, and the mode-2 particle size on Venus. We found that most H2SO4 is stored in the condensed phase above 48 km, while the partitioning of H2O between the vapor and clouds is complicated. The cloud cycle is mostly driven by evaporation and condensation of H2SO4 rather than H2O and is about seven times stronger than the H2SO4 photochemical cycle. Most of the condensed H2O in the upper clouds is evaporated before the falling particles reach the middle clouds. The cloud acidity is affected by the temperature and the condensation-evaporation cycles of both H2SO4 and H2O. Because of the large chemical production of H2SO4 vapor and relatively inefficient cloud condensation, the simulated H2SO4 vapor above 60 km is largely supersaturated by more than two orders of magnitude, which could be tested by future observations.


title: Fixed-domain Posterior Contraction Rates for Spatial Gaussian Process Model with Nugget

abstract: Spatial Gaussian process regression models typically contain finite dimensional covariance parameters that need to be estimated from the data. We study the Bayesian estimation of covariance parameters including the nugget parameter in a general class of stationary covariance functions under fixed-domain asymptotics, which is theoretically challenging due to the increasingly strong dependence among spatial observations. We propose a novel adaptation of the Schwartz's consistency theorem for showing posterior contraction rates of the covariance parameters including the nugget. We derive a new polynomial evidence lower bound, and propose consistent higher-order quadratic variation estimators that satisfy concentration inequalities with exponentially small tails. Our Bayesian fixed-domain asymptotics theory leads to explicit posterior contraction rates for the microergodic and nugget parameters in the isotropic Matern covariance function under a general stratified sampling design. We verify our theory and the Bayesian predictive performance in simulation studies and an application to sea surface temperature data.


title: Differentially Private Partial Set Cover with Applications to Facility Location

abstract: It was observed in \citet{gupta2009differentially} that the Set Cover problem has strong impossibility results under differential privacy. In our work, we observe that these hardness results dissolve when we turn to the Partial Set Cover problem, where we only need to cover a $\rho$-fraction of the elements in the universe, for some $\rho\in(0,1)$. We show that this relaxation enables us to avoid the impossibility results: under loose conditions on the input set system, we give differentially private algorithms which output an explicit set cover with non-trivial approximation guarantees. In particular, this is the first differentially private algorithm which outputs an explicit set cover. Using our algorithm for Partial Set Cover as a subroutine, we give a differentially private (bicriteria) approximation algorithm for a facility location problem which generalizes $k$-center/$k$-supplier with outliers. Like with the Set Cover problem, no algorithm has been able to give non-trivial guarantees for $k$-center/$k$-supplier-type facility location problems due to the high sensitivity and impossibility results. Our algorithm shows that relaxing the covering requirement to serving only a $\rho$-fraction of the population, for $\rho\in(0,1)$, enables us to circumvent the inherent hardness. Overall, our work is an important step in tackling and understanding impossibility results in private combinatorial optimization.


title: Unsupervised Legendre-Galerkin Neural Network for Singularly Perturbed Partial Differential Equations

abstract: Machine learning methods have been lately used to solve partial differential equations (PDEs) and dynamical systems. These approaches have been developed into a novel research field known as scientific machine learning in which techniques such as deep neural networks and statistical learning are applied to classical problems of applied mathematics. In this paper, we develop a novel numerical algorithm that incorporates machine learning and artificial intelligence to solve PDEs. Based on the Legendre-Galerkin framework, we propose the {\it unsupervised machine learning} algorithm to learn {\it multiple instances} of the solutions for different types of PDEs. Our approach overcomes the limitations of data-driven and physics-based methods. The proposed neural network is applied to general 1D and 2D PDEs with various boundary conditions as well as convection-dominated {\it singularly perturbed PDEs} that exhibit strong boundary layer behavior.


title: Malware Triage Approach using a Task Memory based on Meta-Transfer Learning Framework

abstract: To enhance the efficiency of incident response triage operations, it is not cost-effective to defend all systems equally in a complex cyber environment. Instead, prioritizing the defense of critical functionality and the most vulnerable systems is desirable. Threat intelligence is crucial for guiding Security Operations Center (SOC) analysts' focus toward specific system activity and provides the primary contextual foundation for interpreting security alerts. This paper explores novel approaches for improving incident response triage operations, including dealing with attacks and zero-day malware. This solution for rapid prioritization of different malware have been raised to formulate fast response plans to minimize socioeconomic damage from the massive growth of malware attacks in recent years, it can also be extended to other incident response. We propose a malware triage approach that can rapidly classify and prioritize different malware classes to address this concern. We utilize a pre-trained ResNet18 network based on Siamese Neural Network (SNN) to reduce the biases in weights and parameters. Furthermore, our approach incorporates external task memory to retain the task information of previously encountered examples. This helps to transfer experience to new samples and reduces computational costs, without requiring backpropagation on external memory. Evaluation results indicate that the classification aspect of our proposed method surpasses other similar classification techniques in terms of performance. This new triage strategy based on task memory with meta-learning evaluates the level of similarity matching across malware classes to identify any risky and unknown malware (e.g., zero-day attacks) so that a defense of those that support critical functionality can be conducted.


title: A Fast, Semi-analytical Model for the Venusian Binary Cloud System

abstract: The Venusian clouds originate from the binary condensation of H$_{2}$SO$_{4}$ and H$_{2}$O. The two components strongly interact with each other via chemistry and cloud formation. Previous works adopted sophisticated microphysical approaches to understand the clouds. Here we show that the observed vapor and cloud distributions on Venus can be well explained by a semi-analytical model. Our model assumes local thermodynamical equilibrium for water vapor but not for sulfuric acid vapor, and includes the feedback of cloud condensation and acidity to vapor distributions. The model predicts strong supersaturation of the H$_{2}$SO$_{4}$ vapor above 60 km, consistent with our recent cloud condensation model. The semi-analytical model is 100 times faster than the condensation model and 1000 times faster than the microphysical models. This allows us to quickly explore a large parameter space of the sulfuric acid gas-cloud system. We found that the cloud mass loading in the upper clouds has an opposite response of that in the lower clouds to the vapor mixing ratios in the lower atmosphere. The transport of water vapor influences the cloud acidity in all cloud layers while the transport of sulfuric acid vapor only dominates in the lower clouds. This cloud model is fast enough to be coupled with the climate models and chemistry models to understand the cloudy atmospheres of Venus and Venus-like extra-solar planets.


title: Energy-scale competition in the Hall resistivity of a strange metal

abstract: Anomalous transport behavior -- both longitudinal and Hall -- is the defining characteristic of the strange-metal state of High-Tc cuprates. The temperature, frequency, and magnetic field dependence of the resistivity is understood within strange metal phenomenology as resulting from energy-scale competition to set the inelastic relaxation rate. The anomalously strong temperature dependence of the Hall coefficient, however, is at odds with this phenomenology. Here we report measurements of the Hall resistivity in the strange metal state of cuprates over a broad range of magnetic fields and temperatures. The observed field and temperature dependent Hall resistivity at very high magnetic fields reveals a distinct high-field regime which is controlled by energy-scale competition. This extends the strange metal phenomenology in the cuprates to include the Hall resistivity and suggests, in particular, that the direct effect of magnetic field on the relaxation dynamics of quantum fluctuations may be at least partially responsible for the anomalous Hall resistivity of the strange metal state.


title: The Birth of Bias: A case study on the evolution of gender bias in an English language model

abstract: Detecting and mitigating harmful biases in modern language models are widely recognized as crucial, open problems. In this paper, we take a step back and investigate how language models come to be biased in the first place. We use a relatively small language model, using the LSTM architecture trained on an English Wikipedia corpus. With full access to the data and to the model parameters as they change during every step while training, we can map in detail how the representation of gender develops, what patterns in the dataset drive this, and how the model's internal state relates to the bias in a downstream task (semantic textual similarity). We find that the representation of gender is dynamic and identify different phases during training. Furthermore, we show that gender information is represented increasingly locally in the input embeddings of the model and that, as a consequence, debiasing these can be effective in reducing the downstream bias. Monitoring the training dynamics, allows us to detect an asymmetry in how the female and male gender are represented in the input embeddings. This is important, as it may cause naive mitigation strategies to introduce new undesirable biases. We discuss the relevance of the findings for mitigation strategies more generally and the prospects of generalizing our methods to larger language models, the Transformer architecture, other languages and other undesirable biases.


title: GBDF: Gender Balanced DeepFake Dataset Towards Fair DeepFake Detection

abstract: Facial forgery by deepfakes has raised severe societal concerns. Several solutions have been proposed by the vision community to effectively combat the misinformation on the internet via automated deepfake detection systems. Recent studies have demonstrated that facial analysis-based deep learning models can discriminate based on protected attributes. For the commercial adoption and massive roll-out of the deepfake detection technology, it is vital to evaluate and understand the fairness (the absence of any prejudice or favoritism) of deepfake detectors across demographic variations such as gender and race. As the performance differential of deepfake detectors between demographic subgroups would impact millions of people of the deprived sub-group. This paper aims to evaluate the fairness of the deepfake detectors across males and females. However, existing deepfake datasets are not annotated with demographic labels to facilitate fairness analysis. To this aim, we manually annotated existing popular deepfake datasets with gender labels and evaluated the performance differential of current deepfake detectors across gender. Our analysis on the gender-labeled version of the datasets suggests (a) current deepfake datasets have skewed distribution across gender, and (b) commonly adopted deepfake detectors obtain unequal performance across gender with mostly males outperforming females. Finally, we contributed a gender-balanced and annotated deepfake dataset, GBDF, to mitigate the performance differential and to promote research and development towards fairness-aware deep fake detectors. The GBDF dataset is publicly available at: https://github.com/aakash4305/GBDF


title: Fractional Brownian Motion: Local Modulus of Continuity with Refined Almost Sure Upper Bound and First Exit Time from One-sided Barrier

abstract: Based on an optimal rate wavelet series representation, we derive a local modulus of continuity result with a refined almost sure upper bound for fractional Brownian motion. \sloppy The obtained upper bound of the small fractional Brownian increments is of order $\mathcal O_{a.s.}\big(|h|^H\sqrt{\log\log |h|^{-1}}\big)$ as $|h|\to0$, and an upper bound of its $p$th moment is provided, for any $p>0$. This result fills the gap of the law of iterated logarithm for fractional Brownian motion, where the moments' information of the random multiplier in the upper bound is missing. With this enhanced upper bound and some new results on the distribution of the maximum of fractional Brownian motion, we obtain a new and refined asymptotic estimate of the upper-tail probability for a fractional Brownian motion to first exit from a positive-valued barrier over time $T$, as $T\to+\infty$.


title: Can locational disparity of prosumer energy optimization due to inverter rules be limited?

abstract: To mitigate issues related to the growth of variable smart loads and distributed generation, distribution system operators (DSO) now make it binding for prosumers with inverters to operate under pre-set rules. In particular, the maximum active and reactive power set points for prosumers are based on local voltage measurements to ensure that inverter output does not cause voltage violations. However, such actions, as observed in this work, restrict the range available for local energy management, with more adverse losses on arbitrage profits for prosumers located farther away from the substation. The goal of the paper is three-fold: (a) to develop an optimal local energy optimization algorithm for activation of load flexibility and inverter-interfaced solar PV and energy storage under time-varying electricity prices; (b) to quantify the locational impact on prosumer arbitrage gains due to inverter injection rules prevalent in different energy markets; (c) to propose a computationally efficient hybrid inverter control policy which provides voltage regulation while substantially reducing locational disparity. Using numerical simulations on three identical prosumers located at different parts of a radial feeder, we show that our control policy is able to minimize locational disparity in arbitrage gains between customers at the beginning and end of the feeder to 1.4%, while PV curtailment is reduced by 91.7% compared to the base case with restrictive volt-Var and volt-watt policy.


title: RNA foldings and Stuck Knots

abstract: We study RNA foldings and investigate their topology using a combination of knot theory and embedded rigid vertex graphs. Knot theory has been helpful in modeling biomolecules, but classical knots place emphasis on a biomolecule's entanglement while ignoring their intrachain interactions. We remedy this by using stuck knots and links, which provide a way to emphasize both their entanglement and intrachain interactions. We first give a generating set of the oriented stuck Reidemeister moves for oriented stuck links. We then introduce an algebraic structure to axiomatize the oriented stuck Reidemeister moves. Using this algebraic structure, we define a coloring counting invariant of stuck links and provide explicit computations of the invariant. Lastly, we compute the counting invariant for arc diagrams of RNA foldings through the use of stuck link diagrams.


title: Improved Hardness Results for the Guided Local Hamiltonian Problem

abstract: Estimating the ground state energy of a local Hamiltonian is a central problem in quantum chemistry. In order to further investigate its complexity and the potential of quantum algorithms for quantum chemistry, Gharibian and Le Gall (STOC 2022) recently introduced the guided local Hamiltonian problem (GLH), which is a variant of the local Hamiltonian problem where an approximation of a ground state (which is called a guiding state) is given as an additional input. Gharibian and Le Gall showed quantum advantage (more precisely, BQP-completeness) for GLH with $6$-local Hamiltonians when the guiding state has fidelity (inverse-polynomially) close to $1/2$ with a ground state. In this paper, we optimally improve both the locality and the fidelity parameter: we show that the BQP-completeness persists even with 2-local Hamiltonians, and even when the guiding state has fidelity (inverse-polynomially) close to 1 with a ground state. Moreover, we show that the BQP-completeness also holds for 2-local physically motivated Hamiltonians on a 2D square lattice or a 2D triangular lattice. Beyond the hardness of estimating the ground state energy, we also show BQP-hardness persists when considering estimating energies of excited states of these Hamiltonians instead. Those make further steps towards establishing practical quantum advantage in quantum chemistry.


title: Border-collision bifurcations from stable fixed points to any number of coexisting chaotic attractors

abstract: In diverse physical systems stable oscillatory solutions devolve into more complicated dynamical behaviour through border-collision bifurcations. Mathematically these occur when a stable fixed point of a piecewise-smooth map collides with a switching manifold as parameters are varied. The purpose of this paper is to highlight the extreme complexity possible in the subsequent dynamics. We perturb instances of the border-collision normal form in $n \ge 2$ dimensions for which the $n^{\rm th}$ iterate is a direct product of identical skew tent maps that have chaotic attractors comprised of $k \ge 2$ disjoint intervals. The resulting maps have coexisting attractors and we use Burnside's lemma to count the number of mutually disjoint trapping regions produced by taking unions of Cartesian products of slight enlargements of the disjoint intervals. The attractors are shown to be chaotic by demonstrating that some iterate of the map is piecewise-expanding. The resulting transition from a stable fixed point to many coexisting chaotic attractors is shown to occur throughout open subsets of parameter space and not destroyed by adding higher order terms to the normal form, hence can be expected to arise generically in mathematical models.


title: Statistics of Partial Permutations via Catalan matrices

abstract: A generalized Catalan matrix $(a_{n,k})_{n,k\ge 0}$ is generated by two seed sequences $\mathbf{s}=(s_0,s_1,\ldots)$ and $\mathbf{t}=(t_1,t_2,\ldots)$ together with a recurrence relation. By taking $s_\ell=2\ell+1$ and $t_\ell=\ell^2$ we can interpret $a_{n,k}$ as the number of partial permutations, which are $n\times n$ $0,1$-matrices of $k$ zero rows with at most one $1$ in each row or column. In this paper we prove that most of fundamental statistics and some set-valued statistics on permutations can also be defined on partial permutations and be encoded in the seed sequences. Results on two interesting permutation families, namely the connected permutations and cycle-up-down permutations, are also given.


title: Gauge Coupling Unification in simplified Grand Gauge-Higgs Unification

abstract: Grand gauge-Higgs unification of five dimensional SU(6) gauge theory on an orbifold $S^1/Z_2$ with localized gauge kinetic terms is discussed. The Standard model (SM) fermions on the boundaries and some massive bulk fermions coupling to the SM fermions on the boundary are introduced. Taking the power-law running contributions from the bulk fields into account, perturbative gauge coupling unification is shown to be realized at around $10^{14}$ GeV, which is a few order smaller than the unification scale of four dimensional grand unified theories.


title: The Two-Stripe Symmetric Circulant TSP is in P

abstract: The symmetric circulant TSP is a special case of the traveling salesman problem in which edge costs are symmetric and obey circulant symmetry. Despite the substantial symmetry of the input, remarkably little is known about the symmetric circulant TSP, and the complexity of the problem has been an often-cited open question. Considerable effort has been made to understand the case in which only edges of two lengths are allowed to have finite cost: the two-stripe symmetric circulant TSP. In this paper, we resolve the complexity of the two-stripe symmetric circulant TSP. To do so, we reduce two-stripe symmetric circulant TSP to the problem of finding certain minimum-cost Hamiltonian paths on cylindrical graphs. We then solve this Hamiltonian path problem. Our results show that the two-stripe symmetric circulant TSP is in P. Note that a two-stripe symmetric circulant TSP instance consists of a constant number of inputs (including $n$, the number of cities), so that a polynomial-time algorithm for the decision problem must run in time polylogarithmic in $n$, and a polynomial-time algorithm for the optimization problem cannot output the tour. We address this latter difficulty by showing that the optimal tour must fall into one of two parameterized classes of tours, and that we can output the class and the parameters in polynomial time. Thus we make a substantial contribution to the set of polynomial-time solvable special cases of the TSP, and take an important step towards resolving the complexity of the general symmetric circulant TSP.