title: An $E_8 \otimes E_8$ unification of the standard model with pre-gravitation, on an octonion-valued twistor space

abstract: We propose an $E_8\otimes E_8$ unification of the standard model with pre-gravitation, on an octonionic space (i.e. an octonion-valued twistor space equivalent to a 10D space-time). Each of the $E_8$ has in its branching an $SU(3)$ for space-time and an $SU(3)$ for three fermion generations. The first $E_8$ further branches to the standard model $SU(3)_c \otimes SU(2)_L \otimes U(1)_Y$ and describes the gauge bosons, Higgs and the left chiral fermions of the standard model. The second $E_8$ further branches into a right-handed counterpart (pre-gravitation) $SU(3)_{grav}\otimes SU(2)_R \otimes U(1)_g$ of the standard model, and describes right chiral fermions, a Higgs, and twelve gauge bosons associated with pre-gravitation, from which general relativity is emergent. The extra dimensions are complex and they are not compactified, and have a thickness comparable to the ranges of the strong force and the weak force. Only classical systems live in 4D; quantum systems live in 10D at all energies, including in the presently observed low-energy universe. We account for 208 out of the 496 degrees of freedom of $E_8\otimes E_8$ and propose an interpretation for the remaining 288, motivated by the trace dynamics Lagrangian of our theory.


title: Octonion Internal Space Algebra for the Standard Model

abstract: The paper surveys recent progress in the search for an appropriate internal space algebra for the Standard Model (SM) of particle physics. As a starting point serve Clifford algebras involving operators of left multiplication by octonions. A central role is played by a distinguished complex structure which implements the splitting of the octonions ${\mathbb O} = {\mathbb C} \oplus {\mathbb C}^3$ reflecting the lepton-quark symmetry. Such a complex structure in $C\ell_{10}$ is generated by the $C\ell_6(\subset C\ell_8\subset C\ell_{10})$ volume form, $\omega_6 = \gamma_1 \cdots \gamma_6$, left invariant by the Pati-Salam subgroup of $Spin(10)$, $G_{\rm PS} = Spin (4) \times Spin (6) / {\mathbb Z}_2$. While the $Spin(10)$ invariant volume form $\omega_{10}=\gamma_1 ... \gamma_{10}$ is known to split the Dirac spinors of $C\ell_{10}$ into left and right chiral (semi)spinors, ${\cal P} = \frac12 (1 - i\omega_6)$ is interpreted as the projector on the 16-dimensional \textit{particle subspace} (annihilating the antiparticles). The standard model gauge group appears as the subgroup of $G_{PS}$ that preserves the sterile neutrino (identified with the Fock vacuum). The $\mathbb{Z}_2$-graded internal space algebra $\mathcal{A}$ is then included in the projected tensor product: $\mathcal{A}\subset \mathcal{P}C\ell_{10}\mathcal{P}=C\ell_4\otimes \mathcal{P} C\ell_6^0\mathcal{P}$. The Higgs field appears as the scalar term of a superconnection, an element of the odd part, $C\ell_4^1$, of the first factor. The fact that the projection of $C\ell_{10}$ only involves the even part $C\ell_6^0$ of the second factor guarantees that the colour symmetry remains unbroken. As an application we express the ratio $\frac{m_H}{m_W}$ of the Higgs to the $W$-boson masses in terms of the cosine of the {\it theoretical} Weinberg angle.


title: Optomechanical generation of coherent GHz vibrations in a phononic waveguide

abstract: Nanophononics has the potential for information transfer, in an analogous manner to its photonic and electronic counterparts. The adoption of phononic systems has been limited, due to difficulties associated with the generation, manipulation, and detection of phonons, especially at GHz frequencies. Existing techniques often require piezoelectric materials with an external radiofrequency excitation that are not readily integrated into existing CMOS infrastructures, while non-piezoelectric demonstrations have been inefficient. In this work, we explore the optomechanical generation of coherent phonons in a suspended 2D silicon phononic crystal cavity with a guided mode around 6.8 GHz. By incorporating an air-slot into this cavity, we turn the phononic waveguide into an optomechanical platform that exploits localized photonic modes resulting from inherent fabrication imperfections for the transduction of mechanics. Such a platform exhibits very fine control of phonons using light, and is capable of coherent self-sustained phonon generation via mechanical lasing around 6.8 GHz. The ability to generate high frequency coherent mechanical vibrations within such a simple 2D CMOS-compatible system could be a first step towards the development of sources in phononic circuitry and the coherent manipulation of other solid-state properties.


title: Heat conductance oscillations in two weakly connected charge Kondo circuits

abstract: We revisit a model describing Seebeck effect on a weak link between two charge Kondo circuits, which has been proposed in the [Phys. Rev. B 97, 085403 (2018)]. We calculate the thermoelectric coefficients in the perturbation theory assuming smallness of the reflection amplitudes of the quantum point contacts. We focus on the linear response equations for the heat conductance in three different scenarios as: Fermi liquid vs Fermi liquid, Fermi liquid vs non-Fermi liquid, nonFermi liquid vs non-Fermi liquid. The oscillations of the heat conductance as a function of the gate voltage of each quantum dot are analysed in both Fermi liquid and non-Fermi liquid regimes. We discuss possible experimental realizations of the model to observe the signatures of the non-Fermi liquid behaviour in the heat conductance measurements.


title: Probabilistic forecasting of bus travel time with a Bayesian Gaussian mixture model

abstract: Accurate forecasting of bus travel time and its uncertainty is critical to service quality and operation of transit systems; for example, it can help passengers make better decisions on departure time, route choice, and even transport mode choice and also support transit operators to make informed decisions on tasks such as crew/vehicle scheduling and timetabling. However, most existing approaches in bus travel time forecasting are based on deterministic models that provide only point estimation. To this end, we develop in this paper a Bayesian probabilistic forecasting model for bus travel time. To characterize the strong dependencies/interactions between consecutive buses, we concatenate the link travel time vectors and the headway vector from a pair of two adjacent buses as a new augmented variable and model it with a constrained Multivariate Gaussian mixture distributions. This approach can naturally capture the interactions between adjacent buses (e.g., correlated speed and smooth variation of headway), handle missing values in data, and depict the multimodality in bus travel time distributions. Next, we assume different periods in a day share the same set of Gaussian components but different mixing coefficients to characterize the systematic temporal variations in bus operation. For model inference, we develop an efficient Markov chain Monte Carlo (MCMC) sampling algorithm to obtain the posterior distributions of model parameters and make probabilistic forecasting. We test the proposed model using the data from a twenty-link bus route in Guangzhou, China. Results show our approach significantly outperforms baseline models that overlook bus-to-bus interactions in terms of both predictive means and distributions. Besides forecasting, the parameters of the proposed model contain rich information for understanding/improving the bus service.


title: Recent progress on Majorana in semiconductor-superconductor heterostructures--Engineering and detection

abstract: Majorana zero modes (MZMs) are exotic excitations (in condensed matter systems) that have potential applications in topological quantum computation. Though MZMs have been predicted on many platforms, their existence of them is still under debate. In this paper, we review the recent progress of engineering and detecting MZMs in semiconductor-superconductor heterostructures. We also briefly review the protocols of implementing topological quantum computation by hybrid semiconductor-superconductor nanowires.


title: Structural aspects of FRG in quantum tunnelling computations

abstract: We probe both the unidimensional quartic harmonic oscillator and the double well potential through a numerical analysis of the Functional Renormalization Group flow equations truncated at first order in the derivative expansion. The two partial differential equations for the potential V_k(varphi) and the wave function renormalization Z_k(varphi), as obtained in different schemes and with distinct regulators, are studied down to k=0, and the energy gap between lowest and first excited state is computed, in order to test the reliability of the approach in a strongly non-perturbative regime. Our findings point out at least three ranges of the quartic coupling lambda, one with higher lambda where the lowest order approximation is already accurate, the intermediate one where the inclusion of the first correction produces a good agreement with the exact results and, finally, the one with smallest lambda where presumably the higher order correction of the flow is needed. Some details of the specifics of the infrared regulator are also discussed.


title: varFEM: variational formulation based programming for finite element methods in Matlab

abstract: This paper summarizes the development of varFEM, which provides a realization of the programming style in FreeFEM by using the Matlab language.


title: Eclipse timing variations in post-common envelope binaries: Are they a reliable indicator of circumbinary companions?

abstract: Post-common envelope binary systems evolve when matter is transferred from the primary star at a rate that cannot be accommodated by its secondary companion. A common envelope forms which is subsequently ejected resulting in a system with a binary period frequently between 2 and 3 hours. Where circumbinary companions are predicted, it remains unclear whether they form before or after the common envelope ejection. From observations of eclipse time variations (ETVs), exoplanet databases e.g. NASA Exoplanet Archive, list typically a dozen systems with confirmed circumbinary planets. Here we examine seven of these systems, discuss other possible causes and consider whether, for these dynamic systems, the ETV methodology is a reliable indicator of planetary companions. The systems selected were those where we could determine precise eclipse timings, free from significant extraneous effects such as pulsations, and present 163 new times of minima permitting us to test existing models. Over thirty circumbinary models have been proposed for these seven systems and note all, other than the latest model for NY Vir which remains to be fully tested, fail within a year to accurately predict eclipse times. In examining alternative mechanisms we find that magnetic effects could contribute significantly in two of the seven systems studied. We conclude that the structure of these dynamic systems, with the extreme temperature differences and small binary separations, are not fully understood and that many factors may contribute to the observed ETVs.


title: Manifold Alignment-Based Multi-Fidelity Reduced-Order Modeling Applied to Structural Analysis

abstract: This work presents the application of a recently developed parametric, non-intrusive, and multi-fidelity reduced-order modeling method on high-dimensional displacement and stress fields arising from the structural analysis of geometries that differ in the size of discretization and structural topology.The proposed approach leverages manifold alignment to fuse inconsistent field outputs from high- and low-fidelity simulations by individually projecting their solution onto a common subspace. The effectiveness of the method is demonstrated on two multi-fidelity scenarios involving the structural analysis of a benchmark wing geometry. Results show that outputs from structural simulations using incompatible grids, or related yet different topologies, are easily combined into a single predictive model, thus eliminating the need for additional pre-processing of the data. The new multi-fidelity reduced-order model achieves a relatively higher predictive accuracy at a lower computational cost when compared to a single-fidelity model.


title: Attainable forms of Assouad spectra

abstract: Let $d\in\mathbb{N}$ and let $\varphi\colon(0,1)\to[0,d]$. We prove that there exists a set $F\subset\mathbb{R}^d$ such that $\operatorname{dim}_A^\theta F=\varphi(\theta)$ for all $\theta\in(0,1)$ if and only if for every $0<\lambda<\theta<1$, \[0\leq (1-\lambda)\varphi(\lambda)-(1-\theta)\varphi(\theta)\leq (\theta-\lambda)\varphi\Bigl(\frac{\lambda}{\theta}\Bigr).\] In particular, the following behaviours which have not previously been witnessed in any examples are possible: the Assouad spectrum can be non-monotonic on every open set, and can fail to be H\"older in a neighbourhood of 1.


title: Object Scene Representation Transformer

abstract: A compositional understanding of the world in terms of objects and their geometry in 3D space is considered a cornerstone of human cognition. Facilitating the learning of such a representation in neural networks holds promise for substantially improving labeled data efficiency. As a key step in this direction, we make progress on the problem of learning 3D-consistent decompositions of complex scenes into individual objects in an unsupervised fashion. We introduce Object Scene Representation Transformer (OSRT), a 3D-centric model in which individual object representations naturally emerge through novel view synthesis. OSRT scales to significantly more complex scenes with larger diversity of objects and backgrounds than existing methods. At the same time, it is multiple orders of magnitude faster at compositional rendering thanks to its light field parametrization and the novel Slot Mixer decoder. We believe this work will not only accelerate future architecture exploration and scaling efforts, but it will also serve as a useful tool for both object-centric as well as neural scene representation learning communities.


title: A Multi-task Framework for Infrared Small Target Detection and Segmentation

abstract: Due to the complicated background and noise of infrared images, infrared small target detection is one of the most difficult problems in the field of computer vision. In most existing studies, semantic segmentation methods are typically used to achieve better results. The centroid of each target is calculated from the segmentation map as the detection result. In contrast, we propose a novel end-to-end framework for infrared small target detection and segmentation in this paper. First, with the use of UNet as the backbone to maintain resolution and semantic information, our model can achieve a higher detection accuracy than other state-of-the-art methods by attaching a simple anchor-free head. Then, a pyramid pool module is used to further extract features and improve the precision of target segmentation. Next, we use semantic segmentation tasks that pay more attention to pixel-level features to assist in the training process of object detection, which increases the average precision and allows the model to detect some targets that were previously not detectable. Furthermore, we develop a multi-task framework for infrared small target detection and segmentation. Our multi-task learning model reduces complexity by nearly half and speeds up inference by nearly twice compared to the composite single-task model, while maintaining accuracy. The code and models are publicly available at https://github.com/Chenastron/MTUNet.


title: The Maximum Linear Arrangement Problem for trees under projectivity and planarity

abstract: A linear arrangement is a mapping $\pi$ from the $n$ vertices of a graph $G$ to $n$ distinct consecutive integers. Linear arrangements can be represented by drawing the vertices along a horizontal line and drawing the edges as semicircles above said line. In this setting, the length of an edge is defined as the absolute value of the difference between the positions of its two vertices in the arrangement, and the cost of an arrangement as the sum of all edge lengths. Here we study two variants of the Maximum Linear Arrangement problem (MaxLA), which consists of finding an arrangement that maximizes the cost. In the planar variant for free trees, vertices have to be arranged in such a way that there are no edge crossings. In the projective variant for rooted trees, arrangements have to be planar and the root of the tree cannot be covered by any edge. In this paper we present algorithms that are linear in time and space to solve planar and projective MaxLA for trees. We also prove several properties of maximum projective and planar arrangements, and show that caterpillar trees maximize planar MaxLA over all trees of a fixed size thereby generalizing a previous extremal result on trees.


title: Towards a secured smart IoT using light weight blockchain: An aim to secure Pharmacy Products

abstract: Blockchain has proven a very developed and secured technology. It ensures data integrity with authentic connected nodes. Now-a-days, blockchain with IoT is a great combination for secured and smart end to end product delivery. This observation has motivated the research to develop a conceptual model to provide a secure pharmaceutical product delivery by developing a IoT integrated with lightweight blockchain. The undeveloped and most of the developing countries are facing problems such as drug counterfeits, shortages, opiates and tracking them became difficult because of less transparency. Also, nature sensitive medicines need to be stored under controlled temperature known as cold-chain shipping. The storage of these information in the recent software is done in the centralized databases that is prone to data manipulations and hacks. Due to less production drugs needed to be imported with maintaining drug supply chain regulations by law. This paper proposes a lightweight blockchain model for pharmaceutical industries by using IoT. This model ensures traceability of drugs within a very simple way which is less complex compared to the existing ones.


title: Gauge-fixing and spacetime reconstruction in the Hamiltonian theory of cosmological perturbations

abstract: We develop a complete Hamiltonian approach to the theory of perturbations around any spatially homogeneous spacetime. We employ the Dirac method for constrained systems which is well-suited to cosmological perturbations. We refine the method via the so-called Kucha\vr parametrization of the kinematical phase space. We separate the gauge-invariant dynamics of the three-surfaces from the three-surface deformations induced by linear coordinate transformations. The canonical group of the three-surface deformations and the complete space of gauge-fixing conditions are explicit in our approach. We introduce a frame in the space of gauge-fixing conditions and use it to considerably simplify the prescription for gauge-fixing, partial gauge-fixing and spacetime reconstruction. Finally, we illustrate our approach by considering the perturbed Kasner universe, for which we discuss two kinds of gauges that correspond respectively to the Coulomb-like and the Lorenz-like gauge in electrodynamics.


title: On Ambiguity of Definition of Shear and Spin-Hall Contributions to $\Lambda$ Polarization in Heavy-Ion Collisions

abstract: Recently proposed thermal-shear and spin-Hall contributions to the particle polarization in heavy-ion collisions are discussed. Alternative definitions of the thermal-shear contribution, i.e. those of Becattini-Buzzegoli-Palermo on the one hand and Liu-Yin on the other, are very similar in the midrapidity region while quite different at forward-backward rapidities, which are measured in fixed-target experiments. It is shown that the thermal-shear contribution to the global polarization with momentum averaging extended to all momenta is very different within these alternative definitions. The spin-Hall contribution to the global polarization, defined similarly to the Liu-Yin shear one, is identically zero, if averaging runs over all momenta. Only application of restrictive momentum acceptance and the boost (to $\Lambda$ rest frame) correction result in nonzero global spin-Hall polarization. If the spin-Hall contribution were defined similarly to Becattini-Buzzegoli-Palermo shear one, the global spin-Hall polarization would be non-zero even without any acceptance and the boost correction.


title: The Dark Energy Survey Supernova Program results: Type Ia Supernova brightness correlates with host galaxy dust

abstract: Cosmological analyses with type Ia supernovae (SNe Ia) often assume a single empirical relation between color and luminosity ($\beta$) and do not account for varying host-galaxy dust properties. However, from studies of dust in large samples of galaxies, it is known that dust attenuation can vary significantly. Here we take advantage of state-of-the-art modeling of galaxy properties to characterize dust parameters (dust attenuation $A_V$, and a parameter describing the dust law slope $R_V$) for the Dark Energy Survey (DES) SN Ia host galaxies using the publicly available \texttt{BAGPIPES} code. Utilizing optical and infrared data of the hosts alone, we find three key aspects of host dust that impact SN Ia cosmology: 1) there exists a large range ($\sim1-6$) of host $R_V$ 2) high stellar mass hosts have $R_V$ on average $\sim0.7$ lower than that of low-mass hosts 3) there is a significant ($>3\sigma$) correlation between the Hubble diagram residuals of red SNe Ia that when corrected for reduces scatter by $\sim13\%$ and the significance of the ``mass step'' to $\sim1\sigma$. These represent independent confirmations of recent predictions based on dust that attempted to explain the puzzling ``mass step'' and intrinsic scatter ($\sigma_{\rm int}$) in SN Ia analyses. We also find that red-sequence galaxies have both lower and more peaked dust law slope distributions on average in comparison to non red-sequence galaxies. We find that the SN Ia $\beta$ and $\sigma_{\rm int}$ both differ by $>3\sigma$ when determined separately for red-sequence galaxy and all other galaxy hosts. The agreement between fitted host-$R_V$ and SN Ia $\beta$ \& $\sigma_{\rm int}$ suggests that host dust properties play a major role in SN Ia color-luminosity standardization and supports the claim that SN Ia intrinsic scatter is driven by $R_V$ variation.


title: Scaling ResNets in the Large-depth Regime

abstract: Deep ResNets are recognized for achieving state-of-the-art results in complex machine learning tasks. However, the remarkable performance of these architectures relies on a training procedure that needs to be carefully crafted to avoid vanishing or exploding gradients, particularly as the depth $L$ increases. No consensus has been reached on how to mitigate this issue, although a widely discussed strategy consists in scaling the output of each layer by a factor $\alpha_L$. We show in a probabilistic setting that with standard i.i.d.~initializations, the only non-trivial dynamics is for $\alpha_L = \frac{1}{\sqrt{L}}$; other choices lead either to explosion or to identity mapping. This scaling factor corresponds in the continuous-time limit to a neural stochastic differential equation, contrarily to a widespread interpretation that deep ResNets are discretizations of neural ordinary differential equations. By contrast, in the latter regime, stability is obtained with specific correlated initializations and $\alpha_L = \frac{1}{L}$. Our analysis suggests a strong interplay between scaling and regularity of the weights as a function of the layer index. Finally, in a series of experiments, we exhibit a continuous range of regimes driven by these two parameters, which jointly impact performance before and after training.


title: Comprehending and Ordering Semantics for Image Captioning

abstract: Comprehending the rich semantics in an image and ordering them in linguistic order are essential to compose a visually-grounded and linguistically coherent description for image captioning. Modern techniques commonly capitalize on a pre-trained object detector/classifier to mine the semantics in an image, while leaving the inherent linguistic ordering of semantics under-exploited. In this paper, we propose a new recipe of Transformer-style structure, namely Comprehending and Ordering Semantics Networks (COS-Net), that novelly unifies an enriched semantic comprehending and a learnable semantic ordering processes into a single architecture. Technically, we initially utilize a cross-modal retrieval model to search the relevant sentences of each image, and all words in the searched sentences are taken as primary semantic cues. Next, a novel semantic comprehender is devised to filter out the irrelevant semantic words in primary semantic cues, and meanwhile infer the missing relevant semantic words visually grounded in the image. After that, we feed all the screened and enriched semantic words into a semantic ranker, which learns to allocate all semantic words in linguistic order as humans. Such sequence of ordered semantic words are further integrated with visual tokens of images to trigger sentence generation. Empirical evidences show that COS-Net clearly surpasses the state-of-the-art approaches on COCO and achieves to-date the best CIDEr score of 141.1% on Karpathy test split. Source code is available at \url{https://github.com/YehLi/xmodaler/tree/master/configs/image_caption/cosnet}.


title: Stand-Alone Inter-Frame Attention in Video Models

abstract: Motion, as the uniqueness of a video, has been critical to the development of video understanding models. Modern deep learning models leverage motion by either executing spatio-temporal 3D convolutions, factorizing 3D convolutions into spatial and temporal convolutions separately, or computing self-attention along temporal dimension. The implicit assumption behind such successes is that the feature maps across consecutive frames can be nicely aggregated. Nevertheless, the assumption may not always hold especially for the regions with large deformation. In this paper, we present a new recipe of inter-frame attention block, namely Stand-alone Inter-Frame Attention (SIFA), that novelly delves into the deformation across frames to estimate local self-attention on each spatial location. Technically, SIFA remoulds the deformable design via re-scaling the offset predictions by the difference between two frames. Taking each spatial location in the current frame as the query, the locally deformable neighbors in the next frame are regarded as the keys/values. Then, SIFA measures the similarity between query and keys as stand-alone attention to weighted average the values for temporal aggregation. We further plug SIFA block into ConvNets and Vision Transformer, respectively, to devise SIFA-Net and SIFA-Transformer. Extensive experiments conducted on four video datasets demonstrate the superiority of SIFA-Net and SIFA-Transformer as stronger backbones. More remarkably, SIFA-Transformer achieves an accuracy of 83.1% on Kinetics-400 dataset. Source code is available at \url{https://github.com/FuchenUSTC/SIFA}.


title: Beyond universality in repulsive SU(N) Fermi gases

abstract: Itinerant ferromagnetism in dilute Fermi gases is predicted to emerge at values of the gas parameter where second-order perturbation theory is not accurate enough to properly describe the system. We have revisited perturbation theory for SU(N) fermions and derived its generalization up to third order both in terms of the gas parameter and the polarization. Our results agree satisfactorily with quantum Monte Carlo results for hard-sphere and soft-sphere potentials for $S = 1/2$. Although the nature of the phase transition depends on the interaction potential, we find that for a hard-sphere potential a phase transition is guaranteed to occur. While for $S= 1/2$ we observe a quasi-continuous transition, for spins $3/2$ and $5/2$, a first-order phase transition is found. For larger spins, a double transition (combination of continuous and discontinuous) occurs. The critical density reduces drastically when the spin increases, making the phase transition more accessible to experiments with ultracold dilute Fermi gases. Estimations for Fermi gases of Yb and Sr with spin $5/2$ and $9/2$, respectively, are reported.


title: Infrared Divergences in $e^{+}e^{-}\rightarrow 2\; jets$ in the Light Front Coherent State Formalism

abstract: We study infrared (IR) divergences in light front quantum chromodynamics using a coherent state basis in light front time-ordered Hamiltonian perturbation theory. In computation of the S-matrix elements in Hamiltonian formalism, the IR divergences appear in the form of vanishing energy denominators. We consider the process $e^{+}e^{-}\rightarrow 2\; jets$ at $\mathcal{O}(g^{2})$ in strong coupling, construct the coherent state representing the outgoing particles, and explicitly show that the `true' IR divergences cancel to this order when the matrix elements are calculated between coherent states instead of Fock states.


title: A Layered Reference Model for Penetration Testing with Reinforcement Learning and Attack Graphs

abstract: This paper considers key challenges to using reinforcement learning (RL) with attack graphs to automate penetration testing in real-world applications from a systems perspective. RL approaches to automated penetration testing are actively being developed, but there is no consensus view on the representation of computer networks with which RL should be interacting. Moreover, there are significant open challenges to how those representations can be grounded to the real networks where RL solution methods are applied. This paper elaborates on representation and grounding using topic challenges of interacting with real networks in real-time, emulating realistic adversary behavior, and handling unstable, evolving networks. These challenges are both practical and mathematical, and they directly concern the reliability and dependability of penetration testing systems. This paper proposes a layered reference model to help organize related research and engineering efforts. The presented layered reference model contrasts traditional models of attack graph workflows because it is not scoped to a sequential, feed-forward generation and analysis process, but to broader aspects of lifecycle and continuous deployment. Researchers and practitioners can use the presented layered reference model as a first-principles outline to help orient the systems engineering of their penetration testing systems.


title: OSN Dashboard Tool For Sentiment Analysis

abstract: The amount of opinionated data on the internet is rapidly increasing. More and more people are sharing their ideas and opinions in reviews, discussion forums, microblogs and general social media. As opinions are central in all human activities, sentiment analysis has been applied to gain insights in this type of data. There are proposed several approaches for sentiment classification. The major drawback is the lack of standardized solutions for classification and high-level visualization. In this study, a sentiment analyzer dashboard for online social networking analysis is proposed. This, to enable people gaining insights in topics interesting to them. The tool allows users to run the desired sentiment analysis algorithm in the dashboard. In addition to providing several visualization types, the dashboard facilitates raw data results from the sentiment classification which can be downloaded for further analysis.


title: Worst-case Design for RIS-aided Over-the-air Computation with Imperfect CSI

abstract: Over-the-air computation (AirComp) enables fast wireless data aggregation at the receiver through concurrent transmission by sensors in the application of Internet-of-Things (IoT). To further improve the performance of AirComp under unfavorable propagation channel conditions, we consider the problem of computation distortion minimization in a reconfigurable intelligent surface (RIS)-aided AirComp system. In particular, we take into account an additive bounded uncertainty of the channel state information (CSI) and the total power constraint, and jointly optimize the transceiver (Tx-Rx) and the RIS phase design from the perspective of worst-case robustness by minimizing the mean squared error (MSE) of the computation. To solve this intractable nonconvex problem, we develop an efficient alternating algorithm where both solutions to the robust sub-problem and to the joint design of Tx-Rx and RIS are obtained in closed forms. Simulation results demonstrate the effectiveness of the proposed method.


title: The quark quasi Sivers function and quasi Boer-Mulders function in a spectator diquark model

abstract: We compute the leading-twist T-odd quasi-distributions of the proton in a spectator model with scalar and axial-vector diquarks: the quasi Sivers function $\tilde{f}_{1T}^\perp(x, k_T^2; P_z)$ and the quasi Boer-Mulders function $\tilde{h}_1^\perp(x, k_T^2; P_z)$. We obtain the quark-quark correlators in the four-dimensional Euclidian space by replacing $\gamma^+$ and $\sigma^{i+}$ in the light-cone frame with $\gamma_z$ and $\sigma_{iz}$. We show by analytical calculation that the results of $\tilde{f}_{1T}^\perp$ and $\tilde{h}_1^\perp$ derived from the correlators can reduce to the expressions of the corresponding standard T-odd distributions $f_{1T}^\perp(x, k_T^2)$ and $h_1^\perp(x, k_T^2)$ in the limit $P_z\rightarrow\infty$. The numerical results for these quasi-distributions and their first transverse moments for the $u$ and $d$ quarks in different $x$ and $P_z$ regions are also presented. We find that $\tilde{f}_{1T}^{\perp(1)}(x, P_z)$ and $\tilde{h}_1^{\perp(1)}(x, P_z)$ in the spectator model are fair approximations to the standard ones (within 20-30\%) in the region $0.1<x<0.5$ when $P_z \geq 2.5-3$ GeV. This supports the idea of using T-odd quasi-distributions to obtain standard distributions in the region $P_z>2.5$ GeV as fair approximation.


title: Cloud Property Graph: Connecting Cloud Security Assessments with Static Code Analysis

abstract: In this paper, we present the Cloud Property Graph (CloudPG), which bridges the gap between static code analysis and runtime security assessment of cloud services. The CloudPG is able to resolve data flows between cloud applications deployed on different resources, and contextualizes the graph with runtime information, such as encryption settings. To provide a vendor- and technology-independent representation of a cloud service's security posture, the graph is based on an ontology of cloud resources, their functionalities and security features. We show, using an example, that our CloudPG framework can be used by security experts to identify weaknesses in their cloud deployments, spanning multiple vendors or technologies, such as AWS, Azure and Kubernetes. This includes misconfigurations, such as publicly accessible storages or undesired data flows within a cloud service, as restricted by regulations such as GDPR.


title: ALMA reveals extended cool gas and hot ionized outflows in a typical star-forming galaxy at $z=7.13$

abstract: We present spatially-resolved morphological properties of [CII] 158 $\mu$m, [OIII] 88 $\mu$m, dust, and rest-frame ultraviolet (UV) continuum emission for A1689-zD1, a strongly lensed, sub-L* galaxy at $z=7.13$, by utilizing deep Atacama Large Millimeter/submillimeter Array (ALMA) and Hubble Space Telescope (HST) observations. While the [OIII] line and UV continuum are compact, the [CII] line is extended up to a radius of $r \sim 12$ kpc. Using multi-band rest-frame far-infrared (FIR) continuum data ranging from 52-400 $\mu$m, we find an average dust temperature and emissivity index of $T_{\rm dust} = 41^{+17}_{-14}$ K and $\beta = 1.7^{+1.1}_{-0.7}$, respectively, across the galaxy. We find slight differences in the dust continuum profiles at different wavelengths, which may indicate that the dust temperature decreases with distance. We map the star-formation rate (SFR) via IR and UV luminosities and determine a total SFR of $37\pm 1~M_\odot~{\rm yr}^{-1}$ with an obscured fraction of $87\%$. While the [OIII] line is a good tracer of the SFR, the [CII] line shows deviation from the local $L_{\rm [CII]}$-SFR relations in the outskirts of the galaxy. Finally, we observe a clear difference in the line profile between [CII] and [OIII], with significant residuals ($\sim 5\sigma$) in the [OIII] line spectrum after subtracting a single Gaussian model. This suggests a possible origin of the extended [CII] structure from the cooling of hot ionized outflows. The extended [CII] and high-velocity [OIII] emission may both contribute in part to the high $L_{\rm [OIII]}$/$L_{\rm [CII]}$ ratios recently reported in $z>6$ galaxies.


title: Generating Exact Optimal Designs via Particle Swarm Optimization: Assessing Efficacy and Efficiency via Case Study

abstract: In this study we address existing deficiencies in the literature on applications of Particle Swarm Optimization to generate optimal designs. We present the results of a large computer study in which we bench-mark both efficiency and efficacy of PSO to generate high quality candidate designs for small-exact response surface scenarios commonly encountered by industrial practitioners. A preferred version of PSO is demonstrated and recommended. Further, in contrast to popular local optimizers such as the coordinate exchange, PSO is demonstrated to, even in a single run, generate highly efficient designs with large probability at small computing cost. Therefore, it appears beneficial for more practitioners to adopt and use PSO as tool for generating candidate experimental designs.


title: Simple realization of the polytropic process with a finite-sized reservoir

abstract: In many textbooks of thermodynamics, the polytropic process is usually introduced by defining its process equation rather than analyzing its actual origin. We realize a polytropic process of an ideal gas system when it is thermally contact with a reservoir whose heat capacity is a constant. This model can deepen students' understanding of typical thermodynamic processes, such as isothermal and adiabatic processes, in the teaching of thermodynamics. Moreover, it can inspire students to explore some interesting phenomena caused by the finiteness of the reservoir. The experimental implementation of the proposed model with realistic parameters is also discussed.


title: Boolean dimension and dim-boundedness: Planar cover graph with a zero

abstract: In 1989, Ne\v{s}et\v{r}il and Pudl\'ak posed the following challenging question: Do planar posets have bounded Boolean dimension? We show that every poset with a planar cover graph and a unique minimal element has Boolean dimension at most $13$. As a consequence, we are able to show that there is a reachability labeling scheme with labels consisting of $\mathcal{O}(\log n)$ bits for planar digraphs with a single source. The best known scheme for general planar digraphs uses labels with $\mathcal{O}(\log^2 n)$ bits [Thorup JACM 2004], and it remains open to determine whether a scheme using labels with $\mathcal{O}(\log n)$ bits exists. The Boolean dimension result is proved in tandem with a second result showing that the dimension of a poset with a planar cover graph and a unique minimal element is bounded by a linear function of its standard example number. However, one of the major challenges in dimension theory is to determine whether dimension is bounded in terms of standard example number for all posets with planar cover graphs.


title: Solving Invariant Generation for Unsolvable Loops

abstract: Automatically generating invariants, key to computer-aided analysis of probabilistic and deterministic programs and compiler optimisation, is a challenging open problem. Whilst the problem is in general undecidable, the goal is settled for restricted classes of loops. For the class of solvable loops, introduced by Kapur and Rodr\'iguez-Carbonell in 2004, one can automatically compute invariants from closed-form solutions of recurrence equations that model the loop behaviour. In this paper we establish a technique for invariant synthesis for loops that are not solvable, termed unsolvable loops. Our approach automatically partitions the program variables and identifies the so-called defective variables that characterise unsolvability. We further present a novel technique that automatically synthesises polynomials, in the defective variables, that admit closed-form solutions and thus lead to polynomial loop invariants. Our implementation and experiments demonstrate both the feasibility and applicability of our approach to both deterministic and probabilistic programs.


title: Zariski density of crystalline points

abstract: We show that crystalline points are Zariski dense in the deformation space of a representation of the absolute Galois group of a $p$-adic field. We also show that these points are dense in the subspace parameterizing deformations with determinant equal to a fixed crystalline character. Our proof is purely local and works for all $p$-adic fields and all residual Galois representations.


title: On the convergence of iterative schemes for solving a piecewise linear system of equations

abstract: This paper is devoted to studying the global and finite convergence of the semi-smooth Newton method for solving a piecewise linear system that arises in cone-constrained quadratic programming problems and absolute value equations. We first provide a negative answer via a counterexample to a conjecture on the global and finite convergence of the Newton iteration for symmetric and positive definite matrices. Additionally, we discuss some surprising features of the semi-smooth Newton iteration in low dimensions and its behavior in higher dimensions. Moreover, we present two iterative schemes inspired by the classical Jacobi and Gauss-Seidel methods for linear systems of equations for finding a solution to the problem. We study sufficient conditions for the convergence of both proposed procedures, which are also sufficient for the existence and uniqueness of solutions to the problem. Lastly, we perform some computational experiments designed to illustrate the behavior (in terms of CPU time) of the proposed iterations versus the semi-smooth Newton method for dense and sparse large-scale problems.


title: $\mathrm{SO}_0(2,n+1)$-maximal representations and hyperbolic surfaces

abstract: We study maximal representations of surface groups $\rho:\pi_1(\Sigma)\to\mathrm{SO}_0(2,n+1)$ via the introduction of $\rho$-invariant pleated surfaces inside the pseudo-Riemannian space $\mathbb{H}^{2,n}$ associated to maximal geodesic laminations of $\Sigma$. We prove that $\rho$-invariant pleated surfaces are always embedded, acausal, and possess an intrinsic pseudo-metric and a hyperbolic structure. We describe the latter by constructing a shear cocycle from the cross ratio naturally associated to $\rho$. The process developed to this purpose applies to a wide class of cross ratios, including examples arising from Hitchin and $\Theta$-positive representations in $\mathrm{SO}(p,q)$. We also show that the length spectrum of $\rho$ dominates the ones of $\rho$-invariant pleated surfaces, with strict inequality exactly on curves that intersect the bending locus. We observe that the canonical decomposition of a $\rho$-invariant pleated surface into leaves and plaques corresponds to a decomposition of the Guichard-Wienhard domain of discontinuity of $\rho$ into standard fibered blocks, namely triangles and lines of photons. Conversely, we give a concrete construction of photon manifolds fibering over hyperbolic surfaces by gluing together triangles of photons. The tools we develop allow to recover various results by Collier, Tholozan, and Toulisse on the (pseudo-Riemannian) geometry of $\rho$ and on the correspondence between maximal representations and fibered photon manifolds through a constructive and geometric approach, bypassing the use of Higgs bundles.


title: K-Space Transformer for Undersampled MRI Reconstruction

abstract: This paper considers the problem of undersampled MRI reconstruction. We propose a novel Transformer-based framework for directly processing signal in k-space, going beyond the limitation of regular grids as ConvNets do. We adopt an implicit representation of k-space spectrogram, treating spatial coordinates as inputs, and dynamically query the sparsely sampled points to reconstruct the spectrogram, i.e. learning the inductive bias in k-space. To strike a balance between computational cost and reconstruction quality, we build the decoder with hierarchical structure to generate low-resolution and high-resolution outputs respectively. To validate the effectiveness of our proposed method, we have conducted extensive experiments on two public datasets, and demonstrate superior or comparable performance to state-of-the-art approaches.


title: Monitoring Urban Forests from Auto-Generated Segmentation Maps

abstract: We present and evaluate a weakly-supervised methodology to quantify the spatio-temporal distribution of urban forests based on remotely sensed data with close-to-zero human interaction. Successfully training machine learning models for semantic segmentation typically depends on the availability of high-quality labels. We evaluate the benefit of high-resolution, three-dimensional point cloud data (LiDAR) as source of noisy labels in order to train models for the localization of trees in orthophotos. As proof of concept we sense Hurricane Sandy's impact on urban forests in Coney Island, New York City (NYC) and reference it to less impacted urban space in Brooklyn, NYC.


title: Gate-tunable proximity effects in graphene on layered magnetic insulators

abstract: The extreme versatility of two-dimensional van der Waals (vdW) materials derives from their ability to exhibit new electronic properties when assembled in proximity with dissimilar crystals. For example, although graphene is inherently non-magnetic, recent work has reported a magnetic proximity effect in graphene interfaced with magnetic substrates, potentially enabling a pathway towards achieving a high-temperature quantum anomalous Hall effect. Here, we investigate heterostructures of graphene and chromium trihalide magnetic insulators (CrI$_3$, CrBr$_3$, and CrCl$_3$). Surprisingly, we are unable to detect a magnetic exchange field in the graphene, but instead discover proximity effects featuring unprecedented gate-tunability. The graphene becomes highly hole-doped due to charge transfer from the neighboring magnetic insulator, and further exhibits a variety of atypical transport features. These include highly extended quantum Hall plateaus, abrupt reversals in the Landau level filling sequence, and hysteresis over at least days-long time scales. In the case of CrI$_3$, we are able to completely suppress the charge transfer and all attendant atypical transport effects by gating. The charge transfer can additionally be altered in a first-order phase transition upon switching the magnetic states of the nearest CrI$_3$ layers. Our results provide a roadmap for exploiting the magnetic proximity effect in graphene, and motivate further experiments with other magnetic insulators.


title: New Superbridge Index Calculations from Non-Minimal Realizations

abstract: Previous work used polygonal realizations of knots to reduce the problem of computing the superbridge number of a realization to a linear programming problem, leading to new sharp upper bounds on the superbridge index of a number of knots. The present work extends this technique to polygonal realizations with an odd number of edges and determines the exact superbridge index of many new knots, including the majority of the 9-crossing knots for which it was previously unknown and, for the first time, several 12-crossing knots. Interestingly, at least half of these superbridge-minimizing polygonal realizations do not minimize the stick number of the knot; these seem to be the first such examples. Appendix A gives a complete summary of what is currently known about superbridge indices of prime knots through 10 crossings and Appendix B gives all knots through 16 crossings for which the superbridge index is known.


title: Brain-wide connectome inferences using functional connectivity MultiVariate Pattern Analyses (fc-MVPA)

abstract: Current functional Magnetic Resonance Imaging technology is able to resolve billions of individual functional connections characterizing the human connectome. Classical statistical inferential procedures attempting to make valid inferences across this many measures from a reduced set of observations and from a limited number of subjects can be severely underpowered for any but the largest effect sizes. This manuscript discusses fc-MVPA (functional connectivity Multivariate Pattern Analysis), a novel application of multivariate pattern analysis techniques in the context of brain-wide connectome inferences. The theory behind fc-MVPA is presented, and several of its key concepts are illustrated through examples from a publicly available resting state dataset, including an example analysis evaluating gender differences across the entire functional connectome. Last, Monte Carlo simulations are used to demonstrated this method's validity and sensitivity. In addition to offering powerful whole-brain inferences, fc-MVPA also provides a meaningful characterization of the heterogeneity in functional connectivity across subjects.


title: FETILDA: An Effective Framework For Fin-tuned Embeddings For Long Financial Text Documents

abstract: Unstructured data, especially text, continues to grow rapidly in various domains. In particular, in the financial sphere, there is a wealth of accumulated unstructured financial data, such as the textual disclosure documents that companies submit on a regular basis to regulatory agencies, such as the Securities and Exchange Commission (SEC). These documents are typically very long and tend to contain valuable soft information about a company's performance. It is therefore of great interest to learn predictive models from these long textual documents, especially for forecasting numerical key performance indicators (KPIs). Whereas there has been a great progress in pre-trained language models (LMs) that learn from tremendously large corpora of textual data, they still struggle in terms of effective representations for long documents. Our work fills this critical need, namely how to develop better models to extract useful information from long textual documents and learn effective features that can leverage the soft financial and risk information for text regression (prediction) tasks. In this paper, we propose and implement a deep learning framework that splits long documents into chunks and utilizes pre-trained LMs to process and aggregate the chunks into vector representations, followed by self-attention to extract valuable document-level features. We evaluate our model on a collection of 10-K public disclosure reports from US banks, and another dataset of reports submitted by US companies. Overall, our framework outperforms strong baseline methods for textual modeling as well as a baseline regression model using only numerical data. Our work provides better insights into how utilizing pre-trained domain-specific and fine-tuned long-input LMs in representing long documents can improve the quality of representation of textual data, and therefore, help in improving predictive analyses.


title: Classification of the non-trivial $2$-$(k^{2},k,\lambda )$ designs, with $\lambda \mid k$, admitting a flag-transitive automorphism group of affine type

abstract: The pairs $(\mathcal{D},G)$, where $\mathcal{D}$ is a non-trivial $2$-$(k^{2},k,\lambda )$ design, with $\lambda \mid k$, and $G$ is a flag-transitive automorphism group of $\mathcal{D}$ of affine type such that $G \nleq A \Gamma L_{1}(k^{2})$, are classified.


title: Spectral large deviations of sparse random matrices

abstract: Eigenvalues of Wigner matrices has been a major topic of investigation. A particularly important subclass of such random matrices is formed by the adjacency matrix of an Erd\H{o}s-R\'{e}nyi graph $\mathcal{G}_{n,p}$ equipped with i.i.d. edge-weights. An observable of particular interest is the largest eigenvalue. In this paper, we study the large deviations behavior of the largest eigenvalue of such matrices, a topic that has received considerable attention over the years. We focus on the case $p = \frac{d}{n}$, where most known techniques break down. So far, results were known only for $\mathcal{G}_{n,\frac{d}{n}}$ without edge-weights (Krivelevich and Sudakov, '03), (Bhattacharya, Bhattacharya, and Ganguly, '21) and with Gaussian edge-weights (Ganguly and Nam, '21). In the present article, we consider the effect of general weight distributions. More specifically, we consider the entries whose tail probabilities decay at rate $e^{-t^\alpha}$ with $\alpha>0$, where the regimes $0<\alpha<2$ and $\alpha>2$ correspond to tails heavier and lighter than the Gaussian tail respectively. While in many natural settings the large deviations behavior is expected to depend crucially on the entry distribution, we establish a surprising and rare universal behavior showing that this is not the case when $\alpha > 2.$ In contrast, in the $\alpha< 2$ case, the large deviation rate function is no longer universal and is given by the solution to a variational problem, the description of which involves a generalization of the Motzkin-Straus theorem, a classical result from spectral graph theory. As a byproduct of our large deviation results, we also establish new law of large numbers results for the largest eigenvalue. In particular, we show that the typical value of the largest eigenvalue exhibits a phase transition at $\alpha = 2$, i.e. the Gaussian distribution.


title: On smooth functions with two critical values

abstract: We prove that every smooth closed manifold admits a smooth real-valued function with only two critical values. We call a function of this type a \emph{Reeb function}. We prove that for a Reeb function we can prescribe the set of minima (or maxima), as soon as this set is a PL subcomplex of the manifold. In analogy with Reeb's Sphere Theorem, we use such functions to study the topology of the underlying manifold. In dimension $3$, we give a characterization of manifolds having a Heegaard splitting of genus $g$ in terms of the existence of certain Reeb functions. Similar results are proved in dimension $n\geq 5$.


title: Infrared Radiation of Graphene Electrothermal Film Triggered Alpha and Theta Brainwaves

abstract: The alpha and theta frequency brainwave activity in Electroencephalogram (EEG) signal has been correlated with attention, inhibitory processes, memory, perceptual abilities, and sleep. The enhanced alpha and theta brainwave activity may bring positive behavioral modifications such as promoting creativity and a quick sleep. Herein, we discover that infrared radiation from multilayer graphene electrothermal film can obviously promote the appearance of alpha and theta brainwave in human mind. In particular, the occurrence frequency of the alpha and theta waves in EEG can be effectively enhanced up to 2.3 and 3.0 times, respectively. And the duration time of the alpha and theta waves in EEG can also be effectively extended. The mechanism may be attributed to the efficient infrared radiation caused by graphene mainly focused on the range from 7 to 14 micron, coinciding with the radiation wavelength of natural human body, which can be effectively absorbed by the human skin and speed up the blood microcirculation and metabolism. The comparative effect of different working temperature and heating materials such as water, Cu and even monolayer graphene are systematically investigated, indicating the infrared radiation from the multilayer graphene electrothermal film at 50 degrees has the largest enhancement effect of alpha and theta brainwaves. The multilayer graphene film electrical heater represents a convenient and surprising way for triggering the alpha and theta brainwaves, which has many potential applications in the area of enlarged health cerements.


title: Continual-Learning-as-a-Service (CLaaS): On-Demand Efficient Adaptation of Predictive Models

abstract: Predictive machine learning models nowadays are often updated in a stateless and expensive way. The two main future trends for companies that want to build machine learning-based applications and systems are real-time inference and continual updating. Unfortunately, both trends require a mature infrastructure that is hard and costly to realize on-premise. This paper defines a novel software service and model delivery infrastructure termed Continual Learning-as-a-Service (CLaaS) to address these issues. Specifically, it embraces continual machine learning and continuous integration techniques. It provides support for model updating and validation tools for data scientists without an on-premise solution and in an efficient, stateful and easy-to-use manner. Finally, this CL model service is easy to encapsulate in any machine learning infrastructure or cloud system. This paper presents the design and implementation of a CLaaS instantiation, called LiquidBrain, evaluated in two real-world scenarios. The former is a robotic object recognition setting using the CORe50 dataset while the latter is a named category and attribute prediction using the DeepFashion-C dataset in the fashion domain. Our preliminary results suggest the usability and efficiency of the Continual Learning model services and the effectiveness of the solution in addressing real-world use-cases regardless of where the computation happens in the continuum Edge-Cloud.


title: On the Wiener-Pitt phenomenon for algebra of Rajchman multipliers on Hardy space

abstract: We show that any positive Rajchman measure of Minkowski dimension $0$ has a non-natural spectrum as an element of the multiplier algebra of $H^{1}_{0}(\T)$. The proof is based on the estimation of the norm of the convolution operator given by a singular measure on $H_{0}^{1}(\T)$.


title: AuxMix: Semi-Supervised Learning with Unconstrained Unlabeled Data

abstract: Semi-supervised learning (SSL) has seen great strides when labeled data is scarce but unlabeled data is abundant. Critically, most recent work assume that such unlabeled data is drawn from the same distribution as the labeled data. In this work, we show that state-of-the-art SSL algorithms suffer a degradation in performance in the presence of unlabeled auxiliary data that does not necessarily possess the same class distribution as the labeled set. We term this problem as Auxiliary-SSL and propose AuxMix, an algorithm that leverages self-supervised learning tasks to learn generic features in order to mask auxiliary data that are not semantically similar to the labeled set. We also propose to regularize learning by maximizing the predicted entropy for dissimilar auxiliary samples. We show an improvement of 5% over existing baselines on a ResNet-50 model when trained on CIFAR10 dataset with 4k labeled samples and all unlabeled data is drawn from the Tiny-ImageNet dataset. We report competitive results on several datasets and conduct ablation studies.


title: ABCinML: Anticipatory Bias Correction in Machine Learning Applications

abstract: The idealization of a static machine-learned model, trained once and deployed forever, is not practical. As input distributions change over time, the model will not only lose accuracy, any constraints to reduce bias against a protected class may fail to work as intended. Thus, researchers have begun to explore ways to maintain algorithmic fairness over time. One line of work focuses on dynamic learning: retraining after each batch, and the other on robust learning which tries to make algorithms robust against all possible future changes. Dynamic learning seeks to reduce biases soon after they have occurred and robust learning often yields (overly) conservative models. We propose an anticipatory dynamic learning approach for correcting the algorithm to mitigate bias before it occurs. Specifically, we make use of anticipations regarding the relative distributions of population subgroups (e.g., relative ratios of male and female applicants) in the next cycle to identify the right parameters for an importance weighing fairness approach. Results from experiments over multiple real-world datasets suggest that this approach has promise for anticipatory bias correction.


title: Single-frame characterization of ultrafast pulses with spatiotemporal orbital angular momentum

abstract: Light carrying spatiotemporal orbital angular momentum (ST-OAM) makes possible new types of optical vortices arising from transverse OAM. ST-OAM pulses exhibit novel properties during propagation, transmission, refraction, diffraction, and nonlinear conversion, attracting growing experimental and theoretical interest and studies. However, one major challenge is the lack of a simple and straightforward method for characterizing ultrafast ST-OAM pulses. Using spatially resolved spectral interferometry, we demonstrate a simple, stationary, single-frame method to quantitatively characterize ultrashort light pulses carrying ST-OAM. Using our method, the presence of an ST-OAM pulse, including its main characteristics such as topological charge numbers and OAM helicity, can be identified easily from the unique and unambiguous features directly seen on the raw data--without any need for a full analysis of the data. After processing and reconstructions, other exquisite features, including pulse dispersion and beam divergence, can also be fully characterized. Our fast characterization method allows high-throughput and quick feedback during the generation and optical alignment processes of ST-OAM pulses. It is straightforward to extend our method to single-shot measurement by using a high-speed camera that matches the pulse repetition rate. This new method can help advance the field of spatially and temporally structured light and its applications in advanced metrologies.


title: Gaia DR3 in 6D: The search for fast hypervelocity stars and constraints on the Galactic Centre environment

abstract: The third data release (DR3) of the European Space Agency satellite Gaia provides coordinates, parallaxes, proper motions, and radial velocities for a sample of $\sim 34$ million stars. We use the combined 6-dimensional phase space information to search for hypervelocity stars (HVSs), unbound stars accelerated by dynamical processes happening in the Galactic Centre. By looking at the kinematics of Gaia DR3 stars in Galactocentric coordinates and by integrating their orbits in the Galactic potential, we do not identify any HVS candidates with a velocity higher than $700$ km s$^{-1}$ and robustly observed kinematics. Assuming a scenario wherein the interaction between a stellar binary and the massive black hole Sgr A$^*$ is responsible for HVS ejections from the Galactic Centre, we derive degenerate limits on the ejection rate of HVSs and the slope of the initial mass function of the primary star among binaries in the Galactic Centre. Our results indicate that the HVS ejection rate is $\lesssim 8\times10^{-5}$ yr$^{-1}$ assuming a Salpeter mass function, and this upper limit becomes progressively smaller for an increasingly top-heavy mass distribution. A fiducial HVS ejection rate of $10^{-4}$ yr$^{-1}$ prefers a mass function slope $\lesssim -2.35$, disfavouring previously claimed top-heavy initial mass functions among stars in the Galactic Centre.


title: Examples of exact exponential cosmological solutions with three isotropic subspaces in the Einstein-Gauss-Bonnet gravity

abstract: We consider $(1+ 8)$- and $(1+10)$-dimensional Einstein-Gauss-Bonnet models with the cosmological $\Lambda$-term. Some new examples of exact solutions with three constant Hubble-like parameters in this model are obtained, governed by three non-coinciding Hubble-like parameters: $H \neq 0$, $h_1$ and $h_2$, obeying $m H + k_1 h_1 + k_2 h_2 \neq 0$, corresponding to factor spaces of dimensions $m\geqslant 3$, $ k_1 > 1$ and $ k_2\geqslant 1$. In this case, the multidimensional cosmological model deals with three factor spaces: the external 3-dimensional "our" world and internal subspaces with dimensions $ (m-3)$, $k_1$ and $k_2$.


title: Model for Dipolar Glass and Relaxor Ferroelectric Behavior

abstract: Heat bath Monte Carlo simulations have been used to study a 12-state discretized Heisenberg model with a type of random field, for several values of the randomness coupling parameter $h_R$. The 12 states correspond to the [110] directions of a cube. Simple cubic lattices of size $128 \times 128 \times 128$ with periodic boundary conditions were used, and 32 samples were studied for each value of $h_R$. The model has the standard nonrandom two-spin exchange term with coupling energy $J$ and a field which adds an energy $h_R$ to two of the 12 spin states, chosen randomly and independently at each site. We provide results for the cases $h_R / J =$ -2.5, -2.0, -1.5, 3.0 and 4.0. For all these cases except $h_R / J =$ -2.5, we see an apparently sharp phase transition at a temperature $T_c$ where the specific heat and the longitudinal susceptibility are peaked. At $T_c$, the behavior of the peak in the structure factor, $S ({\bf k} )$, at small $|{\bf k}|$ is a straight line on a log-log plot. However, the value of the slope of this line is different for $h_R /J =$ -1.5 and 3.0 than it is for $h_R / J =$ -2.0 and 4.0. We believe that the first two cases are showing the behavior of a cubic fixed point in a weak random field, and the behavior of the second two cases are showing the behavior of an isotropic fixed point when the Imry-Ma length is smaller than the sample size. Below $T_c$, these $L = 128$ samples show ferroelectric order, and this order rapidly becomes oriented along one of the eight [111] directions as $T$ is reduced. This rotation of the ordering direction is caused by the cubic anisotropy. For $h_R / J =$ -2.5, we do not see clear evidence of a single well-defined $T_c$.


title: Deep Reinforcement Learning for Exact Combinatorial Optimization: Learning to Branch

abstract: Branch-and-bound is a systematic enumerative method for combinatorial optimization, where the performance highly relies on the variable selection strategy. State-of-the-art handcrafted heuristic strategies suffer from relatively slow inference time for each selection, while the current machine learning methods require a significant amount of labeled data. We propose a new approach for solving the data labeling and inference latency issues in combinatorial optimization based on the use of the reinforcement learning (RL) paradigm. We use imitation learning to bootstrap an RL agent and then use Proximal Policy Optimization (PPO) to further explore global optimal actions. Then, a value network is used to run Monte-Carlo tree search (MCTS) to enhance the policy network. We evaluate the performance of our method on four different categories of combinatorial optimization problems and show that our approach performs strongly compared to the state-of-the-art machine learning and heuristics based methods.


title: Molecular Dynamics Simulations of Mutual Space-Charge Effect between Planar Field Emitters

abstract: Molecular dynamics simulations, with full Coulomb interaction and self-consistent field emission, are used to examine mutual space-charge interactions between beams originating from several emitter areas, in a planar infinite diode. The simulations allow observation of the trajectory of each individual electron through the diode gap. Results show that when the center-to-center spacing between emitters is greater than half of the gap spacing the emitters are essentially independent. For smaller spacing the mutual space-charge effect increases rapidly and should not be discounted. A simple qualitative explanation for this effect is given.


title: The Fermi paradox: Impact of astrophysical processes and dynamical evolution

abstract: The Fermi paradox has given rise to various attempts to explain why no evidence of extraterrestrial civilisations was found so far on Earth and in our Solar System. Here, we present a dynamical model for the development of such civilisations, which accounts for self-destruction, colonisation and astrophysical destruction mechanisms of civilisations including gamma-ray bursts, type Ia and type II supernovae as well as radiation from the supermassive black hole. We adopt conservative estimates regarding the efficiency of such processes and find that astrophysical effects can influence the development of intelligent civilisations and change the number of systems with such civilisations by roughly a factor of 2; potentially more if the feedback is enhanced. Our results show that non-equilibrium evolution allows for solutions in-between extreme cases such as "rare Earth" or extreme colonisation, including scenarios with civilisation fractions between 10^{-2} and 10^{-7}. These would imply still potentially large distances to the next such civilisations, particularly when persistence phenomena are being considered. As previous studies, we confirm that the main uncertainties are due to the lifetime of civilisations as well as the assumed rate of colonisation. For SETI-like studies, we believe that unbiased searches are needed considering both the possibilities that the next civilisations are nearby or potentially very far away.


title: On the necessity of the inf-sup condition for a mixed finite element formulation

abstract: We study a non standard mixed formulation of the Poisson problem, sometimes known as dual mixed formulation. For reasons related to the equilibration of the flux, we use finite elements that are conforming in H(div) for the approximation of the gradients, even if the formulation would allow for discontinuous finite elements. The scheme is not uniformly inf-sup stable, but we can show existence and uniqueness of the solution, as well as optimal error estimates for the gradient variable when suitable regularity assumptions are made. Several additional remarks complete the paper, shedding some light on the sources of instability for mixed formulations.


title: Using Ultrapowers to Compare Continuous Structures

abstract: In 1967 the author introduced a pre-ordering of all first order complete theories where T is lower than U if it is easier for an ultrapower of a model of T than an ultrapower of a model of U to be saturated. In a long series of recent papers, Malliaris and Shelah showed that this pre-ordering is very rich and gives a useful way of classifying simple theories. In this paper we investigate the analogous pre-ordering in continuous model theory.


title: Highly Efficient Structural Learning of Sparse Staged Trees

abstract: Several structural learning algorithms for staged tree models, an asymmetric extension of Bayesian networks, have been defined. However, they do not scale efficiently as the number of variables considered increases. Here we introduce the first scalable structural learning algorithm for staged trees, which searches over a space of models where only a small number of dependencies can be imposed. A simulation study as well as a real-world application illustrate our routines and the practical use of such data-learned staged trees.


title: Conditioning of linear systems arising from penalty methods

abstract: Penalizing incompressibility in the Stokes problem leads, under mild assumptions, to matrices with condition numbers $\kappa =\mathcal{O} (\varepsilon ^{-1}h^{-2})$, $\varepsilon =$ penalty parameter $<<1$, and $ h= $ mesh width $<1$. Although $\kappa =\mathcal{O}(\varepsilon ^{-1}h^{-2}) $ is large, practical tests seldom report difficulty in solving these systems. In the SPD case, using the conjugate gradient method, this is usually explained by spectral gaps occurring in the penalized coefficient matrix. Herein we point out a second contributing factor. Since the solution is approximately incompressible, solution components in the eigenspaces associated with the penalty terms can be small. As a result, the effective condition number can be much smaller than the standard condition number.


title: Dilating blow-up time: A generalized solution of the NNLIF neuron model and its global well-posedness

abstract: The nonlinear noisy leaky integrate-and-fire (NNLIF) model is a popular mean-field description of a large number of interacting neurons, which has attracted mathematicians to study from various aspects. A core property of this model is the finite time blow-up of the firing rate, which scientifically corresponds to the synchronization of a neuron network, and mathematically prevents the existence of a global classical solution. In this work, we propose a new generalized solution based on reformulating the PDE model with a specific change of variable in time. A firing rate dependent timescale is introduced, in which the transformed equation can be shown to be globally well-posed for any connectivity parameter even in the event of the blow-up. The generalized solution is then defined via the backward change of timescale, and it may have a jump when the firing rate blows up. We establish properties of the generalized solution including the characterization of blow-ups and the global well-posedness in the original timescale. The generalized solution provides a new perspective to understand the dynamics when the firing rate blows up as well as the continuation of the solution after a blow-up.


title: Two-terminal source coding with common sum reconstruction

abstract: We present the problem of two-terminal source coding with Common Sum Reconstruction (CSR). Consider two terminals, each with access to one of two correlated sources. Both terminals want to reconstruct the sum of the two sources under some average distortion constraint, and the reconstructions at two terminals must be identical with high probability. In this paper, we develop inner and outer bounds to the achievable rate distortion region of the CSR problem for a doubly symmetric binary source. We employ existing achievability results for Steinberg's common reconstruction and Wyner-Ziv's source coding with side information problems, and an achievability result for the lossy version of Korner-Marton's modulo-two sum computation problem.


title: Ramsey Scheme Applied to String Theoretical Processes

abstract: In this letter, we analyze the evolution of physical quantities due to the interaction of strings with background fields. We will obtain the characteristic function for such a string theoretical process. This will be done by generalizing the Ramsey scheme to world-sheet, and using it to obtain the information about the evolution of quantity in a string theoretical process, without making two-point measurements. We will also use the characteristic function to obtain the average of the difference between the initial and final values of such a quantity. Finally, using the characteristic function, we calculate fisher information for the difference of such a quantity.


title: DeepTPI: Test Point Insertion with Deep Reinforcement Learning

abstract: Test point insertion (TPI) is a widely used technique for testability enhancement, especially for logic built-in self-test (LBIST) due to its relatively low fault coverage. In this paper, we propose a novel TPI approach based on deep reinforcement learning (DRL), named DeepTPI. Unlike previous learning-based solutions that formulate the TPI task as a supervised-learning problem, we train a novel DRL agent, instantiated as the combination of a graph neural network (GNN) and a Deep Q-Learning network (DQN), to maximize the test coverage improvement. Specifically, we model circuits as directed graphs and design a graph-based value network to estimate the action values for inserting different test points. The policy of the DRL agent is defined as selecting the action with the maximum value. Moreover, we apply the general node embeddings from a pre-trained model to enhance node features, and propose a dedicated testability-aware attention mechanism for the value network. Experimental results on circuits with various scales show that DeepTPI significantly improves test coverage compared to the commercial DFT tool. The code of this work is available at https://github.com/cure-lab/DeepTPI.


title: Resource Allocation for Compression-aided Federated Learning with High Distortion Rate

abstract: Recently, a considerable amount of works have been made to tackle the communication burden in federated learning (FL) (e.g., model quantization, data sparsification, and model compression). However, the existing methods, that boost the communication efficiency in FL, result in a considerable trade-off between communication efficiency and global convergence rate. We formulate an optimization problem for compression-aided FL, which captures the relationship between the distortion rate, number of participating IoT devices, and convergence rate. Following that, the objective function is to minimize the total transmission time for FL convergence. Because the problem is non-convex, we propose to decompose it into sub-problems. Based on the property of a FL model, we first determine the number of IoT devices participating in the FL process. Then, the communication between IoT devices and the server is optimized by efficiently allocating wireless resources based on a coalition game. Our theoretical analysis shows that, by actively controlling the number of participating IoT devices, we can avoid the training divergence of compression-aided FL while maintaining the communication efficiency.


title: Leaky wave characterisation using spectral methods

abstract: Leaky waves are an important class of waves, particularly for guiding waves along structures embedded within another medium; a mismatch in wavespeeds often leads to leakage of energy from the waveguide, or interface, into the medium, which consequently attenuates the guided wave. The accurate and efficient identification of theoretical solutions for leaky waves is a key requirement for the choices of modes and frequencies required for non-destructive evaluation inspection techniques. We choose a typical situation to study: an elastic waveguide with a fluid on either side. Historically, leaky waves are identified via root-finding methods that have issues with conditioning, or, numerical methods` that struggle with the exponential growth of solutions at infinity. By building upon a spectral collocation method, we show how it can be adjusted to find exponentially growing solutions, i.e. leaky waves, leading to an accurate, fast and efficient identification of their dispersion properties. The key concept required is a mapping, in the fluid region, that allows for exponential growth of the physical solution at infinity, whilst the mapped numerical setting decays. We illustrate this by studying leaky Lamb waves in an elastic waveguide immersed between two different fluids and verify this using the commercially available software Disperse.


title: Low-Latency MAC Design for Pairwise Random Networks

abstract: Feasibility of using unlicensed spectrum for ultra reliable low latency communications (URLLC) is still a question for beyond 5G wireless networks. Low latency access to the channel and efficiently sharing spectrum among the multiple users are the main requirements for exploiting unlicensed spectrum for URLLC. Listen before talk and back-off procedures implemented to avoid the collisions in channel access hinder the low latency communication. In this paper, we propose a novel low-latency medium access control (MAC) scheme based on the collision resolution for a pairwise random wireless network. We use geometric sequence decomposition for collision resolution among the competing users. This enables the system to tackle collisions and thus removing the need for carrier sensing and back-off procedures. This saves time in obtaining access to the channel and improves the efficiency of the system. We implement our approach in the synchronized time slotted system and show that it yields significant improvement over existing MAC schemes.


title: Edge Graph Neural Networks for Massive MIMO Detection

abstract: Massive Multiple-Input Multiple-Out (MIMO) detection is an important problem in modern wireless communication systems. While traditional Belief Propagation (BP) detectors perform poorly on loopy graphs, the recent Graph Neural Networks (GNNs)-based method can overcome the drawbacks of BP and achieve superior performance. Nevertheless, direct use of GNN ignores the importance of edge attributes and suffers from high computation overhead using a fully connected graph structure. In this paper, we propose an efficient GNN-inspired algorithm, called the Edge Graph Neural Network (EGNN), to detect MIMO signals. We first compute graph edge weights through channel correlation and then leverage the obtained weights as a metric to evaluate the importance of neighbors of each node. Moreover, we design an adaptive Edge Drop (ED) scheme to sparsify the graph such that computational cost can be significantly reduced. Experimental results demonstrate that our proposed EGNN achieves better or comparable performance to popular MIMO detection methods for different modulation schemes and costs the least detection time compared to GNN-based approaches.


title: Survey on the State-of-the-Art in Device-to-Device Communication: A Resource Allocation Perspective

abstract: Device to Device (D2D) communication takes advantage of the proximity between the communicating devices in order to achieve efficient resource utilization, improved throughput and energy efficiency, simultaneous serviceability and reduced latency. One of the main characteristics of D2D communication is reuse of the frequency resource in order to improve spectral efficiency of the system. Nevertheless, frequency reuse introduces significantly high interference levels thus necessitating efficient resource allocation algorithms that can enable simultaneous communication sessions through effective channel and/or power allocation. This survey paper presents a comprehensive investigation of the state-of-the-art resource allocation algorithms in D2D communication underlaying cellular networks. The surveyed algorithms are evaluated based on heterogeneous parameters which constitute the elementary features of a resource allocation algorithm in D2D paradigm. Additionally, in order to familiarize the readers with the basic design of the surveyed resource allocation algorithms, brief description of the mode of operation of each algorithm is presented. The surveyed algorithms are divided into four categories based on their technical doctrine i.e., conventional optimization based, Non-Orthogonal-Multiple-Access (NOMA) based, game theory based and machine learning based techniques. Towards the end, several open challenges are remarked as the future research directions in resource allocation for D2D communication.


title: Generalized graph splines and the Universal Difference Property

abstract: We study the generalized graph splines introduced by Gilbert, Tymoczko, and Viel and focus on an attribute known as the Universal Difference Property (UDP). We prove that paths, trees, and cycles satisfy UDP. We explore UDP on graphs pasted at a single vertex and use Pr\"ufer domains to illustrate that not every edge labeled graph satisfies UDP. We show that UDP must hold for any edge labeled graph over a ring $R$ if and only if $R$ is a Pr\"ufer domain. Lastly, we prove that UDP is preserved by isomorphisms of edge labeled graphs.


title: Multifractal analysis of Gaussian multiplicative chaos and applications

abstract: Let $M_{\gamma}$ be a subcritical Gaussian multiplicative chaos measure associated with a general log-correlated Gaussian field defined on a bounded domain $D \subset \mathbb{R}^d$, $d \geq 1$. We find an explicit formula for its singularity spectrum by showing that $M_{\gamma}$ satisfies almost surely the multifractal formalism, i.e., we prove that its singularity spectrum is almost surely equal to the Legendre-Fenchel transform of its $L^q$-spectrum. Then, applying this result, we compute the lower singularity spectrum of the multifractal random walk and of the Liouville Brownian motion.


title: Quantitative measurement of birefringence in transparent films across the visible spectrum

abstract: Common transparent polymer films such as cellophane and household tape are frequently used as examples of birefringent materials in textbooks and classroom demonstrations. Qualitatively, birefringence is often demonstrated by layering such films between crossed-polarizers. In this work, we describe an inexpensive experimental setup for the quantitative measurement of birefringence in common household films, suitable for senior high school or undergraduate labs. Whereas traditional approaches for polarization-based classroom experiments typically use monochromatic laser light, we encourage the combined use of an incoherent incandescent light source and portable spectrometer. In addition, we demonstrate how any concomitant thin-film interference effects can be used to separately measure the optical thickness in the most heterogeneous and uniform films. Such measurement can then be used as an independent experimental confirmation of either the film's index of refraction or its thickness, given knowledge of the other. In an effort to provide examples for the data analysis procedures as well as to investigate a range of materials, we measure the birefringence across the visible spectrum of six common household polymer films, including thin kitchen wrap, cellophane, gift basket film, and common adhesive tapes.


title: SOME Special Solutions of a Nonlinear System of 4 Ordinary Differential Equations Recently Introduced to Investigate the Evolution of Human Respiratory Virus Epidemics

abstract: A system of 4 nonlinearly-coupled Ordinary Differential Equations has been recently introduced to investigate the evolution of human respiratory virus epidemics. In this paper we point out that some explicit solutions of that system can be obtained by algebraic operations, provided the parameters of the model satisfy certain constraints.


title: Spin-density, charge- and bond-disproportionation wave instability in hole-doped infinite-layer $R$NiO$_2$

abstract: Using \emph{ab initio} band structure methods and DFT+dynamical mean-field theory approach we explore the possible formation of spin and charge stripes in the Ni-O plane of hole-doped infinite-layer nickelates, $R$NiO$_2$. Our results reveal a remarkable instability of the $C$-type $(110)$ spin state with undistorted lattice towards the formation of the spin-density, charge- and bond-disproportionation stripe phases accompanied by in-plane``breathing''-like distortions of the crystal structure. Our work gives a comprehensive picture of competing charge and spin stripe states, with possible frustration of different stripe patterns upon doping. It suggests that the spin and charge stripe state likely arises from strong magnetic correlations (with concomitant lattice distortions), which play a key role for understanding the anomalous properties of hole-doped layered nickelates.


title: Exploring Representation of Horn Clauses using GNNs (Extended Technical Report)

abstract: Learning program semantics from raw source code is challenging due to the complexity of real-world programming language syntax and due to the difficulty of reconstructing long-distance relational information implicitly represented in programs using identifiers. Addressing the first point, we consider Constrained Horn Clauses (CHCs) as a standard representation of program verification problems, providing a simple and programming language-independent syntax. For the second challenge, we explore graph representations of CHCs, and propose a new Relational Hypergraph Neural Network (R-HyGNN) architecture to learn program features. We introduce two different graph representations of CHCs. One is called constraint graph (CG), and emphasizes syntactic information of CHCs by translating the symbols and their relations in CHCs as typed nodes and binary edges, respectively, and constructing the constraints as abstract syntax trees. The second one is called control- and data-flow hypergraph (CDHG), and emphasizes semantic information of CHCs by representing the control and data flow through ternary hyperedges. We then propose a new GNN architecture, R-HyGNN, extending Relational Graph Convolutional Networks, to handle hypergraphs. To evaluate the ability of R-HyGNN to extract semantic information from programs, we use R-HyGNNs to train models on the two graph representations, and on five proxy tasks with increasing difficulty, using benchmarks from CHC-COMP 2021 as training data. The most difficult proxy task requires the model to predict the occurrence of clauses in counter-examples, which subsumes satisfiability of CHCs. CDHG achieves 90.59% accuracy in this task. Furthermore, R-HyGNN has perfect predictions on one of the graphs consisting of more than 290 clauses. Overall, our experiments indicate that R-HyGNN can capture intricate program features for guiding verification problems.


title: Asymptotic gluon density within the color dipole picture in the light of HERA high-precision data

abstract: We present an analysis of the most precise set of HERA data within the color dipole formalism, by using an analytical gluon density, based on the double-logarithm approximation of the DGLAP equations in the asymptotic limit of the scaling variable, $\sigma=\log{(1/x)}\log{(\log{(Q^2/Q_ 0^2)})}\rightarrow \infty$. Fits to data, including charm and bottom quarks are performed and demonstrate the efficiency of the model in describing the reduced cross section, $\sigma_{r}$, in the wide range $Q^2:(1.5,500)$ GeV$^2$ for two dipole models including parton saturation effects. We also give predictions to $F_{2}^{c\bar{c}}$ , $F_{2}^{b\bar{b}}$ and $F_{L}$, all describing the data reasonably well in the range $Q^2:(2.5,120)$ GeV$^2$. Total cross sections of exclusive photoproduction of $J/\psi$ and $\rho$ are also calculated and successfully compared to HERA data and recent measurements at LHCb.


title: The Complexity of Finding Fair Many-to-One Matchings

abstract: We analyze the (parameterized) computational complexity of "fair" variants of bipartite many-to-one matching, where each vertex from the "left" side is matched to exactly one vertex and each vertex from the "right" side may be matched to multiple vertices. We want to find a "fair" matching, in which each vertex from the right side is matched to a "fair" set of vertices. Assuming that each vertex from the left side has one color modeling its attribute, we study two fairness criteria. In one of them, we deem a vertex set fair if for any two colors, the difference between the numbers of their occurrences does not exceed a given threshold. Fairness is relevant when finding many-to-one matchings between students and colleges, voters and constituencies, and applicants and firms. Here colors may model sociodemographic attributes, party memberships, and qualifications, respectively. We show that finding a fair many-to-one matching is NP-hard even for three colors and maximum degree five. Our main contribution is the design of fixed-parameter tractable algorithms with respect to the number of vertices on the right side. Our algorithms make use of a variety of techniques including color coding. At the core lie integer linear programs encoding Hall like conditions. To establish the correctness of our integer programs, we prove a new separation result, inspired by Frank's separation theorem [Frank, Discrete Math. 1982], which may also be of independent interest. We further obtain complete complexity dichotomies regarding the number of colors and the maximum degree of each side.


title: Density jump as a function of magnetic field for switch-on collisionless shocks in pair plasmas

abstract: The properties of collisionless shocks, like the density jump, are usually derived from magnetohydrodynamics (MHD), where isotropic pressures are assumed. Yet, in a collisionless plasma, an external magnetic field can sustain a stable anisotropy. In \cite{BretJPP2018}, we devised a model for the kinetic history of the plasma through the shock front, allowing to self-consistently compute the downstream anisotropy, hence the density jump, in terms of the upstream parameters. This model dealt with the case of a parallel shock, where the magnetic field is normal to the front both in the upstream and the downstream. Yet, MHD also allows for shock solutions, the so-called switch-on solutions, where the field is normal to the front only in the upstream. This article consists in applying our model to these switch-on shocks. While MHD offers only 1 switch-on solution within a limited range of Alfv\'{e}n Mach numbers, our model offers 2 kinds of solutions within a slightly different range of Alfv\'{e}n Mach numbers. These 2 solutions are most likely the outcome of the intermediate and fast MHD shocks under our model. While the intermediate and fast shocks merge in MHD for the parallel case, they do not within our model. For simplicity, the formalism is restricted to non-relativistic shocks in pair plasmas where the upstream is cold.


title: Decimations for One- and Two-dimensional Ising and Rotator Models II: Continuous versus Discrete Symmetries

abstract: We show how decimated Gibbs measures which have an unbroken continuous symmetry due to the Mermin-Wagner theorem, although their discrete equivalents have a phase transition, still can become non-Gibbsian. The mechanism rests on the occurrence of a spin-flop transition with a broken discrete symmetry, once the model is constrained by the decimated spins in a suitably chosen "bad" configuration.


title: Concentration of discrepancy-based approximate Bayesian computation via Rademacher complexity

abstract: There has been an increasing interest on summary-free versions of approximate Bayesian computation (ABC), which replace distances among summaries with discrepancies between the empirical distributions of the observed data and the synthetic samples generated under the proposed parameter values. The success of these solutions has motivated theoretical studies on the limiting properties of the induced posteriors. However, current results (i) are often tailored to a specific discrepancy, (ii) require, either explicitly or implicitly, regularity conditions on the data generating process and the assumed statistical model, and (iii) yield bounds depending on sequences of control functions that are not made explicit. As such, there is the lack of a theoretical framework that (i) is unified, (ii) facilitates the derivation of limiting properties that hold uniformly, and (iii) relies on verifiable assumptions that provide concentration bounds clarifying which factors govern the limiting behavior of the ABC posterior. We address this gap via a novel theoretical framework that introduces the concept of Rademacher complexity in the analysis of the limiting properties for discrepancy-based ABC posteriors. This yields a unified theory that relies on constructive arguments and provides more informative asymptotic results and uniform concentration bounds, even in settings not covered by current studies. These advancements are obtained by relating the properties of summary-free ABC posteriors to the behavior of the Rademacher complexity associated with the chosen discrepancy within the family of integral probability semimetrics. This family extends summary-based ABC, and includes the Wasserstein distance and maximum mean discrepancy (MMD), among others. As clarified through a focus on the MMD case and via illustrative simulations, this perspective yields an improved understanding of summary-free ABC.


title: An Experimental Investigation of Part-Of-Speech Taggers for Vietnamese

abstract: Part-of-speech (POS) tagging plays an important role in Natural Language Processing (NLP). Its applications can be found in many NLP tasks such as named entity recognition, syntactic parsing, dependency parsing and text chunking. In the investigation conducted in this paper, we utilize the technologies of two widely-used toolkits, ClearNLP and Stanford POS Tagger, as well as develop two new POS taggers for Vietnamese, then compare them to three well-known Vietnamese taggers, namely JVnTagger, vnTagger and RDRPOSTagger. We make a systematic comparison to find out the tagger having the best performance. We also design a new feature set to measure the performance of the statistical taggers. Our new taggers built from Stanford Tagger and ClearNLP with the new feature set can outperform all other current Vietnamese taggers in term of tagging accuracy. Moreover, we also analyze the affection of some features to the performance of statistical taggers. Lastly, the experimental results also reveal that the transformation-based tagger, RDRPOSTagger, can run significantly faster than any other statistical tagger.