Tootfinder

Pawn shop owner admits to fencing Burrow items https://www.espn.com/nfl/story/_/id/45781024/pawn-shop-owner-admits-fencing-joe-burrow-stolen-property

The Property Trio (Formerly The Property Planner, Buyer And Professor)
Great Australian Pods Podcast Directory: https://www.greataustralianpods.com/the-property-planner-buyer-and-professor/

This https://arxiv.org/abs/2501.06898 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

The $κ$-Fréchet-Urysohn property for $C_p(X)$ is equivalent to Baireness of $B_1(X)$
A topological space $X$ is Baire if the intersection of any sequence of open dense subsets of $X$ is dense in $X$. We establish that the property $(κ)$ for a Tychonoff space $X$ is equivalent to Baireness of $B_1(X)$ and, hence, the Banakh property for $C_p(X)$ is equivalent to meagerness of $B_1(X)$. Thus, we obtain one characteristic of the Banakh property for $C_p(X)$ through the property of space $X$.

"Data shared with the Cato Institute, a right-leaning think tank, shows that 93% of people booked in ICE detention centers have no violent criminal or property convictions. Another 65% of detainees have no prior criminal history."
Trump's claims get undercut by ICE's own data - Raw Story
https://www.rawstory.com/immigration-2672407086/

VLA-Mark: A cross modal watermark for large vision-language alignment model
Shuliang Liu, Qi Zheng, Jesse Jiaxi Xu, Yibo Yan, He Geng, Aiwei Liu, Peijie Jiang, Jia Liu, Yik-Cheung Tam, Xuming Hu
https://arxiv.org/abs/2507.14067

VLA-Mark: A cross modal watermark for large vision-language alignment model
Vision-language models demand watermarking solutions that protect intellectual property without compromising multimodal coherence. Existing text watermarking methods disrupt visual-textual alignment through biased token selection and static strategies, leaving semantic-critical concepts vulnerable. We propose VLA-Mark, a vision-aligned framework that embeds detectable watermarks while preserving semantic fidelity through cross-modal coordination. Our approach integrates multiscale visual-textua…

un_migrations: UN migration stock (2015)
A network of migration between countries, collected by the United Nations. A directed edge gives the flow of migration, and an edge property gives the number of migrants, for each given year and sex. Estimates are presented for 1990, 1995, 2000, 2005, 2010 and 2015 and are available for all countries and areas of the world. The estimates are based on official statistics on the foreign-born or the foreign population.
This network has 232 no…

I was happily eating a PBJ sandwich while reading an email from a potential surveyor when suddenly I spat it all out…
“Hi Chris,
The original stakes for your lot were set in 1912, so yes you will need iron pins placed on your corners. The estimated cost to replace the four iron pins and file a posting plan at the land title office is about $5000 plus GST and disbursements.
Let me know if you have any questions or wish to proceed.
Best Regards,
-redacted name-, BCLS
—— Land Surveying Ltd.”
So, no, then.
(fyi: I have a standard suburban city lot 45ft x 125ft. I just wanted to know where my property lines were for the fence…)
#diy #homeimprovement #landsurvey #property

Finland bans Russians, Belarusians from buying property over security concerns: https://benborges.xyz/2025/07/16/finland-bans-russians-belarusians-from.html

Isotropic Remeshing with Inter-Angle Optimization
Hanbing Zheng, Chenlei Lv
https://arxiv.org/abs/2507.13641 https://arxiv.org/pdf/25…

Isotropic Remeshing with Inter-Angle Optimization
As an important metric for mesh quality evaluation, the isotropy property holds significant value for applications such as texture UV-mapping, physical simulation, and discrete geometric analysis. Classical isotropy remeshing methods adjust vertices and edge lengths, which exhibit certain limitations in terms of input data sensitivity, geometric consistency control, and convergence speed. In this paper, we propose an improved isotropy remeshing solution with inter-angle optimization during mesh…

A combination theorem for the twist conjecture for Artin groups
Oli Jones, Giorgio Mangioni, Giovanni Sartori
https://arxiv.org/abs/2507.13971 https://

A combination theorem for the twist conjecture for Artin groups
We reduce a strong version of the twist conjecture for Artin groups to Artin groups whose defining graphs have no separating vertices. This produces new examples of Artin groups satisfying the conjecture, and sheds more light on the isomorphism problem for Artin groups. Along the way we also prove a combination result for the ribbon property for vertices.

Independent increments and group sequential tests
Anastasios A. Tsiatis, Marie Davidian
https://arxiv.org/abs/2506.15599 https://arxi…

Independent increments and group sequential tests
Widely used methods and software for group sequential tests of a null hypothesis of no treatment difference that allow for early stopping of a clinical trial depend primarily on the fact that sequentially-computed test statistics have the independent increments property. However, there are many practical situations where the sequentially-computed test statistics do not possess this property. Key examples are in trials where the primary outcome is a time to an event but where the a…

Density of finitely supported invariant measures for automorphisms of compact abelian groups
Rotem Yaari
https://arxiv.org/abs/2507.14113 https://

Density of finitely supported invariant measures for automorphisms of compact abelian groups
We study the structure of invariant measures for continuous automorphisms of compact metrizable abelian groups satisfying the descending chain condition. We show that the finitely supported invariant measures are weak-* dense in the space of all invariant probability measures, and that if the system is ergodic with respect to Haar measure, then the finitely supported ergodic invariant measures are also dense. A key ingredient in the proof is a variant of the specification property, which we est…

Symplectic semi-characteristics
Hao Zhuang
https://arxiv.org/abs/2505.14496 https://arxiv.org/pdf/2505.14496

Symplectic semi-characteristics
We study the symplectic semi-characteristic of a 4n-dimensional closed symplectic manifold. First, we define the symplectic semi-characteristic using the mapping cone complex model of the primitive cohomology. Second, using a vector field with nondegenerate zero points, we prove a counting formula for the symplectic semi-characteristic. As corollaries, we obtain an Atiyah type vanishing property and the fact that the symplectic semi-characteristic is independent of the choices of symplectic for…

Randomised composite linear-combination-of-unitaries: its role in quantum simulation and observable estimation
Jinzhao Sun, Pei Zeng
https://arxiv.org/abs/2506.15658

Randomised composite linear-combination-of-unitaries: its role in quantum simulation and observable estimation
Randomisation is widely used in quantum algorithms to reduce the number of quantum gates and ancillary qubits required. A range of randomised algorithms, including eigenstate property estimation by spectral filters, Hamiltonian simulation, and perturbative quantum simulation, though motivated and designed for different applications, share common features in the use of unitary decomposition and Hadamard-test-based implementation. In this work, we start by analysing the role of randomised linear-…

Some remarks on Folkman graphs for triangles
Eion Mulrenin
https://arxiv.org/abs/2506.14942 https://arxiv.org/pdf/2506.14942

Some remarks on Folkman graphs for triangles
Folkman's theorem asserts the existence of graphs $G$ which are $K_4$-free, but which have the property that every two-coloring of $E(G)$ contains a monochromatic triangle. The quantitative aspects of $f(2,3,4)$, the least $n$ such that there exists an $n$-vertex graph with both properties above, are notoriously difficult; a series of improvements over the span of two decades witnessed the solution to two \$100 Erdős problems, and the current record due to Lange, Radziszowski, and Xu now stand…

Side-Channel Extraction of Dataflow AI Accelerator Hardware Parameters
Guillaume Lomet, Ruben Salvador, Brice Colombier, Vincent Grosso, Olivier Sentieys, Cedric Killian
https://arxiv.org/abs/2506.15432

Side-Channel Extraction of Dataflow AI Accelerator Hardware Parameters
Dataflow neural network accelerators efficiently process AI tasks on FPGAs, with deployment simplified by ready-to-use frameworks and pre-trained models. However, this convenience makes them vulnerable to malicious actors seeking to reverse engineer valuable Intellectual Property (IP) through Side-Channel Attacks (SCA). This paper proposes a methodology to recover the hardware configuration of dataflow accelerators generated with the FINN framework. Through unsupervised dimensionality reduction…

It's 2025. If your library still doesn't have types in it (parameter, return, and property), I assume it's abandoned and I should not use it.
There are no exceptions to this statement. Not typing your PHP code in 2025 is irresponsible. No, docblocks are not good enough.
#PHP

Eliciting reference measures of law-invariant functionals
Felix-Benedikt Liebrich, Ruodu Wang
https://arxiv.org/abs/2507.13763 https://

Eliciting reference measures of law-invariant functionals
Law-invariant functionals are central to risk management and assign identical values to random prospects sharing the same distribution under an atomless reference probability measure. This measure is typically assumed fixed. Here, we adopt the reverse perspective: given only observed functional values, we aim to either recover the reference measure or identify a candidate measure to test for law invariance when that property is not {\em a priori} satisfied. Our approach is based on a key observ…

Coordinate recognition: General theory, Groups, and other surprises
I. Farah, K. Gannon, P. Touchard
https://arxiv.org/abs/2506.13673 https://

Coordinate recognition: General theory, Groups, and other surprises
A class of structures recognizes coordinates if any reduced product of structures from said class witnesses a certain kind of rigidity phenomena. We provide several equivalent characterizations of this property. This property has (at least) two remarkable consequences, one set-theoretic and one model-theoretic, for reduced products of structures of the said class. First, under appropriate set-theoretic assumptions every isomorphism between such reduced products associated with the Fr\' echet id…

The Marcinkiewicz-Zygmund Property for Riemann Differences with Geometric Nodes
Hajrudin Fejzi\'c
https://arxiv.org/abs/2507.11463 https://

The Marcinkiewicz-Zygmund Property for Riemann Differences with Geometric Nodes
We study when a Riemann difference of order $ n $ possesses the Marcinkiewicz-Zygmund (MZ) property: that is, whether the conditions $ f(h) = o(h^{n-1}) $ and $ Df(h) = o(h^n) $ imply $ f(h) = o(h^n) $. This implication is known to hold for some classical examples with geometric nodes, such as $ \{0, 1, q, \dots, q^{n-1}\} $ and $ \{1, q, \dots, q^n\} $, leading to a conjecture that these are the only such Riemann differences with the MZ property. However, this conjecture was disproved by the t…

A Spintronic Battery with Reversible Modulation of Spin Polarization through Li Charge/Discharge: A First Principles Computational Modelling Case Study for an Antiperovskite System
Sk Mujaffer Hossain, Vinila Bedekara, Priyanka Yadavb, Ram Janay Chudhary, Satishchandra Ogale
https://arxiv.org/abs/2506.14401

A Spintronic Battery with Reversible Modulation of Spin Polarization through Li Charge/Discharge: A First Principles Computational Modelling Case Study for an Antiperovskite System
A key notion defining the progress of the emergent fields of modern electronics, renewable energy, and smart systems is charge storage, which is primarily embodied in various battery chemistries and systems. In addition to the charge property, the electron also has the spin property, which is exploited in the field of spintronics to access novel magnetically controlled device actions that are not accessible to conventional electronics. An interesting question is whether the two can be fruitfull…

#Livewire v3 Remote Command Execution Vulnerability in Property Update Hydration 🚨🚨🚨
Critical #security #vulnerability in

An accurate and revised version of optical character recognition-based speech synthesis using LabVIEW
Prateek Mehta, Anasuya Patil
https://arxiv.org/abs/2506.15029

An accurate and revised version of optical character recognition-based speech synthesis using LabVIEW
Knowledge extraction through sound is a distinctive property. Visually impaired individuals often rely solely on Braille books and audio recordings provided by NGOs. Due to limitations in these approaches, blind individuals often cannot access books of their choice. Speech is a more effective mode of communication than text for blind and visually impaired persons, as they can easily respond to sounds. This paper presents the development of an accurate, reliable, cost-effective, and user-friendl…

Invariant subalgebras rigidity for von Neumann algebras of groups arising as certain semidirect products
Tattwamasi Amrutam, Artem Dudko, Yongle Jiang, Adam Skalski
https://arxiv.org/abs/2507.12824

Invariant subalgebras rigidity for von Neumann algebras of groups arising as certain semidirect products
We study the ISR (von Neumann invariant subalgebra rigidity) property for certain discrete groups arising as semidirect products from algebraic actions on certain 2-torsion groups, mostly arising as direct products of $\mathbb{Z}_2$. We present, in particular, the first example of an amenable group with the ISR property that admits a non-trivial abelian normal subgroup. Several other examples are discussed, notably including an infinite amenable group whose von Neumann algebra admits precisely …

The Strong Singular Value Property for Matrices
Caleb Cheung, Bryan Shader
https://arxiv.org/abs/2507.08313 https://arxiv.org/pdf/250…

The Strong Singular Value Property for Matrices
A new property, the strong singular value property, is introduced, developed, and utilized to study the problem of which lists of nonnegative real numbers occur as the singular values of a matrix with a prescribed zero-nonzero pattern.

from my link log —
Logarithms of algebraic data types for property-based testing.
https://dl.acm.org/doi/abs/10.1145/3498726
saved 2025-04-25

Property Elicitation on Imprecise Probabilities
James Bailie, Rabanus Derr
https://arxiv.org/abs/2507.05857 https://arxiv.org/pdf/250…

Property Elicitation on Imprecise Probabilities
Property elicitation studies which attributes of a probability distribution can be determined by minimising a risk. We investigate a generalisation of property elicitation to imprecise probabilities (IP). This investigation is motivated by multi-distribution learning, which takes the classical machine learning paradigm of minimising a single risk over a (precise) probability and replaces it with $Γ$-maximin risk minimization over an IP. We provide necessary conditions for elicitability of a IP…

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
Justus Becker
https://arxiv.org/abs/2506.14307 https://…

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
We present a labelled and non-wellfounded calculus for the bimodal provability logic CS. The system is obtained by modelling the Kripke-like semantics of this logic. As in arXiv:2309.00532, we enforce the second-order property of converse wellfoundedness by using techniques from cyclic proof theory. We will prove soundness and completeness of this system with respect to the semantics and provide a primitive decision procedure together with a way to extract countermodels.

On balanced HKT manifolds
Giovanni Gentili, Mehdi Lejmi
https://arxiv.org/abs/2506.15519 https://arxiv.org/pdf/2506.15519

On balanced HKT manifolds
We prove the openness of the balanced HKT cone within the cone of HKT structures on a compact hypercomplex manifold $(M,I,J,K)$. We also study the Lie algebra of hyperholomorphic vector fields of type (1,0) with respect to $I$, with particular emphasis on the case when there exists a compatible balanced HKT metric. These fields exhibit a strict interplay with the balanced HKT structure, for instance, we prove a harmonicity property for (1,0)-forms dual to hyperholomorphic vector fields. We also…

neutron bomb, n.:
An explosive device of limited military value because, as
it only destroys people without destroying property, it
must be used in conjunction with bombs that destroy property.

Optimal alignment of Lorentz orientation and generalization to matrix Lie groups
Congzhou M Sha
https://arxiv.org/abs/2506.14994 https://

Optimal alignment of Lorentz orientation and generalization to matrix Lie groups
There exist elegant methods of aligning point clouds in $\mathbb R^3$. Unfortunately, these methods rely on the positive definite property of the Euclidean metric, and do not easily extend to the indefinite Minkowski metric. In this paper, we propose two solutions to the following problem: given inertial reference frames $A$ and $B$, and given (possibly noisy) measurements of a set of 4-vectors $\{v_i\}$ made in those reference frames with components $\{v_{A,i}\}$ and $\{v_{B,i}\}$, find the op…

Ideal-theoretic non-noetherianity of polynomial functors in positive characteristic
Karthik Ganapathy
https://arxiv.org/abs/2506.15134 https://

Ideal-theoretic non-noetherianity of polynomial functors in positive characteristic
A long-standing open problem in representation stability is whether every finitely generated commutative algebra in the category of strict polynomial functors satisfies the noetherian property. In this paper, we resolve this problem negatively over fields of positive characteristic using ideas from invariant theory. Specifically, we consider the algebra $P$ of polarizations of elementary symmetric polynomials inside the ring of all multisymmetric polynomials in $p \times \infty$ variables. We s…

The Daugavet property is equivalent to the polynomial Daugavet property
Sheldon Dantas, Miguel Mart\'in, Yo\"el Perreau
https://arxiv.org/abs/2507.06143

The Daugavet property is equivalent to the polynomial Daugavet property
In this note, we prove that the Daugavet property implies the polynomial Daugavet property, solving a longstanding open problem in the field. Our approach is based on showing that a geometric characterization of the Daugavet property due to Shvidkoy, originally formulated in terms of the weak topology, remains valid when the weak topology is replaced by the weak polynomial topology. Using similar techniques, we further establish that every linear Daugavet center is also a polynomial Daugavet ce…

Intrinsic alignment demographics for next-generation lensing: Revealing galaxy property trends with DESI Y1 direct measurements
J. Siegel, J. McCullough, A. Amon, C. Lamman, N. Jeffrey, B. Joachimi, H. Hoekstra, S. Heydenreich, A. J. Ross, J. Aguilar, S. Ahlen, D. Bianchi, C. Blake, D. Brooks, F. J. Castander, T. Claybaugh, A. de la Macorra, J. DeRose, P. Doel, N. Emas, S. Ferraro, A. Font-Ribera, J. E. Forero-Romero, E. Gazta\~naga, S. Gontcho A Gontcho, G. Gutierrez, K. Honscheid, M.…

Intrinsic alignment demographics for next-generation lensing: Revealing galaxy property trends with DESI Y1 direct measurements
We present direct measurements of the intrinsic alignments (IA) of over 2 million spectroscopic galaxies using DESI Data Release 1 and imaging from four lensing surveys: DES, HSC, KiDS, and SDSS. In this uniquely data-rich regime, we take initial steps towards a more tailored IA modelling approach by building a library of IA measurements across colour, luminosity, stellar mass, and redshift. We map the dependence between galaxy type -- in terms of rest-frame colour, strength of the 4000 Angstro…

Using Real-Variable Techniques to Study Zeros of Complex-Valued Harmonic Functions
Jennifer Brooks, Mary Jenkins, Samuel Liechty, Kaden Parker, Katherine Perez, Dallin Robison, Eli Sampson, Matthew G. Wilson
https://arxiv.org/abs/2506.14966

Using Real-Variable Techniques to Study Zeros of Complex-Valued Harmonic Functions
We investigate the zeros of two one-parameter families of harmonic functions and describe how the number of zeros depends on the parameter. Our functions have the property that all zeros lie on certain rays in the complex plane and thus we are able to use real-variable techniques to count the zeros on each ray.

Spectral Contraction of Boundary-Weighted Filters on delta-Hyperbolic Graphs
Le Vu Anh, Mehmet Dik, Nguyen Viet Anh
https://arxiv.org/abs/2506.15464 https:…

Spectral Contraction of Boundary-Weighted Filters on delta-Hyperbolic Graphs
Hierarchical graphs often exhibit tree-like branching patterns, a structural property that challenges the design of traditional graph filters. We introduce a boundary-weighted operator that rescales each edge according to how far its endpoints drift toward the graph's Gromov boundary. Using Busemann functions on delta-hyperbolic networks, we prove a closed-form upper bound on the operator's spectral norm: every signal loses a curvature-controlled fraction of its energy at each pass. The result …

On Universal Inverse Monoids with the $F$-Inverse Property
Igor Dolinka, Ganna Kudryavtseva
https://arxiv.org/abs/2506.14047 https://…

On Universal Inverse Monoids with the $F$-Inverse Property
An inverse monoid $M$ is called $F$-inverse if each $σ$-class of $M$, where $σ$ is the minimum group congruence of $M$, has a maximum element with respect to the natural order of $M$. Upon Kinyon's observation made in 2018 that $F$-inverse monoids form a variety in the enriched signature involving an additional unary operation mapping each element of $M$ to the maximum element of its $σ$-class, a separate theory of $F$-inverse monoids is developing in recent years, greatly aided by a recent …

Replaced article(s) found for cs.LG. https://arxiv.org/list/cs.LG/new
[4/5]:
- Multi-view biomedical foundation models for molecule-target and property prediction
Parthasarathy Suryanarayanan, et al.

Binary Self-Selective Voting Rules
H\'ector Hermida-Rivera, Toygar T. Kerman
https://arxiv.org/abs/2506.15265 https://arxiv.org/p…

Binary Self-Selective Voting Rules
This paper introduces a novel binary stability property for voting rules-called binary self-selectivity-by which a society considering whether to replace its voting rule using itself in pairwise elections will choose not to do so. In Theorem 1, we show that a neutral voting rule is binary self-selective if and only if it is universally self-selective. We then use this equivalence to show, in Corollary 1, that under the unrestricted strict preference domain, a unanimous and neutral voting rule i…

Melbourne Property Podcast
Great Australian Pods Podcast Directory: #GreatAusPods

Retrieving biparameter persistence modules from monoparameter ones: a characterization of hook-decomposable persistence modules
Isabella Mastroianni, Marco Guerra, Ulderico Fugacci, Emanuela De Negri
https://arxiv.org/abs/2506.14678

Retrieving biparameter persistence modules from monoparameter ones: a characterization of hook-decomposable persistence modules
Motivated by the need to relate the biparameter persistence module induced by a pair of scalar functions with the monoparameter persistence modules induced by each function separately, we introduce a construction that defines a kind of product between two monoparameter persistence modules. While originally conceived to serve this comparative purpose, our construction unexpectedly reveals a deeper structural property: it also characterizes a class of biparameter modules known as hook-decomposabl…

The US prosecution of quant trader Richard Ho could define how quant algorithms can become stolen property and have a major impact on Wall Street's talent war (Chris Dolmetsch/Bloomberg)

Have you read the new Wetransfer's terms of service?
"In order to allow us to operate, provide you with, and improve the Service and our technologies, we must obtain from you certain rights related to Content that is covered by intellectual property rights. You hereby grant us royalty a-free license to use your Content for the purposes of operating, developing, and improving the Service, all in accordance with our Privacy & Cookie Policy. (...) You hereby grant other users…

Competition Erases Simplicity: Tight Regret Bounds for Uniform Pricing with Multiple Buyers
Houshuang Chen, Yaonan Jin, Pinyan Lu, Chihao Zhang
https://arxiv.org/abs/2507.12733

Competition Erases Simplicity: Tight Regret Bounds for Uniform Pricing with Multiple Buyers
We study repeated \textsf{Uniform Pricing} mechanisms with multiple buyers. In each round, the platform sets a uniform price for all buyers; a transaction occurs if at least one buyer bids at or above this price. Prior work demonstrates that structural assumptions on bid distributions -- such as regularity or monotone hazard rate (MHR) property -- enable significant improvements in pricing query complexity (from $Θ\left(\varepsilon^{-3}\right)$ to $\widetildeΘ\left(\varepsilon^{-2}\right)$\fo…

The Bisognano-Wichmann property for non-unitary Wightman conformal field theories
James E. Tener
https://arxiv.org/abs/2506.10625 https://

The Bisognano-Wichmann property for non-unitary Wightman conformal field theories
The Bisognano-Wichmann and Haag duality properties for algebraic quantum field theories are often studied using the powerful tools of Tomita-Takesaki modular theory for nets of operator algebras. In this article, we study analogous properties of nets of algebras generated by smeared Wightman fields, for potentially non-unitary theories. In light of recent work constructing Wightman field theories for (non-unitary) Möbius vertex algebras, we obtain a broadly applicable non-unitary version of th…

On volumes and the generic invariance of Fano type varieties
Donghyeon Kim
https://arxiv.org/abs/2506.13603 https://arxiv.org/pdf/250…

On volumes and the generic invariance of Fano type varieties
We demonstrate the generic invariance of the Fano type property in cases where the volumes of anti-canonical divisors of Fano type fibers are a constant over a Zariski-dense subset, or the Fano type fibers are dimension $2$. Additionally, paralleling this theorem, we establish a conjecture by Schwede and Smith under the condition that the volumes of anti-canonical divisors remain constant in the reduction mod $p$.

Existence and Uniqueness Property On a Generalized Ledin-Brousseau Sum
Ivan Hadinata
https://arxiv.org/abs/2507.03813 https://arxiv.o…

Existence and Uniqueness Property On a Generalized Ledin-Brousseau Sum
In this paper, we present the existence and uniqueness property on a finite sum involving a polynomial and a homogeneous linear recurrence sequence. This finite sum is of the form $\sum_{k=1}^n P(k)s_{hk+r}$ where $n$ is a positive integer, $P(x)$ is a polynomial in $\mathbb C[x]$, $h$ and $r$ are some integers, and $(s_k)_{k\in\mathbb Z}$ is a homogeneous linear recurrence sequence of degree $m\geq 2$ with some constraints.

Is it easy to regularize a hypergraph with easy links?
Lior Gishboliner, Asaf Shapira, Yuval Wigderson
https://arxiv.org/abs/2506.15582 https://

Is it easy to regularize a hypergraph with easy links?
A partition of a (hyper)graph is $\varepsilon$-homogenous if the edge densities between almost all clusters are either at most $\varepsilon$ or at least $1-\varepsilon$. Suppose a $3$-graph has the property that the link of every vertex has an $\varepsilon$-homogenous partition of size $\text{poly}(1/\varepsilon)$. Does this guarantee that the $3$-graph also has a small homogenous partition? Terry and Wolf proved that such a $3$-graph has an $\varepsilon$-homogenous partition of size given by a…

The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification
Michele Alberti (LSL), Fran\c{c}ois Bobot (LSL), Julien Girard-Satabin (LSL), Alban Grastien (LSL), Aymeric Varasse (LSL), Zakaria Chihani (LSL)
https://arxiv.org/abs/2506.12084

The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification
The formal specification and verification of machine learning programs saw remarkable progress in less than a decade, leading to a profusion of tools. However, diversity may lead to fragmentation, resulting in tools that are difficult to compare, except for very specific benchmarks. Furthermore, this progress is heavily geared towards the specification and verification of a certain class of property, that is, local robustness properties. But while provers are becoming more and more efficient at…

Dynamical Phase diagram of the Quantum Ising model with Cluster Interaction Under Noisy and Noiseless Driven field
Sasan Kheiri, R. Jafari, S. Mahdavifar, Ehsan Nedaaee Oskoee, Alireza Akbari
https://arxiv.org/abs/2506.14372

Dynamical Phase diagram of the Quantum Ising model with Cluster Interaction Under Noisy and Noiseless Driven field
In most lattice models, gap closing typically occurs at high-symmetry points in the Brillouin zone. In the transverse field Ising model with cluster interaction, besides the gap closing at high-symmetry points, the gap closing at the quantum phase transition between paramagnetic and cluster phases of the model can be moved by tuning the strength of the cluster interaction. We take advantage of this property to examine the nonequilibrium dynamics of the model in the framework of dynamical quantu…

Special flow systems with the minimal self-joining property
Yibo Zhai
https://arxiv.org/abs/2507.10962 https://arxiv.org/pdf/2507.109…

Special flow systems with the minimal self-joining property
Arnol'd flows are a class of area-preserving flows on surfaces. In this paper, we prove that typical Arnol'd flows have the minimal self-joinings property. Consequently, we can classify centralizers and factors of typical Arnol'd flows.

Last week I introduced you to Nera, one of three siblings, given birth by a homeless cat which found to us in April last year. So here she is, the former homeless cat: say hello to Cinderella, mother of Nera, Nele and Nepomuk. All are still living with us on our property. #caturday #fedicats

On Jiang's Bounded Index Property for products of nilmanifolds
Peng Wang, Qiang Zhang
https://arxiv.org/abs/2507.06132 https://ar…

On Jiang's Bounded Index Property for products of nilmanifolds
In 2023, Zhang and Zhao presented the first examples of aspherical manifolds lacking the Bounded Index Property (BIP) for fixed points. This answered a question posed by Jiang in 1998 in the negative. In this paper, we first extend the notion of BIP to that of iterations of selfmaps (BIP$_k$), and then demonstrate BIP$_k$ for certain products $M\times N$ of nilmanifolds. Finally, we give characterizations for the Lefschetz number, the Nielsen number, and the minimal number of fixed points of se…

Turnpike Property of Stochastic Linear-Quadratic Optimal Control Problems in Large Horizons with Regime Switching I: Homogeneous Cases
Hongwei Mei, Rui Wang, Jiongmin Yong
https://arxiv.org/abs/2506.09337

Turnpike Property of Stochastic Linear-Quadratic Optimal Control Problems in Large Horizons with Regime Switching I: Homogeneous Cases
This paper is concerned with optimal control problems for a linear homogeneous stochastic differential equation having regime switching with purely quadratic functional in the large time horizons. We establish the so-called turnpike properties for the optimal pairs. The key is to prove a proper convergence of the solutions to the differential Riccati equations to the algebraic Riccati equation. Even for the problems without regime switchings, our result provides a refined estimate compared to t…

This https://arxiv.org/abs/2410.02372 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCE_…

Revisiting the Canonicalization for Fast and Accurate Crystal Tensor Property Prediction
Predicting the tensor properties of crystalline materials is a fundamental task in materials science. Unlike single-value property prediction, which is inherently invariant, tensor property prediction requires maintaining O(3) group tensor equivariance. Such equivariance constraint often requires specialized architecture designs to achieve effective predictions, inevitably introducing tremendous computational costs. Canonicalization, a classical technique for geometry, has recently been explore…

A note on Automatic Baire property
Ludwig Staiger
https://arxiv.org/abs/2505.18626 https://arxiv.org/pdf/2505.18626

A note on Automatic Baire property
Automatic Baire property is a variant of the usual Baire property which is fulfilled for subsets of the Cantor space accepted by finite automata. We consider the family $\mathcal{A}$ of subsets of the Cantor space having the Automatic Baire property. In particular we show that not all finite subsets have the Automatic Baire property, and that already a slight increase of the computational power of the accepting device may lead beyond the class $\mathcal{A}$.

Lazyweb CSS question:
Given a CSS custom property whose value is a list, like this:
--my-list: one, two, three;
Is there a way to access one item in the list, akin to array notation access?

Why #PropertyTesting Finds Bugs #UnitTesting Does Not
https://bu…

Ultra-Resilient Superimposed Codes: Near-Optimal Construction and Applications
Gianluca De Marco, Dariusz R. Kowalski
https://arxiv.org/abs/2506.13489 http…

Ultra-Resilient Superimposed Codes: Near-Optimal Construction and Applications
A superimposed code is a collection of binary vectors (codewords) with the property that no vector is contained in the Boolean sum of any $k$ others, enabling unique identification of codewords within any group of $k$. Superimposed codes are foundational combinatorial tools with applications in areas ranging from distributed computing and data retrieval to fault-tolerant communication. However, classical superimposed codes rely on strict alignment assumptions, limiting their effectiveness in as…

Thermal Property Microscopy with Compressive Sensing Frequency-Domain Thermoreflectance
Haobo Yang, Zhenguo Zhu, Zhongnan Xie, Jinhong Du, Shuo Bai, Hong Guo, Te-Huan Liu, Ronggui Yang, Xin Qian
https://arxiv.org/abs/2506.04728

Thermal Property Microscopy with Compressive Sensing Frequency-Domain Thermoreflectance
Spatial mapping of thermal properties is critical for unveiling the structure-property relation of materials, heterogeneous interfaces, and devices. These property images can also serve as datasets for training artificial intelligence models for material discoveries and optimization. Here we introduce a high-throughput thermal property imaging method called compressive sensing frequency domain thermoreflectance (CS-FDTR), which can robustly profile thermal property distributions with micrometer…

Welcome to "rowhome"!
As usual, you can count on real estate marketers to signal status shifts.
"Townhome," invented because "rowhouse" felt low-class, now feels low-class itself.
I think they would have done better to just say "rowhouse" and invoke the prestige of historic preservation.

Check out some renderings for Woodley Park’s Wardman Park!! (the former Marriott Wardman) - PoPville
Renderings are courtesy Wardman Park From a press release: "Carmel Partners announced today the start of pre-leasing for Aerie, the first residential tower to open at Wardman Park, a reimagined, 9.5-acre landmark property now home to a resort-style residential oasis. Set atop one of the city’s highest elevations in Woodley Park, Wardman Park is defined

In #Großbritannien drohen einkommensschwache #Hausbesitzer in #Hochwassergebieten zu „Klimagefangenen“ zu werden.
Laut einer neuen Analyse steigen ihre

Low-income homeowners in flood zones risk becoming 'climate prisoners'
Climate change-related flooding poses growing systemic threats to the British residential property market, insurance sector and mortgage lending system, academics have warned.

On $C^*$-algebras with Local Lifting Property and Weak Expectation Property
Gilles Pisier
https://arxiv.org/abs/2507.06105 https://ar…

On $C^*$-algebras with Local Lifting Property and Weak Expectation Property
We give a new, somewhat simpler, presentation of the author's recent construction of a non-nuclear $C^*$-algebra which has both the local lifting property (LLP) and the weak expectation property (WEP).

A Nonconforming Finite Element Method for Elliptic Interface Problems on Locally Anisotropic Meshes
Hua Wang, Qichen Zhang
https://arxiv.org/abs/2506.15077

A Nonconforming Finite Element Method for Elliptic Interface Problems on Locally Anisotropic Meshes
We propose a new nonconforming \(P_1\) finite element method for elliptic interface problems. The method is constructed on a locally anisotropic mixed mesh, which is generated by fitting the interface through a simple connection of intersection points on an interface-unfitted background mesh, as introduced in \cite{Hu2021optimal}. We first establish interpolation error estimates on quadrilateral elements satisfying the regular decomposition property (RDP). Building on this, the main contributio…

Approximate polymorphisms of predicates
Yaroslav Alekseev, Yuval Filmus
https://arxiv.org/abs/2506.12155 https://arxiv.org/pdf/2506.1…

Approximate polymorphisms of predicates
A generalized polymorphism of a predicate $P \subseteq \{0,1\}^m$ is a tuple of functions $f_1,\dots,f_m\colon \{0,1\}^n \to \{0,1\}$ satisfying the following property: If $x^{(1)},\dots,x^{(m)} \in \{0,1\}^n$ are such that $(x^{(1)}_i,\dots,x^{(m)}_i) \in P$ for all $i$, then also $(f_1(x^{(1)}),\dots,f_m(x^{(m)})) \in P$. We show that if $f_1,\dots,f_m$ satisfy this property for most $x^{(1)},\dots,x^{(m)}$ (as measured with respect to an arbitrary full support distribution $μ$ on $P$), th…

Replaced article(s) found for math.LO. https://arxiv.org/list/math.LO/new
[1/1]:
Higher arity stability and the functional order property
https://

If you believe it, I have oceanside property in Arizona you might be interested in...
Trump DOJ/FBI Epstein Close Out Memo - Legal AF's Substack
https://michaelpopok.substack.com/p/trump-dojfbi-epstein-close-out-memo

Evolving music theory for emerging musical languages
Emmanuel Deruty
https://arxiv.org/abs/2506.14504 https://arxiv.org/pdf/2506.1450…

Evolving music theory for emerging musical languages
This chapter reconsiders the concept of pitch in contemporary popular music (CPM), particularly in electronic contexts where traditional assumptions may fail. Drawing on phenomenological and inductive methods, it argues that pitch is not an ontologically objective property but a perceptual construct shaped by listeners and conditions. Analyses of quasi-harmonic tones reveal that a single tone can convey multiple pitches, giving rise to tonal fission. The perception of pitch may also be multista…

Lipschitz free $p$-spaces for $0<p<1$ in the light of the Schur $p$-property and the compact reduction
Fernando Albiac, Jos\'e L. Ansorena, Jan B\'ima, Marek C\'uth
https://arxiv.org/abs/2506.09786

Lipschitz free $p$-spaces for $0
The geometric analysis of non-locally convex quasi-Banach spaces presents rich and nuanced challenges. In this paper, we introduce the Schur $p$-property and the strong Schur $p$-property for $0 < p \leq 1$, providing new tools to deepen the understanding of these spaces, and the Lipschitz free $p$-spaces in particular. Moreover, by developing an adapted version of the compact reduction principle, we prove that Lipschitz free $p$-spaces over discrete metric spaces possess the approximation prop…