title: Is\'{e}ki spaces of semirings

abstract: The aim of this paper is to study Iseki spaces of distinguished classes of ideals of a semiring endowed with a topology. We show that every Is\'{e}ki space is quasi-compact whenever the semiring is Noetherian. We characterize Is\'{e}ki spaces for which every non-empty irreducible closed subset has a unique generic point. Furthermore, we provide a sufficient condition for the connectedness of Is\'{e}ki spaces and show that the strongly connectedness of an Is\'{e}ki space implies the existence of non-trivial idempotent elements of semirings.


title: Primitive hyperideals and hyperstructure spaces of hyperrings

abstract: We introduce primitive hyperideals of a hyperring R and show relations with R itself, and with maximal and prime hyperideals of R. We endow a Jacobson topology on the set of primitive hyperideals of R and study topological properties of the corresponding hyperstructure space.


title: Development of a Self-Calibrated Motion Capture System by Nonlinear Trilateration of Multiple Kinects v2

abstract: In this paper, a Kinect-based distributed and real-time motion capture system is developed. A trigonometric method is applied to calculate the relative position of Kinect v2 sensors with a calibration wand and register the sensors' positions automatically. By combining results from multiple sensors with a nonlinear least square method, the accuracy of the motion capture is optimized. Moreover, to exclude inaccurate results from sensors, a computational geometry is applied in the occlusion approach, which discovers occluded joint data. The synchronization approach is based on an NTP protocol that synchronizes the time between the clocks of a server and clients dynamically, ensuring that the proposed system is a real-time system. Experiments for validating the proposed system are conducted from the perspective of calibration, occlusion, accuracy, and efficiency. Furthermore, to demonstrate the practical performance of our system, a comparison of previously developed motion capture systems (the linear trilateration approach and the geometric trilateration approach) with the benchmark OptiTrack system is conducted, therein showing that the accuracy of our proposed system is $38.3\%$ and 24.1% better than the two aforementioned trilateration systems, respectively.


title: A Combined Approach Toward Consistent Reconstructions of Indoor Spaces Based on 6D RGB-D Odometry and KinectFusion

abstract: We propose a 6D RGB-D odometry approach that finds the relative camera pose between consecutive RGB-D frames by keypoint extraction and feature matching both on the RGB and depth image planes. Furthermore, we feed the estimated pose to the highly accurate KinectFusion algorithm, which uses a fast ICP (Iterative Closest Point) to fine-tune the frame-to-frame relative pose and fuse the depth data into a global implicit surface. We evaluate our method on a publicly available RGB-D SLAM benchmark dataset by Sturm et al. The experimental results show that our proposed reconstruction method solely based on visual odometry and KinectFusion outperforms the state-of-the-art RGB-D SLAM system accuracy. Moreover, our algorithm outputs a ready-to-use polygon mesh (highly suitable for creating 3D virtual worlds) without any postprocessing steps.


title: Development of an automatic 3D human head scanning-printing system

abstract: Three-dimensional (3D) technologies have been developing rapidly recent years, and have influenced industrial, medical, cultural, and many other fields. In this paper, we introduce an automatic 3D human head scanning-printing system, which provides a complete pipeline to scan, reconstruct, select, and finally print out physical 3D human heads. To enhance the accuracy of our system, we developed a consumer-grade composite sensor (including a gyroscope, an accelerometer, a digital compass, and a Kinect v2 depth sensor) as our sensing device. This sensing device is then mounted on a robot, which automatically rotates around the human subject with approximate 1-meter radius, to capture the full-view information. The data streams are further processed and fused into a 3D model of the subject using a tablet located on the robot. In addition, an automatic selection method, based on our specific system configurations, is proposed to select the head portion. We evaluated the accuracy of the proposed system by comparing our generated 3D head models, from both standard human head model and real human subjects, with the ones reconstructed from FastSCAN and Cyberware commercial laser scanning systems through computing and visualizing Hausdorff distances. Computational cost is also provided to further assess our proposed system.


title: Homogeneous fractional integral operators on Lebesgue and Morrey spaces, Hardy--Littlewood--Sobolev and Olsen-type inequalities

abstract: Let $T_{\Omega,\alpha}$ be the homogeneous fractional integral operator defined as \begin{equation*} T_{\Omega,\alpha}f(x):=\int_{\mathbb R^n}\frac{\Omega(x-y)}{|x-y|^{n-\alpha}}f(y)\,dy, \end{equation*} and the related fractional maximal operator $M_{\Omega,\alpha}$ is given by \begin{equation*} M_{\Omega,\alpha}f(x):=\sup_{r>0}\frac{1}{|B(x,r)|^{1-\alpha/n}}\int_{|x-y|<r}|\Omega(x-y)f(y)|\,dy. \end{equation*} In this article, we will use the idea of Hedberg to reprove that the operators $T_{\Omega,\alpha}$ and $M_{\Omega,\alpha}$ are bounded from $L^p(\mathbb R^n)$ to $L^q(\mathbb R^n)$ provided that $\Omega\in L^s(\mathbf{S}^{n-1})$, $s'<p<n/{\alpha}$ and $1/q=1/p-{\alpha}/n$, which was obtained by Muckenhoupt and Wheeden. We also reprove that under the assumptions that $\Omega\in L^s(\mathbf{S}^{n-1})$, $s'\leq p<n/{\alpha}$ and $1/q=1/p-{\alpha}/n$, the operators $T_{\Omega,\alpha}$ and $M_{\Omega,\alpha}$ are bounded from $L^p(\mathbb R^n)$ to $L^{q,\infty}(\mathbb R^n)$, which was obtained by Chanillo, Watson and Wheeden. We will use the idea of Adams to show that $T_{\Omega,\alpha}$ and $M_{\Omega,\alpha}$ are bounded from $L^{p,\kappa}(\mathbb R^n)$ to $L^{q,\kappa}(\mathbb R^n)$ whenever $s'<p<n/{\alpha}$ and $1/q=1/p-\alpha/{n(1-\kappa)}$, and bounded from $L^{p,\kappa}(\mathbb R^n)$ to $WL^{q,\kappa}(\mathbb R^n)$ whenever $s'\leq p<n/{\alpha}$ and $1/q=1/p-\alpha/{n(1-\kappa)}$. Some new estimates in the limiting cases are also established. The results obtained are substantial improvements and extensions of some known results. Moreover, we will apply these results to several well-known inequalities such as Hardy--Littlewood--Sobolev and Olsen-type inequalities.


title: Complexity and computation for the spectral norm and nuclear norm of order three tensors with one fixed dimension

abstract: The recent decade has witnessed a surge of research in modelling and computing from two-way data (matrices) to multiway data (tensors). However, there is a drastic phase transition for most tensor optimization problems when the order of a tensor increases from two (a matrix) to three: Most tensor problems are NP-hard while that for matrices are easy. It triggers a question on where exactly the transition occurs. The paper aims to study this kind of question for the spectral norm and the nuclear norm. Although computing the spectral norm for a general $\ell\times m\times n$ tensor is NP-hard, we show that it can be computed in polynomial time if $\ell$ is fixed. This is the same for the nuclear norm. While these polynomial-time methods are not implementable in practice, we propose fully polynomial-time approximation schemes (FPTAS) for the spectral norm based on spherical grids and for the nuclear norm with further help of duality theory and semidefinite optimization. Numerical experiments on simulated data show that our FPTAS can compute these tensor norms for small $\ell \le 6$ but large $m, n\ge50$. To the best of our knowledge, this is the first method that can compute the nuclear norm of general asymmetric tensors. Both our polynomial-time algorithms and FPTAS can be extended to higher-order tensors as well.


title: On the Interpretability of Attention Networks

abstract: Attention mechanisms form a core component of several successful deep learning architectures, and are based on one key idea: ''The output depends only on a small (but unknown) segment of the input.'' In several practical applications like image captioning and language translation, this is mostly true. In trained models with an attention mechanism, the outputs of an intermediate module that encodes the segment of input responsible for the output is often used as a way to peek into the `reasoning` of the network. We make such a notion more precise for a variant of the classification problem that we term selective dependence classification (SDC) when used with attention model architectures. Under such a setting, we demonstrate various error modes where an attention model can be accurate but fail to be interpretable, and show that such models do occur as a result of training. We illustrate various situations that can accentuate and mitigate this behaviour. Finally, we use our objective definition of interpretability for SDC tasks to evaluate a few attention model learning algorithms designed to encourage sparsity and demonstrate that these algorithms help improve interpretability.


title: Polynomial spline regression: Theory and Application

abstract: To deal with non-linear relations between the predictors and the response, we can use transformations to make the data look linear or approximately linear. In practice, however, transformation methods may be ineffective, and it may be more efficient to use flexible regression techniques that can automatically handle nonlinear behavior. One such method is the Polynomial Spline (PS) regression. Because the number of possible spline regression models is many, efficient strategies for choosing the best one are required. This study investigates the different spline regression models (Polynomial Spline based on Truncated Power, B-spline, and P-Spline) in theoretical and practical ways. We focus on the fundamental concepts as the spline regression is theoretically rich. In particular, we focus on the prediction using cross-validation (CV) rather than interpretation, as polynomial splines are challenging to interpret. We compare different PS models based on a real data set and conclude that the P-spline model is the best.


title: Generic diagonal conic bundles revisited

abstract: We prove a stronger form of our previous result that Schinzel's Hypothesis holds for $100\%$ of $n$-tuples of integer polynomials satisfying the usual necessary conditions, where the primes represented by the polynomials are subject to additional constraints in terms of Legendre symbols, as well as upper and lower bounds. We establish the triviality of the Brauer group of generic diagonal conic bundles over the projective line. Finally, we give an explicit lower bound for the probability that diagonal conic bundles in certain natural families have rational points.


title: BlueCov: Integrating Test Coverage and Model Checking with JBMC

abstract: Automated test case generation tools help businesses to write tests and increase the safety net provided by high regression test coverage when making code changes. Test generation needs to cover as much as possible of the uncovered code while avoiding generating redundant tests for code that is already covered by an existing test-suite. In this paper we present our work on a tool for the real world application of integrating formal analysis with automatic test case generation. The test case generation is based on coverage analysis using the Java bounded model checker (JBMC). Counterexamples of the model checker can be translated into Java method calls with specific parameters. In order to avoid the generation of redundant tests, it is necessary to measure the coverage in the exact same way as JBMC generates its coverage goals. Each existing coverage measurement tool uses a slightly different instrumentation and thus a different coverage criterion. This makes integration with a test case generator based on formal analysis difficult. Therefore, we developed BlueCov as a specific runtime coverage measurement tool which uses the exact same coverage criteria as JBMC does. This approach also allows for incremental test-case generation, only generating test coverage for previously untested code, e.g., to complete existing test suites.


title: Teichm\"uller and lamination spaces with pinnings

abstract: We describe the spaces of the positive and tropical points of the moduli space $\mathcal{P}_{PGL_2,\Sigma}$ introduced by Goncharov--Shen [GS19] as certain Teichm\"uller and lamination spaces, respectively, with additional data of pinnings. In the case where the surface $\Sigma$ has no punctures, we obtain the formulae relating various functions on the Teichm\"uller space with pinnings: $\lambda$-lengths, cross ratio coordinates, and Wilson lines. A topological description of the tropicalized amalgamation map is given in terms of $\mathcal{P}$-laminations. Based on our topological study of these "$\mathcal{P}$-type" spaces, we investigate the compatibility of the Fock--Goncharov duality maps $\mathbb{I}_\mathcal{A}$, $\mathbb{I}_\mathcal{X}$ constructed by [FG06,FG07,MSW13,GS15] under the extended ensemble map. We also discuss the amalgamation of bracelet bases.


title: Adapting the HHL algorithm to quantum many-body theory

abstract: Rapid progress in developing near- and long-term quantum algorithms for quantum chemistry has provided us with an impetus to move beyond traditional approaches and explore new ways to apply quantum computing to electronic structure calculations. In this work, we identify the connection between quantum many-body theory and a quantum linear solver, and implement the Harrow-Hassidim-Lloyd (HHL) algorithm to make precise predictions of correlation energies for light molecular systems via the (non-unitary) linearised coupled cluster theory. We alter the HHL algorithm to integrate two novel aspects- (a) we prescribe a novel scaling approach that allows one to scale any arbitrary symmetric positive definite matrix A, to solve for Ax = b and achieve x with reasonable precision, all the while without having to compute the eigenvalues of A, and (b) we devise techniques that reduce the depth of the overall circuit. In this context, we introduce the following variants of HHL for different eras of quantum computing- AdaptHHLite in its appropriate forms for noisy intermediate scale quantum (NISQ), late-NISQ, and the early fault-tolerant eras, as well as AdaptHHL for the fault-tolerant quantum computing era. We demonstrate the ability of the NISQ variant of AdaptHHLite to capture correlation energy precisely, while simultaneously being resource-lean, using simulation as well as the 11-qubit IonQ quantum hardware.


title: Optimal convergence rate for homogenization of convex Hamilton-Jacobi equations in the periodic spatial-temporal environment

abstract: We study the optimal convergence rate for homogenization problem of convex Hamilton-Jacobi equations when the Hamitonian is periodic with respect to spatial and time variables, and notably time-dependent. We prove a result similar to that of [8], which means the optimal convergence rate is also $O(\varepsilon)$.


title: Extended method for Statistical Signal Characterization using moments and cumulants: Application to recognition of pattern alterations in pulse-like waveforms employing Artificial Neural Networks

abstract: We propose a statistical procedure to characterize and extract features from a waveform that can be applied as a pre-processing signal stage in a pattern recognition task using Artificial Neural Networks. Such a procedure is based on measuring a 30-parameters set of moments and cumulants from the waveform, its derivative, and its integral. The technique is presented as an extension of the Statistical Signal Characterization method existing in the literature. As a testing methodology, we used the procedure to distinguish a pulse-like signal from different versions of itself with frequency spectrum alterations or deformations. The recognition task was performed by single feed-forward back-propagation networks trained for the case Sinc-, Gaussian-, and Chirp-pulse waveform. Because of the success obtained in these examples, we can conclude that the proposed extended statistical signal characterization method is an effective tool for pattern-recognition applications. In particular, we can use it as a fast pre-processing stage in embedded systems with limited memory or computational capability.


title: Neural Volumetric Blendshapes: Computationally Efficient Physics-Based Facial Blendshapes

abstract: Computationally weak systems and demanding graphical applications are still mostly dependent on linear blendshapes for facial animations. The accompanying artifacts such as self-intersections, loss of volume, or missing soft tissue elasticity can be avoided by using physics-based animation models. However, these are cumbersome to implement and require immense computational effort. We propose neural volumetric blendshapes, an approach that combines the advantages of physics-based simulations with realtime runtimes even on consumer-grade CPUs. To this end, we present a neural network that efficiently approximates the involved volumetric simulations and generalizes across human identities as well as facial expressions. Our approach can be used on top of any linear blendshape system and, hence, can be deployed straightforwardly. Furthermore, it only requires a single neutral face mesh as input in the minimal setting. Along with the design of the network, we introduce a pipeline for the challenging creation of anatomically and physically plausible training data. Part of the pipeline is a novel hybrid regressor that densely positions a skull within a skin surface while avoiding intersections. The fidelity of all parts of the data generation pipeline as well as the accuracy and efficiency of the network are evaluated in this work. Upon publication, the trained models and associated code will be released.


title: Three dimensional regular black string via loop corrections

abstract: It is well known that some spacetime singularities of low energy effective action can be resolved by the effective loop corrections. However, the known potentials for the loop corrections fail to regulate the singularity of three dimensional black string. An alternative method is to introduce an extra flat spatial direction and boost away the singularity by using the $O\left(d,d\right)$ rotation with the special Kalb-Ramond field. In this paper, we investigate a new set of non-local dilaton potentials for the effective loop corrections. The result shows that the singularity of three dimensional black string can be consistently resolved by the loop corrections.


title: Electroweak baryogenesis in the three-loop neutrino mass model with dark matter

abstract: Baryon asymmetry of the Universe is evaluated in the model originally proposed in Phys. Rev. Lett. 102 (2009) 051805, where Majorana masses of neutrinos are generated via three-loop diagrams composed of additional scalar bosons including the dark matter candidate which is odd under an unbroken $Z_2$ symmetry. In order for the model to include multiple CP-violating phases, we do not impose the softly broken $Z_2$ symmetry imposed in the original model to avoid the flavor-changing neutral current at tree level. Instead, for simplicity, we assume the flavor alignment structure in the Yukawa interactions. We also simply assume the alignment structure in the Higgs potential so that the Higgs couplings coincide with those in the SM at tree level. Under these phenomenological simplifications, the model still contains multiple CP-violating phases. By using destructive interferences among them, it is compatible with the stringent constraint from the electric dipole moment measurements to generate the observed baryon asymmetry along with the scenario of electroweak baryogenesis. We show a benchmark scenario which can explain neutrino mass, dark matter and baryon asymmetry of the universe simultaneously and can satisfy all the other available experimental data. Some phenomenological predictions of the model are also discussed.


title: Integrated information theory (IIT) 4.0: Formulating the properties of phenomenal existence in physical terms

abstract: This paper presents Integrated Information Theory (IIT) 4.0. IIT aims to account for the properties of experience in physical (operational) terms. It identifies the essential properties of experience (axioms), infers the necessary and sufficient properties that its substrate must satisfy (postulates), and expresses them in mathematical terms. In principle, the postulates can be applied to any system of units in a state to determine whether it is conscious, to what degree, and in what way. IIT offers a parsimonious explanation of empirical evidence, makes testable predictions, and permits inferences and extrapolations. IIT 4.0 incorporates several developments of the past ten years, including a more accurate translation of axioms into postulates and mathematical expressions, the introduction of a unique measure of intrinsic information that is consistent with the postulates, and an explicit assessment of causal relations. By fully unfolding a system's irreducible cause-effect power, the distinctions and relations specified by a substrate can account for the quality of experience.


title: The 2HD+a model: collider, dark matter and gravitational wave signals

abstract: We perform a comprehensive study of a model in which the Higgs sector is extended to contain two Higgs doublet fields, with the four types of possibilities to couple to standard fermions, as well as an additional light pseudoscalar Higgs boson which mixes with the one of the two doublets. This 2HD+a model includes also a stable isosinglet massive fermion that has the correct thermal relic abundance to account for the dark matter in the Universe. We summarize the theoretical constraints to which the model is subject and then perform a detailed study of the phenomenological constraints. In particular, we discuss the bounds from the LHC in the search for light and heavy scalar resonances and invisible states and those from high precision measurements in the Higgs, electroweak and flavor sectors, addressing the possibility of explaining the deviation from the standard expectation of the anomalous magnetic moment of the muon and the $W$-boson mass recently observed at Fermilab. We also summarize the astrophysical constraints from direct and indirect detection dark matter experiments. We finally conduct a thorough analysis of the cosmic phase transitions and the gravitational wave spectrum that are implied by the model and identify the parameter space in which the electroweak vacuum is reached after single and multiple phase transitions. We then discuss the prospects for observing the signal of such gravitational waves in near future experiments such as LISA, BBO or DECIGO.


title: Simultaneous $ \chi^{(2)} $- $ \chi^{(2)} $ and $ \chi^{(2)} $-$ \chi^{(3)} $ nonlinear processes generation in thin film lithium tantalate microcavity

abstract: On-chip efficient nonlinear functions are instrumental in escalating the utilities and performance of photonic integrated circuits (PICs), especially for a wide range of classical and quantum applications, such as tunable coherent radiation, optical frequency conversion, spectroscopy, quantum science, etc. Lithium tantalate (LT) has been widely used in nonlinear wavelength converters, surface acoustic wave resonators, and electro-optic, acoustic-optic devices owing to its excellent optical properties. Here, we fabricated a Z-cut lithium tantalate on insulator (LTOI) microdisk with high quality(Q) factors in both telecom (10$^{6}$) and visible (10$^{5}$) bands by optimizing the fabrication. With the Q factor of the LTOI microdisk increasing, we can obtain higher pump light intensity in the cavity which is beneficial to get more optical nonlinear effect easily. By making use of the mode phase matching of interacting waves and inputting high pump power, we experimentally observed on-chip near-infrared light, visible (red, green), and ultraviolet (UV) from microresonator-based $ \chi^{(2)}-\chi^{(2)}$, $ \chi^{(2)}-\chi^{(3)}$, and $\chi^{(2)}$ nonlinear processes such as cascaded four-wave mixing (cFWM), cascaded sum-frequency generation (cSFG), third harmonic generation (THG), second harmonic generation (SHG). It is believed that the LTOI can support a variety of on-chip optical nonlinear processes, which heralds its new application potential in integrated nonlinear photonics.


title: Standardizing Representation for Equality with a Population Seat Index

abstract: Proportional representation (PR) has long been believed the ideal system for the equality of individuals in apportioning the seats of a legislature body to subgroups. We observe that PR implicitly assumes the (standard) number of representatives is proportional to the population, a situation no longer observed since 1820s. To address this issue, we suggest to formulate the apportionment problem in a broader context by explicitly specifying a standard function $f$ such that $f(p)$ is the standard, possibly fractional number of representatives for population $p$, where PR assumes $f(p)\propto p$. For this generalized apportionment problem, we give a population seat index (PSI) $\frac{f^{-1}(s)}{p}$ for quantifying the contribution of an individual in assigning $s$ seats to a population $p$, where $f^{-1}$ is the inverse of $f$. With the PSI, we derive apportioning schemes with absolute and relative individual equality. Particularly, for $s$ seats, populations $p_1, \ldots, p_k$, and a standard function $f(p) = a + b p^\gamma$ with constants $a, b, \gamma \ge 0$, the ideal, possibly fractional number of seats for subgroup $i$ is $a + \frac{(S-ka)p_i^{\gamma}}{\sum p_j^{\gamma}}$, not $\frac{Sp_i}{\sum p_j}$ calculated by PR which works only for $a=0$, $\gamma=1$. Finally, since real-world observations indicate a standard function $f \propto p^\gamma$ with $\gamma < 1$, we conclude that PR represents individuals in less populous subgroups less than individuals in more populous subgroups.


title: The strong interactions

abstract: Introductory section for the volume 50 years of Quantum Chromodynamics (edited by F. Gross and E. Klempt, to be published in Eur. Phys. J. C)


title: Decreasing behavior of the depth functions of edge ideals

abstract: Let $I$ be the edge ideal of a connected non-bipartite graph and $R$ the base polynomial ring. Then $\operatorname{depth} R/I \ge 1$ and $\operatorname{depth} R/I^t = 0$ for $t \gg 1$. We give combinatorial conditions for $\operatorname{depth} R/I^t = 1$ for some $t$ in between and show that the depth function is non-increasing thereafter. Especially, the depth function quickly decreases to 0 after reaching 1. We show that if $\operatorname{depth} R/I = 1$ then $\operatorname{depth} R/I^2 = 0$ and if $\operatorname{depth} R/I^2 = 1$ then $\operatorname{depth} R/I^5 = 0$. Other similar results suggest that if $\operatorname{depth} R/I^t = 1$ then $\operatorname{depth} R/I^{t+3} = 0$. This a surprising phenomenon because the depth of a power can determine a smaller depth of another power. Furthermore, we are able to give a simple combinatorial criterion for $\operatorname{depth} R/I^{(t)} = 1$ for $t \gg 1$ and show that the condition $\operatorname{depth} R/I^{(t)} = 1$ is persistent, where $I^{(t)}$ denotes the $t$-th symbolic powers of $I$.


title: Deformation Effect on Graphene Quantum Dot/Graphane and Silicene Quantum Dot/Silicane array

abstract: This article presents a design for the two-dimensional heterostructure (2DH) systems of graphane quantum dot array in graphane (GQD/Graphane), and silicene quantum dot array in silicane (SiQD/Silicane). A first-principles method was used to evaluate the deformation effect for magnetism as well as the electronic properties for the 2DH systems. The energy levels of quantum dot (QD) array and the band structure of its hydrogenated counterpart are coupling for both 2DH systems of C and Si. The hydrogenated part shares part of strain on QD array, however, the strain sharing effect is stronger in SiQD/silicane than in GQD/graphane. The strain sharing enhances the band coupling of the QD and its hydrogen counterpart in the low energy region. The band coupling alters the electronic properties of the 2DH systems and change the magnetic properties of triangular and parallelogram of SiQD/Silicane array under compressive strain larger than 5%. Strain modulates the band gap of the 2DH system. For SiQD/Silicane systems, the homogeneous strain not only induces the phase transition of from semiconductor to metal, but also remove the magnetism of triangular and parallelogram SiQD array. The 2DH system can be used in the design of nanoelectronic devices and binary logic based on nanoscale magnetism.


title: Consistency of $\chi$SB in chiral Yang-Mills theory with adiabatic continuity

abstract: We study the pattern of chiral symmetry breaking ($\chi$SB) in the $\psi\chi\eta$ model (with the chiral fermion sector containing $ \psi^{\{ij\}}$, $\chi_{[ij]}$, and $\eta_{i}^{A}$, see [1]) on $\mathbb{R}^3 \times S^{1}_{L}$ and derive implications to $\mathbb{R}^4$ physics. Center-symmetric vacua are stabilized by a double-trace deformation. With the center symmetry maintained at small $L(S^1)\ll \Lambda^{-1}$, i.e. at weak coupling, no phase transitions are expected in passing to large $L(S^1)\gg \Lambda^{-1}$ (here $\Lambda$ is the dynamical Yang-Mills scale). Starting with the small $L$-limit, we find the leading-order nonperturbative corrections in the given theory. The instanton-monopole operators induce the adjoint chiral condensate $\langle \psi^{\{ij\}}\chi_{[jk]}\rangle \neq 0$ at weak coupling i.e. at $L(S^1)\ll \Lambda^{-1}$. Then adiabatic continuity tells us that $\langle \psi^{\{ij\}}\chi_{[jk]}\rangle \neq 0$ exists on $\mathbb{R}^4$, in full accord with the prediction [2]. Simultaneously with $\langle \psi^{\{ij\}}\chi_{[jk]}\rangle \sim \Lambda^3\delta^i_k$ the SU($N_c$) gauge symmetry is spontaneously broken at strong coupling down to its maximal Abelian subgroup.


title: Integral Micromorphic Model for Band Gap in 1D Continuum

abstract: The design of band-gap metamaterials, i.e., metamaterials with the capability to inhibit wave propagation of a specific frequency range, has numerous potential engineering applications, such as acoustic filters and vibration isolation control. In order to describe the behavior of such materials, a novel integral micromorphic elastic continuum is introduced, and its ability to describe band gaps is studied in the one-dimensional setting. The nonlocal formulation is based on a modification of two terms in the expression for potential energy density. The corresponding dispersion equation is derived and converted to a dimensionless format, so that the effect of individual parameters can be described in the most efficient way. The results indicate that both suggested nonlocal modifications play an important role. The original local micromorphic model reproduces a band gap only in the special, somewhat artificial case, when the stiffness coefficient associated with the gradient of the micromorphic variable vanishes. On the other hand, the nonlocal formulation can provide band gaps even for nonzero values of this coefficient, provided that the penalty coefficient that enforces coupling between the micromorphic variable and nonlocal strain is sufficiently high and the micromorphic stiffness is sufficiently low.


title: Improvements of the weighted Hermite-Hadamard inequality and applications to mean inequality

abstract: This paper aims to characterize the function appearing in the weighted Hermite-Hadamard inequality. We provide improved inequalities for the weighted means as applications of the obtained results. Modifications of the weighted Hermite-Hadamard inequality are also presented. Our results contain some exciting inequalities and extensions of the known results.


title: Easing Automatic Neurorehabilitation via Classification and Smoothness Analysis

abstract: Assessing the quality of movements for post-stroke patients during the rehabilitation phase is vital given that there is no standard stroke rehabilitation plan for all the patients. In fact, it depends basically on the patient's functional independence and its progress along the rehabilitation sessions. To tackle this challenge and make neurorehabilitation more agile, we propose an automatic assessment pipeline that starts by recognizing patients' movements by means of a shallow deep learning architecture, then measuring the movement quality using jerk measure and related measures. A particularity of this work is that the dataset used is clinically relevant, since it represents movements inspired from Fugl-Meyer a well common upper-limb clinical stroke assessment scale for stroke patients. We show that it is possible to detect the contrast between healthy and patients movements in terms of smoothness, besides achieving conclusions about the patients' progress during the rehabilitation sessions that correspond to the clinicians' findings about each case.


title: The Possible Emergence of an Attractive Inverse-Square Law from the Wave-Nature of Particles

abstract: A model of a particle in finite space is developed and the properties that the particle may possess under this model are studied. The possibility that particles attract each other due to their own wave nature is discussed. The assumption that the particles are spatially confined oscillations (SCO) in the medium is used. The relation between the SCO and the refractive index of the medium in the idealized universe is derived. Due to the plane wave constituents of SCOs, the presence of a refractive index field with a nonzero gradient causes the SCO to accelerate. The SCO locally changes the refractive index such that another SCO is accelerated towards it, and vice versa. It is concluded that the particles can attract each other due to their wave nature and an inverse-square-type acceleration emerges. The constant parameter in the inverse-square-type acceleration is used to compare with the gravitational constant $G_N$, and the possibility of non inverse-square-type behavior is preliminary discussed.


title: $F^e$-modules with applications to $D$-modules

abstract: Using a theory of $F^e$-modules (a natural extension of Lyubeznik's $F$-module theory), we extend results on Matlis dual of $F$-finite $F$-modules to $D$-submodules of $F^e$-finite $F^e$-modules and apply these results to address the Lyubeznik-Yildirim conjecture in mixed characteristic.


title: A deep real options policy for sequential service region design and timing

abstract: As various city agencies and mobility operators navigate toward innovative mobility solutions, there is a need for strategic flexibility in well-timed investment decisions in the design and timing of mobility service regions, i.e. cast as "real options" (RO). This problem becomes increasingly challenging with multiple interacting RO in such investments. We propose a scalable machine learning based RO framework for multi-period sequential service region design & timing problem for mobility-on-demand services, framed as a Markov decision process with non-stationary stochastic variables. A value function approximation policy from literature uses multi-option least squares Monte Carlo simulation to get a policy value for a set of interdependent investment decisions as deferral options (CR policy). The goal is to determine the optimal selection and timing of a set of zones to include in a service region. However, prior work required explicit enumeration of all possible sequences of investments. To address the combinatorial complexity of such enumeration, we propose a new variant "deep" RO policy using an efficient recurrent neural network (RNN) based ML method (CR-RNN policy) to sample sequences to forego the need for enumeration, making network design & timing policy tractable for large scale implementation. Experiments on multiple service region scenarios in New York City (NYC) shows the proposed policy substantially reduces the overall computational cost (time reduction for RO evaluation of > 90% of total investment sequences is achieved), with zero to near-zero gap compared to the benchmark. A case study of sequential service region design for expansion of MoD services in Brooklyn, NYC show that using the CR-RNN policy to determine optimal RO investment strategy yields a similar performance (0.5% within CR policy value) with significantly reduced computation time (about 5.4 times faster).


title: ExReg: Wide-range Photo Exposure Correction via a Multi-dimensional Regressor with Attention

abstract: Photo exposure correction is widely investigated, but fewer studies focus on correcting under and over-exposed images simultaneously. Three issues remain open to handle and correct under and over-exposed images in a unified way. First, a locally-adaptive exposure adjustment may be more flexible instead of learning a global mapping. Second, it is an ill-posed problem to determine the suitable exposure values locally. Third, photos with the same content but different exposures may not reach consistent adjustment results. To this end, we proposed a novel exposure correction network, ExReg, to address the challenges by formulating exposure correction as a multi-dimensional regression process. Given an input image, a compact multi-exposure generation network is introduced to generate images with different exposure conditions for multi-dimensional regression and exposure correction in the next stage. An auxiliary module is designed to predict the region-wise exposure values, guiding the mainly proposed Encoder-Decoder ANP (Attentive Neural Processes) to regress the final corrected image. The experimental results show that ExReg can generate well-exposed results and outperform the SOTA method by 1.3dB in PSNR for extensive exposure problems. In addition, given the same image but under various exposure for testing, the corrected results are more visually consistent and physically accurate.


title: Exciton magnetic polaron in CdTe/Cd_{1-x}Mn_{x}Te semimagnetic quantum ring

abstract: Magnetically doped nanostructures can significantly enhance the interaction between the band carriers and the dopant atoms. Motivated by the demonstration of the enhanced sp-d exchange interaction in quantum confined structures with the increased stability of the exciton magnetic polaron (EMP), we report the quantitative and qualitative analyses of the EMP formation in CdTe/Cd_{1-x}Mn_{x}Te diluted magnetic quantum ring (QR). The QR with two different configurations: (i) the non-magnetic ring (CdTe) embedded in the semimagnetic Cd_{1-x}Mn_{x}Te matrix, and (ii) magnetically non-uniform quantum structures embedded with Mn2+ ions both in the ring and in the barrier regimes, have been investigated for various mole fractions of the Mn dopants. The larger polaron binding energy (EMP) of 23meV is estimated for the 5% molar Mn contents compared to the other quantum confined systems made of CdMnTe. The magnetic field dependence of the MP energy and the corresponding polaron parameters like exchange field, localization radius of the MP, and the degree of circular polarization induced by the external applied magnetic field at T = 4.2K have been derived. The obtained results are in excellent agreement with the trend of the significant degradation of EMP in an external magnetic field, and with the contradictory tendencies of EMP for the QR with configuration (i) and (ii), as reported from the time-integrated measurements based on selective excitation for the quantum systems made of CdMnTe and other DMS materials.


title: DC Microgrid based on Battery, Photovoltaic, and fuel Cells; Design and Control

abstract: Microgrids offer flexibility in power generation in a way of using multiple renewable energy sources. In the past few years, microgrids become a very active research area in terms of design and control strategies. Most of the microgrids use DC/DC converters to connect renewable energy sources to the load. In this paper, the simulation model of a DC microgrid with three different energy sources (Lithium-ion battery (LIB), photovoltaic (PV) array, and fuel cell) and external variant power load is built with MATLAB/Simulink and the simulative results show that the stability of DC microgrid can be guaranteed by the proposed maximum power point controller MPPT. The three energy sources are connected to the load through DC/DC converters, one for each. This type of topology ensures protection for each energy source as well as optimum stability at the load.


title: Equations of motion governing the dynamics of the exceptional points of parameterically dependent nonhermitian Hamiltonians

abstract: We study exceptional points (EPs) of a nonhermitian Hamiltonian $\hat{H}(\lambda,\delta)$ whose parameters $\lambda \in {\mathbb C}$ and $\delta \in {\mathbb R}$. As the real control parameter $\delta$ is varied, the $k$-th EP (or $k$-th cluster of simultaneously existing EPs) of $\hat{H}(\lambda,\delta)$ moves in the complex plane of $\lambda$ along a continuous trajectory, $\lambda_k(\delta)$. We derive a self contained set of equations of motion (EOM) for the trajectory $\lambda_k(\delta)$, while interpreting $\delta$ as the propagation time. Such EOM become of interest whenever one wishes to study the response of EPs to external perturbations or continuous parametric changes of the pertinent Hamiltonian. This is e.g.~the case of EPs emanating from hermitian curve crossings/degeneracies (which turn into avoided crossings/near-degeneracies when the Hamiltonian parameters are continuously varied). The presented EOM for EPs have not only their theoretical merits, they possess also a substantial practical relevance. Namely, the just presented approach can be regarded even as an efficient numerical method, useful for generating EPs for a broad class of complex quantum systems encountered in atomic, nuclear and condensed matter physics. Performance of such a method is tested here numerically on a simple yet nontrivial toy model.


title: Critical collapse for the Starobinsky $R^2$ model

abstract: We study gravitational collapse for the Starobinsky $R^2$ model, a particular example of an $f(r)$ theory, in a spherically symmetric spacetime. We add a massless scalar field as matter content to the spacetime. We work in the Einstein frame, where an additional scalar field arises due to the conformal transformation. As in general relativity, depending on the initial data, we found that the gravity scalar field and the physical scalar field can collapse, forming a black hole, in which the final solution is the Schwarzschild metric. We found the threshold of black hole formation through a fine-tuning method and studied critical collapse near this regime.


title: Pain level and pain-related behaviour classification using GRU-based sparsely-connected RNNs

abstract: There is a growing body of studies on applying deep learning to biometrics analysis. Certain circumstances, however, could impair the objective measures and accuracy of the proposed biometric data analysis methods. For instance, people with chronic pain (CP) unconsciously adapt specific body movements to protect themselves from injury or additional pain. Because there is no dedicated benchmark database to analyse this correlation, we considered one of the specific circumstances that potentially influence a person's biometrics during daily activities in this study and classified pain level and pain-related behaviour in the EmoPain database. To achieve this, we proposed a sparsely-connected recurrent neural networks (s-RNNs) ensemble with the gated recurrent unit (GRU) that incorporates multiple autoencoders using a shared training framework. This architecture is fed by multidimensional data collected from inertial measurement unit (IMU) and surface electromyography (sEMG) sensors. Furthermore, to compensate for variations in the temporal dimension that may not be perfectly represented in the latent space of s-RNNs, we fused hand-crafted features derived from information-theoretic approaches with represented features in the shared hidden state. We conducted several experiments which indicate that the proposed method outperforms the state-of-the-art approaches in classifying both pain level and pain-related behaviour.


title: Improving Convergence for Quantum Variational Classifiers using Weight Re-Mapping

abstract: In recent years, quantum machine learning has seen a substantial increase in the use of variational quantum circuits (VQCs). VQCs are inspired by artificial neural networks, which achieve extraordinary performance in a wide range of AI tasks as massively parameterized function approximators. VQCs have already demonstrated promising results, for example, in generalization and the requirement for fewer parameters to train, by utilizing the more robust algorithmic toolbox available in quantum computing. A VQCs' trainable parameters or weights are usually used as angles in rotational gates and current gradient-based training methods do not account for that. We introduce weight re-mapping for VQCs, to unambiguously map the weights to an interval of length $2\pi$, drawing inspiration from traditional ML, where data rescaling, or normalization techniques have demonstrated tremendous benefits in many circumstances. We employ a set of five functions and evaluate them on the Iris and Wine datasets using variational classifiers as an example. Our experiments show that weight re-mapping can improve convergence in all tested settings. Additionally, we were able to demonstrate that weight re-mapping increased test accuracy for the Wine dataset by $10\%$ over using unmodified weights.


title: Hanany-Witten brane crossing and Ding-Iohara-Miki algebra

abstract: We further develop the correspondence between representations of Ding-Iohara-Miki (DIM) algebra and Type IIB branes. In particular we explicitly compute the Hanany-Witten type 5-brane crossing operator which plays the role of the $R$-matrix and has interesting combinatorial properties. We explore the corresponding lattice integrable models and notice a possible connection with statistics of plane partitions.


title: Addressing Six Standard Model Problems with Technically Natural Higgs Models

abstract: We aim to study the potential of the recently proposed model framework, called Technically Natural Higgs (TNH), in addressing six fundamental problems in particle physics and cosmology. These questions encompass the electroweak (EW) naturalness problem, neutrino mass generation, nature of the inflaton, the matter-antimatter asymmetry problem, origin of dark matter (DM) and the strong CP problem. We investigate various solutions within the TNH framework for three inflation scenarios $ - $ Higgs, Starobinsky and scale-independent inflation. In the minimal TNH model, the Higgs is a mixture of an elementary and a composite state, with a compositeness scale far exceeding the EW scale. Traditionally, this has required an unnatural small vacuum misalignment, but in the TNH framework a novel mechanism enables a technically natural large compositeness scale, even up to the Planck scale. In this model framework, we demonstrate that a scale-invariant version of the minimal TNH model, featuring a special energy scale of around $ \mathcal{O}(10^{12}) $ GeV, loop-induced by the inflaton, simultaneously yields a technically natural 125-GeV Higgs boson, scotogenic neutrinos, a scale-invariant inflaton and a QCD axion DM candidate. These components dynamically generate the Planck scale and collectively have the potential to address all six open questions.


title: On Machine Learning Knowledge Representation In The Form Of Partially Unitary Operator. Knowledge Generalizing Operator

abstract: A new form of ML knowledge representation with high generalization power is developed and implemented numerically. Initial $\mathit{IN}$ attributes and $\mathit{OUT}$ class label are transformed into the corresponding Hilbert spaces by considering localized wavefunctions. A partially unitary operator optimally converting a state from $\mathit{IN}$ Hilbert space into $\mathit{OUT}$ Hilbert space is then built from an optimization problem of transferring maximal possible probability from $\mathit{IN}$ to $\mathit{OUT}$, this leads to the formulation of a new algebraic problem. Constructed Knowledge Generalizing Operator $\mathcal{U}$ can be considered as a $\mathit{IN}$ to $\mathit{OUT}$ quantum channel; it is a partially unitary rectangular matrix of the dimension $\mathrm{dim}(\mathit{OUT}) \times \mathrm{dim}(\mathit{IN})$ transforming operators as $A^{\mathit{OUT}}=\mathcal{U} A^{\mathit{IN}} \mathcal{U}^{\dagger}$. Whereas only operator $\mathcal{U}$ projections squared are observable $\left\langle\mathit{OUT}|\mathcal{U}|\mathit{IN}\right\rangle^2$ (probabilities), the fundamental equation is formulated for the operator $\mathcal{U}$ itself. This is the reason of high generalizing power of the approach; the situation is the same as for the Schr\"{o}dinger equation: we can only measure $\psi^2$, but the equation is written for $\psi$ itself.


title: The Twin Paradox Put to Rest

abstract: In this letter, we give a simple and analytical solution to the twin paradox. It relies just on Lorentz transformations and does not involve accelerated frames or any kind of signals exchanged between the twins. We expect that with this we can put a dead end to this century-old problem.


title: On the unexpected fate of scientific ideas: An archeology of the Carroll group

abstract: In 1965, I published a paper, exhibiting a hitherto unknown limit of the Lorentz group, which I christened Carroll group because of its seemingly paradoxical physical contents. Since I saw it as more curious than relevant, I published it in French in a journal somewhat afar from the mainstream of theoretical physics at that time. It was most gratifying to witness the quite unexpected favour this paper started to enjoy half a century later, so much that a so-called Carrollian physics is now developing, with applications in various domains of forefront theoretical physics, such as quantum gravitation, supersymmetry, string theory, etc. I offer this narrative as an example of the very diverse time scales with which scientific ideas may develop (or not).


title: Unsupervised learning for structure detection in plastically deformed crystals

abstract: Detecting structures at the particle scale within plastically deformed crystalline materials allows a better understanding of the occurring phenomena. While previous approaches mostly relied on applying hand-chosen criteria on different local parameters, these approaches could only detect already known structures.We introduce an unsupervised learning algorithm to automatically detect structures within a crystal under plastic deformation. This approach is based on a study developed for structural detection on colloidal materials. This algorithm has the advantage of being computationally fast and easy to implement. We show that by using local parameters based on bond-angle distributions, we are able to detect more structures and with a higher degree of precision than traditional hand-made criteria.


title: A quasi-quadratic vertex Kernel for Cograph edge editing

abstract: We provide a $O(k^2 \mathrm{log} k)$ vertex kernel for cograph edge editing. This improves a cubic kernel found by Guillemot, Havet, Paul and Perez [1] which involved four reduction rules. We generalize one of their rules, based on packing of induced paths of length four, by introducing t-modules, which are modules up to t edge modifications. The key fact is that large t-modules cannot be edited more than t times, and this allows to obtain a near quadratic kernel. The extra $\mathrm{log} k$ factor seems tricky to remove as it is necessary in the combinatorial lemma on trees which is central in our proof. Nevertheless, we think that a quadratic bound should be reachable.


title: Black-box language model explanation by context length probing

abstract: The increasingly widespread adoption of large language models has highlighted the need for improving their explainability. We present context length probing, a novel explanation technique for causal language models, based on tracking the predictions of a model as a function of the length of available context, and allowing to assign differential importance scores to different contexts. The technique is model-agnostic and does not rely on access to model internals beyond computing token-level probabilities. We apply context length probing to large pre-trained language models and offer some initial analyses and insights, including the potential for studying long-range dependencies. The source code and an interactive demo of the method are available.


title: Statistics of small prime quadratic non-residues

abstract: We prove that the average of the $k$-th smallest prime quadratic non-residue modulo a prime approximates the $2k$-th smallest prime.


title: Experimental Verification of Two types of Gluon Jets in QCD

abstract: The Abelian decomposition of QCD tells that there are two types of gluons, the color neutral neurons and colored chromons. We propose to confirm the Abelian decomposition testing the existence of two types of gluon jets experimentally. We predict that one quarter of the gluon jet is made of the neurons which has the color factor 3/4 and the sharpest jet radius and smallest charged particle multiplicity, while the three quarters of the gluon jet are made of the chromons with the color factor 9/4 which have the broadest jet radious (broader than the quark jet). Moreover, we argue that the neuron jet has a distinct color flow which forms an ideal color dipole, while the quark and chromon jets have distorted dipole pattern. To test the plausibility of this proposal we suggest to analyse the gluon distribution against the jet shape (the sphericity) and/or particle multiplicity from the existing gluon jet events and look for two distinct peaks in the distribution.


title: Critical values of inner functions

abstract: Let $\mathscr J$ be the space of inner functions of finite entropy endowed with the topology of stable convergence. We prove that an inner function $F \in \mathscr J$ possesses a radial limit (and in fact, a minimal fine limit) in the unit disk at $\sigma(F')$ a.e. point on the unit circle. We use this to show that the singular value measure $\nu(F) = \sum_{c \in \text{crit } F} (1-|c|) \cdot \delta_{F(c)} + F_*(\sigma(F'))$ varies continuously in $F$. Our analysis involves a surprising connection between Beurling-Carleson sets and angular derivatives.


title: Etale cohomologies of quadrics over R

abstract: In this paper, we study etale cohomologies of quadrics over R. An element in the etale cohomology is called algebraic, if it is in the image of the cycle map from the Chow ring. In this paper, we compute the etale cohomology of norm quadrics, and give examples which have many non-algebraic elements.


title: On the structure of mirrored operators obtained from optimal entanglement witnesses

abstract: Entanglement witnesses (EWs) are a versatile tool in the verification of entangled states. The framework of mirrored EW doubles the power of a given EW by introducing its twin -- a mirrored EW -- whereby two EWs related by mirroring can bound the set of separable states more efficiently. In this work, we investigate the relation between the EWs and its mirrored ones, and present a conjecture which claims that the mirrored operator obtained from an optimal EW is either a positive operator or a decomposable EW, which implies that positive-partial-transpose entangled states, also known as the bound entangled states, cannot be detected. This conjecture is reached by studying numerous known examples of optimal EWs. However, the mirrored EWs obtained from the non-optimal ones can be non-decomposable as well. We also show that mirrored operators obtained from the extremal decomposable witnesses are positive semi-definite. Interestingly, the witnesses that violate the well known conjecture of Structural Physical Approximation, do satisfy our conjecture. The intricate relation between these two conjectures is discussed and it reveals a novel structure of the separability problem.


title: Improved discrepancy for the planar Coulomb gas at low temperatures

abstract: We study the planar Coulomb gas in the regime where the inverse temperature $\beta_n$ grows at least logarithmically with respect to the number of particles $n$ (freezing regime, $\beta_n\gtrsim \log n$). We show that, almost surely for large $n$, the discrepancy between the number of particles in any microscopic region and their expected value (given with adequate precision by the equilibrium measure) is, up to log factors, of the order of the perimeter of the observation window. The estimates are valid throughout the whole droplet (the region where the particles accumulate), and are particularly interesting near the boundary, while in the bulk they offer technical improvements over known results. Our work builds on recent results on equidistribution at low temperatures and improves on them by providing refined spectral asymptotics for certain Toeplitz operators on the range of the erfc-kernel (sometimes called Faddeeva or plasma dispersion kernel).


title: The Rough with the Smooth of the Light Cone String

abstract: The polynomials in the generators of a unitary representation of the Poincar\'e group constitute an algebra which maps the dense subspace S of smooth, rapidly decreasing wavefunctions to itself. This mathematical result is highly welcome to physicists, who previously just assumed their algebraic treatment of unbounded operators be justified. The smoothness, however, has the side effect that a rough operator R, which does not map a dense subspace of S to itself, has to be shown to allow for some other dense domain which is mapped to itself both by R and all generators. Otherwise their algebraic product, their concatenation, is not defined. Canonical quantization of the light cone string postulates operators $-i X^1$ and $P^- = (P^0 - P^z)/2$ and as their commutator the multiplicative operator R = P^1/(P^0 + P^z). This is not smooth but rough on the negative z-axis of massless momentum. Using only the commutation relations of P^m with the generators $-i M_iz$ of rotations in the $P^i$-$P^z$-plane we show that on massless states the operator $R$ is inconsistent with a unitary representation of SO(D-1). This makes the algebraic determination of the critical dimension, $D=26$, of the bosonic string meaningless: if the massless states of the light cone string admit R then they do not admit a unitary representation of the subgroup SO(D-1) of the Poincar\'e group. With analogous arguments we show: Massless multiplets are inconsistent with a translation group of the spatial momentum which is generated by a self-adjoint spatial position operator $X$.


title: Correlators in superconformal quivers made QUICK

abstract: In this paper we conclude the program of 2012.15792 and 2105.00257 about perturbative approaches for $\mathcal{N}=2$ superconformal quiver theories in 4D. We consider several classes of observables that involve multitrace local operators and Wilson loops scattered in all the possible ways among the quiver. We evaluate them exploiting the multi-matrix model arising from supersymmetric localisation and we generalise the solution to both $SU(N)$ and $U(N)$ cases. Moreover, we provide QUICK (QUIver Correlator Kit) a Wolfram Mathematica package designed to automatise the perturbative solution of the $A_{q-1}$ multi-matrix model for all the observables mentioned above. Given the interpolating nature of the superconformal quiver theories $A_{q-1}$, the package is an efficient tool to compute correlators also in SCQCD, $\mathcal{N}=4$ SYM and its $\mathbb{Z}_q$ orbifolds. This manuscript includes a user guide and some pedagogical examples.


title: eDIG-CHANGES I: Extended H{\alpha} Emission from the Extraplanar Diffuse Ionized Gas (eDIG) around CHANG-ES Galaxies

abstract: The extraplanar diffuse ionized gas (eDIG) represents the cool/warm ionized gas reservoir around galaxies. We present a spatial analysis of H$\alpha$ images of 22 nearby edge-on spiral galaxies from the CHANG-ES sample (the eDIG-CHANGES project), taken with the APO 3.5m telescope, in order to study their eDIG. We conduct an exponential fit to the vertical intensity profiles of the sample galaxies, of which 16 can be decomposed into a thin disk plus an extended thick disk component. The median value of the scale height (h) of the extended component is $1.13\pm 0.14$ kpc. We find a tight sublinear correlation between h and the SFR. Moreover, the offset of individual galaxies from the best-fit SFR-h relation shows significant anti-correlation with SFR_SD. This indicates that galaxies with more intense star formation tend to have disproportionately extended eDIG. Combined with data from the literature, we find that the correlations between the eDIG properties and the galaxies' properties extend to broader ranges. We further compare the vertical extension of the eDIG to multi-wavelength measurements of other CGM phases. We find the eDIG to be slightly more extended than the neutral gas (HI 21-cm line), indicating the existence of some extended ionizing sources. Most galaxies have an X-ray scale height smaller than the h, suggesting that the majority of the X-ray emission detected in shallow observations are actually from the thick disk. The h is comparable to the L-band radio continuum scale height, both slightly larger than that at higher frequencies (C-band), where the cooling is stronger and the thermal contribution may be larger. The comparable H$\alpha$ and L-band scale height indicates that the thermal and non-thermal electrons have similar spatial distributions. This further indicates that the thermal gas, the cosmics rays, and the magnetic field may be close to energy equipartition.


title: A projection-based reduced-order model for parametric quasi-static nonlinear mechanics using an open-source industrial code

abstract: We propose a projection-based model order reduction procedure for a general class of parametric quasi-static problems in nonlinear mechanics with internal variables. The methodology is integrated in the industrial finite element code code aster. Model order reduction aims to lower the computational cost of engineering studies that involve the simulation to a costly high-fidelity differential model for many different parameters, which correspond, for example to material properties or initial and boundary conditions. We develop an adaptive algorithm based on a POD-Greedy strategy, and we develop an hyper-reduction strategy based on an element-wise empirical quadrature in order to speed up the assembly costs of the reduced-order model by building an appropriate reduced mesh. We introduce a cost-efficient error indicator which relies on the reconstruction of the stress field by a Gappy-POD strategy. We present numerical results for a three-dimensional elastoplastic system in order to illustrate and validate the methodology.


title: Asymptotic Analysis of Harmonic Maps With Prescribed Singularities

abstract: Motivated by stationary vacuum solutions of the Einstein field equations, we study singular harmonic maps from domains of 3-dimensional Euclidean space to the hyperbolic plane having bounded hyperbolic distance to Kerr harmonic maps. In the degenerate case, we prove that every such harmonic map admits a unique tangent harmonic map at the extreme black hole horizon. The possible tangent maps are classified and shown to be shifted 'extreme Kerr' geodesics in the hyperbolic plane that depend on two parameters, one determined by angular momentum and another by conical singularities. In addition, rates of convergence to the tangent map are established. Similarly, expansions in the asymptotically flat end are presented. These results, together with those of Li-Tian and Weinstein, provide a complete regularity theory for harmonic maps from $\mathbb R^3\setminus z\text{-axis}$ to $\mathbb H^2$ with prescribed singularities. Lastly, the analysis is utilized to prove existence of the so called near horizon limit, and to compute the associated near horizon geometries of extreme black holes.


title: Transition metal ion ensembles in crystals as solid-state coherent spin-photon interfaces: The case of nickel in magnesium oxide

abstract: We present general guidelines for finding solid-state systems that could serve as coherent electron spin-photon interfaces even at relatively high temperatures, where phonons are abundant but cooling is easier, and show that transition metal ions in various crystals could comply with these guidelines. As an illustrative example, we focus on divalent nickel ions in magnesium oxide. We perform electron spin resonance spectroscopy and polarization-sensitive magneto-optical fluorescence spectroscopy of a dense ensemble of these ions and find that (i) the ground-state electron spin stays coherent at liquid-helium temperatures for several microseconds, and (ii) there exists energetically well-isolated excited states which can couple to two ground state spin sub-levels via optical transitions of orthogonal polarizations. The latter implies that fast, coherent optical control over the electron spin is possible. We then propose schemes for optical initialization and control of the ground-state electron spin using polarized optical pulses, as well as two schemes for implementing a noise-free, broadband quantum-optical memory at near-telecom wavelengths in this material system.


title: Informing selection of performance metrics for medical image segmentation evaluation using configurable synthetic errors

abstract: Machine learning-based segmentation in medical imaging is widely used in clinical applications from diagnostics to radiotherapy treatment planning. Segmented medical images with ground truth are useful for investigating the properties of different segmentation performance metrics to inform metric selection. Regular geometrical shapes are often used to synthesize segmentation errors and illustrate properties of performance metrics, but they lack the complexity of anatomical variations in real images. In this study, we present a tool to emulate segmentations by adjusting the reference (truth) masks of anatomical objects extracted from real medical images. Our tool is designed to modify the defined truth contours and emulate different types of segmentation errors with a set of user-configurable parameters. We defined the ground truth objects from 230 patient images in the Glioma Image Segmentation for Radiotherapy (GLIS-RT) database. For each object, we used our segmentation synthesis tool to synthesize 10 versions of segmentation (i.e., 10 simulated segmentors or algorithms), where each version has a pre-defined combination of segmentation errors. We then applied 20 performance metrics to evaluate all synthetic segmentations. We demonstrated the properties of these metrics, including their ability to capture specific types of segmentation errors. By analyzing the intrinsic properties of these metrics and categorizing the segmentation errors, we are working toward the goal of developing a decision-tree tool for assisting in the selection of segmentation performance metrics.


title: Properties of multiple D0-brane system: 11D origin, equations of motion and their solutions

abstract: We study the properties of 10D multiple D0-brane (mD0) system described by recently proposed complete supersymmetric and $\kappa$-symmetric nonlinear action which includes an arbitrary positive definite function ${\cal M}({\cal H})$ of the relative motion Hamiltonian ${\cal H}$. First we show how the action with a particular nonlinear ${\cal M}({\cal H})$ can be obtained from the action for 11D multiple M-wave (multiple M0-brane or mM0) system. Then we obtain the complete set of equations of motion of mD0 system with arbitrary positive definite ${\cal M}({\cal H})$, perform a convenient gauge fixing, solve the center of energy equations and establish an interesting correspondence between the relative motion mD0 equations and the equations of maximal supersymmetric SU(N) Yang-Mills theory (SYM). We show that this correspondence does not imply a gauge equivalence but establishes a relation between solutions of the system. In particular, it implies that all the supersymmetric solutions of mD0 equations in its relative motion part coincide with supersymmetric solutions of the SYM equations.


title: Design and Optimisation of High-Speed Receivers for 6G Optical Wireless Networks

abstract: To achieve multi-Gb/s data rates in 6G optical wireless access networks based on narrow infrared (IR) laser beams, a high-speed receiver with two key specifications is needed: a sufficiently large aperture to collect the required optical power and a wide field of view (FOV) to avoid strict alignment issues. This paper puts forward the systematic design and optimisation of multi-tier non-imaging angle diversity receivers (ADRs) composed of compound parabolic concentrators (CPCs) coupled with photodiode (PD) arrays for laser-based optical wireless communication (OWC) links. Design tradeoffs include the gain-FOV tradeoff for each receiver element and the area-bandwidth tradeoff for each PD array. The rate maximisation is formulated as a non-convex optimisation problem under the constraints on the minimum required FOV and the overall ADR dimensions to find optimum configuration of the receiver bandwidth and FOV, and a low-complexity optimal solution is proposed. The ADR performance is studied using computer simulations and insightful design guidelines are provided through various numerical examples. An efficient technique is also proposed to reduce the ADR dimensions based on CPC length truncation. It is shown that a compact ADR with a height of $\leq0.5$ cm and an effective area of $\leq0.5$ cm$^2$ reaches a data rate of $12$ Gb/s with a half-angle FOV of $30^\circ$ over a $3$ m link distance.


title: Charmed roots and the Kroweras complement

abstract: Although both noncrossing partitions and nonnesting partitions are uniformly enumerated for Weyl groups, the exact relationship between these two sets of combinatorial objects remains frustratingly mysterious. In this paper, we give a precise combinatorial answer in the case of the symmetric group: for any standard Coxeter element, we construct an equivariant bijection between noncrossing partitions under the Kreweras complement and nonnesting partitions under a Coxeter-theoretically natural cyclic action we call the Kroweras complement. Our equivariant bijection is the unique bijection that is both equivariant and support-preserving, and is built using local rules depending on a new definition of charmed roots. Charmed roots are determined by the choice of Coxeter element -- in the special case of the linear Coxeter element $(1, 2, \dots, n)$, we recover one of the standard bijections between noncrossing and nonnesting partitions.


title: Boundary Quantum Phase Transitions in the Spin $\frac{1}{2}$ Heisenberg Chain with Boundary Magnetic Fields

abstract: We consider the spin $\frac{1}{2}$ Heisenberg chain with boundary magnetic fields and analyze it using a combination of Bethe ansatz and density matrix renormalization group (DMRG) techniques. We show that the system exhibits several different ground states which depend on the orientation of the boundary magnetic fields. When both the boundary fields take equal values greater than a critical field strength, each edge in the ground state accumulates a fractional spin which saturates to spin $\frac{1}{4}$, which is similar to systems exhibiting symmetry protected topological phases (SPT). Unlike in SPT systems, the fractional boundary spin in the Heisenberg spin chain is not a genuine quantum number since the variance of the associated operator does not vanish, this is due to the absence of a bulk gap. The system exhibits high energy bound states when the boundary fields take values greater than the critical field. All the excitations in the system can be sorted out into towers whose number depends on the number of bound states exhibited by the system. As the boundary fields are varied, in addition to the ground state phase transition, we find that the system may undergo an eigenstate phase transition (EPT) where the number of towers of the Hilbert space changes. We further inquire how the EPT reflects itself on local ground state properties by computing the magnetization profile $\langle S^z_j \rangle$ using DMRG. We identify a clear qualitative change from low edge fields to high edge fields when crossing the critical field. We though are unable to conclude on the basis of our data that EPT corresponds to a genuine phase transition in the ground state.


title: Lattice operads and operad filtrations

abstract: We elaborate on the notion of a filtration of an operad defined in terms of a lattice-valued operad serving as an indexing object. That covers ordinary integer-indexed filtrations of associative algebras and operads as a special case, yet the notion appears to be natural enough to encompass examples of other kind as well. The characteristic property of lattice operads is that of a certain distributivity of partial compositions with respect to meets and joins. We observe that some well-known families of lattices of combinatorial origin, such as Tamari lattices, assemble to operads subject to this particular property. Other examples include an operad of integer paritions supported on Young's lattice, operads of integer compositions of types $A, B$ and $D$, which we relate to operads of regular polytopes.


title: Large Language Models are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models

abstract: Detecting bugs in Deep Learning (DL) libraries (e.g., TensorFlow/PyTorch) is critical for almost all downstream DL systems in ensuring effectiveness/safety for end users. Meanwhile, traditional fuzzing techniques can be hardly effective for such a challenging domain since the input DL programs need to satisfy both the input language (e.g., Python) syntax/semantics and the DL API input/shape constraints for tensor computations. To address these limitations, we propose TitanFuzz - the first approach to directly leveraging Large Language Models (LLMs) to generate input programs for fuzzing DL libraries. LLMs are titanic models trained on billions of code snippets and can auto-regressively generate human-like code snippets. Our key insight is that modern LLMs can also include numerous code snippets invoking DL library APIs in their training corpora, and thus can implicitly learn both language syntax/semantics and intricate DL API constraints for valid DL program generation. More specifically, we use both generative and infilling LLMs (e.g., Codex/InCoder) to generate and mutate valid/diverse input DL programs for fuzzing. Our experimental results demonstrate that TitanFuzz can achieve 30.38%/50.84% higher code coverage than state-of-the-art fuzzers on TensorFlow/PyTorch. Furthermore, TitanFuzz is able to detect 65 bugs, with 41 already confirmed as previously unknown bugs. This paper demonstrates that modern titanic LLMs can be leveraged to directly perform both generation-based and mutation-based fuzzing studied for decades, while being fully automated, generalizable, and applicable to domains challenging for traditional approaches (such as DL systems). We hope TitanFuzz can stimulate more work in this promising direction of LLMs for fuzzing.


title: Mid-Infrared Spectroscopy of Components in Chondrites: Search for Processed Materials in Young Solar Systems and Comets

abstract: We obtained mid-infrared spectra of chondrules, matrix, CAIs and bulk material from primitive type 1-4 chondrites in order to compare them with the dust material in young, forming solar systems and around comets. Our aim is to investigate whether there are similarities between the first processed materials in our early Solar System and protoplanetary disks currently forming around other stars. Chondrule spectra can be divided into two groups. 1) Chondrules dominated by olivine features at 11.3 micron and 10.0 micron. 2) mesostasis rich chondrules that show main features at 10 micron. Bulk ordinary chondrites show similar features to both groups. Fine-grained matrix is divided into three groups. 1) phyllosilicate-rich with a main band at 10 micron, 2) olivine-rich with bands at 11.3 micron and 10 micron, 3) pyroxene rich. Impact shock processed matrix from Murchison (CM2) shows features from phyllosilicate-rich, amorphous and olivine rich material. Astronomical spectra are divided into four groups based on their spectral characteristics, amorphous (group 1), pyroxene rich (group 2), olivine rich (group 3) and complex (group 4). Group 2 is similar to enstatite-rich fine grained material like e.g. Kakangari (K3) matrix. Group 3 and 4 can be explained by a combination of varying concentrations of olivine and mesostasis rich chondrules and fine grained matrix, but also show very good agreement with shock processed material. Comparison of band ratios confirms the similarity with chondritic material e.g. for HD100546, while the inner disk of HD142527 show no sign of chondrule material. Comparison between spectra indicate a general similarity between primitive solar system materials and circumstellar dust and comets.


title: Supermagic labeling of $C_n\Box C_m$

abstract: A supermagic labeling (often also called supermagic labeling) of a graph $G(V,E)$ with $|E|=k$ is a bijection from $E$ to the set of first $k$ positive integers such that the sum of labels of all incident edges of every vertex $x\in V$ is equal to the same integer $c$. An existence of a supermagic labeling of Cartesian product of two cycles, $C_{n}\Box C_m$ for $n,m\geq4$ and both $n,m$ even and for any $C_n\Box C_n$ with $n\geq3$ was proved by Ivan\v{c}o. Ivan\v{c}o also conjectured that such labeling is possible for any $C_n\Box C_m$ with $n,m\geq3$. We prove his conjecture for all $n,m$ odd that are not relatively prime.


title: Disentangling the Seesaw in the Left-Right Model -- An Algorithm for the General Case

abstract: Senjanovic and Tello have analyzed how one could determine the neutrino Dirac mass matrix in the minimal left-right model, assuming that the mass matrices for the light and heavy neutrinos could be taken as inputs. They have provided an analytical solution for the Dirac mass matrix in the case that the left-right symmetry is implemented via a generalized parity symmetry and that this symmetry remains unbroken in the Dirac Yukawa sector. We extend the work of Senjanovic and Tello to the case in which the generalized parity symmetry is broken in the Dirac Yukawa sector. In this case the elegant method outlined by Senjanovic and Tello breaks down and we need to adopt a numerical approach. Several iterative approaches are described; these are found to work in some cases but to be highly unstable in others. A stable, prescriptive numerical algorithm is described that works in all but a vanishingly small number of cases. We apply this algorithm to numerical data sets that are consistent with current experimental constraints on neutrino masses and mixings. We also provide some additional context and supporting explanations for the case in which the parity symmetry is unbroken.


title: PAC-Bayesian-Like Error Bound for a Class of Linear Time-Invariant Stochastic State-Space Models

abstract: In this paper we derive a PAC-Bayesian-Like error bound for a class of stochastic dynamical systems with inputs, namely, for linear time-invariant stochastic state-space models (stochastic LTI systems for short). This class of systems is widely used in control engineering and econometrics, in particular, they represent a special case of recurrent neural networks. In this paper we 1) formalize the learning problem for stochastic LTI systems with inputs, 2) derive a PAC-Bayesian-Like error bound for such systems, 3) discuss various consequences of this error bound.


title: On the Packing Density Bound in 3-Space

abstract: The note shows an easy way to improve E.H. Smith's packing density bound in $\mathbb{R}^3$ from $0.53835...$ to $0.54755...$ .


title: Normalized Blood Flow Index in Optical Coherence Tomography Angiography Provides a Sensitive Biomarker of Early Diabetic Retinopathy

abstract: Purpose: To evaluate the sensitivity of normalized blood flow index (NBFI) for detecting early diabetic retinopathy (DR). Methods: Optical coherence tomography angiography (OCTA) images of 30 eyes from 20 healthy controls, 21 eyes of diabetic patients with no DR (NoDR) and 26 eyes from 22 patients with mild non-proliferative DR (NPDR) were analyzed in this study. The OCTA images were centered on the fovea and covered a 6 mm x 6 mm area. Enface projections of the superficial vascular plexus (SVP) and the deep capillary plexus (DCP) were obtained for the quantitative OCTA feature analysis. Three quantitative OCTA features were examined: blood vessel density (BVD), blood flow flux (BFF), and normalized blood flow index (NBFI). Each feature was calculated from both the SVP and DCP and their sensitivity to distinguish the three cohorts of the study were evaluated. Results: The only quantitative feature that was capable of distinguishing between all three cohorts was NBFI in the DCP image. Comparative study revealed that both BVD and BFF were able to distinguish the controls from NoDR and mild NPDR. However, neither BVD nor BFF was sensitive enough to separate NoDR from the healthy controls. Conclusion: The NBFI has been demonstrated as a sensitive biomarker of early DR, revealing retinal blood flow abnormality better than traditional BVD and BFF. The NBFI in the DCP was verified as the most sensitive biomarker, supporting that diabetes affects the DCP earlier than SVP in DR.


title: Identities for combinatorial sums involving trigonometric functions

abstract: Let $$ A_{m,n}(a)=\sum_{j=0}^m (-4)^j {m+j\choose 2j}\sum_{k=0}^{n-1} \sin(a+2k\pi/n) \cos^{2j}(a+2k\pi/n) $$ and $$ B_{m,n}(a)=\sum_{j=0}^m (-4)^j {m+j+1\choose 2j+1}\sum_{k=0}^{n-1} \sin(a+2k\pi/n) \cos^{2j+1}(a+2k\pi/n), $$ where $m\geq 0$ and $n\geq 1$ are integers and $a$ is a real number. We present two proofs for the following results: (i) If $2m+1 \equiv 0 \, (\mbox{mod} \, n)$, then $$ A_{m,n}(a)=(-1)^m n \sin((2m+1)a). $$ (ii) If $2m+1 \not\equiv 0 \, (\mbox{mod} \, n)$, then $A_{m,n}(a)=0$. (iii) If $2(m+1) \equiv 0 \, (\mbox{mod} \, n)$, then $$ B_{m,n}(a)=(-1)^m \frac{n}{2} \sin(2(m+1)a). $$ (iv) If $2(m+1) \not\equiv 0 \, (\mbox{mod} \, n)$, then $B_{m,n}(a)=0$.


title: Chaos and the reparametrization mode on the AdS$_2$ string

abstract: We study the holographic correlators corresponding to scattering of fluctuations of an open string worldsheet with AdS$_2$ geometry. In the out-of-time-order configuration, the correlators display a Lyapunov growth that saturates the chaos bound. We show that in a double-scaling limit interpolating between the Lyapunov regime and the late time exponential decay, the out-of-time-order correlator (OTOC) can be obtained exactly, and it has the same functional form found in the analogous calculation in JT gravity. The result can be understood as coming from high energy scattering near the horizon of a AdS$_2$ black hole, and is essentially controlled by the flat space worldsheet S-matrix. While previous works on the AdS$_2$ string employed mainly a static gauge approach, here we focus on conformal gauge and clarify the role of boundary reparametrizations in the calculation of the correlators. We find that the reparametrization mode is governed by a non-local action which is distinct from the Schwarzian action arising in JT gravity, and in particular leads to $SL(2,\mathbb{R})$ invariant boundary correlators. The OTOC in the double-scaling limit, however, has the same functional form as that obtained from the Schwarzian, and it can be computed using the reparametrization action and resumming a subset of diagrams that are expected to dominate in the limit. One application of our results is to the defect CFT defined by the half-BPS Wilson loop in ${\cal N}=4$ SYM. In this context, we show that the exact result for the OTOC in the double-scaling limit is in precise agreement with a recent analytic bootstrap prediction to three-loop order at strong coupling.


title: On the structural stability of a simple cosmological model in $R+\alpha R^{2}$ theory of gravity

abstract: Theory of gravity with a quadratic contribution of scalar curvature is investigated in terms of dynamical system approach. The simplest Friedmann-Robertson-Walker metric is used to formulate dynamics in Jordan frame as well as in conformally transformed Einstein frame. We show that in both frames there are stable de Sitter states for which the Hubble function expansion naturally gives terms corresponding to non-substantial dark matter. Using invariant centre manifold we show that in the Einstein frame there is a zero measure set of initial conditions leading from unstable to stable de Sitter state. Additionally, the initial de Sitter state is plunged with a parallelly propagated singularity. We show that the Jordan frame and the Einstein frame formulation of the theory are physically nonequivalent.


title: Simple physics and integrators accurately reproduce Mercury instability statistics

abstract: The long-term stability of the Solar System is an issue of significant scientific and philosophical interest. The mechanism leading to instability is Mercury's eccentricity being pumped up so high that Mercury either collides with Venus or is scattered into the Sun. Previously, only three five-billion-year $N$-body ensembles of the Solar System with thousands of simulations have been run to assess long-term stability. We generate two additional ensembles, each with 2750 members, and make them publicly available at \texttt{https://archive.org/details/@dorianabbot}. We find that accurate Mercury instability statistics can be obtained by (1) including only the Sun and the 8 planets, (2) using a simple Wisdom-Holman scheme without correctors, (3) using a basic representation of general relativity, and (4) using a time step of 3.16 days. By combining our Solar System ensembles with previous ensembles we form a 9,601-member ensemble of ensembles. In this ensemble of ensembles, the logarithm of the frequency of a Mercury instability event increases linearly with time between 1.3 and 5 Gyr, suggesting that a single mechanism is responsible for Mercury instabilities in this time range and that this mechanism becomes more active as time progresses. Our work provides a robust estimate of Mercury instability statistics over the next five billion years, outlines methodologies that may be useful for exoplanet system investigations, and provides two large ensembles of publicly available Solar System integrations that can serve as testbeds for theoretical ideas as well as training sets for artificial intelligence schemes.


title: On the covariant Hamilton-Jacobi formulation of Maxwell's equations via the polysymplectic reduction

abstract: The covariant Hamilton-Jacobi formulation of Maxwell's equations is derived from the first-order (Palatini-like) Lagrangian using the analysis of constraints within the De~Donder-Weyl covariant Hamiltonian formalism and the corresponding polysymplectic reduction.


title: Detection possibility of a Pseudo-FIMP in presence of a thermal WIMP

abstract: A dark matter (DM) having feeble interaction with the visible sector can thermalise via substantial interaction with a Weakly Interacting Massive Particle (WIMP). Such DM candidates are categorised as pseudo-FIMP (pFIMP). pFIMP can provide both direct and indirect search prospects via WIMP loop. This work focuses into such possibilities. We provide all such one loop graphs involving scalar, fermion and vector boson particles via which pFIMP can interact with the Standard Model assuming both of them are stabilised via $\mathbb{Z}_2\otimes \mathbb{Z}_2^{\prime}$ symmetries. We elaborate upon a model where a fermion DM acts as WIMP and a scalar singlet acts as pFIMP having negligible Higgs portal interaction and substantial conversion via Yukawa interaction. We study in details the loop induced direct and indirect search prospects of the pFIMP in the relic density allowed region of the model.


title: Deterministic counting Lov\'{a}sz local lemma beyond linear programming

abstract: We give a simple combinatorial algorithm to deterministically approximately count the number of satisfying assignments of general constraint satisfaction problems (CSPs). Suppose that the CSP has domain size $q=O(1)$, each constraint contains at most $k=O(1)$ variables, shares variables with at most $\Delta=O(1)$ constraints, and is violated with probability at most $p$ by a uniform random assignment. The algorithm returns in polynomial time in an improved local lemma regime: \[ q^2\cdot k\cdot p\cdot\Delta^5\le C_0\quad\text{for a suitably small absolute constant }C_0. \] Here the key term $\Delta^5$ improves the previously best known $\Delta^7$ for general CSPs [JPV21b] and $\Delta^{5.714}$ for the special case of $k$-CNF [JPV21a, HSW21]. Our deterministic counting algorithm is a derandomization of the very recent fast sampling algorithm in [HWY22]. It departs substantially from all previous deterministic counting Lov\'{a}sz local lemma algorithms which relied on linear programming, and gives a deterministic approximate counting algorithm that straightforwardly derandomizes a fast sampling algorithm, hence unifying the fast sampling and deterministic approximate counting in the same algorithmic framework. To obtain the improved regime, in our analysis we develop a refinement of the $\{2,3\}$-trees that were used in the previous analyses of counting/sampling LLL. Similar techniques can be applied to the previous LP-based algorithms to obtain the same improved regime and may be of independent interests.


title: Symmetries, conservation and dissipation in time-dependent contact systems

abstract: In contact Hamiltonian systems, the so-called dissipated quantities are akin to conserved quantities in classical Hamiltonian systems. In this paper, we prove a Noether's theorem for non-autonomous contact Hamiltonian systems, characterizing a class of symmetries which are in bijection with dissipated quantities. We also study other classes of symmetries which preserve (up to a conformal factor) additional structures, such as the contact form or the Hamiltonian function. Furthermore, making use of the geometric structures of the extended tangent bundle, we introduce additional classes of symmetries for time-dependent contact Lagrangian systems. Our results are illustrated with several examples. In particular, we present the two-body problem with time-dependent friction, which could be interesting in celestial mechanics.


title: Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search

abstract: Learning efficient and interpretable policies has been a challenging task in reinforcement learning (RL), particularly in the visual RL setting with complex scenes. While neural networks have achieved competitive performance, the resulting policies are often over-parameterized black boxes that are difficult to interpret and deploy efficiently. More recent symbolic RL frameworks have shown that high-level domain-specific programming logic can be designed to handle both policy learning and symbolic planning. However, these approaches rely on coded primitives with little feature learning, and when applied to high-dimensional visual scenes, they can suffer from scalability issues and perform poorly when images have complex object interactions. To address these challenges, we propose \textit{Differentiable Symbolic Expression Search} (DiffSES), a novel symbolic learning approach that discovers discrete symbolic policies using partially differentiable optimization. By using object-level abstractions instead of raw pixel-level inputs, DiffSES is able to leverage the simplicity and scalability advantages of symbolic expressions, while also incorporating the strengths of neural networks for feature learning and optimization. Our experiments demonstrate that DiffSES is able to generate symbolic policies that are simpler and more and scalable than state-of-the-art symbolic RL methods, with a reduced amount of symbolic prior knowledge.


title: Some identities on generalized harmonic numbers and generalized harmonic functions

abstract: The harmonic numbers and generalized harmonic numbers appear frequently in many diverse areas such as combinatorial problems, many expressions involving special functions in analytic number theory and analysis of algorithms. The aim of this paper is to derive some identities involving generalized harmonic numbers and generalized harmonic functions from the beta functions F(x)= B( x+1, n+1), ( n=0,1,2,..) using elementary methods.


title: Local independence in mean-field spin glasses

abstract: We present a new approach to local independence in spin glasses, i.e. the phenomenon that any fixed subset of coordinates is asymptotically independent in the thermodynamic limit. The approach generalizes the rigorous cavity method from Talagrand by considering multiple cavity sites. Under replica-symmetric conditions of thin-shell and overlap concentration, the cavity fields are revealed to be asymptotically independent, conditionally on the disorder, which in turn leads to local independence. Conversely, it is shown that local independence implies those replica-symmetric properties. The framework is general enough to encompass the classical and soft spin ($[-1,1]$) Sherrington-Kirkpatrick models, as well as the Gardner spin glasses.


title: An Analysis of Attention via the Lens of Exchangeability and Latent Variable Models

abstract: With the attention mechanism, transformers achieve significant empirical successes. Despite the intuitive understanding that transformers perform relational inference over long sequences to produce desirable representations, we lack a rigorous theory on how the attention mechanism achieves it. In particular, several intriguing questions remain open: (a) What makes a desirable representation? (b) How does the attention mechanism infer the desirable representation within the forward pass? (c) How does a pretraining procedure learn to infer the desirable representation through the backward pass? We observe that, as is the case in BERT and ViT, input tokens are often exchangeable since they already include positional encodings. The notion of exchangeability induces a latent variable model that is invariant to input sizes, which enables our theoretical analysis. - To answer (a) on representation, we establish the existence of a sufficient and minimal representation of input tokens. In particular, such a representation instantiates the posterior distribution of the latent variable given input tokens, which plays a central role in predicting output labels and solving downstream tasks. - To answer (b) on inference, we prove that attention with the desired parameter infers the latent posterior up to an approximation error, which is decreasing in input sizes. In detail, we quantify how attention approximates the conditional mean of the value given the key, which characterizes how it performs relational inference over long sequences. - To answer (c) on learning, we prove that both supervised and self-supervised objectives allow empirical risk minimization to learn the desired parameter up to a generalization error, which is independent of input sizes. Particularly, in the self-supervised setting, we identify a condition number that is pivotal to solving downstream tasks.


title: Particle method and quantization-based schemes for the simulation of the McKean-Vlasov equation

abstract: In this paper, we study three numerical schemes for the McKean-Vlasov equation \[\begin{cases} \;dX_t=b(t, X_t, \mu_t) \, dt+\sigma(t, X_t, \mu_t) \, dB_t,\: \\ \;\forall\, t\in[0,T],\;\mu_t \text{ is the probability distribution of }X_t, \end{cases}\] where $X_0$ is a known random variable. Under the assumption on the Lipschitz continuity of the coefficients $b$ and $\sigma$, our first result proves the convergence rate of the particle method with respect to the Wasserstein distance, which extends a previous work [BT97] established in one-dimensional setting. In the second part, we present and analyse two quantization-based schemes, including the recursive quantization scheme (deterministic scheme) in the Vlasov setting, and the hybrid particle-quantization scheme (random scheme, inspired by the $K$-means clustering). Two examples are simulated at the end of this paper: Burger's equation and the network of FitzHugh-Nagumo neurons in dimension 3.


title: Complete Description of Measures Corresponding to Abelian Varieties over Finite Fields

abstract: We study probability measures corresponding to families of abelian varieties over a finite field. These measures play an important role in the Tsfasman- Vladuts theory of asymptotic zeta-functions defining completely the limit zeta-function of the family. J.-P.Serre, using results of R.M.Robinson on conjugate algebraic integers, described the possible set of measures than can correspond to families of abelian varieties over a finite field. The problem whether all such measures actually occur was left open. Moreover, Serre supposed that not all such measures correspond to abelian varieties (for example, the Lebesgue measure on a segment). Here we settle Serre's problem proving that Serre conditions are sufficient, and thus describe completely the set of measures corresponding to abelian varieties.